runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458094-1307158034/watcher-3458094-1307158034 -o /tmp/evaluation-result-3458094-1307158034/solver-3458094-1307158034 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458094-1307158034.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.16 2.05 1.96 2/447 31894
/proc/meminfo: memFree=28969568/32951124 swapFree=43324008/67111528
[pid=31894] ppid=31892 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/31894/stat : 31894 (java) S 31892 31894 28402 0 -1 4202496 6784 0 1 0 0 0 0 0 25 0 2 0 827403860 13850947584 6487 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458747877 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/31894/statm: 3381579 6499 917 9 0 3372735 0
[pid=31894/tid=31895] ppid=31892 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31895/stat : 31895 (java) R 31892 31894 28402 0 -1 4202560 5728 0 1 0 0 0 0 0 25 0 2 0 827403860 13850947584 6544 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244446639163 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0313 s]
/proc/loadavg: 2.16 2.05 1.96 2/447 31894
/proc/meminfo: memFree=28969568/32951124 swapFree=43324008/67111528
[pid=31894] ppid=31892 vsize=13537012 CPUtime=0.02 cores=1,3,5,7
/proc/31894/stat : 31894 (java) S 31892 31894 28402 0 -1 4202496 13211 0 1 0 1 1 0 0 25 0 10 0 827403860 13861900288 12911 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458747877 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/31894/statm: 3384253 12913 1515 9 0 3375001 0
[pid=31894/tid=31895] ppid=31892 vsize=13537012 CPUtime=0.02 cores=1,3,5,7
/proc/31894/task/31895/stat : 31895 (java) R 31892 31894 28402 0 -1 4202560 12093 0 1 0 1 1 0 0 25 0 10 0 827403860 13861900288 12914 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 47391506070590 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13537012
[startup+0.100252 s]
/proc/loadavg: 2.16 2.05 1.96 2/447 31894
/proc/meminfo: memFree=28969568/32951124 swapFree=43324008/67111528
[pid=31894] ppid=31892 vsize=13622300 CPUtime=0.1 cores=1,3,5,7
/proc/31894/stat : 31894 (java) S 31892 31894 28402 0 -1 4202496 15609 0 1 0 8 2 0 0 25 0 18 0 827403860 13949235200 15276 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31894/statm: 3405575 15278 2092 9 0 3396309 0
[pid=31894/tid=31895] ppid=31892 vsize=13622300 CPUtime=0.08 cores=1,3,5,7
/proc/31894/task/31895/stat : 31895 (java) R 31892 31894 28402 0 -1 4202560 13651 0 1 0 6 2 0 0 18 0 18 0 827403860 13949235200 15278 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622300
[startup+0.300249 s]
/proc/loadavg: 2.16 2.05 1.96 2/447 31894
/proc/meminfo: memFree=28969568/32951124 swapFree=43324008/67111528
[pid=31894] ppid=31892 vsize=13628620 CPUtime=0.52 cores=1,3,5,7
/proc/31894/stat : 31894 (java) S 31892 31894 28402 0 -1 4202496 18320 0 1 0 49 3 0 0 25 0 19 0 827403860 13955706880 17271 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31894/statm: 3407155 17271 2200 9 0 3397889 0
[pid=31894/tid=31895] ppid=31892 vsize=13628620 CPUtime=0.28 cores=1,3,5,7
/proc/31894/task/31895/stat : 31895 (java) R 31892 31894 28402 0 -1 4202560 14259 0 1 0 26 2 0 0 19 0 19 0 827403860 13955706880 17271 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 46912505215960 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 13628620
[startup+0.701177 s]
/proc/loadavg: 2.16 2.05 1.96 2/447 31894
/proc/meminfo: memFree=28969568/32951124 swapFree=43324008/67111528
[pid=31894] ppid=31892 vsize=13628872 CPUtime=1.03 cores=1,3,5,7
/proc/31894/stat : 31894 (java) S 31892 31894 28402 0 -1 4202496 19909 0 1 0 100 3 0 0 25 0 19 0 827403860 13955964928 18406 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31894/statm: 3407218 18406 2236 9 0 3397952 0
[pid=31894/tid=31895] ppid=31892 vsize=13628872 CPUtime=0.66 cores=1,3,5,7
/proc/31894/task/31895/stat : 31895 (java) R 31892 31894 28402 0 -1 4202560 14551 0 1 0 64 2 0 0 19 0 19 0 827403860 13955964928 18406 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 46912505597614 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 13628872
[startup+1.50103 s]
/proc/loadavg: 2.16 2.05 1.96 3/466 31913
/proc/meminfo: memFree=28902508/32951124 swapFree=43324008/67111528
[pid=31894] ppid=31892 vsize=13628872 CPUtime=1.88 cores=1,3,5,7
/proc/31894/stat : 31894 (java) S 31892 31894 28402 0 -1 4202496 20533 0 1 0 185 3 0 0 25 0 19 0 827403860 13955964928 19028 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31894/statm: 3407218 19028 2238 9 0 3397952 0
[pid=31894/tid=31895] ppid=31892 vsize=13628872 CPUtime=1.43 cores=1,3,5,7
/proc/31894/task/31895/stat : 31895 (java) R 31892 31894 28402 0 -1 4202560 14560 0 1 0 141 2 0 0 20 0 19 0 827403860 13955964928 19028 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 46912505524063 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31894/tid=31897] ppid=31892 vsize=13628872 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31897/stat : 31897 (java) S 31892 31894 28402 0 -1 4202560 160 0 0 0 0 0 0 0 15 0 19 0 827403862 13955964928 19028 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458761113 0 4 0 16800975 18446604464181926848 0 0 -1 5 0 0 0
[pid=31894/tid=31898] ppid=31892 vsize=13628872 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31898/stat : 31898 (java) S 31892 31894 28402 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 827403862 13955964928 19028 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458761113 0 4 0 16800975 18446604464181926848 0 0 -1 5 0 0 0
[pid=31894/tid=31899] ppid=31892 vsize=13628872 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31899/stat : 31899 (java) S 31892 31894 28402 0 -1 4202560 110 0 0 0 0 0 0 0 15 0 19 0 827403862 13955964928 19028 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458761113 0 4 0 16800975 18446604464181926848 0 0 -1 1 0 0 0
[pid=31894/tid=31900] ppid=31892 vsize=13628872 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31900/stat : 31900 (java) S 31892 31894 28402 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827403862 13955964928 19028 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458761113 0 4 0 16800975 18446604464181926848 0 0 -1 5 0 0 0
[pid=31894/tid=31901] ppid=31892 vsize=13628872 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31901/stat : 31901 (java) S 31892 31894 28402 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827403862 13955964928 19028 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458761113 0 4 0 16800975 18446604464181926848 0 0 -1 7 0 0 0
[pid=31894/tid=31902] ppid=31892 vsize=13628872 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31902/stat : 31902 (java) S 31892 31894 28402 0 -1 4202560 35 0 0 0 0 0 0 0 15 0 19 0 827403862 13955964928 19028 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458761113 0 4 0 16800975 18446604464181926848 0 0 -1 1 0 0 0
[pid=31894/tid=31903] ppid=31892 vsize=13628872 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31903/stat : 31903 (java) S 31892 31894 28402 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 19 0 827403862 13955964928 19028 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458761113 0 4 0 16800975 18446604464181926848 0 0 -1 7 0 0 0
[pid=31894/tid=31904] ppid=31892 vsize=13628872 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31904/stat : 31904 (java) S 31892 31894 28402 0 -1 4202560 208 0 0 0 0 0 0 0 15 0 19 0 827403862 13955964928 19028 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458761113 0 4 0 16800975 18446604464181926848 0 0 -1 5 0 0 0
[pid=31894/tid=31905] ppid=31892 vsize=13628872 CPUtime=0.03 cores=1,3,5,7
/proc/31894/task/31905/stat : 31905 (java) S 31892 31894 28402 0 -1 4202560 635 0 0 0 3 0 0 0 15 0 19 0 827403863 13955964928 19028 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458761728 0 0 0 16800975 18446604464181926848 0 0 -1 3 0 0 0
[pid=31894/tid=31906] ppid=31892 vsize=13628872 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31906/stat : 31906 (java) S 31892 31894 28402 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 827403863 13955964928 19028 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458761113 0 4 0 16800975 18446604464181926848 0 0 -1 5 0 0 0
[pid=31894/tid=31907] ppid=31892 vsize=13628872 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31907/stat : 31907 (java) S 31892 31894 28402 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 827403863 13955964928 19028 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458761113 0 4 0 16800975 18446604464181926848 0 0 -1 5 0 0 0
[pid=31894/tid=31908] ppid=31892 vsize=13628872 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31908/stat : 31908 (java) S 31892 31894 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827403866 13955964928 19028 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458768817 0 4 0 16800975 18446604464181926848 0 0 -1 1 0 0 0
[pid=31894/tid=31909] ppid=31892 vsize=13628872 CPUtime=0.2 cores=1,3,5,7
/proc/31894/task/31909/stat : 31909 (java) S 31892 31894 28402 0 -1 4202560 1132 0 0 0 20 0 0 0 16 0 19 0 827403866 13955964928 19028 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458761113 0 4 0 16800975 18446604464181926848 0 0 -1 7 0 0 0
[pid=31894/tid=31910] ppid=31892 vsize=13628872 CPUtime=0.18 cores=1,3,5,7
/proc/31894/task/31910/stat : 31910 (java) S 31892 31894 28402 0 -1 4202560 2459 0 0 0 18 0 0 0 15 0 19 0 827403866 13955964928 19028 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458761113 0 4 0 16800975 18446604464181926848 0 0 -1 3 0 0 0
[pid=31894/tid=31911] ppid=31892 vsize=13628872 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31911/stat : 31911 (java) S 31892 31894 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827403866 13955964928 19028 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458761113 0 4 0 16800975 18446604464181926848 0 0 -1 1 0 0 0
[pid=31894/tid=31912] ppid=31892 vsize=13628872 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31912/stat : 31912 (java) S 31892 31894 28402 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827403866 13955964928 19028 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458761728 0 4 0 16800975 18446604464181926848 0 0 -1 5 0 0 0
[pid=31894/tid=31913] ppid=31892 vsize=13628872 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31913/stat : 31913 (java) S 31892 31894 28402 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827403876 13955964928 19028 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458761728 0 4 0 16800975 18446604464181926848 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 13628872
Solver just ended. Dumping a history of the last processes samples
[startup+1.90096 s]
/proc/loadavg: 2.16 2.05 1.96 3/466 31913
/proc/meminfo: memFree=28902508/32951124 swapFree=43324008/67111528
[pid=31894] ppid=31892 vsize=13628872 CPUtime=2.32 cores=1,3,5,7
/proc/31894/stat : 31894 (java) S 31892 31894 28402 0 -1 4202496 20907 0 1 0 229 3 0 0 25 0 19 0 827403860 13955964928 19401 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31894/statm: 3407218 19401 2248 9 0 3397952 0
[pid=31894/tid=31895] ppid=31892 vsize=13628872 CPUtime=1.81 cores=1,3,5,7
/proc/31894/task/31895/stat : 31895 (java) R 31892 31894 28402 0 -1 4202560 14560 0 1 0 179 2 0 0 21 0 19 0 827403860 13955964928 19401 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 46912505537776 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31894/tid=31897] ppid=31892 vsize=13628872 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31897/stat : 31897 (java) S 31892 31894 28402 0 -1 4202560 252 0 0 0 0 0 0 0 15 0 19 0 827403862 13955964928 19401 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458761113 0 4 0 16800975 18446604464181926848 0 0 -1 1 0 0 0
[pid=31894/tid=31898] ppid=31892 vsize=13628872 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31898/stat : 31898 (java) S 31892 31894 28402 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 827403862 13955964928 19401 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458761113 0 4 0 16800975 18446604464181926848 0 0 -1 3 0 0 0
[pid=31894/tid=31899] ppid=31892 vsize=13628872 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31899/stat : 31899 (java) S 31892 31894 28402 0 -1 4202560 110 0 0 0 0 0 0 0 15 0 19 0 827403862 13955964928 19401 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458761113 0 4 0 16800975 18446604464181926848 0 0 -1 1 0 0 0
[pid=31894/tid=31900] ppid=31892 vsize=13628872 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31900/stat : 31900 (java) S 31892 31894 28402 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827403862 13955964928 19401 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458761113 0 4 0 16800975 18446604464181926848 0 0 -1 1 0 0 0
[pid=31894/tid=31901] ppid=31892 vsize=13628872 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31901/stat : 31901 (java) S 31892 31894 28402 0 -1 4202560 62 0 0 0 0 0 0 0 16 0 19 0 827403862 13955964928 19401 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458761113 0 4 0 16800975 18446604464181926848 0 0 -1 3 0 0 0
[pid=31894/tid=31902] ppid=31892 vsize=13628872 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31902/stat : 31902 (java) S 31892 31894 28402 0 -1 4202560 35 0 0 0 0 0 0 0 15 0 19 0 827403862 13955964928 19401 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458761113 0 4 0 16800975 18446604464181926848 0 0 -1 1 0 0 0
[pid=31894/tid=31903] ppid=31892 vsize=13628872 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31903/stat : 31903 (java) S 31892 31894 28402 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 19 0 827403862 13955964928 19401 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458761113 0 4 0 16800975 18446604464181926848 0 0 -1 7 0 0 0
[pid=31894/tid=31904] ppid=31892 vsize=13628872 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31904/stat : 31904 (java) S 31892 31894 28402 0 -1 4202560 283 0 0 0 0 0 0 0 15 0 19 0 827403862 13955964928 19401 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458761113 0 4 0 16800975 18446604464181926848 0 0 -1 3 0 0 0
[pid=31894/tid=31905] ppid=31892 vsize=13628872 CPUtime=0.05 cores=1,3,5,7
/proc/31894/task/31905/stat : 31905 (java) S 31892 31894 28402 0 -1 4202560 760 0 0 0 5 0 0 0 15 0 19 0 827403863 13955964928 19401 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458761728 0 0 0 16800975 18446604464181926848 0 0 -1 5 0 0 0
[pid=31894/tid=31906] ppid=31892 vsize=13628872 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31906/stat : 31906 (java) S 31892 31894 28402 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 827403863 13955964928 19401 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458761113 0 4 0 16800975 18446604464181926848 0 0 -1 5 0 0 0
[pid=31894/tid=31907] ppid=31892 vsize=13628872 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31907/stat : 31907 (java) S 31892 31894 28402 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 827403863 13955964928 19401 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458761113 0 4 0 16800975 18446604464181926848 0 0 -1 5 0 0 0
[pid=31894/tid=31908] ppid=31892 vsize=13628872 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31908/stat : 31908 (java) S 31892 31894 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827403866 13955964928 19401 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458768817 0 4 0 16800975 18446604464181926848 0 0 -1 1 0 0 0
[pid=31894/tid=31909] ppid=31892 vsize=13628872 CPUtime=0.23 cores=1,3,5,7
/proc/31894/task/31909/stat : 31909 (java) S 31892 31894 28402 0 -1 4202560 1152 0 0 0 23 0 0 0 15 0 19 0 827403866 13955964928 19401 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458761113 0 4 0 16800975 18446604464181926848 0 0 -1 7 0 0 0
[pid=31894/tid=31910] ppid=31892 vsize=13628872 CPUtime=0.18 cores=1,3,5,7
/proc/31894/task/31910/stat : 31910 (java) S 31892 31894 28402 0 -1 4202560 2460 0 0 0 18 0 0 0 15 0 19 0 827403866 13955964928 19401 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458761113 0 4 0 16800975 18446604464181926848 0 0 -1 3 0 0 0
[pid=31894/tid=31911] ppid=31892 vsize=13628872 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31911/stat : 31911 (java) S 31892 31894 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827403866 13955964928 19401 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458761113 0 4 0 16800975 18446604464181926848 0 0 -1 1 0 0 0
[pid=31894/tid=31912] ppid=31892 vsize=13628872 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31912/stat : 31912 (java) S 31892 31894 28402 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827403866 13955964928 19401 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458761728 0 4 0 16800975 18446604464181926848 0 0 -1 5 0 0 0
[pid=31894/tid=31913] ppid=31892 vsize=13628872 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31913/stat : 31913 (java) S 31892 31894 28402 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827403876 13955964928 19401 33554432000 1073741824 1073778376 140736930002832 18446744073709551615 244458761728 0 4 0 16800975 18446604464181926848 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 13628872
Child status: 30
Real time (s): 1.98008
CPU time (s): 2.41263
CPU user time (s): 2.37164
CPU system time (s): 0.040993
CPU usage (%): 121.845
Max. virtual memory (cumulated for all children) (KiB): 13629228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.37164
system time used= 0.040993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20934
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 305
involuntary context switches= 56
runsolver used 0.009998 second user time and 0.021996 second system time
The end