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-3688286-1337876670/watcher-3688286-1337876670 -o /tmp/evaluation-result-3688286-1337876670/solver-3688286-1337876670 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688286-1337876670.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.59 3.74 3.72 4/197 23712
/proc/meminfo: memFree=26662256/32873844 swapFree=7100/7100
[pid=23712] ppid=23710 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/23712/stat : 23712 (java) D 23710 23712 22059 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 253793931 9515008 182 33554432000 1073741824 1073778376 140735500359696 140735500350728 233411788469 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/23712/statm: 2323 182 140 9 0 71 0
[startup+0.0409291 s]
/proc/loadavg: 3.59 3.74 3.72 4/197 23712
/proc/meminfo: memFree=26662256/32873844 swapFree=7100/7100
[pid=23712] ppid=23710 vsize=9160024 CPUtime=0.02 cores=1,3,5,7
/proc/23712/stat : 23712 (java) S 23710 23712 22059 0 -1 4202496 2951 0 1 0 2 0 0 0 20 0 13 0 253793931 9379864576 3651 33554432000 1073741824 1073778376 140735982531392 140735982522528 233415147581 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23712/statm: 2306390 3652 1656 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9160024
[startup+0.100339 s]
/proc/loadavg: 3.59 3.74 3.72 4/197 23712
/proc/meminfo: memFree=26662256/32873844 swapFree=7100/7100
[pid=23712] ppid=23710 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/23712/stat : 23712 (java) S 23710 23712 22059 0 -1 4202496 4156 0 1 0 8 1 0 0 20 0 18 0 253793931 9787813888 5355 33554432000 1073741824 1073778376 140735982531392 140735982522528 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23712/statm: 2389603 5357 2080 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300243 s]
/proc/loadavg: 3.59 3.74 3.72 4/197 23712
/proc/meminfo: memFree=26662256/32873844 swapFree=7100/7100
[pid=23712] ppid=23710 vsize=9559616 CPUtime=0.52 cores=1,3,5,7
/proc/23712/stat : 23712 (java) S 23710 23712 22059 0 -1 4202496 10958 0 1 0 50 2 0 0 20 0 18 0 253793931 9789046784 12167 33554432000 1073741824 1073778376 140735982531392 140735982522528 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23712/statm: 2389904 12168 2218 9 0 2380597 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9559616
[startup+0.700276 s]
/proc/loadavg: 3.59 3.74 3.72 4/197 23712
/proc/meminfo: memFree=26662256/32873844 swapFree=7100/7100
[pid=23712] ppid=23710 vsize=9558412 CPUtime=1.41 cores=1,3,5,7
/proc/23712/stat : 23712 (java) S 23710 23712 22059 0 -1 4202496 15866 0 1 0 136 5 0 0 20 0 18 0 253793931 9787813888 36235 33554432000 1073741824 1073778376 140735982531392 140735982522528 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23712/statm: 2389603 36235 2228 9 0 2380296 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 9558412
[startup+1.50078 s]
/proc/loadavg: 3.59 3.74 3.72 7/219 23734
/proc/meminfo: memFree=26483032/32873844 swapFree=7100/7100
[pid=23712] ppid=23710 vsize=9824668 CPUtime=4.01 cores=1,3,5,7
/proc/23712/stat : 23712 (java) S 23710 23712 22059 0 -1 4202496 25886 0 1 0 390 11 0 0 20 0 22 0 253793931 10060460032 49547 33554432000 1073741824 1073778376 140735982531392 140735982522528 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23712/statm: 2456167 49547 2268 9 0 2446860 0
[pid=23712/tid=23714] ppid=23710 vsize=9824668 CPUtime=0.71 cores=1,3,5,7
/proc/23712/task/23714/stat : 23714 (java) S 23710 23712 22059 0 -1 4202560 2511 0 1 0 68 3 0 0 20 0 22 0 253793932 10060460032 49547 33554432000 1073741824 1073778376 140735982531392 139933552501752 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23712/tid=23715] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23715/stat : 23715 (java) S 23710 23712 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253793933 10060460032 49547 33554432000 1073741824 1073778376 140735982531392 139933395758120 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23712/tid=23716] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23716/stat : 23716 (java) S 23710 23712 22059 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253793933 10060460032 49547 33554432000 1073741824 1073778376 140735982531392 139933394705320 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23712/tid=23717] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23717/stat : 23717 (java) S 23710 23712 22059 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253793933 10060460032 49547 33554432000 1073741824 1073778376 140735982531392 139933393652520 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23712/tid=23718] ppid=23710 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/23712/task/23718/stat : 23718 (java) S 23710 23712 22059 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 253793933 10060460032 49547 33554432000 1073741824 1073778376 140735982531392 139933392599720 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23712/tid=23719] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23719/stat : 23719 (java) S 23710 23712 22059 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253793933 10060460032 49547 33554432000 1073741824 1073778376 140735982531392 139933391546920 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23712/tid=23720] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23720/stat : 23720 (java) S 23710 23712 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253793933 10060460032 49547 33554432000 1073741824 1073778376 140735982531392 139933054396840 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23712/tid=23721] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23721/stat : 23721 (java) S 23710 23712 22059 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253793933 10060460032 49547 33554432000 1073741824 1073778376 140735982531392 139933053344040 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23712/tid=23722] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23722/stat : 23722 (java) S 23710 23712 22059 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253793933 10060460032 49547 33554432000 1073741824 1073778376 140735982531392 139933052291240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23712/tid=23723] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23723/stat : 23723 (java) S 23710 23712 22059 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 253793935 10060460032 49547 33554432000 1073741824 1073778376 140735982531392 139933040094184 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23712/tid=23724] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23724/stat : 23724 (java) S 23710 23712 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253793935 10060460032 49547 33554432000 1073741824 1073778376 140735982531392 139933039040248 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23712/tid=23725] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23725/stat : 23725 (java) S 23710 23712 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253793935 10060460032 49547 33554432000 1073741824 1073778376 140735982531392 139933037987336 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23712/tid=23726] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23726/stat : 23726 (java) S 23710 23712 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253793938 10060460032 49547 33554432000 1073741824 1073778376 140735982531392 139933036935824 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23712/tid=23727] ppid=23710 vsize=9824668 CPUtime=0.95 cores=1,3,5,7
/proc/23712/task/23727/stat : 23727 (java) S 23710 23712 22059 0 -1 4202560 16864 0 0 0 90 5 0 0 20 0 22 0 253793938 10060460032 49547 33554432000 1073741824 1073778376 140735982531392 139933035882936 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23712/tid=23728] ppid=23710 vsize=9824668 CPUtime=0.77 cores=1,3,5,7
/proc/23712/task/23728/stat : 23728 (java) S 23710 23712 22059 0 -1 4202560 5084 0 0 0 77 0 0 0 20 0 22 0 253793938 10060460032 49547 33554432000 1073741824 1073778376 140735982531392 139933034830136 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23712/tid=23729] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23729/stat : 23729 (java) S 23710 23712 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253793938 10060460032 49547 33554432000 1073741824 1073778376 140735982531392 139933033777528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23712/tid=23730] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23730/stat : 23730 (java) S 23710 23712 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253793938 10060460032 49547 33554432000 1073741824 1073778376 140735982531392 139933032724936 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23712/tid=23731] ppid=23710 vsize=9824668 CPUtime=0.7 cores=1,3,5,7
/proc/23712/task/23731/stat : 23731 (java) R 23710 23712 22059 0 -1 4202560 35 0 0 0 70 0 0 0 20 0 22 0 253794006 10060460032 49547 33554432000 1073741824 1073778376 140735982531392 139933031638120 139933407568874 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23712/tid=23732] ppid=23710 vsize=9824668 CPUtime=0.69 cores=1,3,5,7
/proc/23712/task/23732/stat : 23732 (java) R 23710 23712 22059 0 -1 4202560 77 0 0 0 69 0 0 0 20 0 22 0 253794006 10060460032 49547 33554432000 1073741824 1073778376 140735982531392 139933030585048 139933406798000 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=23712/tid=23733] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23733/stat : 23733 (java) S 23710 23712 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253794007 10060460032 49547 33554432000 1073741824 1073778376 140735982531392 139933029533096 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23712/tid=23734] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23734/stat : 23734 (java) S 23710 23712 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253794007 10060460032 49547 33554432000 1073741824 1073778376 140735982531392 139933028480296 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 9824668
[startup+3.1007 s]
/proc/loadavg: 3.59 3.74 3.72 5/219 23734
/proc/meminfo: memFree=26435068/32873844 swapFree=7100/7100
[pid=23712] ppid=23710 vsize=9824668 CPUtime=6.99 cores=1,3,5,7
/proc/23712/stat : 23712 (java) S 23710 23712 22059 0 -1 4202496 27437 0 1 0 679 20 0 0 20 0 19 0 253793931 10060460032 87073 33554432000 1073741824 1073778376 140735982531392 140735982522528 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23712/statm: 2456167 87073 2272 9 0 2446860 0
[pid=23712/tid=23714] ppid=23710 vsize=9824668 CPUtime=0.71 cores=1,3,5,7
/proc/23712/task/23714/stat : 23714 (java) S 23710 23712 22059 0 -1 4202560 2511 0 1 0 68 3 0 0 20 0 19 0 253793932 10060460032 87073 33554432000 1073741824 1073778376 140735982531392 139933552501752 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23712/tid=23715] ppid=23710 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/23712/task/23715/stat : 23715 (java) S 23710 23712 22059 0 -1 4202560 19 0 0 0 1 1 0 0 20 0 19 0 253793933 10060460032 87073 33554432000 1073741824 1073778376 140735982531392 139933395758120 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23712/tid=23716] ppid=23710 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/23712/task/23716/stat : 23716 (java) S 23710 23712 22059 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 253793933 10060460032 87073 33554432000 1073741824 1073778376 140735982531392 139933394705320 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23712/tid=23717] ppid=23710 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/23712/task/23717/stat : 23717 (java) S 23710 23712 22059 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 19 0 253793933 10060460032 87073 33554432000 1073741824 1073778376 140735982531392 139933393652520 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23712/tid=23718] ppid=23710 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/23712/task/23718/stat : 23718 (java) S 23710 23712 22059 0 -1 4202560 23 0 0 0 3 1 0 0 20 0 19 0 253793933 10060460032 87073 33554432000 1073741824 1073778376 140735982531392 139933392599720 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23712/tid=23719] ppid=23710 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/23712/task/23719/stat : 23719 (java) S 23710 23712 22059 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 253793933 10060460032 87073 33554432000 1073741824 1073778376 140735982531392 139933391546920 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23712/tid=23720] ppid=23710 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/23712/task/23720/stat : 23720 (java) S 23710 23712 22059 0 -1 4202560 24 0 0 0 3 2 0 0 20 0 19 0 253793933 10060460032 87073 33554432000 1073741824 1073778376 140735982531392 139933054396840 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23712/tid=23721] ppid=23710 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/23712/task/23721/stat : 23721 (java) S 23710 23712 22059 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 253793933 10060460032 87073 33554432000 1073741824 1073778376 140735982531392 139933053344040 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23712/tid=23722] ppid=23710 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/23712/task/23722/stat : 23722 (java) S 23710 23712 22059 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 253793933 10060460032 87073 33554432000 1073741824 1073778376 140735982531392 139933052291240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23712/tid=23723] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23723/stat : 23723 (java) S 23710 23712 22059 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 19 0 253793935 10060460032 87073 33554432000 1073741824 1073778376 140735982531392 139933040094184 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23712/tid=23724] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23724/stat : 23724 (java) S 23710 23712 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253793935 10060460032 87073 33554432000 1073741824 1073778376 140735982531392 139933039040248 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23712/tid=23725] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23725/stat : 23725 (java) S 23710 23712 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253793935 10060460032 87073 33554432000 1073741824 1073778376 140735982531392 139933037987336 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23712/tid=23726] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23726/stat : 23726 (java) S 23710 23712 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253793938 10060460032 87073 33554432000 1073741824 1073778376 140735982531392 139933036935824 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23712/tid=23727] ppid=23710 vsize=9824668 CPUtime=1.11 cores=1,3,5,7
/proc/23712/task/23727/stat : 23727 (java) S 23710 23712 22059 0 -1 4202560 16881 0 0 0 106 5 0 0 20 0 19 0 253793938 10060460032 87073 33554432000 1073741824 1073778376 140735982531392 139933035882936 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23712/tid=23728] ppid=23710 vsize=9824668 CPUtime=1 cores=1,3,5,7
/proc/23712/task/23728/stat : 23728 (java) S 23710 23712 22059 0 -1 4202560 6372 0 0 0 98 2 0 0 20 0 19 0 253793938 10060460032 87073 33554432000 1073741824 1073778376 140735982531392 139933034830136 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23712/tid=23729] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23729/stat : 23729 (java) S 23710 23712 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253793938 10060460032 87073 33554432000 1073741824 1073778376 140735982531392 139933033777528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23712/tid=23730] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23730/stat : 23730 (java) S 23710 23712 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253793938 10060460032 87073 33554432000 1073741824 1073778376 140735982531392 139933032724936 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23712/tid=23734] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23734/stat : 23734 (java) S 23710 23712 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253794007 10060460032 87073 33554432000 1073741824 1073778376 140735982531392 139933028480296 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.99
Current children cumulated vsize (KiB) 9824668
[startup+6.30081 s]
/proc/loadavg: 3.46 3.71 3.71 5/219 23737
/proc/meminfo: memFree=26083628/32873844 swapFree=7100/7100
[pid=23712] ppid=23710 vsize=9824668 CPUtime=13.26 cores=1,3,5,7
/proc/23712/stat : 23712 (java) S 23710 23712 22059 0 -1 4202496 27968 0 1 0 1292 34 0 0 20 0 22 0 253793931 10060460032 164547 33554432000 1073741824 1073778376 140735982531392 140735982522528 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23712/statm: 2456167 164547 2284 9 0 2446860 0
[pid=23712/tid=23714] ppid=23710 vsize=9824668 CPUtime=0.71 cores=1,3,5,7
/proc/23712/task/23714/stat : 23714 (java) S 23710 23712 22059 0 -1 4202560 2511 0 1 0 68 3 0 0 20 0 22 0 253793932 10060460032 164547 33554432000 1073741824 1073778376 140735982531392 139933552501752 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23712/tid=23715] ppid=23710 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/23712/task/23715/stat : 23715 (java) S 23710 23712 22059 0 -1 4202560 26 0 0 0 3 2 0 0 20 0 22 0 253793933 10060460032 164547 33554432000 1073741824 1073778376 140735982531392 139933395758120 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23712/tid=23716] ppid=23710 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/23712/task/23716/stat : 23716 (java) S 23710 23712 22059 0 -1 4202560 28 0 0 0 4 2 0 0 20 0 22 0 253793933 10060460032 164547 33554432000 1073741824 1073778376 140735982531392 139933394705320 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23712/tid=23717] ppid=23710 vsize=9824668 CPUtime=0.09 cores=1,3,5,7
/proc/23712/task/23717/stat : 23717 (java) S 23710 23712 22059 0 -1 4202560 39 0 0 0 6 3 0 0 20 0 22 0 253793933 10060460032 164547 33554432000 1073741824 1073778376 140735982531392 139933393652520 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23712/tid=23718] ppid=23710 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/23712/task/23718/stat : 23718 (java) S 23710 23712 22059 0 -1 4202560 27 0 0 0 5 2 0 0 20 0 22 0 253793933 10060460032 164547 33554432000 1073741824 1073778376 140735982531392 139933392599720 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23712/tid=23719] ppid=23710 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/23712/task/23719/stat : 23719 (java) S 23710 23712 22059 0 -1 4202560 25 0 0 0 3 2 0 0 20 0 22 0 253793933 10060460032 164547 33554432000 1073741824 1073778376 140735982531392 139933391546920 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23712/tid=23720] ppid=23710 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/23712/task/23720/stat : 23720 (java) S 23710 23712 22059 0 -1 4202560 35 0 0 0 5 2 0 0 20 0 22 0 253793933 10060460032 164547 33554432000 1073741824 1073778376 140735982531392 139933054396840 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23712/tid=23721] ppid=23710 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/23712/task/23721/stat : 23721 (java) S 23710 23712 22059 0 -1 4202560 26 0 0 0 5 2 0 0 20 0 22 0 253793933 10060460032 164547 33554432000 1073741824 1073778376 140735982531392 139933053344040 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23712/tid=23722] ppid=23710 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/23712/task/23722/stat : 23722 (java) S 23710 23712 22059 0 -1 4202560 29 0 0 0 5 2 0 0 20 0 22 0 253793933 10060460032 164547 33554432000 1073741824 1073778376 140735982531392 139933052291240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23712/tid=23723] ppid=23710 vsize=9824668 CPUtime=0.08 cores=1,3,5,7
/proc/23712/task/23723/stat : 23723 (java) S 23710 23712 22059 0 -1 4202560 483 0 0 0 8 0 0 0 20 0 22 0 253793935 10060460032 164547 33554432000 1073741824 1073778376 140735982531392 139933040094184 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23712/tid=23724] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23724/stat : 23724 (java) S 23710 23712 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253793935 10060460032 164547 33554432000 1073741824 1073778376 140735982531392 139933039040248 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23712/tid=23725] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23725/stat : 23725 (java) S 23710 23712 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253793935 10060460032 164547 33554432000 1073741824 1073778376 140735982531392 139933037987336 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23712/tid=23726] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23726/stat : 23726 (java) S 23710 23712 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253793938 10060460032 164547 33554432000 1073741824 1073778376 140735982531392 139933036935824 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23712/tid=23727] ppid=23710 vsize=9824668 CPUtime=1.24 cores=1,3,5,7
/proc/23712/task/23727/stat : 23727 (java) S 23710 23712 22059 0 -1 4202560 16891 0 0 0 119 5 0 0 20 0 22 0 253793938 10060460032 164547 33554432000 1073741824 1073778376 140735982531392 139933035882936 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23712/tid=23728] ppid=23710 vsize=9824668 CPUtime=1.03 cores=1,3,5,7
/proc/23712/task/23728/stat : 23728 (java) S 23710 23712 22059 0 -1 4202560 6372 0 0 0 101 2 0 0 20 0 22 0 253793938 10060460032 164547 33554432000 1073741824 1073778376 140735982531392 139933034830136 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23712/tid=23729] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23729/stat : 23729 (java) S 23710 23712 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253793938 10060460032 164547 33554432000 1073741824 1073778376 140735982531392 139933033777528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23712/tid=23730] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23730/stat : 23730 (java) S 23710 23712 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253793938 10060460032 164547 33554432000 1073741824 1073778376 140735982531392 139933032724936 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
################
# More data... #
################
[pid=23712/tid=23850] ppid=23710 vsize=9824668 CPUtime=340.6 cores=1,3,5,7
/proc/23712/task/23850/stat : 23850 (java) R 23710 23712 22059 0 -1 4202560 18 0 0 0 34055 5 0 0 20 0 22 0 253835491 10060460032 690278 33554432000 1073741824 1073778376 140735982531392 139933030583856 139933407569039 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23712/tid=23851] ppid=23710 vsize=9824668 CPUtime=340.58 cores=1,3,5,7
/proc/23712/task/23851/stat : 23851 (java) R 23710 23712 22059 0 -1 4202560 12 0 0 0 34053 5 0 0 20 0 22 0 253835491 10060460032 690278 33554432000 1073741824 1073778376 140735982531392 139933029530128 139933407476481 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23712/tid=23852] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23852/stat : 23852 (java) S 23710 23712 22059 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253835496 10060460032 690278 33554432000 1073741824 1073778376 140735982531392 139933031637928 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1508.7
Current children cumulated vsize (KiB) 9824668
[startup+822.301 s]
/proc/loadavg: 4.01 3.95 3.84 5/219 23854
/proc/meminfo: memFree=24100940/32873844 swapFree=7100/7100
[pid=23712] ppid=23710 vsize=9824668 CPUtime=1628.26 cores=1,3,5,7
/proc/23712/stat : 23712 (java) S 23710 23712 22059 0 -1 4202496 37655 0 1 0 162670 156 0 0 20 0 22 0 253793931 10060460032 684953 33554432000 1073741824 1073778376 140735982531392 140735982522528 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23712/statm: 2456167 684953 2285 9 0 2446860 0
[pid=23712/tid=23714] ppid=23710 vsize=9824668 CPUtime=0.78 cores=1,3,5,7
/proc/23712/task/23714/stat : 23714 (java) S 23710 23712 22059 0 -1 4202560 2542 0 1 0 72 6 0 0 20 0 22 0 253793932 10060460032 684953 33554432000 1073741824 1073778376 140735982531392 139933552501752 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23712/tid=23715] ppid=23710 vsize=9824668 CPUtime=0.97 cores=1,3,5,7
/proc/23712/task/23715/stat : 23715 (java) S 23710 23712 22059 0 -1 4202560 162 0 0 0 94 3 0 0 20 0 22 0 253793933 10060460032 684953 33554432000 1073741824 1073778376 140735982531392 139933395758120 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23712/tid=23716] ppid=23710 vsize=9824668 CPUtime=0.92 cores=1,3,5,7
/proc/23712/task/23716/stat : 23716 (java) S 23710 23712 22059 0 -1 4202560 131 0 0 0 89 3 0 0 20 0 22 0 253793933 10060460032 684953 33554432000 1073741824 1073778376 140735982531392 139933394705320 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23712/tid=23717] ppid=23710 vsize=9824668 CPUtime=1.04 cores=1,3,5,7
/proc/23712/task/23717/stat : 23717 (java) S 23710 23712 22059 0 -1 4202560 175 0 0 0 99 5 0 0 20 0 22 0 253793933 10060460032 684953 33554432000 1073741824 1073778376 140735982531392 139933393652520 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23712/tid=23718] ppid=23710 vsize=9824668 CPUtime=0.91 cores=1,3,5,7
/proc/23712/task/23718/stat : 23718 (java) S 23710 23712 22059 0 -1 4202560 142 0 0 0 87 4 0 0 20 0 22 0 253793933 10060460032 684953 33554432000 1073741824 1073778376 140735982531392 139933392599720 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23712/tid=23719] ppid=23710 vsize=9824668 CPUtime=0.84 cores=1,3,5,7
/proc/23712/task/23719/stat : 23719 (java) S 23710 23712 22059 0 -1 4202560 166 0 0 0 80 4 0 0 20 0 22 0 253793933 10060460032 684953 33554432000 1073741824 1073778376 140735982531392 139933391546920 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23712/tid=23720] ppid=23710 vsize=9824668 CPUtime=1.07 cores=1,3,5,7
/proc/23712/task/23720/stat : 23720 (java) S 23710 23712 22059 0 -1 4202560 162 0 0 0 103 4 0 0 20 0 22 0 253793933 10060460032 684953 33554432000 1073741824 1073778376 140735982531392 139933054396840 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23712/tid=23721] ppid=23710 vsize=9824668 CPUtime=0.87 cores=1,3,5,7
/proc/23712/task/23721/stat : 23721 (java) S 23710 23712 22059 0 -1 4202560 138 0 0 0 84 3 0 0 20 0 22 0 253793933 10060460032 684953 33554432000 1073741824 1073778376 140735982531392 139933053344040 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23712/tid=23722] ppid=23710 vsize=9824668 CPUtime=0.9 cores=1,3,5,7
/proc/23712/task/23722/stat : 23722 (java) S 23710 23712 22059 0 -1 4202560 135 0 0 0 87 3 0 0 20 0 22 0 253793933 10060460032 684953 33554432000 1073741824 1073778376 140735982531392 139933052291240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23712/tid=23723] ppid=23710 vsize=9824668 CPUtime=14.07 cores=1,3,5,7
/proc/23712/task/23723/stat : 23723 (java) S 23710 23712 22059 0 -1 4202560 1448 0 0 0 1396 11 0 0 20 0 22 0 253793935 10060460032 684953 33554432000 1073741824 1073778376 140735982531392 139933040094184 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23712/tid=23724] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23724/stat : 23724 (java) S 23710 23712 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253793935 10060460032 684953 33554432000 1073741824 1073778376 140735982531392 139933039040248 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23712/tid=23725] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23725/stat : 23725 (java) S 23710 23712 22059 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 22 0 253793935 10060460032 684953 33554432000 1073741824 1073778376 140735982531392 139933037987336 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23712/tid=23726] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23726/stat : 23726 (java) S 23710 23712 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253793938 10060460032 684953 33554432000 1073741824 1073778376 140735982531392 139933036935824 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23712/tid=23727] ppid=23710 vsize=9824668 CPUtime=2.74 cores=1,3,5,7
/proc/23712/task/23727/stat : 23727 (java) S 23710 23712 22059 0 -1 4202560 22997 0 0 0 268 6 0 0 20 0 22 0 253793938 10060460032 684953 33554432000 1073741824 1073778376 140735982531392 139933035882936 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23712/tid=23728] ppid=23710 vsize=9824668 CPUtime=1.29 cores=1,3,5,7
/proc/23712/task/23728/stat : 23728 (java) S 23710 23712 22059 0 -1 4202560 6382 0 0 0 127 2 0 0 20 0 22 0 253793938 10060460032 684953 33554432000 1073741824 1073778376 140735982531392 139933034830136 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23712/tid=23729] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23729/stat : 23729 (java) S 23710 23712 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253793938 10060460032 684953 33554432000 1073741824 1073778376 140735982531392 139933033777528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23712/tid=23730] ppid=23710 vsize=9824668 CPUtime=0.42 cores=1,3,5,7
/proc/23712/task/23730/stat : 23730 (java) S 23710 23712 22059 0 -1 4202560 47 0 0 0 21 21 0 0 20 0 22 0 253793938 10060460032 684953 33554432000 1073741824 1073778376 140735982531392 139933032724936 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23712/tid=23734] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23734/stat : 23734 (java) S 23710 23712 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253794007 10060460032 684953 33554432000 1073741824 1073778376 140735982531392 139933028480296 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23712/tid=23850] ppid=23710 vsize=9824668 CPUtime=399.6 cores=1,3,5,7
/proc/23712/task/23850/stat : 23850 (java) R 23710 23712 22059 0 -1 4202560 23 0 0 0 39954 6 0 0 20 0 22 0 253835491 10060460032 684953 33554432000 1073741824 1073778376 140735982531392 139933030583856 139933407570197 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23712/tid=23851] ppid=23710 vsize=9824668 CPUtime=399.55 cores=1,3,5,7
/proc/23712/task/23851/stat : 23851 (java) R 23710 23712 22059 0 -1 4202560 13 0 0 0 39949 6 0 0 20 0 22 0 253835491 10060460032 684953 33554432000 1073741824 1073778376 140735982531392 139933029530192 139933407969086 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23712/tid=23852] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23852/stat : 23852 (java) S 23710 23712 22059 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253835496 10060460032 684953 33554432000 1073741824 1073778376 140735982531392 139933031637928 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1628.26
Current children cumulated vsize (KiB) 9824668
[startup+882.301 s]
/proc/loadavg: 4.00 3.96 3.84 5/219 23854
/proc/meminfo: memFree=24321568/32873844 swapFree=7100/7100
[pid=23712] ppid=23710 vsize=9824668 CPUtime=1748.28 cores=1,3,5,7
/proc/23712/stat : 23712 (java) S 23710 23712 22059 0 -1 4202496 37838 0 1 0 174668 160 0 0 20 0 22 0 253793931 10060460032 680541 33554432000 1073741824 1073778376 140735982531392 140735982522528 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23712/statm: 2456167 680541 2285 9 0 2446860 0
[pid=23712/tid=23714] ppid=23710 vsize=9824668 CPUtime=0.79 cores=1,3,5,7
/proc/23712/task/23714/stat : 23714 (java) S 23710 23712 22059 0 -1 4202560 2543 0 1 0 73 6 0 0 20 0 22 0 253793932 10060460032 680541 33554432000 1073741824 1073778376 140735982531392 139933552501752 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23712/tid=23715] ppid=23710 vsize=9824668 CPUtime=1.12 cores=1,3,5,7
/proc/23712/task/23715/stat : 23715 (java) S 23710 23712 22059 0 -1 4202560 165 0 0 0 108 4 0 0 20 0 22 0 253793933 10060460032 680541 33554432000 1073741824 1073778376 140735982531392 139933395758120 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23712/tid=23716] ppid=23710 vsize=9824668 CPUtime=1.11 cores=1,3,5,7
/proc/23712/task/23716/stat : 23716 (java) S 23710 23712 22059 0 -1 4202560 150 0 0 0 107 4 0 0 20 0 22 0 253793933 10060460032 680541 33554432000 1073741824 1073778376 140735982531392 139933394705320 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23712/tid=23717] ppid=23710 vsize=9824668 CPUtime=1.17 cores=1,3,5,7
/proc/23712/task/23717/stat : 23717 (java) S 23710 23712 22059 0 -1 4202560 215 0 0 0 112 5 0 0 20 0 22 0 253793933 10060460032 680541 33554432000 1073741824 1073778376 140735982531392 139933393652520 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23712/tid=23718] ppid=23710 vsize=9824668 CPUtime=1.06 cores=1,3,5,7
/proc/23712/task/23718/stat : 23718 (java) S 23710 23712 22059 0 -1 4202560 165 0 0 0 102 4 0 0 20 0 22 0 253793933 10060460032 680541 33554432000 1073741824 1073778376 140735982531392 139933392599720 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23712/tid=23719] ppid=23710 vsize=9824668 CPUtime=0.96 cores=1,3,5,7
/proc/23712/task/23719/stat : 23719 (java) S 23710 23712 22059 0 -1 4202560 189 0 0 0 92 4 0 0 20 0 22 0 253793933 10060460032 680541 33554432000 1073741824 1073778376 140735982531392 139933391546920 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23712/tid=23720] ppid=23710 vsize=9824668 CPUtime=1.21 cores=1,3,5,7
/proc/23712/task/23720/stat : 23720 (java) S 23710 23712 22059 0 -1 4202560 181 0 0 0 117 4 0 0 20 0 22 0 253793933 10060460032 680541 33554432000 1073741824 1073778376 140735982531392 139933054396840 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23712/tid=23721] ppid=23710 vsize=9824668 CPUtime=1.01 cores=1,3,5,7
/proc/23712/task/23721/stat : 23721 (java) S 23710 23712 22059 0 -1 4202560 156 0 0 0 98 3 0 0 20 0 22 0 253793933 10060460032 680541 33554432000 1073741824 1073778376 140735982531392 139933053344040 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23712/tid=23722] ppid=23710 vsize=9824668 CPUtime=1.03 cores=1,3,5,7
/proc/23712/task/23722/stat : 23722 (java) S 23710 23712 22059 0 -1 4202560 152 0 0 0 100 3 0 0 20 0 22 0 253793933 10060460032 680541 33554432000 1073741824 1073778376 140735982531392 139933052291240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23712/tid=23723] ppid=23710 vsize=9824668 CPUtime=14.55 cores=1,3,5,7
/proc/23712/task/23723/stat : 23723 (java) S 23710 23712 22059 0 -1 4202560 1453 0 0 0 1443 12 0 0 20 0 22 0 253793935 10060460032 680541 33554432000 1073741824 1073778376 140735982531392 139933040094184 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23712/tid=23724] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23724/stat : 23724 (java) S 23710 23712 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253793935 10060460032 680541 33554432000 1073741824 1073778376 140735982531392 139933039040248 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23712/tid=23725] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23725/stat : 23725 (java) S 23710 23712 22059 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 22 0 253793935 10060460032 680541 33554432000 1073741824 1073778376 140735982531392 139933037987336 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23712/tid=23726] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23726/stat : 23726 (java) S 23710 23712 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253793938 10060460032 680541 33554432000 1073741824 1073778376 140735982531392 139933036935824 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23712/tid=23727] ppid=23710 vsize=9824668 CPUtime=2.74 cores=1,3,5,7
/proc/23712/task/23727/stat : 23727 (java) S 23710 23712 22059 0 -1 4202560 22998 0 0 0 268 6 0 0 20 0 22 0 253793938 10060460032 680541 33554432000 1073741824 1073778376 140735982531392 139933035882936 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23712/tid=23728] ppid=23710 vsize=9824668 CPUtime=1.29 cores=1,3,5,7
/proc/23712/task/23728/stat : 23728 (java) S 23710 23712 22059 0 -1 4202560 6382 0 0 0 127 2 0 0 20 0 22 0 253793938 10060460032 680541 33554432000 1073741824 1073778376 140735982531392 139933034830136 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23712/tid=23729] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23729/stat : 23729 (java) S 23710 23712 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253793938 10060460032 680541 33554432000 1073741824 1073778376 140735982531392 139933033777528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23712/tid=23730] ppid=23710 vsize=9824668 CPUtime=0.46 cores=1,3,5,7
/proc/23712/task/23730/stat : 23730 (java) S 23710 23712 22059 0 -1 4202560 51 0 0 0 23 23 0 0 20 0 22 0 253793938 10060460032 680541 33554432000 1073741824 1073778376 140735982531392 139933032724936 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23712/tid=23734] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23734/stat : 23734 (java) S 23710 23712 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253794007 10060460032 680541 33554432000 1073741824 1073778376 140735982531392 139933028480296 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23712/tid=23850] ppid=23710 vsize=9824668 CPUtime=458.79 cores=1,3,5,7
/proc/23712/task/23850/stat : 23850 (java) R 23710 23712 22059 0 -1 4202560 30 0 0 0 45873 6 0 0 20 0 22 0 253835491 10060460032 680541 33554432000 1073741824 1073778376 140735982531392 139933030583824 139933407656909 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23712/tid=23851] ppid=23710 vsize=9824668 CPUtime=458.76 cores=1,3,5,7
/proc/23712/task/23851/stat : 23851 (java) R 23710 23712 22059 0 -1 4202560 16 0 0 0 45870 6 0 0 20 0 22 0 253835491 10060460032 680541 33554432000 1073741824 1073778376 140735982531392 139933029530128 139933407956536 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23712/tid=23852] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23852/stat : 23852 (java) S 23710 23712 22059 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253835496 10060460032 680541 33554432000 1073741824 1073778376 140735982531392 139933031637928 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1748.28
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+908.201 s]
/proc/loadavg: 4.00 3.96 3.84 5/219 23854
/proc/meminfo: memFree=24353812/32873844 swapFree=7100/7100
[pid=23712] ppid=23710 vsize=9824668 CPUtime=1800.1 cores=1,3,5,7
/proc/23712/stat : 23712 (java) S 23710 23712 22059 0 -1 4202496 37979 0 1 0 179848 162 0 0 20 0 22 0 253793931 10060460032 677735 33554432000 1073741824 1073778376 140735982531392 140735982522528 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23712/statm: 2456167 677735 2285 9 0 2446860 0
[pid=23712/tid=23714] ppid=23710 vsize=9824668 CPUtime=0.79 cores=1,3,5,7
/proc/23712/task/23714/stat : 23714 (java) S 23710 23712 22059 0 -1 4202560 2543 0 1 0 73 6 0 0 20 0 22 0 253793932 10060460032 677735 33554432000 1073741824 1073778376 140735982531392 139933552501752 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23712/tid=23715] ppid=23710 vsize=9824668 CPUtime=1.22 cores=1,3,5,7
/proc/23712/task/23715/stat : 23715 (java) S 23710 23712 22059 0 -1 4202560 171 0 0 0 118 4 0 0 20 0 22 0 253793933 10060460032 677735 33554432000 1073741824 1073778376 140735982531392 139933395758120 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23712/tid=23716] ppid=23710 vsize=9824668 CPUtime=1.17 cores=1,3,5,7
/proc/23712/task/23716/stat : 23716 (java) S 23710 23712 22059 0 -1 4202560 169 0 0 0 113 4 0 0 20 0 22 0 253793933 10060460032 677735 33554432000 1073741824 1073778376 140735982531392 139933394705320 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23712/tid=23717] ppid=23710 vsize=9824668 CPUtime=1.25 cores=1,3,5,7
/proc/23712/task/23717/stat : 23717 (java) S 23710 23712 22059 0 -1 4202560 222 0 0 0 120 5 0 0 20 0 22 0 253793933 10060460032 677735 33554432000 1073741824 1073778376 140735982531392 139933393652520 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23712/tid=23718] ppid=23710 vsize=9824668 CPUtime=1.16 cores=1,3,5,7
/proc/23712/task/23718/stat : 23718 (java) S 23710 23712 22059 0 -1 4202560 183 0 0 0 112 4 0 0 20 0 22 0 253793933 10060460032 677735 33554432000 1073741824 1073778376 140735982531392 139933392599720 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23712/tid=23719] ppid=23710 vsize=9824668 CPUtime=1.08 cores=1,3,5,7
/proc/23712/task/23719/stat : 23719 (java) S 23710 23712 22059 0 -1 4202560 211 0 0 0 104 4 0 0 20 0 22 0 253793933 10060460032 677735 33554432000 1073741824 1073778376 140735982531392 139933391546920 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23712/tid=23720] ppid=23710 vsize=9824668 CPUtime=1.32 cores=1,3,5,7
/proc/23712/task/23720/stat : 23720 (java) S 23710 23712 22059 0 -1 4202560 206 0 0 0 128 4 0 0 20 0 22 0 253793933 10060460032 677735 33554432000 1073741824 1073778376 140735982531392 139933054396840 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23712/tid=23721] ppid=23710 vsize=9824668 CPUtime=1.09 cores=1,3,5,7
/proc/23712/task/23721/stat : 23721 (java) S 23710 23712 22059 0 -1 4202560 177 0 0 0 106 3 0 0 20 0 22 0 253793933 10060460032 677735 33554432000 1073741824 1073778376 140735982531392 139933053344040 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23712/tid=23722] ppid=23710 vsize=9824668 CPUtime=1.12 cores=1,3,5,7
/proc/23712/task/23722/stat : 23722 (java) S 23710 23712 22059 0 -1 4202560 164 0 0 0 108 4 0 0 20 0 22 0 253793933 10060460032 677735 33554432000 1073741824 1073778376 140735982531392 139933052291240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23712/tid=23723] ppid=23710 vsize=9824668 CPUtime=14.9 cores=1,3,5,7
/proc/23712/task/23723/stat : 23723 (java) S 23710 23712 22059 0 -1 4202560 1455 0 0 0 1478 12 0 0 20 0 22 0 253793935 10060460032 677735 33554432000 1073741824 1073778376 140735982531392 139933040094184 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23712/tid=23724] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23724/stat : 23724 (java) S 23710 23712 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253793935 10060460032 677735 33554432000 1073741824 1073778376 140735982531392 139933039040248 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23712/tid=23725] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23725/stat : 23725 (java) S 23710 23712 22059 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 22 0 253793935 10060460032 677735 33554432000 1073741824 1073778376 140735982531392 139933037987336 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23712/tid=23726] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23726/stat : 23726 (java) S 23710 23712 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253793938 10060460032 677735 33554432000 1073741824 1073778376 140735982531392 139933036935824 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23712/tid=23727] ppid=23710 vsize=9824668 CPUtime=2.74 cores=1,3,5,7
/proc/23712/task/23727/stat : 23727 (java) S 23710 23712 22059 0 -1 4202560 22998 0 0 0 268 6 0 0 20 0 22 0 253793938 10060460032 677735 33554432000 1073741824 1073778376 140735982531392 139933035882936 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23712/tid=23728] ppid=23710 vsize=9824668 CPUtime=1.29 cores=1,3,5,7
/proc/23712/task/23728/stat : 23728 (java) S 23710 23712 22059 0 -1 4202560 6382 0 0 0 127 2 0 0 20 0 22 0 253793938 10060460032 677735 33554432000 1073741824 1073778376 140735982531392 139933034830136 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23712/tid=23729] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23729/stat : 23729 (java) S 23710 23712 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253793938 10060460032 677735 33554432000 1073741824 1073778376 140735982531392 139933033777528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23712/tid=23730] ppid=23710 vsize=9824668 CPUtime=0.47 cores=1,3,5,7
/proc/23712/task/23730/stat : 23730 (java) S 23710 23712 22059 0 -1 4202560 53 0 0 0 24 23 0 0 20 0 22 0 253793938 10060460032 677735 33554432000 1073741824 1073778376 140735982531392 139933032724936 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23712/tid=23734] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23734/stat : 23734 (java) S 23710 23712 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253794007 10060460032 677735 33554432000 1073741824 1073778376 140735982531392 139933028480296 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23712/tid=23850] ppid=23710 vsize=9824668 CPUtime=484.14 cores=1,3,5,7
/proc/23712/task/23850/stat : 23850 (java) R 23710 23712 22059 0 -1 4202560 36 0 0 0 48407 7 0 0 20 0 22 0 253835491 10060460032 677735 33554432000 1073741824 1073778376 140735982531392 139933030583856 139933407427802 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23712/tid=23851] ppid=23710 vsize=9824668 CPUtime=484.11 cores=1,3,5,7
/proc/23712/task/23851/stat : 23851 (java) R 23710 23712 22059 0 -1 4202560 17 0 0 0 48404 7 0 0 20 0 22 0 253835491 10060460032 677735 33554432000 1073741824 1073778376 140735982531392 139933029529904 139933407156254 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23712/tid=23852] ppid=23710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23712/task/23852/stat : 23852 (java) S 23710 23712 22059 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253835496 10060460032 677735 33554432000 1073741824 1073778376 140735982531392 139933031637928 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 908.27
CPU time (s): 1800.66
CPU user time (s): 1798.67
CPU system time (s): 1.9947
CPU usage (%): 198.252
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.67
system time used= 1.9947
maximum resident set size= 2877244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38010
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25810
involuntary context switches= 29070
runsolver used 3.61245 second user time and 9.1936 second system time
The end