runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3687810-1337873877/watcher-3687810-1337873877 -o /tmp/evaluation-result-3687810-1337873877/solver-3687810-1337873877 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687810-1337873877.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: 3.67 3.67 3.29 4/197 18895
/proc/meminfo: memFree=28564872/32873844 swapFree=7384/7384
[pid=18895] ppid=18893 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/18895/stat : 18895 (java) R 18893 18895 18255 0 -1 4202496 815 0 0 0 0 0 0 0 20 0 1 0 253513157 23793664 545 33554432000 1073741824 1073778376 140735252269936 140735252259000 239863904833 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18895/statm: 5809 557 419 9 0 128 0
[startup+0.00867306 s]
/proc/loadavg: 3.67 3.67 3.29 4/197 18895
/proc/meminfo: memFree=28564872/32873844 swapFree=7384/7384
[pid=18895] ppid=18893 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/18895/stat : 18895 (java) S 18893 18895 18255 0 -1 4202496 1215 0 0 0 0 0 0 0 20 0 2 0 253513157 95129600 927 33554432000 1073741824 1073778376 140735252269936 140735252261072 239876472893 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18895/statm: 23225 927 703 9 0 16769 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 92900
[startup+0.100216 s]
/proc/loadavg: 3.67 3.67 3.29 4/197 18895
/proc/meminfo: memFree=28564872/32873844 swapFree=7384/7384
[pid=18895] ppid=18893 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/18895/stat : 18895 (java) S 18893 18895 18255 0 -1 4202496 4373 0 1 0 9 1 0 0 20 0 18 0 253513157 9787813888 6085 33554432000 1073741824 1073778376 140735252269936 140735252261072 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18895/statm: 2389603 6085 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.300246 s]
/proc/loadavg: 3.67 3.67 3.29 4/197 18895
/proc/meminfo: memFree=28564872/32873844 swapFree=7384/7384
[pid=18895] ppid=18893 vsize=9824668 CPUtime=0.44 cores=1,3,5,7
/proc/18895/stat : 18895 (java) S 18893 18895 18255 0 -1 4202496 5317 0 1 0 41 3 0 0 20 0 19 0 253513157 10060460032 8308 33554432000 1073741824 1073778376 140735252269936 140735252261072 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18895/statm: 2456167 8308 2228 9 0 2446860 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9824668
[startup+0.700255 s]
/proc/loadavg: 3.67 3.67 3.29 4/197 18895
/proc/meminfo: memFree=28564872/32873844 swapFree=7384/7384
[pid=18895] ppid=18893 vsize=9824668 CPUtime=0.44 cores=1,3,5,7
/proc/18895/stat : 18895 (java) S 18893 18895 18255 0 -1 4202496 5317 0 1 0 41 3 0 0 20 0 19 0 253513157 10060460032 8308 33554432000 1073741824 1073778376 140735252269936 140735252261072 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18895/statm: 2456167 8308 2228 9 0 2446860 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9824668
[startup+1.50069 s]
/proc/loadavg: 3.46 3.62 3.28 3/216 18920
/proc/meminfo: memFree=28524964/32873844 swapFree=7384/7384
[pid=18895] ppid=18893 vsize=9824668 CPUtime=0.52 cores=1,3,5,7
/proc/18895/stat : 18895 (java) S 18893 18895 18255 0 -1 4202496 5801 0 1 0 49 3 0 0 20 0 19 0 253513157 10060460032 10466 33554432000 1073741824 1073778376 140735252269936 140735252261072 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18895/statm: 2456167 10466 2232 9 0 2446860 0
[pid=18895/tid=18897] ppid=18893 vsize=9824668 CPUtime=0.22 cores=1,3,5,7
/proc/18895/task/18897/stat : 18897 (java) S 18893 18895 18255 0 -1 4202560 2469 0 1 0 21 1 0 0 20 0 19 0 253513158 10060460032 10466 33554432000 1073741824 1073778376 140735252269936 140059651838968 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18895/tid=18898] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18898/stat : 18898 (java) S 18893 18895 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513158 10060460032 10466 33554432000 1073741824 1073778376 140735252269936 140059624290472 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18895/tid=18899] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18899/stat : 18899 (java) S 18893 18895 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513158 10060460032 10466 33554432000 1073741824 1073778376 140735252269936 140059623237928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18895/tid=18900] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18900/stat : 18900 (java) S 18893 18895 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513158 10060460032 10466 33554432000 1073741824 1073778376 140735252269936 140059493312936 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18895/tid=18901] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18901/stat : 18901 (java) S 18893 18895 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513158 10060460032 10466 33554432000 1073741824 1073778376 140735252269936 140059492260392 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18895/tid=18902] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18902/stat : 18902 (java) S 18893 18895 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513158 10060460032 10466 33554432000 1073741824 1073778376 140735252269936 140059491207848 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18895/tid=18903] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18903/stat : 18903 (java) S 18893 18895 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513158 10060460032 10466 33554432000 1073741824 1073778376 140735252269936 140059490155304 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18895/tid=18904] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18904/stat : 18904 (java) S 18893 18895 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513158 10060460032 10466 33554432000 1073741824 1073778376 140735252269936 140059489102760 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18895/tid=18905] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18905/stat : 18905 (java) S 18893 18895 18255 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253513158 10060460032 10466 33554432000 1073741824 1073778376 140735252269936 140059017735208 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18895/tid=18906] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18906/stat : 18906 (java) S 18893 18895 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253513159 10060460032 10466 33554432000 1073741824 1073778376 140735252269936 140059005536360 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18895/tid=18907] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18907/stat : 18907 (java) S 18893 18895 18255 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253513160 10060460032 10466 33554432000 1073741824 1073778376 140735252269936 140059004482680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18895/tid=18908] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18908/stat : 18908 (java) S 18893 18895 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253513160 10060460032 10466 33554432000 1073741824 1073778376 140735252269936 140059003430024 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18895/tid=18909] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18909/stat : 18909 (java) S 18893 18895 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513162 10060460032 10466 33554432000 1073741824 1073778376 140735252269936 140059002378768 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18895/tid=18910] ppid=18893 vsize=9824668 CPUtime=0.1 cores=1,3,5,7
/proc/18895/task/18910/stat : 18910 (java) S 18893 18895 18255 0 -1 4202560 826 0 0 0 10 0 0 0 20 0 19 0 253513162 10060460032 10466 33554432000 1073741824 1073778376 140735252269936 140059001326136 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18895/tid=18911] ppid=18893 vsize=9824668 CPUtime=0.12 cores=1,3,5,7
/proc/18895/task/18911/stat : 18911 (java) S 18893 18895 18255 0 -1 4202560 1184 0 0 0 12 0 0 0 20 0 19 0 253513162 10060460032 10466 33554432000 1073741824 1073778376 140735252269936 140059000273592 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18895/tid=18912] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18912/stat : 18912 (java) S 18893 18895 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513162 10060460032 10466 33554432000 1073741824 1073778376 140735252269936 140058999221240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18895/tid=18913] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18913/stat : 18913 (java) S 18893 18895 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513162 10060460032 10466 33554432000 1073741824 1073778376 140735252269936 140058998168904 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18895/tid=18917] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18917/stat : 18917 (java) S 18893 18895 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253513182 10060460032 10466 33554432000 1073741824 1073778376 140735252269936 140058993923240 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9824668
[startup+3.10064 s]
/proc/loadavg: 3.46 3.62 3.28 3/216 18926
/proc/meminfo: memFree=28510888/32873844 swapFree=7384/7384
[pid=18895] ppid=18893 vsize=9824668 CPUtime=0.66 cores=1,3,5,7
/proc/18895/stat : 18895 (java) S 18893 18895 18255 0 -1 4202496 6676 0 1 0 60 6 0 0 20 0 19 0 253513157 10060460032 14370 33554432000 1073741824 1073778376 140735252269936 140735252261072 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18895/statm: 2456167 14370 2237 9 0 2446860 0
[pid=18895/tid=18897] ppid=18893 vsize=9824668 CPUtime=0.22 cores=1,3,5,7
/proc/18895/task/18897/stat : 18897 (java) S 18893 18895 18255 0 -1 4202560 2471 0 1 0 21 1 0 0 20 0 19 0 253513158 10060460032 14370 33554432000 1073741824 1073778376 140735252269936 140059651838968 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18895/tid=18898] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18898/stat : 18898 (java) S 18893 18895 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513158 10060460032 14370 33554432000 1073741824 1073778376 140735252269936 140059624290472 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18895/tid=18899] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18899/stat : 18899 (java) S 18893 18895 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513158 10060460032 14370 33554432000 1073741824 1073778376 140735252269936 140059623237928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18895/tid=18900] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18900/stat : 18900 (java) S 18893 18895 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513158 10060460032 14370 33554432000 1073741824 1073778376 140735252269936 140059493312936 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18895/tid=18901] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18901/stat : 18901 (java) S 18893 18895 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513158 10060460032 14370 33554432000 1073741824 1073778376 140735252269936 140059492260392 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18895/tid=18902] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18902/stat : 18902 (java) S 18893 18895 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513158 10060460032 14370 33554432000 1073741824 1073778376 140735252269936 140059491207848 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18895/tid=18903] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18903/stat : 18903 (java) S 18893 18895 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513158 10060460032 14370 33554432000 1073741824 1073778376 140735252269936 140059490155304 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18895/tid=18904] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18904/stat : 18904 (java) S 18893 18895 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513158 10060460032 14370 33554432000 1073741824 1073778376 140735252269936 140059489102760 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18895/tid=18905] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18905/stat : 18905 (java) S 18893 18895 18255 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253513158 10060460032 14370 33554432000 1073741824 1073778376 140735252269936 140059017735208 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18895/tid=18906] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18906/stat : 18906 (java) S 18893 18895 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253513159 10060460032 14370 33554432000 1073741824 1073778376 140735252269936 140059005536360 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18895/tid=18907] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18907/stat : 18907 (java) S 18893 18895 18255 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253513160 10060460032 14370 33554432000 1073741824 1073778376 140735252269936 140059004482680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18895/tid=18908] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18908/stat : 18908 (java) S 18893 18895 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253513160 10060460032 14370 33554432000 1073741824 1073778376 140735252269936 140059003430024 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18895/tid=18909] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18909/stat : 18909 (java) S 18893 18895 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513162 10060460032 14370 33554432000 1073741824 1073778376 140735252269936 140059002378768 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18895/tid=18910] ppid=18893 vsize=9824668 CPUtime=0.12 cores=1,3,5,7
/proc/18895/task/18910/stat : 18910 (java) S 18893 18895 18255 0 -1 4202560 840 0 0 0 12 0 0 0 20 0 19 0 253513162 10060460032 14370 33554432000 1073741824 1073778376 140735252269936 140059001326136 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18895/tid=18911] ppid=18893 vsize=9824668 CPUtime=0.18 cores=1,3,5,7
/proc/18895/task/18911/stat : 18911 (java) S 18893 18895 18255 0 -1 4202560 2019 0 0 0 18 0 0 0 20 0 19 0 253513162 10060460032 14370 33554432000 1073741824 1073778376 140735252269936 140059000273592 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18895/tid=18912] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18912/stat : 18912 (java) S 18893 18895 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513162 10060460032 14370 33554432000 1073741824 1073778376 140735252269936 140058999221240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18895/tid=18913] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18913/stat : 18913 (java) S 18893 18895 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513162 10060460032 14370 33554432000 1073741824 1073778376 140735252269936 140058998168904 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18895/tid=18917] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18917/stat : 18917 (java) S 18893 18895 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253513182 10060460032 14370 33554432000 1073741824 1073778376 140735252269936 140058993923240 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 9824668
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+3.20774 s]
/proc/loadavg: 3.46 3.62 3.28 3/216 18932
/proc/meminfo: memFree=28504060/32873844 swapFree=7384/7384
[pid=18895] ppid=18893 vsize=9824668 CPUtime=0.66 cores=1,3,5,7
/proc/18895/stat : 18895 (java) S 18893 18895 18255 0 -1 4202496 6676 0 1 0 60 6 0 0 20 0 19 0 253513157 10060460032 14370 33554432000 1073741824 1073778376 140735252269936 140735252261072 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18895/statm: 2456167 14370 2237 9 0 2446860 0
[pid=18895/tid=18897] ppid=18893 vsize=9824668 CPUtime=0.22 cores=1,3,5,7
/proc/18895/task/18897/stat : 18897 (java) S 18893 18895 18255 0 -1 4202560 2471 0 1 0 21 1 0 0 20 0 19 0 253513158 10060460032 14370 33554432000 1073741824 1073778376 140735252269936 140059651838968 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18895/tid=18898] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18898/stat : 18898 (java) S 18893 18895 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513158 10060460032 14370 33554432000 1073741824 1073778376 140735252269936 140059624290472 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18895/tid=18899] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18899/stat : 18899 (java) S 18893 18895 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513158 10060460032 14370 33554432000 1073741824 1073778376 140735252269936 140059623237928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18895/tid=18900] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18900/stat : 18900 (java) S 18893 18895 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513158 10060460032 14370 33554432000 1073741824 1073778376 140735252269936 140059493312936 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18895/tid=18901] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18901/stat : 18901 (java) S 18893 18895 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513158 10060460032 14370 33554432000 1073741824 1073778376 140735252269936 140059492260392 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18895/tid=18902] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18902/stat : 18902 (java) S 18893 18895 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513158 10060460032 14370 33554432000 1073741824 1073778376 140735252269936 140059491207848 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18895/tid=18903] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18903/stat : 18903 (java) S 18893 18895 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513158 10060460032 14370 33554432000 1073741824 1073778376 140735252269936 140059490155304 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18895/tid=18904] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18904/stat : 18904 (java) S 18893 18895 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513158 10060460032 14370 33554432000 1073741824 1073778376 140735252269936 140059489102760 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18895/tid=18905] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18905/stat : 18905 (java) S 18893 18895 18255 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253513158 10060460032 14370 33554432000 1073741824 1073778376 140735252269936 140059017735208 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18895/tid=18906] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18906/stat : 18906 (java) S 18893 18895 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253513159 10060460032 14370 33554432000 1073741824 1073778376 140735252269936 140059005536360 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18895/tid=18907] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18907/stat : 18907 (java) S 18893 18895 18255 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253513160 10060460032 14370 33554432000 1073741824 1073778376 140735252269936 140059004482680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18895/tid=18908] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18908/stat : 18908 (java) S 18893 18895 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253513160 10060460032 14370 33554432000 1073741824 1073778376 140735252269936 140059003430024 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18895/tid=18909] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18909/stat : 18909 (java) S 18893 18895 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513162 10060460032 14370 33554432000 1073741824 1073778376 140735252269936 140059002378768 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18895/tid=18910] ppid=18893 vsize=9824668 CPUtime=0.12 cores=1,3,5,7
/proc/18895/task/18910/stat : 18910 (java) S 18893 18895 18255 0 -1 4202560 840 0 0 0 12 0 0 0 20 0 19 0 253513162 10060460032 14370 33554432000 1073741824 1073778376 140735252269936 140059001326136 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18895/tid=18911] ppid=18893 vsize=9824668 CPUtime=0.18 cores=1,3,5,7
/proc/18895/task/18911/stat : 18911 (java) S 18893 18895 18255 0 -1 4202560 2019 0 0 0 18 0 0 0 20 0 19 0 253513162 10060460032 14370 33554432000 1073741824 1073778376 140735252269936 140059000273592 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18895/tid=18912] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18912/stat : 18912 (java) S 18893 18895 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513162 10060460032 14370 33554432000 1073741824 1073778376 140735252269936 140058999221240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18895/tid=18913] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18913/stat : 18913 (java) S 18893 18895 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513162 10060460032 14370 33554432000 1073741824 1073778376 140735252269936 140058998168904 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18895/tid=18917] ppid=18893 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/18895/task/18917/stat : 18917 (java) S 18893 18895 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253513182 10060460032 14370 33554432000 1073741824 1073778376 140735252269936 140058993923240 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 9824668
Child status: 30
Real time (s): 3.26212
CPU time (s): 0.673897
CPU user time (s): 0.59191
CPU system time (s): 0.081987
CPU usage (%): 20.6582
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.59191
system time used= 0.081987
maximum resident set size= 61588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6685
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 390
involuntary context switches= 50
runsolver used 0.000999 second user time and 0.045993 second system time
The end