runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108291842/p2cudf-user-1.13/56e31304-c17a-11df-b070-00163e3d3b7c.cudf.dudf-real.log.runsolver ./p2cudf-user-1.13 /home/misc2010/data/2011/dudf-real//56e31304-c17a-11df-b070-00163e3d3b7c.cudf /home/misc2010/tmp/201108291842/p2cudf-user-1.13/56e31304-c17a-11df-b070-00163e3d3b7c.cudf.dudf-real.result -notuptodate,-removed,-changed Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.02 1.08 1.13 5/35 25913 /proc/meminfo: memFree=894044/1048576 swapFree=0/0 [pid=25911] ppid=25910 vsize=2572 CPUtime=0 /proc/25911/stat : 25911 (p2cudf-user-1.1) S 25910 25911 17511 34816 17511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 46414118 2633728 271 1283457024 134512640 135304128 4289041440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25911/statm: 643 271 230 194 0 30 0 [pid=25912] ppid=25911 vsize=2568 CPUtime=0 /proc/25912/stat : 25912 (p2cudf) R 25911 25911 17511 34816 17511 4202496 346 0 0 0 0 0 0 0 25 0 1 0 46414118 2629632 271 1283457024 134512640 135304128 4294490496 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/25912/statm: 642 271 231 194 0 29 0 [pid=25913] ppid=25912 vsize=2568 CPUtime=0 /proc/25913/stat : 25913 (p2cudf) R 25912 25911 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 46414119 2629632 40 1283457024 134512640 135304128 4294490496 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/25913/statm: 642 40 0 194 0 29 0 [startup+0.189356 s] /proc/loadavg: 1.02 1.08 1.13 5/35 25913 /proc/meminfo: memFree=894044/1048576 swapFree=0/0 [pid=25911] ppid=25910 vsize=2572 CPUtime=0 /proc/25911/stat : 25911 (p2cudf-user-1.1) S 25910 25911 17511 34816 17511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 46414118 2633728 271 1283457024 134512640 135304128 4289041440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25911/statm: 643 271 230 194 0 30 0 [pid=25912] ppid=25911 vsize=2572 CPUtime=0.02 /proc/25912/stat : 25912 (p2cudf) S 25911 25911 17511 34816 17511 4202496 391 3017 0 1 0 0 1 1 25 0 1 0 46414118 2633728 280 1283457024 134512640 135304128 4294490496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25912/statm: 643 280 239 194 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5144 [startup+0.20935 s] /proc/loadavg: 1.02 1.08 1.13 5/35 25913 /proc/meminfo: memFree=894044/1048576 swapFree=0/0 [pid=25911] ppid=25910 vsize=2572 CPUtime=0 /proc/25911/stat : 25911 (p2cudf-user-1.1) S 25910 25911 17511 34816 17511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 46414118 2633728 271 1283457024 134512640 135304128 4289041440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25911/statm: 643 271 230 194 0 30 0 [pid=25912] ppid=25911 vsize=2572 CPUtime=0.02 /proc/25912/stat : 25912 (p2cudf) S 25911 25911 17511 34816 17511 4202496 391 3017 0 1 0 0 1 1 25 0 1 0 46414118 2633728 280 1283457024 134512640 135304128 4294490496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25912/statm: 643 280 239 194 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5144 [startup+0.309375 s] /proc/loadavg: 1.02 1.08 1.13 5/35 25913 /proc/meminfo: memFree=894044/1048576 swapFree=0/0 [pid=25911] ppid=25910 vsize=2572 CPUtime=0 /proc/25911/stat : 25911 (p2cudf-user-1.1) S 25910 25911 17511 34816 17511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 46414118 2633728 271 1283457024 134512640 135304128 4289041440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25911/statm: 643 271 230 194 0 30 0 [pid=25912] ppid=25911 vsize=2572 CPUtime=0.02 /proc/25912/stat : 25912 (p2cudf) S 25911 25911 17511 34816 17511 4202496 391 3017 0 1 0 0 1 1 25 0 1 0 46414118 2633728 280 1283457024 134512640 135304128 4294490496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25912/statm: 643 280 239 194 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5144 [startup+0.709457 s] /proc/loadavg: 1.02 1.08 1.13 5/35 25913 /proc/meminfo: memFree=894044/1048576 swapFree=0/0 [pid=25911] ppid=25910 vsize=2572 CPUtime=0 /proc/25911/stat : 25911 (p2cudf-user-1.1) S 25910 25911 17511 34816 17511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 46414118 2633728 271 1283457024 134512640 135304128 4289041440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25911/statm: 643 271 230 194 0 30 0 [pid=25912] ppid=25911 vsize=2572 CPUtime=0.02 /proc/25912/stat : 25912 (p2cudf) S 25911 25911 17511 34816 17511 4202496 391 3017 0 1 0 0 1 1 25 0 1 0 46414118 2633728 280 1283457024 134512640 135304128 4294490496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25912/statm: 643 280 239 194 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5144 [startup+1.50965 s] /proc/loadavg: 1.02 1.08 1.13 4/45 25934 /proc/meminfo: memFree=840400/1048576 swapFree=0/0 [pid=25911] ppid=25910 vsize=2572 CPUtime=0 /proc/25911/stat : 25911 (p2cudf-user-1.1) S 25910 25911 17511 34816 17511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 46414118 2633728 271 1283457024 134512640 135304128 4289041440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25911/statm: 643 271 230 194 0 30 0 [pid=25912] ppid=25911 vsize=2572 CPUtime=0.02 /proc/25912/stat : 25912 (p2cudf) S 25911 25911 17511 34816 17511 4202496 391 3017 0 1 0 0 1 1 25 0 1 0 46414118 2633728 280 1283457024 134512640 135304128 4294490496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25912/statm: 643 280 239 194 0 30 0 [pid=25925] ppid=25912 vsize=869504 CPUtime=1.47 /proc/25925/stat : 25925 (java) S 25912 25911 17511 34816 17511 4202496 30145 0 1 0 130 17 0 0 25 0 10 0 46414122 890372096 27855 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25925/statm: 217376 27855 1723 10 0 214467 0 [pid=25925/tid=25926] ppid=25912 vsize=869504 CPUtime=0.92 /proc/25925/task/25926/stat : 25926 (java) R 25912 25911 17511 34816 17511 4202560 23250 0 1 0 78 14 0 0 25 0 10 0 46414122 890372096 27855 1283457024 134512640 134550932 4287799744 18446744073709551615 4094879791 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=25925/tid=25927] ppid=25912 vsize=869504 CPUtime=0 /proc/25925/task/25927/stat : 25927 (java) S 25912 25911 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 15 0 10 0 46414124 890372096 27855 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 0 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25928] ppid=25912 vsize=869504 CPUtime=0 /proc/25925/task/25928/stat : 25928 (java) S 25912 25911 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 46414124 890372096 27855 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25929] ppid=25912 vsize=869504 CPUtime=0 /proc/25925/task/25929/stat : 25929 (java) S 25912 25911 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46414124 890372096 27855 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25930] ppid=25912 vsize=869504 CPUtime=0 /proc/25925/task/25930/stat : 25930 (java) S 25912 25911 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46414127 890372096 27855 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25931] ppid=25912 vsize=869504 CPUtime=0.11 /proc/25925/task/25931/stat : 25931 (java) S 25912 25911 17511 34816 17511 4202560 855 0 0 0 10 1 0 0 17 0 10 0 46414127 890372096 27855 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25932] ppid=25912 vsize=869504 CPUtime=0.4 /proc/25925/task/25932/stat : 25932 (java) S 25912 25911 17511 34816 17511 4202560 4960 0 0 0 40 0 0 0 25 0 10 0 46414127 890372096 27855 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25933] ppid=25912 vsize=869504 CPUtime=0 /proc/25925/task/25933/stat : 25933 (java) S 25912 25911 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46414127 890372096 27855 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25934] ppid=25912 vsize=869504 CPUtime=0 /proc/25925/task/25934/stat : 25934 (java) S 25912 25911 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46414127 890372096 27855 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 874648 [startup+3.11023 s] /proc/loadavg: 1.02 1.08 1.13 3/45 25934 /proc/meminfo: memFree=667172/1048576 swapFree=0/0 [pid=25911] ppid=25910 vsize=2572 CPUtime=0 /proc/25911/stat : 25911 (p2cudf-user-1.1) S 25910 25911 17511 34816 17511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 46414118 2633728 271 1283457024 134512640 135304128 4289041440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25911/statm: 643 271 230 194 0 30 0 [pid=25912] ppid=25911 vsize=2572 CPUtime=0.02 /proc/25912/stat : 25912 (p2cudf) S 25911 25911 17511 34816 17511 4202496 391 3017 0 1 0 0 1 1 25 0 1 0 46414118 2633728 280 1283457024 134512640 135304128 4294490496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25912/statm: 643 280 239 194 0 30 0 [pid=25925] ppid=25912 vsize=871816 CPUtime=3.07 /proc/25925/stat : 25925 (java) S 25912 25911 17511 34816 17511 4202496 69895 0 1 0 273 34 0 0 25 0 10 0 46414122 892739584 67422 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25925/statm: 217954 67422 1746 10 0 215045 0 [pid=25925/tid=25926] ppid=25912 vsize=871816 CPUtime=1.77 /proc/25925/task/25926/stat : 25926 (java) R 25912 25911 17511 34816 17511 4202560 50200 0 1 0 151 26 0 0 25 0 10 0 46414122 892739584 67422 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=25925/tid=25927] ppid=25912 vsize=871816 CPUtime=0.27 /proc/25925/task/25927/stat : 25927 (java) S 25912 25911 17511 34816 17511 4202560 12075 0 0 0 24 3 0 0 16 0 10 0 46414124 892739584 67422 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 0 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25928] ppid=25912 vsize=871816 CPUtime=0 /proc/25925/task/25928/stat : 25928 (java) S 25912 25911 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 18 0 10 0 46414124 892739584 67422 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25929] ppid=25912 vsize=871816 CPUtime=0 /proc/25925/task/25929/stat : 25929 (java) S 25912 25911 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 46414124 892739584 67422 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25930] ppid=25912 vsize=871816 CPUtime=0 /proc/25925/task/25930/stat : 25930 (java) S 25912 25911 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46414127 892739584 67422 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25931] ppid=25912 vsize=871816 CPUtime=0.11 /proc/25925/task/25931/stat : 25931 (java) S 25912 25911 17511 34816 17511 4202560 855 0 0 0 10 1 0 0 17 0 10 0 46414127 892739584 67422 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25932] ppid=25912 vsize=871816 CPUtime=0.88 /proc/25925/task/25932/stat : 25932 (java) R 25912 25911 17511 34816 17511 4202560 5689 0 0 0 86 2 0 0 16 0 10 0 46414127 892739584 67422 1283457024 134512640 134550932 4287799744 18446744073709551615 4151979472 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=25925/tid=25933] ppid=25912 vsize=871816 CPUtime=0 /proc/25925/task/25933/stat : 25933 (java) S 25912 25911 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46414127 892739584 67422 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25934] ppid=25912 vsize=871816 CPUtime=0 /proc/25925/task/25934/stat : 25934 (java) S 25912 25911 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46414127 892739584 67422 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 876960 [startup+6.3008 s] /proc/loadavg: 1.01 1.08 1.13 2/46 25935 /proc/meminfo: memFree=631088/1048576 swapFree=0/0 [pid=25911] ppid=25910 vsize=2572 CPUtime=0 /proc/25911/stat : 25911 (p2cudf-user-1.1) S 25910 25911 17511 34816 17511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 46414118 2633728 271 1283457024 134512640 135304128 4289041440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25911/statm: 643 271 230 194 0 30 0 [pid=25912] ppid=25911 vsize=2572 CPUtime=0.02 /proc/25912/stat : 25912 (p2cudf) S 25911 25911 17511 34816 17511 4202496 391 3017 0 1 0 0 1 1 25 0 1 0 46414118 2633728 280 1283457024 134512640 135304128 4294490496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25912/statm: 643 280 239 194 0 30 0 [pid=25925] ppid=25912 vsize=869804 CPUtime=6.26 /proc/25925/stat : 25925 (java) S 25912 25911 17511 34816 17511 4202496 70676 0 1 0 590 36 0 0 25 0 11 0 46414122 890679296 67291 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25925/statm: 217451 67291 1781 10 0 214542 0 [pid=25925/tid=25926] ppid=25912 vsize=869804 CPUtime=3.87 /proc/25925/task/25926/stat : 25926 (java) R 25912 25911 17511 34816 17511 4202560 50263 0 1 0 361 26 0 0 25 0 11 0 46414122 890679296 67291 1283457024 134512640 134550932 4287799744 18446744073709551615 4095567120 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=25925/tid=25927] ppid=25912 vsize=869804 CPUtime=0.27 /proc/25925/task/25927/stat : 25927 (java) S 25912 25911 17511 34816 17511 4202560 12075 0 0 0 24 3 0 0 15 0 11 0 46414124 890679296 67291 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 0 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25928] ppid=25912 vsize=869804 CPUtime=0 /proc/25925/task/25928/stat : 25928 (java) S 25912 25911 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 46414124 890679296 67291 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25929] ppid=25912 vsize=869804 CPUtime=0 /proc/25925/task/25929/stat : 25929 (java) S 25912 25911 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46414124 890679296 67291 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25930] ppid=25912 vsize=869804 CPUtime=0 /proc/25925/task/25930/stat : 25930 (java) S 25912 25911 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46414127 890679296 67291 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25931] ppid=25912 vsize=869804 CPUtime=0.11 /proc/25925/task/25931/stat : 25931 (java) S 25912 25911 17511 34816 17511 4202560 855 0 0 0 10 1 0 0 17 0 11 0 46414127 890679296 67291 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25932] ppid=25912 vsize=869804 CPUtime=1.96 /proc/25925/task/25932/stat : 25932 (java) S 25912 25911 17511 34816 17511 4202560 6402 0 0 0 192 4 0 0 15 0 11 0 46414127 890679296 67291 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25933] ppid=25912 vsize=869804 CPUtime=0 /proc/25925/task/25933/stat : 25933 (java) S 25912 25911 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46414127 890679296 67291 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25934] ppid=25912 vsize=869804 CPUtime=0 /proc/25925/task/25934/stat : 25934 (java) S 25912 25911 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 46414127 890679296 67291 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25935] ppid=25912 vsize=869804 CPUtime=0 /proc/25925/task/25935/stat : 25935 (java) S 25912 25911 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 11 0 46414533 890679296 67291 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 874948 [startup+12.7126 s] /proc/loadavg: 1.01 1.08 1.13 2/46 25935 /proc/meminfo: memFree=632204/1048576 swapFree=0/0 [pid=25911] ppid=25910 vsize=2572 CPUtime=0 /proc/25911/stat : 25911 (p2cudf-user-1.1) S 25910 25911 17511 34816 17511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 46414118 2633728 271 1283457024 134512640 135304128 4289041440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25911/statm: 643 271 230 194 0 30 0 [pid=25912] ppid=25911 vsize=2572 CPUtime=0.02 /proc/25912/stat : 25912 (p2cudf) S 25911 25911 17511 34816 17511 4202496 391 3017 0 1 0 0 1 1 25 0 1 0 46414118 2633728 280 1283457024 134512640 135304128 4294490496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25912/statm: 643 280 239 194 0 30 0 [pid=25925] ppid=25912 vsize=867976 CPUtime=12.66 /proc/25925/stat : 25925 (java) S 25912 25911 17511 34816 17511 4202496 70709 0 1 0 1230 36 0 0 25 0 11 0 46414122 888807424 66867 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25925/statm: 216994 66867 1783 10 0 214085 0 [pid=25925/tid=25926] ppid=25912 vsize=867976 CPUtime=9.99 /proc/25925/task/25926/stat : 25926 (java) R 25912 25911 17511 34816 17511 4202560 50271 0 1 0 973 26 0 0 25 0 11 0 46414122 888807424 66867 1283457024 134512640 134550932 4287799744 18446744073709551615 4095587033 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=25925/tid=25927] ppid=25912 vsize=867976 CPUtime=0.27 /proc/25925/task/25927/stat : 25927 (java) S 25912 25911 17511 34816 17511 4202560 12075 0 0 0 24 3 0 0 15 0 11 0 46414124 888807424 66867 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 0 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25928] ppid=25912 vsize=867976 CPUtime=0 /proc/25925/task/25928/stat : 25928 (java) S 25912 25911 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 46414124 888807424 66867 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25929] ppid=25912 vsize=867976 CPUtime=0 /proc/25925/task/25929/stat : 25929 (java) S 25912 25911 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46414124 888807424 66867 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25930] ppid=25912 vsize=867976 CPUtime=0 /proc/25925/task/25930/stat : 25930 (java) S 25912 25911 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46414127 888807424 66867 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25931] ppid=25912 vsize=867976 CPUtime=0.11 /proc/25925/task/25931/stat : 25931 (java) S 25912 25911 17511 34816 17511 4202560 855 0 0 0 10 1 0 0 17 0 11 0 46414127 888807424 66867 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25932] ppid=25912 vsize=867976 CPUtime=2.25 /proc/25925/task/25932/stat : 25932 (java) S 25912 25911 17511 34816 17511 4202560 6427 0 0 0 221 4 0 0 15 0 11 0 46414127 888807424 66867 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25933] ppid=25912 vsize=867976 CPUtime=0 /proc/25925/task/25933/stat : 25933 (java) S 25912 25911 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46414127 888807424 66867 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25934] ppid=25912 vsize=867976 CPUtime=0 /proc/25925/task/25934/stat : 25934 (java) S 25912 25911 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 46414127 888807424 66867 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25935] ppid=25912 vsize=867976 CPUtime=0 /proc/25925/task/25935/stat : 25935 (java) S 25912 25911 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 11 0 46414533 888807424 66867 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 873120 Solver just ended. Dumping a history of the last processes samples [startup+12.8126 s] /proc/loadavg: 1.01 1.08 1.13 2/46 25935 /proc/meminfo: memFree=632204/1048576 swapFree=0/0 [pid=25911] ppid=25910 vsize=2572 CPUtime=0 /proc/25911/stat : 25911 (p2cudf-user-1.1) S 25910 25911 17511 34816 17511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 46414118 2633728 271 1283457024 134512640 135304128 4289041440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25911/statm: 643 271 230 194 0 30 0 [pid=25912] ppid=25911 vsize=2572 CPUtime=0.02 /proc/25912/stat : 25912 (p2cudf) S 25911 25911 17511 34816 17511 4202496 391 3017 0 1 0 0 1 1 25 0 1 0 46414118 2633728 280 1283457024 134512640 135304128 4294490496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25912/statm: 643 280 239 194 0 30 0 [pid=25925] ppid=25912 vsize=867976 CPUtime=12.76 /proc/25925/stat : 25925 (java) S 25912 25911 17511 34816 17511 4202496 70709 0 1 0 1240 36 0 0 25 0 11 0 46414122 888807424 66867 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25925/statm: 216994 66867 1783 10 0 214085 0 [pid=25925/tid=25926] ppid=25912 vsize=867976 CPUtime=10.09 /proc/25925/task/25926/stat : 25926 (java) R 25912 25911 17511 34816 17511 4202560 50271 0 1 0 983 26 0 0 25 0 11 0 46414122 888807424 66867 1283457024 134512640 134550932 4287799744 18446744073709551615 4095352936 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=25925/tid=25927] ppid=25912 vsize=867976 CPUtime=0.27 /proc/25925/task/25927/stat : 25927 (java) S 25912 25911 17511 34816 17511 4202560 12075 0 0 0 24 3 0 0 15 0 11 0 46414124 888807424 66867 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 0 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25928] ppid=25912 vsize=867976 CPUtime=0 /proc/25925/task/25928/stat : 25928 (java) S 25912 25911 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 46414124 888807424 66867 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25929] ppid=25912 vsize=867976 CPUtime=0 /proc/25925/task/25929/stat : 25929 (java) S 25912 25911 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46414124 888807424 66867 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25930] ppid=25912 vsize=867976 CPUtime=0 /proc/25925/task/25930/stat : 25930 (java) S 25912 25911 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46414127 888807424 66867 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25931] ppid=25912 vsize=867976 CPUtime=0.11 /proc/25925/task/25931/stat : 25931 (java) S 25912 25911 17511 34816 17511 4202560 855 0 0 0 10 1 0 0 17 0 11 0 46414127 888807424 66867 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25932] ppid=25912 vsize=867976 CPUtime=2.25 /proc/25925/task/25932/stat : 25932 (java) S 25912 25911 17511 34816 17511 4202560 6427 0 0 0 221 4 0 0 15 0 11 0 46414127 888807424 66867 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25933] ppid=25912 vsize=867976 CPUtime=0 /proc/25925/task/25933/stat : 25933 (java) S 25912 25911 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46414127 888807424 66867 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25934] ppid=25912 vsize=867976 CPUtime=0 /proc/25925/task/25934/stat : 25934 (java) S 25912 25911 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 46414127 888807424 66867 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25935] ppid=25912 vsize=867976 CPUtime=0 /proc/25925/task/25935/stat : 25935 (java) S 25912 25911 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 11 0 46414533 888807424 66867 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.78 Current children cumulated vsize (KiB) 873120 [startup+13.6128 s] /proc/loadavg: 1.01 1.08 1.13 2/46 25935 /proc/meminfo: memFree=632204/1048576 swapFree=0/0 [pid=25911] ppid=25910 vsize=2572 CPUtime=0 /proc/25911/stat : 25911 (p2cudf-user-1.1) S 25910 25911 17511 34816 17511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 46414118 2633728 271 1283457024 134512640 135304128 4289041440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25911/statm: 643 271 230 194 0 30 0 [pid=25912] ppid=25911 vsize=2572 CPUtime=0.02 /proc/25912/stat : 25912 (p2cudf) S 25911 25911 17511 34816 17511 4202496 391 3017 0 1 0 0 1 1 25 0 1 0 46414118 2633728 280 1283457024 134512640 135304128 4294490496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25912/statm: 643 280 239 194 0 30 0 [pid=25925] ppid=25912 vsize=867976 CPUtime=13.56 /proc/25925/stat : 25925 (java) S 25912 25911 17511 34816 17511 4202496 70711 0 1 0 1320 36 0 0 25 0 11 0 46414122 888807424 66869 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25925/statm: 216994 66869 1783 10 0 214085 0 [pid=25925/tid=25926] ppid=25912 vsize=867976 CPUtime=10.86 /proc/25925/task/25926/stat : 25926 (java) R 25912 25911 17511 34816 17511 4202560 50271 0 1 0 1060 26 0 0 25 0 11 0 46414122 888807424 66869 1283457024 134512640 134550932 4287799744 18446744073709551615 4095567168 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=25925/tid=25927] ppid=25912 vsize=867976 CPUtime=0.27 /proc/25925/task/25927/stat : 25927 (java) S 25912 25911 17511 34816 17511 4202560 12075 0 0 0 24 3 0 0 15 0 11 0 46414124 888807424 66869 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 0 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25928] ppid=25912 vsize=867976 CPUtime=0 /proc/25925/task/25928/stat : 25928 (java) S 25912 25911 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 46414124 888807424 66869 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25929] ppid=25912 vsize=867976 CPUtime=0 /proc/25925/task/25929/stat : 25929 (java) S 25912 25911 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46414124 888807424 66869 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25930] ppid=25912 vsize=867976 CPUtime=0 /proc/25925/task/25930/stat : 25930 (java) S 25912 25911 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46414127 888807424 66869 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25931] ppid=25912 vsize=867976 CPUtime=0.11 /proc/25925/task/25931/stat : 25931 (java) S 25912 25911 17511 34816 17511 4202560 855 0 0 0 10 1 0 0 17 0 11 0 46414127 888807424 66869 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25932] ppid=25912 vsize=867976 CPUtime=2.28 /proc/25925/task/25932/stat : 25932 (java) S 25912 25911 17511 34816 17511 4202560 6429 0 0 0 224 4 0 0 15 0 11 0 46414127 888807424 66869 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25933] ppid=25912 vsize=867976 CPUtime=0 /proc/25925/task/25933/stat : 25933 (java) S 25912 25911 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46414127 888807424 66869 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25934] ppid=25912 vsize=867976 CPUtime=0 /proc/25925/task/25934/stat : 25934 (java) S 25912 25911 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 46414127 888807424 66869 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25935] ppid=25912 vsize=867976 CPUtime=0 /proc/25925/task/25935/stat : 25935 (java) S 25912 25911 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 11 0 46414533 888807424 66869 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 13.58 Current children cumulated vsize (KiB) 873120 [startup+14.0042 s] /proc/loadavg: 1.01 1.08 1.13 2/46 25935 /proc/meminfo: memFree=632204/1048576 swapFree=0/0 [pid=25911] ppid=25910 vsize=2572 CPUtime=0 /proc/25911/stat : 25911 (p2cudf-user-1.1) S 25910 25911 17511 34816 17511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 46414118 2633728 271 1283457024 134512640 135304128 4289041440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25911/statm: 643 271 230 194 0 30 0 [pid=25912] ppid=25911 vsize=2572 CPUtime=0.02 /proc/25912/stat : 25912 (p2cudf) S 25911 25911 17511 34816 17511 4202496 391 3017 0 1 0 0 1 1 25 0 1 0 46414118 2633728 280 1283457024 134512640 135304128 4294490496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25912/statm: 643 280 239 194 0 30 0 [pid=25925] ppid=25912 vsize=868300 CPUtime=13.75 /proc/25925/stat : 25925 (java) S 25912 25911 17511 34816 17511 4202496 70730 0 1 0 1339 36 0 0 25 0 11 0 46414122 889139200 66888 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25925/statm: 217075 66888 1784 10 0 214166 0 [pid=25925/tid=25926] ppid=25912 vsize=868300 CPUtime=11.02 /proc/25925/task/25926/stat : 25926 (java) S 25912 25911 17511 34816 17511 4202560 50280 0 1 0 1076 26 0 0 25 0 11 0 46414122 889139200 66888 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25927] ppid=25912 vsize=868300 CPUtime=0.27 /proc/25925/task/25927/stat : 25927 (java) S 25912 25911 17511 34816 17511 4202560 12075 0 0 0 24 3 0 0 15 0 11 0 46414124 889139200 66888 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 0 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25928] ppid=25912 vsize=868300 CPUtime=0 /proc/25925/task/25928/stat : 25928 (java) S 25912 25911 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 46414124 889139200 66888 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25929] ppid=25912 vsize=868300 CPUtime=0 /proc/25925/task/25929/stat : 25929 (java) S 25912 25911 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46414124 889139200 66888 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25930] ppid=25912 vsize=868300 CPUtime=0 /proc/25925/task/25930/stat : 25930 (java) S 25912 25911 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46414127 889139200 66888 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25931] ppid=25912 vsize=868300 CPUtime=0.11 /proc/25925/task/25931/stat : 25931 (java) S 25912 25911 17511 34816 17511 4202560 855 0 0 0 10 1 0 0 17 0 11 0 46414127 889139200 66888 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25932] ppid=25912 vsize=868300 CPUtime=2.31 /proc/25925/task/25932/stat : 25932 (java) S 25912 25911 17511 34816 17511 4202560 6434 0 0 0 227 4 0 0 16 0 11 0 46414127 889139200 66888 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25933] ppid=25912 vsize=868300 CPUtime=0 /proc/25925/task/25933/stat : 25933 (java) S 25912 25911 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46414127 889139200 66888 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25934] ppid=25912 vsize=868300 CPUtime=0 /proc/25925/task/25934/stat : 25934 (java) R 25912 25911 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 46414127 889139200 66888 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 13.77 Current children cumulated vsize (KiB) 873444 [startup+14.4042 s] /proc/loadavg: 1.01 1.08 1.13 2/46 25936 /proc/meminfo: memFree=632204/1048576 swapFree=0/0 [pid=25911] ppid=25910 vsize=2572 CPUtime=0 /proc/25911/stat : 25911 (p2cudf-user-1.1) S 25910 25911 17511 34816 17511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 46414118 2633728 271 1283457024 134512640 135304128 4289041440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25911/statm: 643 271 230 194 0 30 0 [pid=25912] ppid=25911 vsize=2572 CPUtime=0.02 /proc/25912/stat : 25912 (p2cudf) S 25911 25911 17511 34816 17511 4202496 391 3017 0 1 0 0 1 1 25 0 1 0 46414118 2633728 280 1283457024 134512640 135304128 4294490496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25912/statm: 643 280 239 194 0 30 0 [pid=25925] ppid=25912 vsize=868300 CPUtime=13.84 /proc/25925/stat : 25925 (java) S 25912 25911 17511 34816 17511 4202496 70733 0 1 0 1348 36 0 0 25 0 11 0 46414122 889139200 66891 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25925/statm: 217075 66891 1785 10 0 214166 0 [pid=25925/tid=25926] ppid=25912 vsize=868300 CPUtime=11.02 /proc/25925/task/25926/stat : 25926 (java) S 25912 25911 17511 34816 17511 4202560 50280 0 1 0 1076 26 0 0 25 0 11 0 46414122 889139200 66891 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25927] ppid=25912 vsize=868300 CPUtime=0.27 /proc/25925/task/25927/stat : 25927 (java) S 25912 25911 17511 34816 17511 4202560 12075 0 0 0 24 3 0 0 16 0 11 0 46414124 889139200 66891 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 0 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25928] ppid=25912 vsize=868300 CPUtime=0 /proc/25925/task/25928/stat : 25928 (java) S 25912 25911 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 46414124 889139200 66891 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25929] ppid=25912 vsize=868300 CPUtime=0 /proc/25925/task/25929/stat : 25929 (java) S 25912 25911 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46414124 889139200 66891 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25930] ppid=25912 vsize=868300 CPUtime=0 /proc/25925/task/25930/stat : 25930 (java) S 25912 25911 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46414127 889139200 66891 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25931] ppid=25912 vsize=868300 CPUtime=0.11 /proc/25925/task/25931/stat : 25931 (java) S 25912 25911 17511 34816 17511 4202560 855 0 0 0 10 1 0 0 17 0 11 0 46414127 889139200 66891 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25932] ppid=25912 vsize=868300 CPUtime=2.32 /proc/25925/task/25932/stat : 25932 (java) S 25912 25911 17511 34816 17511 4202560 6436 0 0 0 228 4 0 0 15 0 11 0 46414127 889139200 66891 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25933] ppid=25912 vsize=868300 CPUtime=0 /proc/25925/task/25933/stat : 25933 (java) S 25912 25911 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46414127 889139200 66891 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25934] ppid=25912 vsize=868300 CPUtime=0 /proc/25925/task/25934/stat : 25934 (java) S 25912 25911 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 46414127 889139200 66891 1283457024 134512640 134550932 4287799744 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0 [pid=25925/tid=25936] ppid=25912 vsize=868300 CPUtime=0.08 /proc/25925/task/25936/stat : 25936 (java) R 25912 25911 17511 34816 17511 4202560 5 0 0 0 8 0 0 0 21 0 11 0 46415499 889139200 66891 1283457024 134512640 134550932 4287799744 18446744073709551615 4094545515 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 13.86 Current children cumulated vsize (KiB) 873444 Child status: 0 Real time (s): 14.4771 CPU time (s): 13.9489 CPU user time (s): 13.5328 CPU system time (s): 0.416026 CPU usage (%): 96.3513 Max. virtual memory (cumulated for all children) (KiB): 877132 getrusage(RUSAGE_CHILDREN,...) data: user time used= 13.5328 system time used= 0.416026 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 74549 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1070 involuntary context switches= 1149 runsolver used 0.008 second user time and 0 second system time The end