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-3479255-1307444787/watcher-3479255-1307444787 -o /tmp/evaluation-result-3479255-1307444787/solver-3479255-1307444787 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3479255-1307444787.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: 0.00 0.00 0.00 8/519 24613
/proc/meminfo: memFree=26270004/32950928 swapFree=34421304/67111528
[pid=24613] ppid=24611 vsize=9100 CPUtime=0 cores=1,3,5,7
/proc/24613/stat : 24613 (java) R 24611 24613 24554 0 -1 4202496 228 0 0 0 0 0 0 0 23 0 1 0 934709417 9318400 165 33554432000 1073741824 1073778376 140736989824576 18446744073709551615 251367544832 0 2147483391 4096 0 0 0 0 17 1 0 0 0
/proc/24613/statm: 2275 165 125 9 0 67 0
[startup+0.105115 s]
/proc/loadavg: 0.00 0.00 0.00 8/519 24613
/proc/meminfo: memFree=26270004/32950928 swapFree=34421304/67111528
[pid=24613] ppid=24611 vsize=10467616 CPUtime=0.05 cores=1,3,5,7
/proc/24613/stat : 24613 (java) S 24611 24613 24554 0 -1 4202496 11498 0 1 0 4 1 0 0 23 0 13 0 934709417 10718838784 11195 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379349477 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0
/proc/24613/statm: 2616904 11195 1685 9 0 2607652 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10467616
[startup+0.201091 s]
/proc/loadavg: 0.00 0.00 0.00 8/519 24613
/proc/meminfo: memFree=26270004/32950928 swapFree=34421304/67111528
[pid=24613] ppid=24611 vsize=10539688 CPUtime=0.17 cores=1,3,5,7
/proc/24613/stat : 24613 (java) S 24611 24613 24554 0 -1 4202496 13531 0 1 0 16 1 0 0 23 0 18 0 934709417 10792640512 13186 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24613/statm: 2634922 13186 2158 9 0 2625656 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 10539688
[startup+0.301067 s]
/proc/loadavg: 0.00 0.00 0.00 8/519 24613
/proc/meminfo: memFree=26270004/32950928 swapFree=34421304/67111528
[pid=24613] ppid=24611 vsize=10539688 CPUtime=0.38 cores=1,3,5,7
/proc/24613/stat : 24613 (java) S 24611 24613 24554 0 -1 4202496 15466 0 1 0 37 1 0 0 23 0 18 0 934709417 10792640512 14722 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24613/statm: 2634922 14722 2195 9 0 2625656 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 10539688
[startup+0.700939 s]
/proc/loadavg: 0.00 0.00 0.00 8/519 24613
/proc/meminfo: memFree=26270004/32950928 swapFree=34421304/67111528
[pid=24613] ppid=24611 vsize=10553284 CPUtime=1.68 cores=1,3,5,7
/proc/24613/stat : 24613 (java) S 24611 24613 24554 0 -1 4202496 31805 0 1 0 165 3 0 0 23 0 22 0 934709417 10806562816 27049 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24613/statm: 2638321 27049 2237 9 0 2629055 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 10553284
[startup+1.50084 s]
/proc/loadavg: 0.00 0.00 0.00 7/541 24635
/proc/meminfo: memFree=25903160/32950928 swapFree=34421304/67111528
[pid=24613] ppid=24611 vsize=10553284 CPUtime=3.82 cores=1,3,5,7
/proc/24613/stat : 24613 (java) S 24611 24613 24554 0 -1 4202496 64093 0 1 0 375 7 0 0 23 0 22 0 934709417 10806562816 59337 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24613/statm: 2638321 59341 2243 9 0 2629055 0
[pid=24613/tid=24615] ppid=24611 vsize=10553284 CPUtime=0.42 cores=1,3,5,7
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24554 0 -1 4202560 18588 0 1 0 40 2 0 0 15 0 22 0 934709420 10806562816 59341 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24616] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934709423 10806562816 59341 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24617] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 24554 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 934709423 10806562816 59342 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24618] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934709423 10806562816 59342 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24619] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934709423 10806562816 59342 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24620] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934709423 10806562816 59342 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24621] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934709423 10806562816 59342 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24622] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24622/stat : 24622 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934709423 10806562816 59342 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24623] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24623/stat : 24623 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934709423 10806562816 59342 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24624] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24624/stat : 24624 (java) S 24611 24613 24554 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 22 0 934709424 10806562816 59343 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 0 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24625] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24625/stat : 24625 (java) S 24611 24613 24554 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 934709425 10806562816 59343 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24626] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24626/stat : 24626 (java) S 24611 24613 24554 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 934709425 10806562816 59343 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24627] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24627/stat : 24627 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934709428 10806562816 59343 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379370417 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24628] ppid=24611 vsize=10553284 CPUtime=0.66 cores=1,3,5,7
/proc/24613/task/24628/stat : 24628 (java) S 24611 24613 24554 0 -1 4202560 5634 0 0 0 66 0 0 0 15 0 22 0 934709428 10806562816 59344 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 5 0 0 0
[pid=24613/tid=24629] ppid=24611 vsize=10553284 CPUtime=0.7 cores=1,3,5,7
/proc/24613/task/24629/stat : 24629 (java) S 24611 24613 24554 0 -1 4202560 5952 0 0 0 70 0 0 0 23 0 22 0 934709428 10806562816 59344 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24630] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24630/stat : 24630 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934709428 10806562816 59344 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24631] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24631/stat : 24631 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 934709428 10806562816 59344 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24632] ppid=24611 vsize=10553284 CPUtime=1.01 cores=1,3,5,7
/proc/24613/task/24632/stat : 24632 (java) R 24611 24613 24554 0 -1 4202560 543 0 0 0 101 0 0 0 25 0 22 0 934709466 10806562816 59344 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 46912505793457 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24613/tid=24633] ppid=24611 vsize=10553284 CPUtime=1 cores=1,3,5,7
/proc/24613/task/24633/stat : 24633 (java) R 24611 24613 24554 0 -1 4202560 32215 0 0 0 97 3 0 0 20 0 22 0 934709466 10806562816 59344 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 46912505988949 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24613/tid=24634] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24634/stat : 24634 (java) S 24611 24613 24554 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 934709472 10806562816 59344 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24635] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24635/stat : 24635 (java) S 24611 24613 24554 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 22 0 934709472 10806562816 59352 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 10553284
[startup+3.10155 s]
/proc/loadavg: 0.00 0.00 0.00 4/541 24635
/proc/meminfo: memFree=25561788/32950928 swapFree=34421304/67111528
[pid=24613] ppid=24611 vsize=10553284 CPUtime=7.07 cores=1,3,5,7
/proc/24613/stat : 24613 (java) S 24611 24613 24554 0 -1 4202496 79114 0 1 0 698 9 0 0 23 0 22 0 934709417 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24613/statm: 2638321 74348 2267 9 0 2629055 0
[pid=24613/tid=24615] ppid=24611 vsize=10553284 CPUtime=0.42 cores=1,3,5,7
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24554 0 -1 4202560 18588 0 1 0 40 2 0 0 15 0 22 0 934709420 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24616] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 24554 0 -1 4202560 482 0 0 0 0 0 0 0 18 0 22 0 934709423 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24617] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 24554 0 -1 4202560 534 0 0 0 0 0 0 0 18 0 22 0 934709423 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24618] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 24554 0 -1 4202560 408 0 0 0 0 0 0 0 18 0 22 0 934709423 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24619] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 934709423 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24620] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 934709423 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24621] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 934709423 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24622] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24622/stat : 24622 (java) S 24611 24613 24554 0 -1 4202560 224 0 0 0 0 0 0 0 16 0 22 0 934709423 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24623] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24623/stat : 24623 (java) S 24611 24613 24554 0 -1 4202560 381 0 0 0 0 0 0 0 16 0 22 0 934709423 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24624] ppid=24611 vsize=10553284 CPUtime=0.04 cores=1,3,5,7
/proc/24613/task/24624/stat : 24624 (java) S 24611 24613 24554 0 -1 4202560 1676 0 0 0 4 0 0 0 16 0 22 0 934709424 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 0 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24625] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24625/stat : 24625 (java) S 24611 24613 24554 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 934709425 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24626] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24626/stat : 24626 (java) S 24611 24613 24554 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 934709425 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24627] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24627/stat : 24627 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934709428 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379370417 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24628] ppid=24611 vsize=10553284 CPUtime=0.71 cores=1,3,5,7
/proc/24613/task/24628/stat : 24628 (java) S 24611 24613 24554 0 -1 4202560 5646 0 0 0 71 0 0 0 15 0 22 0 934709428 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 5 0 0 0
[pid=24613/tid=24629] ppid=24611 vsize=10553284 CPUtime=0.74 cores=1,3,5,7
/proc/24613/task/24629/stat : 24629 (java) S 24611 24613 24554 0 -1 4202560 5962 0 0 0 74 0 0 0 15 0 22 0 934709428 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24630] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24630/stat : 24630 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934709428 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24631] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24631/stat : 24631 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 934709428 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24632] ppid=24611 vsize=10553284 CPUtime=2.55 cores=1,3,5,7
/proc/24613/task/24632/stat : 24632 (java) R 24611 24613 24554 0 -1 4202560 604 0 0 0 255 0 0 0 25 0 22 0 934709466 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 46912505876032 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24613/tid=24633] ppid=24611 vsize=10553284 CPUtime=2.54 cores=1,3,5,7
/proc/24613/task/24633/stat : 24633 (java) R 24611 24613 24554 0 -1 4202560 43447 0 0 0 250 4 0 0 24 0 22 0 934709466 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 46912505930096 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24613/tid=24634] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24634/stat : 24634 (java) S 24611 24613 24554 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 934709472 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24635] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24635/stat : 24635 (java) S 24611 24613 24554 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 22 0 934709472 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.07
Current children cumulated vsize (KiB) 10553284
[startup+6.30095 s]
/proc/loadavg: 0.48 0.10 0.03 5/541 24635
/proc/meminfo: memFree=25269776/32950928 swapFree=34421304/67111528
[pid=24613] ppid=24611 vsize=10555052 CPUtime=14.55 cores=1,3,5,7
/proc/24613/stat : 24613 (java) S 24611 24613 24554 0 -1 4202496 121256 0 1 0 1441 14 0 0 23 0 22 0 934709417 10808373248 110406 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24613/statm: 2638763 110409 2267 9 0 2629497 0
[pid=24613/tid=24615] ppid=24611 vsize=10555052 CPUtime=0.42 cores=1,3,5,7
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24554 0 -1 4202560 18589 0 1 0 40 2 0 0 15 0 22 0 934709420 10808373248 110410 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24616] ppid=24611 vsize=10555052 CPUtime=0.01 cores=1,3,5,7
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 24554 0 -1 4202560 485 0 0 0 1 0 0 0 15 0 22 0 934709423 10808373248 110411 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24617] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 24554 0 -1 4202560 541 0 0 0 0 0 0 0 15 0 22 0 934709423 10808373248 110413 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 5 0 0 0
[pid=24613/tid=24618] ppid=24611 vsize=10555052 CPUtime=0.01 cores=1,3,5,7
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 24554 0 -1 4202560 411 0 0 0 1 0 0 0 15 0 22 0 934709423 10808373248 110414 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24619] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 934709423 10808373248 110415 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24620] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 24554 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 22 0 934709423 10808373248 110416 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24621] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 24554 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 22 0 934709423 10808373248 110418 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24622] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24622/stat : 24622 (java) S 24611 24613 24554 0 -1 4202560 224 0 0 0 0 0 0 0 15 0 22 0 934709423 10808373248 110419 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24623] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24623/stat : 24623 (java) S 24611 24613 24554 0 -1 4202560 381 0 0 0 0 0 0 0 15 0 22 0 934709423 10808373248 110420 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24624] ppid=24611 vsize=10555052 CPUtime=0.12 cores=1,3,5,7
/proc/24613/task/24624/stat : 24624 (java) S 24611 24613 24554 0 -1 4202560 2286 0 0 0 12 0 0 0 15 0 22 0 934709424 10808373248 110422 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 0 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24625] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24625/stat : 24625 (java) S 24611 24613 24554 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 934709425 10808373248 110423 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24626] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24626/stat : 24626 (java) S 24611 24613 24554 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 934709425 10808373248 110424 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24627] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24627/stat : 24627 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934709428 10808373248 110424 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379370417 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24628] ppid=24611 vsize=10555052 CPUtime=1.27 cores=1,3,5,7
/proc/24613/task/24628/stat : 24628 (java) S 24611 24613 24554 0 -1 4202560 9642 0 0 0 126 1 0 0 15 0 22 0 934709428 10808373248 110425 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=24613/tid=24633] ppid=24611 vsize=10555052 CPUtime=758.64 cores=1,3,5,7
/proc/24613/task/24633/stat : 24633 (java) R 24611 24613 24554 0 -1 4202560 106623 0 0 0 75852 12 0 0 25 0 22 0 934709466 10808373248 204718 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 46912505792667 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24613/tid=24634] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24634/stat : 24634 (java) S 24611 24613 24554 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 934709472 10808373248 204718 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24635] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24635/stat : 24635 (java) S 24611 24613 24554 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 22 0 934709472 10808373248 204718 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1587.54
Current children cumulated vsize (KiB) 10555052
[startup+882.32 s]
/proc/loadavg: 4.04 3.70 2.38 5/541 24659
/proc/meminfo: memFree=23962420/32950928 swapFree=34421304/67111528
[pid=24613] ppid=24611 vsize=10555052 CPUtime=1701.33 cores=1,3,5,7
/proc/24613/stat : 24613 (java) S 24611 24613 24554 0 -1 4202496 218901 0 1 0 170097 36 0 0 23 0 22 0 934709417 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24613/statm: 2638763 207545 2268 9 0 2629497 0
[pid=24613/tid=24615] ppid=24611 vsize=10555052 CPUtime=0.42 cores=1,3,5,7
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24554 0 -1 4202560 18628 0 1 0 40 2 0 0 15 0 22 0 934709420 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24616] ppid=24611 vsize=10555052 CPUtime=0.8 cores=1,3,5,7
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 24554 0 -1 4202560 654 0 0 0 80 0 0 0 16 0 22 0 934709423 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24617] ppid=24611 vsize=10555052 CPUtime=0.84 cores=1,3,5,7
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 24554 0 -1 4202560 587 0 0 0 84 0 0 0 15 0 22 0 934709423 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24618] ppid=24611 vsize=10555052 CPUtime=0.83 cores=1,3,5,7
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 24554 0 -1 4202560 471 0 0 0 83 0 0 0 15 0 22 0 934709423 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24619] ppid=24611 vsize=10555052 CPUtime=0.8 cores=1,3,5,7
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 24554 0 -1 4202560 42 0 0 0 80 0 0 0 15 0 22 0 934709423 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24620] ppid=24611 vsize=10555052 CPUtime=0.85 cores=1,3,5,7
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 24554 0 -1 4202560 46 0 0 0 85 0 0 0 15 0 22 0 934709423 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24621] ppid=24611 vsize=10555052 CPUtime=0.78 cores=1,3,5,7
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 24554 0 -1 4202560 139 0 0 0 78 0 0 0 16 0 22 0 934709423 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24622] ppid=24611 vsize=10555052 CPUtime=0.79 cores=1,3,5,7
/proc/24613/task/24622/stat : 24622 (java) S 24611 24613 24554 0 -1 4202560 293 0 0 0 79 0 0 0 15 0 22 0 934709423 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 5 0 0 0
[pid=24613/tid=24623] ppid=24611 vsize=10555052 CPUtime=0.74 cores=1,3,5,7
/proc/24613/task/24623/stat : 24623 (java) S 24611 24613 24554 0 -1 4202560 526 0 0 0 74 0 0 0 16 0 22 0 934709423 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 5 0 0 0
[pid=24613/tid=24624] ppid=24611 vsize=10555052 CPUtime=67.62 cores=1,3,5,7
/proc/24613/task/24624/stat : 24624 (java) S 24611 24613 24554 0 -1 4202560 70514 0 0 0 6750 12 0 0 15 0 22 0 934709424 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 0 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24625] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24625/stat : 24625 (java) S 24611 24613 24554 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 934709425 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24626] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24626/stat : 24626 (java) S 24611 24613 24554 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 934709425 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24627] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24627/stat : 24627 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934709428 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379370417 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24628] ppid=24611 vsize=10555052 CPUtime=1.27 cores=1,3,5,7
/proc/24613/task/24628/stat : 24628 (java) S 24611 24613 24554 0 -1 4202560 9642 0 0 0 126 1 0 0 15 0 22 0 934709428 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24629] ppid=24611 vsize=10555052 CPUtime=1.35 cores=1,3,5,7
/proc/24613/task/24629/stat : 24629 (java) S 24611 24613 24554 0 -1 4202560 8605 0 0 0 134 1 0 0 15 0 22 0 934709428 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 5 0 0 0
[pid=24613/tid=24630] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24630/stat : 24630 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934709428 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24631] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24631/stat : 24631 (java) S 24611 24613 24554 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 934709428 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 5 0 0 0
[pid=24613/tid=24632] ppid=24611 vsize=10555052 CPUtime=812.05 cores=1,3,5,7
/proc/24613/task/24632/stat : 24632 (java) R 24611 24613 24554 0 -1 4202560 919 0 0 0 81203 2 0 0 25 0 22 0 934709466 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 46912505876356 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24613/tid=24633] ppid=24611 vsize=10555052 CPUtime=812.05 cores=1,3,5,7
/proc/24613/task/24633/stat : 24633 (java) R 24611 24613 24554 0 -1 4202560 106624 0 0 0 81193 12 0 0 25 0 22 0 934709466 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 46912505792667 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24613/tid=24634] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24634/stat : 24634 (java) S 24611 24613 24554 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 934709472 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24635] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24635/stat : 24635 (java) S 24611 24613 24554 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 22 0 934709472 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1701.33
Current children cumulated vsize (KiB) 10555052
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+934.601 s]
/proc/loadavg: 3.91 3.72 2.46 5/541 24719
/proc/meminfo: memFree=24237492/32950928 swapFree=34421304/67111528
[pid=24613] ppid=24611 vsize=10555052 CPUtime=1800.15 cores=1,3,5,7
/proc/24613/stat : 24613 (java) S 24611 24613 24554 0 -1 4202496 221606 0 1 0 179978 37 0 0 23 0 22 0 934709417 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24613/statm: 2638763 210225 2268 9 0 2629497 0
[pid=24613/tid=24615] ppid=24611 vsize=10555052 CPUtime=0.42 cores=1,3,5,7
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24554 0 -1 4202560 18634 0 1 0 40 2 0 0 15 0 22 0 934709420 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24616] ppid=24611 vsize=10555052 CPUtime=0.87 cores=1,3,5,7
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 24554 0 -1 4202560 654 0 0 0 87 0 0 0 16 0 22 0 934709423 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24617] ppid=24611 vsize=10555052 CPUtime=0.9 cores=1,3,5,7
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 24554 0 -1 4202560 587 0 0 0 90 0 0 0 15 0 22 0 934709423 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24618] ppid=24611 vsize=10555052 CPUtime=0.88 cores=1,3,5,7
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 24554 0 -1 4202560 472 0 0 0 88 0 0 0 15 0 22 0 934709423 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 5 0 0 0
[pid=24613/tid=24619] ppid=24611 vsize=10555052 CPUtime=0.82 cores=1,3,5,7
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 24554 0 -1 4202560 42 0 0 0 82 0 0 0 15 0 22 0 934709423 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24620] ppid=24611 vsize=10555052 CPUtime=0.92 cores=1,3,5,7
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 24554 0 -1 4202560 49 0 0 0 92 0 0 0 16 0 22 0 934709423 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24621] ppid=24611 vsize=10555052 CPUtime=0.84 cores=1,3,5,7
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 24554 0 -1 4202560 139 0 0 0 84 0 0 0 15 0 22 0 934709423 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24622] ppid=24611 vsize=10555052 CPUtime=0.87 cores=1,3,5,7
/proc/24613/task/24622/stat : 24622 (java) S 24611 24613 24554 0 -1 4202560 293 0 0 0 87 0 0 0 15 0 22 0 934709423 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 5 0 0 0
[pid=24613/tid=24623] ppid=24611 vsize=10555052 CPUtime=0.8 cores=1,3,5,7
/proc/24613/task/24623/stat : 24623 (java) S 24611 24613 24554 0 -1 4202560 528 0 0 0 80 0 0 0 16 0 22 0 934709423 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 5 0 0 0
[pid=24613/tid=24624] ppid=24611 vsize=10555052 CPUtime=73.55 cores=1,3,5,7
/proc/24613/task/24624/stat : 24624 (java) S 24611 24613 24554 0 -1 4202560 73190 0 0 0 7343 12 0 0 15 0 22 0 934709424 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 0 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24625] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24625/stat : 24625 (java) S 24611 24613 24554 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 934709425 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24626] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24626/stat : 24626 (java) S 24611 24613 24554 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 934709425 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24627] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24627/stat : 24627 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934709428 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379370417 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24628] ppid=24611 vsize=10555052 CPUtime=1.27 cores=1,3,5,7
/proc/24613/task/24628/stat : 24628 (java) S 24611 24613 24554 0 -1 4202560 9642 0 0 0 126 1 0 0 15 0 22 0 934709428 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24629] ppid=24611 vsize=10555052 CPUtime=1.35 cores=1,3,5,7
/proc/24613/task/24629/stat : 24629 (java) S 24611 24613 24554 0 -1 4202560 8605 0 0 0 134 1 0 0 15 0 22 0 934709428 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 5 0 0 0
[pid=24613/tid=24630] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24630/stat : 24630 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934709428 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24631] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24631/stat : 24631 (java) S 24611 24613 24554 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 934709428 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 5 0 0 0
[pid=24613/tid=24632] ppid=24611 vsize=10555052 CPUtime=858.27 cores=1,3,5,7
/proc/24613/task/24632/stat : 24632 (java) R 24611 24613 24554 0 -1 4202560 934 0 0 0 85825 2 0 0 25 0 22 0 934709466 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 46912505876817 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24613/tid=24633] ppid=24611 vsize=10555052 CPUtime=858.27 cores=1,3,5,7
/proc/24613/task/24633/stat : 24633 (java) R 24611 24613 24554 0 -1 4202560 106624 0 0 0 85815 12 0 0 25 0 22 0 934709466 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 46912505792667 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24613/tid=24634] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24634/stat : 24634 (java) S 24611 24613 24554 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 934709472 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24635] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24635/stat : 24635 (java) S 24611 24613 24554 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 22 0 934709472 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 10555052
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+934.601 s]
/proc/loadavg: 3.91 3.72 2.46 5/541 24719
/proc/meminfo: memFree=24237492/32950928 swapFree=34421304/67111528
[pid=24613] ppid=24611 vsize=10555052 CPUtime=1800.15 cores=1,3,5,7
/proc/24613/stat : 24613 (java) S 24611 24613 24554 0 -1 4202496 221606 0 1 0 179978 37 0 0 23 0 22 0 934709417 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24613/statm: 2638763 210225 2268 9 0 2629497 0
[pid=24613/tid=24615] ppid=24611 vsize=10555052 CPUtime=0.42 cores=1,3,5,7
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24554 0 -1 4202560 18634 0 1 0 40 2 0 0 15 0 22 0 934709420 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24616] ppid=24611 vsize=10555052 CPUtime=0.87 cores=1,3,5,7
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 24554 0 -1 4202560 654 0 0 0 87 0 0 0 16 0 22 0 934709423 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24617] ppid=24611 vsize=10555052 CPUtime=0.9 cores=1,3,5,7
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 24554 0 -1 4202560 587 0 0 0 90 0 0 0 15 0 22 0 934709423 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24618] ppid=24611 vsize=10555052 CPUtime=0.88 cores=1,3,5,7
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 24554 0 -1 4202560 472 0 0 0 88 0 0 0 15 0 22 0 934709423 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 5 0 0 0
[pid=24613/tid=24619] ppid=24611 vsize=10555052 CPUtime=0.82 cores=1,3,5,7
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 24554 0 -1 4202560 42 0 0 0 82 0 0 0 15 0 22 0 934709423 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24620] ppid=24611 vsize=10555052 CPUtime=0.92 cores=1,3,5,7
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 24554 0 -1 4202560 49 0 0 0 92 0 0 0 16 0 22 0 934709423 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24621] ppid=24611 vsize=10555052 CPUtime=0.84 cores=1,3,5,7
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 24554 0 -1 4202560 139 0 0 0 84 0 0 0 15 0 22 0 934709423 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24622] ppid=24611 vsize=10555052 CPUtime=0.87 cores=1,3,5,7
/proc/24613/task/24622/stat : 24622 (java) S 24611 24613 24554 0 -1 4202560 293 0 0 0 87 0 0 0 15 0 22 0 934709423 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 5 0 0 0
[pid=24613/tid=24623] ppid=24611 vsize=10555052 CPUtime=0.8 cores=1,3,5,7
/proc/24613/task/24623/stat : 24623 (java) S 24611 24613 24554 0 -1 4202560 528 0 0 0 80 0 0 0 16 0 22 0 934709423 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 5 0 0 0
[pid=24613/tid=24624] ppid=24611 vsize=10555052 CPUtime=73.55 cores=1,3,5,7
/proc/24613/task/24624/stat : 24624 (java) S 24611 24613 24554 0 -1 4202560 73190 0 0 0 7343 12 0 0 15 0 22 0 934709424 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 0 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24625] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24625/stat : 24625 (java) S 24611 24613 24554 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 934709425 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24626] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24626/stat : 24626 (java) S 24611 24613 24554 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 934709425 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24627] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24627/stat : 24627 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934709428 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379370417 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24628] ppid=24611 vsize=10555052 CPUtime=1.27 cores=1,3,5,7
/proc/24613/task/24628/stat : 24628 (java) S 24611 24613 24554 0 -1 4202560 9642 0 0 0 126 1 0 0 15 0 22 0 934709428 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24629] ppid=24611 vsize=10555052 CPUtime=1.35 cores=1,3,5,7
/proc/24613/task/24629/stat : 24629 (java) S 24611 24613 24554 0 -1 4202560 8605 0 0 0 134 1 0 0 15 0 22 0 934709428 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 5 0 0 0
[pid=24613/tid=24630] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24630/stat : 24630 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934709428 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24631] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24631/stat : 24631 (java) S 24611 24613 24554 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 934709428 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 5 0 0 0
[pid=24613/tid=24632] ppid=24611 vsize=10555052 CPUtime=858.27 cores=1,3,5,7
/proc/24613/task/24632/stat : 24632 (java) R 24611 24613 24554 0 -1 4202560 934 0 0 0 85825 2 0 0 25 0 22 0 934709466 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 46912505876817 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24613/tid=24633] ppid=24611 vsize=10555052 CPUtime=858.27 cores=1,3,5,7
/proc/24613/task/24633/stat : 24633 (java) R 24611 24613 24554 0 -1 4202560 106624 0 0 0 85815 12 0 0 25 0 22 0 934709466 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 46912505792667 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24613/tid=24634] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24634/stat : 24634 (java) S 24611 24613 24554 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 934709472 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24635] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24635/stat : 24635 (java) S 24611 24613 24554 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 22 0 934709472 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 10555052
Child status: 143
Real time (s): 934.671
CPU time (s): 1800.26
CPU user time (s): 1799.85
CPU system time (s): 0.409937
CPU usage (%): 192.609
Max. virtual memory (cumulated for all children) (KiB): 10564248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
system time used= 0.409937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 221635
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= 34117
involuntary context switches= 28725
runsolver used 4.78927 second user time and 11.4143 second system time
The end