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-3479313-1307446626/watcher-3479313-1307446626 -o /tmp/evaluation-result-3479313-1307446626/solver-3479313-1307446626 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3479313-1307446626.opb
running on 4 cores: 0,2,4,6
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.83 3.84 3.30 4/519 24859
/proc/meminfo: memFree=24621488/32950928 swapFree=34421304/67111528
[pid=24859] ppid=24857 vsize=35788 CPUtime=0 cores=0,2,4,6
/proc/24859/stat : 24859 (java) S 24857 24859 24554 0 -1 4202496 1316 0 0 0 0 0 0 0 25 0 2 0 934893290 36646912 1017 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379349477 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/24859/statm: 8947 1017 782 9 0 386 0
[pid=24859/tid=24860] ppid=24857 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24860/stat : 24860 (java) R 24857 24859 24554 0 -1 4202560 5079 0 1 0 0 0 0 0 25 0 2 0 934893291 10694979584 5894 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251367240763 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0356229 s]
/proc/loadavg: 3.83 3.84 3.30 4/519 24859
/proc/meminfo: memFree=24621488/32950928 swapFree=34421304/67111528
[pid=24859] ppid=24857 vsize=10465424 CPUtime=0.02 cores=0,2,4,6
/proc/24859/stat : 24859 (java) S 24857 24859 24554 0 -1 4202496 10966 0 1 0 1 1 0 0 25 0 11 0 934893290 10716594176 10664 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379349477 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/24859/statm: 2616356 10664 1600 9 0 2607104 0
[pid=24859/tid=24860] ppid=24857 vsize=10465424 CPUtime=0.02 cores=0,2,4,6
/proc/24859/task/24860/stat : 24860 (java) R 24857 24859 24554 0 -1 4202560 9843 0 1 0 1 1 0 0 25 0 11 0 934893291 10716594176 10666 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 47219301523363 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10465424
[startup+0.100635 s]
/proc/loadavg: 3.83 3.84 3.30 4/519 24859
/proc/meminfo: memFree=24621488/32950928 swapFree=34421304/67111528
[pid=24859] ppid=24857 vsize=10540404 CPUtime=0.1 cores=0,2,4,6
/proc/24859/stat : 24859 (java) S 24857 24859 24554 0 -1 4202496 13067 0 1 0 9 1 0 0 25 0 18 0 934893290 10793373696 12753 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24859/statm: 2635101 12753 2093 9 0 2625835 0
[pid=24859/tid=24860] ppid=24857 vsize=10540404 CPUtime=0.08 cores=0,2,4,6
/proc/24859/task/24860/stat : 24860 (java) R 24857 24859 24554 0 -1 4202560 11124 0 1 0 7 1 0 0 25 0 18 0 934893291 10793373696 12753 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 47219301505314 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540404
[startup+0.335052 s]
/proc/loadavg: 3.83 3.84 3.30 4/519 24859
/proc/meminfo: memFree=24621488/32950928 swapFree=34421304/67111528
[pid=24859] ppid=24857 vsize=10543036 CPUtime=0.68 cores=0,2,4,6
/proc/24859/stat : 24859 (java) S 24857 24859 24554 0 -1 4202496 19929 0 1 0 66 2 0 0 25 0 18 0 934893290 10796068864 18648 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24859/statm: 2635759 18649 2206 9 0 2626493 0
[pid=24859/tid=24860] ppid=24857 vsize=10543036 CPUtime=0.31 cores=0,2,4,6
/proc/24859/task/24860/stat : 24860 (java) R 24857 24859 24554 0 -1 4202560 15906 0 1 0 30 1 0 0 18 0 18 0 934893291 10796068864 18650 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 46912505635659 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10543036
[startup+0.70694 s]
/proc/loadavg: 3.83 3.84 3.30 4/519 24859
/proc/meminfo: memFree=24621488/32950928 swapFree=34421304/67111528
[pid=24859] ppid=24857 vsize=10549496 CPUtime=1.61 cores=0,2,4,6
/proc/24859/stat : 24859 (java) S 24857 24859 24554 0 -1 4202496 38780 0 1 0 156 5 0 0 25 0 22 0 934893290 10802683904 35733 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24859/statm: 2637374 35733 2235 9 0 2628108 0
[pid=24859/tid=24860] ppid=24857 vsize=10549496 CPUtime=0.57 cores=0,2,4,6
/proc/24859/task/24860/stat : 24860 (java) S 24857 24859 24554 0 -1 4202560 30979 0 1 0 53 4 0 0 19 0 22 0 934893291 10802683904 35733 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379363328 0 4 0 16800975 18446604444529576768 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 10549496
[startup+1.50137 s]
/proc/loadavg: 3.83 3.84 3.30 2/538 24882
/proc/meminfo: memFree=24485616/32950928 swapFree=34421304/67111528
[pid=24859] ppid=24857 vsize=10549496 CPUtime=1.84 cores=0,2,4,6
/proc/24859/stat : 24859 (java) S 24857 24859 24554 0 -1 4202496 39411 0 1 0 179 5 0 0 25 0 19 0 934893290 10802683904 36364 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24859/statm: 2637374 36364 2239 9 0 2628108 0
[pid=24859/tid=24860] ppid=24857 vsize=10549496 CPUtime=0.58 cores=0,2,4,6
/proc/24859/task/24860/stat : 24860 (java) S 24857 24859 24554 0 -1 4202560 31222 0 1 0 54 4 0 0 16 0 19 0 934893291 10802683904 36364 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379363328 0 4 0 16800975 18446604444529576768 0 0 -1 2 0 0 0
[pid=24859/tid=24862] ppid=24857 vsize=10549496 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24862/stat : 24862 (java) S 24857 24859 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 934893292 10802683904 36364 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 6 0 0 0
[pid=24859/tid=24864] ppid=24857 vsize=10549496 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24864/stat : 24864 (java) S 24857 24859 24554 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 934893292 10802683904 36364 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 6 0 0 0
[pid=24859/tid=24865] ppid=24857 vsize=10549496 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24865/stat : 24865 (java) S 24857 24859 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 934893292 10802683904 36364 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 6 0 0 0
[pid=24859/tid=24866] ppid=24857 vsize=10549496 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24866/stat : 24866 (java) S 24857 24859 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 934893292 10802683904 36364 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 6 0 0 0
[pid=24859/tid=24867] ppid=24857 vsize=10549496 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24867/stat : 24867 (java) S 24857 24859 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 934893292 10802683904 36364 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 6 0 0 0
[pid=24859/tid=24868] ppid=24857 vsize=10549496 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24868/stat : 24868 (java) S 24857 24859 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 934893292 10802683904 36364 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 6 0 0 0
[pid=24859/tid=24869] ppid=24857 vsize=10549496 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24869/stat : 24869 (java) S 24857 24859 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 934893292 10802683904 36364 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 6 0 0 0
[pid=24859/tid=24870] ppid=24857 vsize=10549496 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24870/stat : 24870 (java) S 24857 24859 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 934893292 10802683904 36364 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 6 0 0 0
[pid=24859/tid=24871] ppid=24857 vsize=10549496 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24871/stat : 24871 (java) S 24857 24859 24554 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 934893293 10802683904 36364 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379363328 0 0 0 16800975 18446604444529576768 0 0 -1 6 0 0 0
[pid=24859/tid=24872] ppid=24857 vsize=10549496 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24872/stat : 24872 (java) S 24857 24859 24554 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 934893294 10802683904 36364 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 2 0 0 0
[pid=24859/tid=24873] ppid=24857 vsize=10549496 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24873/stat : 24873 (java) S 24857 24859 24554 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 934893294 10802683904 36364 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 2 0 0 0
[pid=24859/tid=24874] ppid=24857 vsize=10549496 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24874/stat : 24874 (java) S 24857 24859 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 934893296 10802683904 36364 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379370417 0 4 0 16800975 18446604444529576768 0 0 -1 2 0 0 0
[pid=24859/tid=24875] ppid=24857 vsize=10549496 CPUtime=0.45 cores=0,2,4,6
/proc/24859/task/24875/stat : 24875 (java) S 24857 24859 24554 0 -1 4202560 3096 0 0 0 45 0 0 0 15 0 19 0 934893296 10802683904 36364 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 4 0 0 0
[pid=24859/tid=24876] ppid=24857 vsize=10549496 CPUtime=0.45 cores=0,2,4,6
/proc/24859/task/24876/stat : 24876 (java) S 24857 24859 24554 0 -1 4202560 3132 0 0 0 45 0 0 0 15 0 19 0 934893296 10802683904 36364 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 0 0 0 0
[pid=24859/tid=24877] ppid=24857 vsize=10549496 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24877/stat : 24877 (java) S 24857 24859 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 934893296 10802683904 36364 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 2 0 0 0
[pid=24859/tid=24878] ppid=24857 vsize=10549496 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24878/stat : 24878 (java) S 24857 24859 24554 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 934893296 10802683904 36364 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379363328 0 4 0 16800975 18446604444529576768 0 0 -1 0 0 0 0
[pid=24859/tid=24881] ppid=24857 vsize=10549496 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24881/stat : 24881 (java) S 24857 24859 24554 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 934893350 10802683904 36364 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379363328 0 4 0 16800975 18446604444529576768 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 10549496
[startup+3.10103 s]
/proc/loadavg: 3.83 3.84 3.30 3/538 24888
/proc/meminfo: memFree=24480284/32950928 swapFree=34421304/67111528
[pid=24859] ppid=24857 vsize=10549984 CPUtime=4.34 cores=0,2,4,6
/proc/24859/stat : 24859 (java) S 24857 24859 24554 0 -1 4202496 67014 0 1 0 426 8 0 0 25 0 22 0 934893290 10803183616 61810 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24859/statm: 2637496 61810 2242 9 0 2628230 0
[pid=24859/tid=24860] ppid=24857 vsize=10549984 CPUtime=0.59 cores=0,2,4,6
/proc/24859/task/24860/stat : 24860 (java) S 24857 24859 24554 0 -1 4202560 31584 0 1 0 55 4 0 0 15 0 22 0 934893291 10803183616 61810 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379363328 0 4 0 16800975 18446604444529576768 0 0 -1 6 0 0 0
[pid=24859/tid=24862] ppid=24857 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24862/stat : 24862 (java) S 24857 24859 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934893292 10803183616 61810 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 6 0 0 0
[pid=24859/tid=24864] ppid=24857 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24864/stat : 24864 (java) S 24857 24859 24554 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 934893292 10803183616 61810 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 6 0 0 0
[pid=24859/tid=24865] ppid=24857 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24865/stat : 24865 (java) S 24857 24859 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934893292 10803183616 61810 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 6 0 0 0
[pid=24859/tid=24866] ppid=24857 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24866/stat : 24866 (java) S 24857 24859 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934893292 10803183616 61810 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 6 0 0 0
[pid=24859/tid=24867] ppid=24857 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24867/stat : 24867 (java) S 24857 24859 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934893292 10803183616 61810 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 6 0 0 0
[pid=24859/tid=24868] ppid=24857 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24868/stat : 24868 (java) S 24857 24859 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934893292 10803183616 61810 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 6 0 0 0
[pid=24859/tid=24869] ppid=24857 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24869/stat : 24869 (java) S 24857 24859 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934893292 10803183616 61810 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 6 0 0 0
[pid=24859/tid=24870] ppid=24857 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24870/stat : 24870 (java) S 24857 24859 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934893292 10803183616 61810 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 6 0 0 0
[pid=24859/tid=24871] ppid=24857 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24871/stat : 24871 (java) S 24857 24859 24554 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 22 0 934893293 10803183616 61810 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379363328 0 0 0 16800975 18446604444529576768 0 0 -1 0 0 0 0
[pid=24859/tid=24872] ppid=24857 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24872/stat : 24872 (java) S 24857 24859 24554 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 934893294 10803183616 61810 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 2 0 0 0
[pid=24859/tid=24873] ppid=24857 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24873/stat : 24873 (java) S 24857 24859 24554 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 934893294 10803183616 61810 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 2 0 0 0
[pid=24859/tid=24874] ppid=24857 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24874/stat : 24874 (java) S 24857 24859 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934893296 10803183616 61810 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379370417 0 4 0 16800975 18446604444529576768 0 0 -1 2 0 0 0
[pid=24859/tid=24875] ppid=24857 vsize=10549984 CPUtime=0.74 cores=0,2,4,6
/proc/24859/task/24875/stat : 24875 (java) S 24857 24859 24554 0 -1 4202560 4145 0 0 0 74 0 0 0 16 0 22 0 934893296 10803183616 61810 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 4 0 0 0
[pid=24859/tid=24876] ppid=24857 vsize=10549984 CPUtime=0.69 cores=0,2,4,6
/proc/24859/task/24876/stat : 24876 (java) S 24857 24859 24554 0 -1 4202560 4624 0 0 0 69 0 0 0 15 0 22 0 934893296 10803183616 61810 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 0 0 0 0
[pid=24859/tid=24877] ppid=24857 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24877/stat : 24877 (java) S 24857 24859 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934893296 10803183616 61810 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 2 0 0 0
[pid=24859/tid=24878] ppid=24857 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24878/stat : 24878 (java) S 24857 24859 24554 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 934893296 10803183616 61810 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379363328 0 4 0 16800975 18446604444529576768 0 0 -1 0 0 0 0
[pid=24859/tid=24881] ppid=24857 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24881/stat : 24881 (java) S 24857 24859 24554 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 934893350 10803183616 61810 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379363328 0 4 0 16800975 18446604444529576768 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 10549984
[startup+6.3014 s]
/proc/loadavg: 3.84 3.84 3.30 4/541 24891
/proc/meminfo: memFree=23839384/32950928 swapFree=34421304/67111528
[pid=24859] ppid=24857 vsize=10549984 CPUtime=10.86 cores=0,2,4,6
/proc/24859/stat : 24859 (java) S 24857 24859 24554 0 -1 4202496 273165 0 1 0 1055 31 0 0 25 0 22 0 934893290 10803183616 267960 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24859/statm: 2637496 267960 2243 9 0 2628230 0
[pid=24859/tid=24860] ppid=24857 vsize=10549984 CPUtime=0.59 cores=0,2,4,6
/proc/24859/task/24860/stat : 24860 (java) S 24857 24859 24554 0 -1 4202560 31584 0 1 0 55 4 0 0 15 0 22 0 934893291 10803183616 267960 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379363328 0 4 0 16800975 18446604444529576768 0 0 -1 6 0 0 0
[pid=24859/tid=24862] ppid=24857 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24862/stat : 24862 (java) S 24857 24859 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934893292 10803183616 267960 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 6 0 0 0
[pid=24859/tid=24864] ppid=24857 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24864/stat : 24864 (java) S 24857 24859 24554 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 934893292 10803183616 267960 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 6 0 0 0
[pid=24859/tid=24865] ppid=24857 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24865/stat : 24865 (java) S 24857 24859 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934893292 10803183616 267960 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 6 0 0 0
[pid=24859/tid=24866] ppid=24857 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24866/stat : 24866 (java) S 24857 24859 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934893292 10803183616 267960 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 6 0 0 0
[pid=24859/tid=24867] ppid=24857 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24867/stat : 24867 (java) S 24857 24859 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934893292 10803183616 267960 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 6 0 0 0
[pid=24859/tid=24868] ppid=24857 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24868/stat : 24868 (java) S 24857 24859 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934893292 10803183616 267960 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 6 0 0 0
[pid=24859/tid=24869] ppid=24857 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24869/stat : 24869 (java) S 24857 24859 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934893292 10803183616 267960 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 6 0 0 0
[pid=24859/tid=24870] ppid=24857 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24870/stat : 24870 (java) S 24857 24859 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934893292 10803183616 267960 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 6 0 0 0
[pid=24859/tid=24871] ppid=24857 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24871/stat : 24871 (java) S 24857 24859 24554 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 22 0 934893293 10803183616 267960 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379363328 0 0 0 16800975 18446604444529576768 0 0 -1 0 0 0 0
[pid=24859/tid=24872] ppid=24857 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24872/stat : 24872 (java) S 24857 24859 24554 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 934893294 10803183616 267960 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 2 0 0 0
[pid=24859/tid=24873] ppid=24857 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24873/stat : 24873 (java) S 24857 24859 24554 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 934893294 10803183616 267960 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 2 0 0 0
[pid=24859/tid=24874] ppid=24857 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24874/stat : 24874 (java) S 24857 24859 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934893296 10803183616 267960 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379370417 0 4 0 16800975 18446604444529576768 0 0 -1 2 0 0 0
[pid=24859/tid=24875] ppid=24857 vsize=10549984 CPUtime=0.78 cores=0,2,4,6
/proc/24859/task/24875/stat : 24875 (java) R 24857 24859 24554 0 -1 4202560 4147 0 0 0 78 0 0 0 15 0 22 0 934893296 10803183616 267960 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 47219302320451 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24859/tid=24876] ppid=24857 vsize=10549984 CPUtime=0.79 cores=0,2,4,6
/proc/24859/task/24876/stat : 24876 (java) S 24857 24859 24554 0 -1 4202560 4643 0 0 0 79 0 0 0 15 0 22 0 934893296 10803183616 267960 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 0 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=17265320/32950928 swapFree=34421304/67111528
[pid=24859] ppid=24857 vsize=10552420 CPUtime=1632.83 cores=0,2,4,6
/proc/24859/stat : 24859 (java) S 24857 24859 24554 0 -1 4202496 1029056 0 1 0 163156 127 0 0 25 0 22 0 934893290 10805678080 1016688 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24859/statm: 2638105 1016688 2270 9 0 2628839 0
[pid=24859/tid=24860] ppid=24857 vsize=10552420 CPUtime=0.62 cores=0,2,4,6
/proc/24859/task/24860/stat : 24860 (java) S 24857 24859 24554 0 -1 4202560 31776 0 1 0 58 4 0 0 15 0 22 0 934893291 10805678080 1016688 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379363328 0 4 0 16800975 18446604444529576768 0 0 -1 4 0 0 0
[pid=24859/tid=24862] ppid=24857 vsize=10552420 CPUtime=0.26 cores=0,2,4,6
/proc/24859/task/24862/stat : 24862 (java) S 24857 24859 24554 0 -1 4202560 10366 0 0 0 24 2 0 0 15 0 22 0 934893292 10805678080 1016688 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 2 0 0 0
[pid=24859/tid=24864] ppid=24857 vsize=10552420 CPUtime=0.31 cores=0,2,4,6
/proc/24859/task/24864/stat : 24864 (java) S 24857 24859 24554 0 -1 4202560 21104 0 0 0 29 2 0 0 15 0 22 0 934893292 10805678080 1016688 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 2 0 0 0
[pid=24859/tid=24865] ppid=24857 vsize=10552420 CPUtime=0.3 cores=0,2,4,6
/proc/24859/task/24865/stat : 24865 (java) S 24857 24859 24554 0 -1 4202560 12523 0 0 0 29 1 0 0 15 0 22 0 934893292 10805678080 1016688 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 6 0 0 0
[pid=24859/tid=24866] ppid=24857 vsize=10552420 CPUtime=0.28 cores=0,2,4,6
/proc/24859/task/24866/stat : 24866 (java) S 24857 24859 24554 0 -1 4202560 23716 0 0 0 25 3 0 0 16 0 22 0 934893292 10805678080 1016688 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 4 0 0 0
[pid=24859/tid=24867] ppid=24857 vsize=10552420 CPUtime=0.31 cores=0,2,4,6
/proc/24859/task/24867/stat : 24867 (java) S 24857 24859 24554 0 -1 4202560 23281 0 0 0 27 4 0 0 16 0 22 0 934893292 10805678080 1016688 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 2 0 0 0
[pid=24859/tid=24868] ppid=24857 vsize=10552420 CPUtime=0.35 cores=0,2,4,6
/proc/24859/task/24868/stat : 24868 (java) S 24857 24859 24554 0 -1 4202560 18740 0 0 0 32 3 0 0 15 0 22 0 934893292 10805678080 1016688 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 6 0 0 0
[pid=24859/tid=24869] ppid=24857 vsize=10552420 CPUtime=0.25 cores=0,2,4,6
/proc/24859/task/24869/stat : 24869 (java) S 24857 24859 24554 0 -1 4202560 12879 0 0 0 23 2 0 0 15 0 22 0 934893292 10805678080 1016688 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 2 0 0 0
[pid=24859/tid=24870] ppid=24857 vsize=10552420 CPUtime=0.38 cores=0,2,4,6
/proc/24859/task/24870/stat : 24870 (java) S 24857 24859 24554 0 -1 4202560 18228 0 0 0 36 2 0 0 16 0 22 0 934893292 10805678080 1016688 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 6 0 0 0
[pid=24859/tid=24871] ppid=24857 vsize=10552420 CPUtime=9.32 cores=0,2,4,6
/proc/24859/task/24871/stat : 24871 (java) S 24857 24859 24554 0 -1 4202560 61800 0 0 0 924 8 0 0 15 0 22 0 934893293 10805678080 1016688 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379363328 0 0 0 16800975 18446604444529576768 0 0 -1 0 0 0 0
[pid=24859/tid=24872] ppid=24857 vsize=10552420 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24872/stat : 24872 (java) S 24857 24859 24554 0 -1 4202560 18 0 0 0 0 0 0 0 17 0 22 0 934893294 10805678080 1016688 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 0 0 0 0
[pid=24859/tid=24873] ppid=24857 vsize=10552420 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24873/stat : 24873 (java) S 24857 24859 24554 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 934893294 10805678080 1016688 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 0 0 0 0
[pid=24859/tid=24874] ppid=24857 vsize=10552420 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24874/stat : 24874 (java) S 24857 24859 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934893296 10805678080 1016688 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379370417 0 4 0 16800975 18446604444529576768 0 0 -1 2 0 0 0
[pid=24859/tid=24875] ppid=24857 vsize=10552420 CPUtime=1.26 cores=0,2,4,6
/proc/24859/task/24875/stat : 24875 (java) S 24857 24859 24554 0 -1 4202560 7055 0 0 0 126 0 0 0 15 0 22 0 934893296 10805678080 1016688 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 4 0 0 0
[pid=24859/tid=24876] ppid=24857 vsize=10552420 CPUtime=0.87 cores=0,2,4,6
/proc/24859/task/24876/stat : 24876 (java) S 24857 24859 24554 0 -1 4202560 4648 0 0 0 87 0 0 0 15 0 22 0 934893296 10805678080 1016688 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 0 0 0 0
[pid=24859/tid=24877] ppid=24857 vsize=10552420 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24877/stat : 24877 (java) S 24857 24859 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934893296 10805678080 1016688 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 2 0 0 0
[pid=24859/tid=24878] ppid=24857 vsize=10552420 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24878/stat : 24878 (java) S 24857 24859 24554 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 934893296 10805678080 1016688 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379363328 0 4 0 16800975 18446604444529576768 0 0 -1 4 0 0 0
[pid=24859/tid=24898] ppid=24857 vsize=10552420 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24898/stat : 24898 (java) S 24857 24859 24554 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 934895267 10805678080 1016688 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379363328 0 4 0 16800975 18446604444529576768 0 0 -1 0 0 0 0
[pid=24859/tid=24984] ppid=24857 vsize=10552420 CPUtime=80.93 cores=0,2,4,6
/proc/24859/task/24984/stat : 24984 (java) R 24857 24859 24554 0 -1 4202560 6 0 0 0 8093 0 0 0 25 0 22 0 934967188 10805678080 1016688 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 46912506234683 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24859/tid=24985] ppid=24857 vsize=10552420 CPUtime=80.93 cores=0,2,4,6
/proc/24859/task/24985/stat : 24985 (java) R 24857 24859 24554 0 -1 4202560 6 0 0 0 8093 0 0 0 25 0 22 0 934967188 10805678080 1016688 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 46912506086465 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=24859/tid=24986] ppid=24857 vsize=10552420 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24986/stat : 24986 (java) S 24857 24859 24554 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 934967188 10805678080 1016688 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379363328 0 4 0 16800975 18446604444529576768 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1632.83
Current children cumulated vsize (KiB) 10552420
[startup+882.301 s]
/proc/loadavg: 4.05 4.03 3.72 5/541 24990
/proc/meminfo: memFree=17178240/32950928 swapFree=34421304/67111528
[pid=24859] ppid=24857 vsize=10552420 CPUtime=1751.92 cores=0,2,4,6
/proc/24859/stat : 24859 (java) S 24857 24859 24554 0 -1 4202496 1040437 0 1 0 175062 130 0 0 25 0 22 0 934893290 10805678080 1025262 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24859/statm: 2638105 1025262 2271 9 0 2628839 0
[pid=24859/tid=24860] ppid=24857 vsize=10552420 CPUtime=0.62 cores=0,2,4,6
/proc/24859/task/24860/stat : 24860 (java) S 24857 24859 24554 0 -1 4202560 31776 0 1 0 58 4 0 0 15 0 22 0 934893291 10805678080 1025262 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379363328 0 4 0 16800975 18446604444529576768 0 0 -1 4 0 0 0
[pid=24859/tid=24862] ppid=24857 vsize=10552420 CPUtime=0.27 cores=0,2,4,6
/proc/24859/task/24862/stat : 24862 (java) S 24857 24859 24554 0 -1 4202560 11439 0 0 0 25 2 0 0 15 0 22 0 934893292 10805678080 1025262 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 4 0 0 0
[pid=24859/tid=24864] ppid=24857 vsize=10552420 CPUtime=0.35 cores=0,2,4,6
/proc/24859/task/24864/stat : 24864 (java) S 24857 24859 24554 0 -1 4202560 24664 0 0 0 32 3 0 0 15 0 22 0 934893292 10805678080 1025262 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 4 0 0 0
[pid=24859/tid=24865] ppid=24857 vsize=10552420 CPUtime=0.35 cores=0,2,4,6
/proc/24859/task/24865/stat : 24865 (java) S 24857 24859 24554 0 -1 4202560 14895 0 0 0 33 2 0 0 15 0 22 0 934893292 10805678080 1025262 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 2 0 0 0
[pid=24859/tid=24866] ppid=24857 vsize=10552420 CPUtime=0.3 cores=0,2,4,6
/proc/24859/task/24866/stat : 24866 (java) S 24857 24859 24554 0 -1 4202560 24647 0 0 0 26 4 0 0 15 0 22 0 934893292 10805678080 1025262 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 2 0 0 0
[pid=24859/tid=24867] ppid=24857 vsize=10552420 CPUtime=0.35 cores=0,2,4,6
/proc/24859/task/24867/stat : 24867 (java) S 24857 24859 24554 0 -1 4202560 23933 0 0 0 30 5 0 0 15 0 22 0 934893292 10805678080 1025262 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 0 0 0 0
[pid=24859/tid=24868] ppid=24857 vsize=10552420 CPUtime=0.38 cores=0,2,4,6
/proc/24859/task/24868/stat : 24868 (java) S 24857 24859 24554 0 -1 4202560 21442 0 0 0 35 3 0 0 15 0 22 0 934893292 10805678080 1025262 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 0 0 0 0
[pid=24859/tid=24869] ppid=24857 vsize=10552420 CPUtime=0.26 cores=0,2,4,6
/proc/24859/task/24869/stat : 24869 (java) S 24857 24859 24554 0 -1 4202560 12879 0 0 0 24 2 0 0 15 0 22 0 934893292 10805678080 1025262 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 2 0 0 0
[pid=24859/tid=24870] ppid=24857 vsize=10552420 CPUtime=0.38 cores=0,2,4,6
/proc/24859/task/24870/stat : 24870 (java) S 24857 24859 24554 0 -1 4202560 18228 0 0 0 36 2 0 0 15 0 22 0 934893292 10805678080 1025262 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 2 0 0 0
[pid=24859/tid=24871] ppid=24857 vsize=10552420 CPUtime=10.3 cores=0,2,4,6
/proc/24859/task/24871/stat : 24871 (java) S 24857 24859 24554 0 -1 4202560 61877 0 0 0 1022 8 0 0 15 0 22 0 934893293 10805678080 1025262 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379363328 0 0 0 16800975 18446604444529576768 0 0 -1 0 0 0 0
[pid=24859/tid=24872] ppid=24857 vsize=10552420 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24872/stat : 24872 (java) S 24857 24859 24554 0 -1 4202560 18 0 0 0 0 0 0 0 17 0 22 0 934893294 10805678080 1025262 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 0 0 0 0
[pid=24859/tid=24873] ppid=24857 vsize=10552420 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24873/stat : 24873 (java) S 24857 24859 24554 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 934893294 10805678080 1025262 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 0 0 0 0
[pid=24859/tid=24874] ppid=24857 vsize=10552420 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24874/stat : 24874 (java) S 24857 24859 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934893296 10805678080 1025262 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379370417 0 4 0 16800975 18446604444529576768 0 0 -1 2 0 0 0
[pid=24859/tid=24875] ppid=24857 vsize=10552420 CPUtime=1.28 cores=0,2,4,6
/proc/24859/task/24875/stat : 24875 (java) S 24857 24859 24554 0 -1 4202560 7060 0 0 0 128 0 0 0 15 0 22 0 934893296 10805678080 1025262 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 4 0 0 0
[pid=24859/tid=24876] ppid=24857 vsize=10552420 CPUtime=0.87 cores=0,2,4,6
/proc/24859/task/24876/stat : 24876 (java) S 24857 24859 24554 0 -1 4202560 4648 0 0 0 87 0 0 0 15 0 22 0 934893296 10805678080 1025262 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 0 0 0 0
[pid=24859/tid=24877] ppid=24857 vsize=10552420 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24877/stat : 24877 (java) S 24857 24859 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934893296 10805678080 1025262 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 2 0 0 0
[pid=24859/tid=24878] ppid=24857 vsize=10552420 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24878/stat : 24878 (java) S 24857 24859 24554 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 934893296 10805678080 1025262 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379363328 0 4 0 16800975 18446604444529576768 0 0 -1 4 0 0 0
[pid=24859/tid=24898] ppid=24857 vsize=10552420 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24898/stat : 24898 (java) S 24857 24859 24554 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 934895267 10805678080 1025262 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379363328 0 4 0 16800975 18446604444529576768 0 0 -1 0 0 0 0
[pid=24859/tid=24984] ppid=24857 vsize=10552420 CPUtime=139.87 cores=0,2,4,6
/proc/24859/task/24984/stat : 24984 (java) R 24857 24859 24554 0 -1 4202560 9 0 0 0 13987 0 0 0 25 0 22 0 934967188 10805678080 1025262 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 46912505844230 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24859/tid=24985] ppid=24857 vsize=10552420 CPUtime=139.88 cores=0,2,4,6
/proc/24859/task/24985/stat : 24985 (java) R 24857 24859 24554 0 -1 4202560 8 0 0 0 13988 0 0 0 21 0 22 0 934967188 10805678080 1025262 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 46912505580951 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=24859/tid=24986] ppid=24857 vsize=10552420 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24986/stat : 24986 (java) S 24857 24859 24554 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 934967188 10805678080 1025262 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379363328 0 4 0 16800975 18446604444529576768 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1751.92
Current children cumulated vsize (KiB) 10552420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+906.701 s]
/proc/loadavg: 4.03 4.03 3.72 5/541 24990
/proc/meminfo: memFree=17161372/32950928 swapFree=34421304/67111528
[pid=24859] ppid=24857 vsize=10552420 CPUtime=1800.04 cores=0,2,4,6
/proc/24859/stat : 24859 (java) S 24857 24859 24554 0 -1 4202496 1044875 0 1 0 179872 132 0 0 25 0 22 0 934893290 10805678080 1029428 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24859/statm: 2638105 1029428 2271 9 0 2628839 0
[pid=24859/tid=24860] ppid=24857 vsize=10552420 CPUtime=0.62 cores=0,2,4,6
/proc/24859/task/24860/stat : 24860 (java) S 24857 24859 24554 0 -1 4202560 31776 0 1 0 58 4 0 0 15 0 22 0 934893291 10805678080 1029428 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379363328 0 4 0 16800975 18446604444529576768 0 0 -1 4 0 0 0
[pid=24859/tid=24862] ppid=24857 vsize=10552420 CPUtime=0.28 cores=0,2,4,6
/proc/24859/task/24862/stat : 24862 (java) S 24857 24859 24554 0 -1 4202560 12338 0 0 0 26 2 0 0 16 0 22 0 934893292 10805678080 1029428 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 6 0 0 0
[pid=24859/tid=24864] ppid=24857 vsize=10552420 CPUtime=0.36 cores=0,2,4,6
/proc/24859/task/24864/stat : 24864 (java) S 24857 24859 24554 0 -1 4202560 25194 0 0 0 33 3 0 0 16 0 22 0 934893292 10805678080 1029428 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 4 0 0 0
[pid=24859/tid=24865] ppid=24857 vsize=10552420 CPUtime=0.35 cores=0,2,4,6
/proc/24859/task/24865/stat : 24865 (java) S 24857 24859 24554 0 -1 4202560 14895 0 0 0 33 2 0 0 15 0 22 0 934893292 10805678080 1029428 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 2 0 0 0
[pid=24859/tid=24866] ppid=24857 vsize=10552420 CPUtime=0.31 cores=0,2,4,6
/proc/24859/task/24866/stat : 24866 (java) S 24857 24859 24554 0 -1 4202560 26516 0 0 0 27 4 0 0 15 0 22 0 934893292 10805678080 1029428 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 2 0 0 0
[pid=24859/tid=24867] ppid=24857 vsize=10552420 CPUtime=0.35 cores=0,2,4,6
/proc/24859/task/24867/stat : 24867 (java) S 24857 24859 24554 0 -1 4202560 23933 0 0 0 30 5 0 0 15 0 22 0 934893292 10805678080 1029428 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 2 0 0 0
[pid=24859/tid=24868] ppid=24857 vsize=10552420 CPUtime=0.38 cores=0,2,4,6
/proc/24859/task/24868/stat : 24868 (java) S 24857 24859 24554 0 -1 4202560 21442 0 0 0 35 3 0 0 15 0 22 0 934893292 10805678080 1029428 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 6 0 0 0
[pid=24859/tid=24869] ppid=24857 vsize=10552420 CPUtime=0.27 cores=0,2,4,6
/proc/24859/task/24869/stat : 24869 (java) S 24857 24859 24554 0 -1 4202560 14001 0 0 0 25 2 0 0 16 0 22 0 934893292 10805678080 1029428 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 6 0 0 0
[pid=24859/tid=24870] ppid=24857 vsize=10552420 CPUtime=0.39 cores=0,2,4,6
/proc/24859/task/24870/stat : 24870 (java) S 24857 24859 24554 0 -1 4202560 18228 0 0 0 37 2 0 0 16 0 22 0 934893292 10805678080 1029428 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 2 0 0 0
[pid=24859/tid=24871] ppid=24857 vsize=10552420 CPUtime=11.04 cores=0,2,4,6
/proc/24859/task/24871/stat : 24871 (java) S 24857 24859 24554 0 -1 4202560 61893 0 0 0 1095 9 0 0 15 0 22 0 934893293 10805678080 1029428 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379363328 0 0 0 16800975 18446604444529576768 0 0 -1 0 0 0 0
[pid=24859/tid=24872] ppid=24857 vsize=10552420 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24872/stat : 24872 (java) S 24857 24859 24554 0 -1 4202560 18 0 0 0 0 0 0 0 17 0 22 0 934893294 10805678080 1029428 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 0 0 0 0
[pid=24859/tid=24873] ppid=24857 vsize=10552420 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24873/stat : 24873 (java) S 24857 24859 24554 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 934893294 10805678080 1029428 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 0 0 0 0
[pid=24859/tid=24874] ppid=24857 vsize=10552420 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24874/stat : 24874 (java) S 24857 24859 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934893296 10805678080 1029428 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379370417 0 4 0 16800975 18446604444529576768 0 0 -1 2 0 0 0
[pid=24859/tid=24875] ppid=24857 vsize=10552420 CPUtime=1.28 cores=0,2,4,6
/proc/24859/task/24875/stat : 24875 (java) S 24857 24859 24554 0 -1 4202560 7060 0 0 0 128 0 0 0 15 0 22 0 934893296 10805678080 1029428 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 4 0 0 0
[pid=24859/tid=24876] ppid=24857 vsize=10552420 CPUtime=0.87 cores=0,2,4,6
/proc/24859/task/24876/stat : 24876 (java) S 24857 24859 24554 0 -1 4202560 4648 0 0 0 87 0 0 0 15 0 22 0 934893296 10805678080 1029428 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 0 0 0 0
[pid=24859/tid=24877] ppid=24857 vsize=10552420 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24877/stat : 24877 (java) S 24857 24859 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934893296 10805678080 1029428 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379362713 0 4 0 16800975 18446604444529576768 0 0 -1 2 0 0 0
[pid=24859/tid=24878] ppid=24857 vsize=10552420 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24878/stat : 24878 (java) S 24857 24859 24554 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 934893296 10805678080 1029428 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379363328 0 4 0 16800975 18446604444529576768 0 0 -1 4 0 0 0
[pid=24859/tid=24898] ppid=24857 vsize=10552420 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24898/stat : 24898 (java) S 24857 24859 24554 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 934895267 10805678080 1029428 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379363328 0 4 0 16800975 18446604444529576768 0 0 -1 0 0 0 0
[pid=24859/tid=24984] ppid=24857 vsize=10552420 CPUtime=163.55 cores=0,2,4,6
/proc/24859/task/24984/stat : 24984 (java) R 24857 24859 24554 0 -1 4202560 11 0 0 0 16355 0 0 0 25 0 22 0 934967188 10805678080 1029428 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 46912505860740 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24859/tid=24985] ppid=24857 vsize=10552420 CPUtime=163.55 cores=0,2,4,6
/proc/24859/task/24985/stat : 24985 (java) R 24857 24859 24554 0 -1 4202560 8 0 0 0 16355 0 0 0 25 0 22 0 934967188 10805678080 1029428 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 46912506086468 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=24859/tid=24986] ppid=24857 vsize=10552420 CPUtime=0 cores=0,2,4,6
/proc/24859/task/24986/stat : 24986 (java) S 24857 24859 24554 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 934967188 10805678080 1029428 33554432000 1073741824 1073778376 140734187676144 18446744073709551615 251379363328 0 4 0 16800975 18446604444529576768 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10552420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+906.825 s]
/proc/loadavg: 4.03 4.03 3.72 5/541 24990
/proc/meminfo: memFree=17161372/32950928 swapFree=34421304/67111528
[pid=24859] ppid=24857 vsize=0 CPUtime=1800.2 cores=0,2,4,6
/proc/24859/stat : 24859 (java) Z 24857 24859 24554 0 -1 4203548 1044902 0 1 0 179880 140 0 0 17 0 2 0 934893290 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24859/statm: 0 0 0 0 0 0 0
[pid=24859/tid=24985] ppid=24857 vsize=0 CPUtime=163.66 cores=0,2,4,6
/proc/24859/task/24985/stat : 24985 (java) R 24857 24859 24554 0 -1 4203588 8 0 0 0 16358 8 0 0 25 0 2 0 934967188 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 906.894
CPU time (s): 1800.28
CPU user time (s): 1798.8
CPU system time (s): 1.47578
CPU usage (%): 198.51
Max. virtual memory (cumulated for all children) (KiB): 10557248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.8
system time used= 1.47578
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1044902
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= 23727
involuntary context switches= 18675
runsolver used 4.82027 second user time and 10.1675 second system time
The end