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-3456421-1307658825/watcher-3456421-1307658825 -o /tmp/evaluation-result-3456421-1307658825/solver-3456421-1307658825 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456421-1307658825.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.97 2/171 25859
/proc/meminfo: memFree=32055884/32951124 swapFree=67062556/67111528
[pid=25859] ppid=25857 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/25859/stat : 25859 (java) R 25857 25859 23633 0 -1 4202496 948 0 0 0 0 0 0 0 22 0 1 0 956112997 23580672 691 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252453143984 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25859/statm: 5757 691 508 9 0 124 0
[startup+0.0579379 s]
/proc/loadavg: 2.00 2.00 1.97 2/171 25859
/proc/meminfo: memFree=32055884/32951124 swapFree=67062556/67111528
[pid=25859] ppid=25857 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/25859/stat : 25859 (java) S 25857 25859 23633 0 -1 4202496 11496 0 1 0 3 1 0 0 22 0 13 0 956112997 10718838784 11192 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469868517 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0
/proc/25859/statm: 2616904 11194 1685 9 0 2607652 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616
[startup+0.100915 s]
/proc/loadavg: 2.00 2.00 1.97 2/171 25859
/proc/meminfo: memFree=32055884/32951124 swapFree=67062556/67111528
[pid=25859] ppid=25857 vsize=10540248 CPUtime=0.1 cores=1,3,5,7
/proc/25859/stat : 25859 (java) S 25857 25859 23633 0 -1 4202496 13020 0 1 0 8 2 0 0 22 0 18 0 956112997 10793213952 12700 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25859/statm: 2635062 12700 2093 9 0 2625796 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540248
[startup+0.300843 s]
/proc/loadavg: 2.00 2.00 1.97 2/171 25859
/proc/meminfo: memFree=32055884/32951124 swapFree=67062556/67111528
[pid=25859] ppid=25857 vsize=10556912 CPUtime=0.56 cores=1,3,5,7
/proc/25859/stat : 25859 (java) S 25857 25859 23633 0 -1 4202496 22592 0 1 0 53 3 0 0 22 0 18 0 956112997 10810277888 20445 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25859/statm: 2639228 20445 2203 9 0 2629962 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 10556912
[startup+0.700769 s]
/proc/loadavg: 2.00 2.00 1.97 2/171 25859
/proc/meminfo: memFree=32055884/32951124 swapFree=67062556/67111528
[pid=25859] ppid=25857 vsize=10563672 CPUtime=1.54 cores=1,3,5,7
/proc/25859/stat : 25859 (java) S 25857 25859 23633 0 -1 4202496 43267 0 1 0 148 6 0 0 22 0 19 0 956112997 10817200128 39304 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25859/statm: 2640918 39305 2219 9 0 2631652 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 10563672
[startup+1.50066 s]
/proc/loadavg: 2.00 2.00 1.97 3/190 25878
/proc/meminfo: memFree=31758656/32951124 swapFree=67062556/67111528
[pid=25859] ppid=25857 vsize=10563672 CPUtime=2.65 cores=1,3,5,7
/proc/25859/stat : 25859 (java) S 25857 25859 23633 0 -1 4202496 137876 0 1 0 249 16 0 0 22 0 19 0 956112997 10817200128 133912 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25859/statm: 2640918 133914 2223 9 0 2631652 0
[pid=25859/tid=25861] ppid=25857 vsize=10563672 CPUtime=1.48 cores=1,3,5,7
/proc/25859/task/25861/stat : 25861 (java) R 25857 25859 23633 0 -1 4202560 124603 0 1 0 134 14 0 0 20 0 19 0 956112998 10817200128 133915 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 46912505624035 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25859/tid=25862] ppid=25857 vsize=10563672 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25862/stat : 25862 (java) S 25857 25859 23633 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 956112999 10817200128 133916 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25863] ppid=25857 vsize=10563672 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25863/stat : 25863 (java) S 25857 25859 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956112999 10817200128 133917 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 7 0 0 0
[pid=25859/tid=25864] ppid=25857 vsize=10563672 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25864/stat : 25864 (java) S 25857 25859 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956112999 10817200128 133919 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 7 0 0 0
[pid=25859/tid=25865] ppid=25857 vsize=10563672 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25865/stat : 25865 (java) S 25857 25859 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956112999 10817200128 133919 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 7 0 0 0
[pid=25859/tid=25866] ppid=25857 vsize=10563672 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25866/stat : 25866 (java) S 25857 25859 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956112999 10817200128 133920 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 7 0 0 0
[pid=25859/tid=25867] ppid=25857 vsize=10563672 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25867/stat : 25867 (java) S 25857 25859 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956112999 10817200128 133921 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 7 0 0 0
[pid=25859/tid=25868] ppid=25857 vsize=10563672 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25868/stat : 25868 (java) S 25857 25859 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956112999 10817200128 133922 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 7 0 0 0
[pid=25859/tid=25869] ppid=25857 vsize=10563672 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25869/stat : 25869 (java) S 25857 25859 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956112999 10817200128 133922 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 7 0 0 0
[pid=25859/tid=25870] ppid=25857 vsize=10563672 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25870/stat : 25870 (java) S 25857 25859 23633 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 956113000 10817200128 133922 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469882368 0 0 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25871] ppid=25857 vsize=10563672 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25871/stat : 25871 (java) S 25857 25859 23633 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 956113001 10817200128 133922 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25872] ppid=25857 vsize=10563672 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25872/stat : 25872 (java) S 25857 25859 23633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956113001 10817200128 133923 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25873] ppid=25857 vsize=10563672 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25873/stat : 25873 (java) S 25857 25859 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956113003 10817200128 133923 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469889457 0 4 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25874] ppid=25857 vsize=10563672 CPUtime=0.47 cores=1,3,5,7
/proc/25859/task/25874/stat : 25874 (java) S 25857 25859 23633 0 -1 4202560 4502 0 0 0 47 0 0 0 15 0 19 0 956113003 10817200128 133923 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 3 0 0 0
[pid=25859/tid=25875] ppid=25857 vsize=10563672 CPUtime=0.67 cores=1,3,5,7
/proc/25859/task/25875/stat : 25875 (java) S 25857 25859 23633 0 -1 4202560 7610 0 0 0 67 0 0 0 21 0 19 0 956113003 10817200128 133923 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 7 0 0 0
[pid=25859/tid=25876] ppid=25857 vsize=10563672 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25876/stat : 25876 (java) S 25857 25859 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956113003 10817200128 133923 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25877] ppid=25857 vsize=10563672 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25877/stat : 25877 (java) S 25857 25859 23633 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 956113003 10817200128 133924 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469882368 0 4 0 16800975 18446604469416188032 0 0 -1 5 0 0 0
[pid=25859/tid=25878] ppid=25857 vsize=10563672 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25878/stat : 25878 (java) S 25857 25859 23633 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 19 0 956113060 10817200128 133924 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469882368 0 4 0 16800975 18446604469416188032 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 10563672
[startup+3.10136 s]
/proc/loadavg: 2.00 2.00 1.97 3/210 25905
/proc/meminfo: memFree=30975164/32951124 swapFree=67062556/67111528
[pid=25859] ppid=25857 vsize=10563672 CPUtime=4.35 cores=1,3,5,7
/proc/25859/stat : 25859 (java) S 25857 25859 23633 0 -1 4202496 369248 0 1 0 397 38 0 0 22 0 19 0 956112997 10817200128 365284 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25859/statm: 2640918 365290 2224 9 0 2631652 0
[pid=25859/tid=25861] ppid=25857 vsize=10563672 CPUtime=3.08 cores=1,3,5,7
/proc/25859/task/25861/stat : 25861 (java) R 25857 25859 23633 0 -1 4202560 355970 0 1 0 272 36 0 0 25 0 19 0 956112998 10817200128 365293 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 46912505902704 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25859/tid=25862] ppid=25857 vsize=10563672 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25862/stat : 25862 (java) S 25857 25859 23633 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 956112999 10817200128 365297 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25863] ppid=25857 vsize=10563672 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25863/stat : 25863 (java) S 25857 25859 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956112999 10817200128 365300 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 7 0 0 0
[pid=25859/tid=25864] ppid=25857 vsize=10563672 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25864/stat : 25864 (java) S 25857 25859 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956112999 10817200128 365304 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 7 0 0 0
[pid=25859/tid=25865] ppid=25857 vsize=10563672 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25865/stat : 25865 (java) S 25857 25859 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956112999 10817200128 365306 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 7 0 0 0
[pid=25859/tid=25866] ppid=25857 vsize=10563672 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25866/stat : 25866 (java) S 25857 25859 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956112999 10817200128 365306 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 7 0 0 0
[pid=25859/tid=25867] ppid=25857 vsize=10563672 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25867/stat : 25867 (java) S 25857 25859 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956112999 10817200128 365308 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 7 0 0 0
[pid=25859/tid=25868] ppid=25857 vsize=10563672 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25868/stat : 25868 (java) S 25857 25859 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956112999 10817200128 365309 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 7 0 0 0
[pid=25859/tid=25869] ppid=25857 vsize=10563672 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25869/stat : 25869 (java) S 25857 25859 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956112999 10817200128 365309 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 7 0 0 0
[pid=25859/tid=25870] ppid=25857 vsize=10563672 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25870/stat : 25870 (java) S 25857 25859 23633 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 956113000 10817200128 365309 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469882368 0 0 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25871] ppid=25857 vsize=10563672 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25871/stat : 25871 (java) S 25857 25859 23633 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 956113001 10817200128 365309 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25872] ppid=25857 vsize=10563672 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25872/stat : 25872 (java) S 25857 25859 23633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956113001 10817200128 365309 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25873] ppid=25857 vsize=10563672 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25873/stat : 25873 (java) S 25857 25859 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956113003 10817200128 365309 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469889457 0 4 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25874] ppid=25857 vsize=10563672 CPUtime=0.55 cores=1,3,5,7
/proc/25859/task/25874/stat : 25874 (java) S 25857 25859 23633 0 -1 4202560 4513 0 0 0 55 0 0 0 15 0 19 0 956113003 10817200128 365309 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 3 0 0 0
[pid=25859/tid=25875] ppid=25857 vsize=10563672 CPUtime=0.68 cores=1,3,5,7
/proc/25859/task/25875/stat : 25875 (java) S 25857 25859 23633 0 -1 4202560 7611 0 0 0 68 0 0 0 15 0 19 0 956113003 10817200128 365309 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 7 0 0 0
[pid=25859/tid=25876] ppid=25857 vsize=10563672 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25876/stat : 25876 (java) S 25857 25859 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956113003 10817200128 365309 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25877] ppid=25857 vsize=10563672 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25877/stat : 25877 (java) S 25857 25859 23633 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 956113003 10817200128 365309 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469882368 0 4 0 16800975 18446604469416188032 0 0 -1 5 0 0 0
[pid=25859/tid=25878] ppid=25857 vsize=10563672 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25878/stat : 25878 (java) S 25857 25859 23633 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 19 0 956113060 10817200128 365309 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469882368 0 4 0 16800975 18446604469416188032 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.35
Current children cumulated vsize (KiB) 10563672
[startup+6.30076 s]
/proc/loadavg: 2.00 2.00 1.97 3/210 25905
/proc/meminfo: memFree=28232744/32951124 swapFree=67062556/67111528
[pid=25859] ppid=25857 vsize=10559676 CPUtime=7.67 cores=1,3,5,7
/proc/25859/stat : 25859 (java) S 25857 25859 23633 0 -1 4202496 669122 0 1 0 697 70 0 0 22 0 19 0 956112997 10813108224 663758 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25859/statm: 2639919 663758 2241 9 0 2630653 0
[pid=25859/tid=25861] ppid=25857 vsize=10559676 CPUtime=6.26 cores=1,3,5,7
/proc/25859/task/25861/stat : 25861 (java) R 25857 25859 23633 0 -1 4202560 651056 0 1 0 559 67 0 0 25 0 19 0 956112998 10813108224 663758 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 46912506051836 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25859/tid=25862] ppid=25857 vsize=10559676 CPUtime=0.01 cores=1,3,5,7
/proc/25859/task/25862/stat : 25862 (java) S 25857 25859 23633 0 -1 4202560 1524 0 0 0 1 0 0 0 18 0 19 0 956112999 10813108224 663758 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25863] ppid=25857 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25863/stat : 25863 (java) S 25857 25859 23633 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 956112999 10813108224 663758 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 7 0 0 0
[pid=25859/tid=25864] ppid=25857 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25864/stat : 25864 (java) S 25857 25859 23633 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 956112999 10813108224 663758 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 7 0 0 0
[pid=25859/tid=25865] ppid=25857 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25865/stat : 25865 (java) S 25857 25859 23633 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 956112999 10813108224 663758 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 7 0 0 0
[pid=25859/tid=25866] ppid=25857 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25866/stat : 25866 (java) S 25857 25859 23633 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 956112999 10813108224 663758 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 7 0 0 0
[pid=25859/tid=25867] ppid=25857 vsize=10559676 CPUtime=0.01 cores=1,3,5,7
/proc/25859/task/25867/stat : 25867 (java) S 25857 25859 23633 0 -1 4202560 1171 0 0 0 1 0 0 0 18 0 19 0 956112999 10813108224 663758 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 3 0 0 0
[pid=25859/tid=25868] ppid=25857 vsize=10559676 CPUtime=0.01 cores=1,3,5,7
/proc/25859/task/25868/stat : 25868 (java) S 25857 25859 23633 0 -1 4202560 1059 0 0 0 1 0 0 0 18 0 19 0 956112999 10813108224 663758 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 5 0 0 0
[pid=25859/tid=25869] ppid=25857 vsize=10559676 CPUtime=0.01 cores=1,3,5,7
/proc/25859/task/25869/stat : 25869 (java) S 25857 25859 23633 0 -1 4202560 1009 0 0 0 1 0 0 0 18 0 19 0 956112999 10813108224 663758 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 7 0 0 0
[pid=25859/tid=25870] ppid=25857 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25870/stat : 25870 (java) S 25857 25859 23633 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 956113000 10813108224 663758 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469882368 0 0 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25871] ppid=25857 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25871/stat : 25871 (java) S 25857 25859 23633 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956113001 10813108224 663758 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25872] ppid=25857 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25872/stat : 25872 (java) S 25857 25859 23633 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 956113001 10813108224 663758 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25873] ppid=25857 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25873/stat : 25873 (java) S 25857 25859 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956113003 10813108224 663758 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469889457 0 4 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25874] ppid=25857 vsize=10559676 CPUtime=0.62 cores=1,3,5,7
/proc/25859/task/25874/stat : 25874 (java) S 25857 25859 23633 0 -1 4202560 4523 0 0 0 62 0 0 0 15 0 19 0 956113003 10813108224 663758 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 3 0 0 0
[pid=25859/tid=25875] ppid=25857 vsize=10559676 CPUtime=0.69 cores=1,3,5,7
/proc/25859/task/25875/stat : 25875 (java) S 25857 25859 23633 0 -1 4202560 7611 0 0 0 69 0 0 0 15 0 19 0 956113003 10813108224 663758 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 7 0 0 0
[pid=25859/tid=25876] ppid=25857 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25876/stat : 25876 (java) S 25857 25859 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956113003 10813108224 663758 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25877] ppid=25857 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25877/stat : 25877 (java) S 25857 25859 23633 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 956113003 10813108224 663758 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469882368 0 4 0 16800975 18446604469416188032 0 0 -1 5 0 0 0
[pid=25859/tid=25878] ppid=25857 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25878/stat : 25878 (java) S 25857 25859 23633 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 19 0 956113060 10813108224 663758 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469882368 0 4 0 16800975 18446604469416188032 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.67
Current children cumulated vsize (KiB) 10559676
[startup+12.7016 s]
################
# More data... #
################
/proc/25859/task/25871/stat : 25871 (java) S 25857 25859 23633 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956113001 10813108224 1067524 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25872] ppid=25857 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25872/stat : 25872 (java) S 25857 25859 23633 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 956113001 10813108224 1067524 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25873] ppid=25857 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25873/stat : 25873 (java) S 25857 25859 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956113003 10813108224 1067524 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469889457 0 4 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25874] ppid=25857 vsize=10559676 CPUtime=1.03 cores=1,3,5,7
/proc/25859/task/25874/stat : 25874 (java) S 25857 25859 23633 0 -1 4202560 4578 0 0 0 103 0 0 0 16 0 19 0 956113003 10813108224 1067524 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 3 0 0 0
[pid=25859/tid=25875] ppid=25857 vsize=10559676 CPUtime=0.81 cores=1,3,5,7
/proc/25859/task/25875/stat : 25875 (java) S 25857 25859 23633 0 -1 4202560 7632 0 0 0 81 0 0 0 15 0 19 0 956113003 10813108224 1067524 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 5 0 0 0
[pid=25859/tid=25876] ppid=25857 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25876/stat : 25876 (java) S 25857 25859 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956113003 10813108224 1067524 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25877] ppid=25857 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25877/stat : 25877 (java) S 25857 25859 23633 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 956113003 10813108224 1067524 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469882368 0 4 0 16800975 18446604469416188032 0 0 -1 5 0 0 0
[pid=25859/tid=25878] ppid=25857 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25878/stat : 25878 (java) S 25857 25859 23633 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 19 0 956113060 10813108224 1067524 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469882368 0 4 0 16800975 18446604469416188032 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1670
Current children cumulated vsize (KiB) 10559676
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 25964
/proc/meminfo: memFree=22428280/32951124 swapFree=67062556/67111528
[pid=25859] ppid=25857 vsize=10559676 CPUtime=1730.3 cores=1,3,5,7
/proc/25859/stat : 25859 (java) S 25857 25859 23633 0 -1 4202496 1087186 0 1 0 172910 120 0 0 22 0 19 0 956112997 10813108224 1074329 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25859/statm: 2639919 1074329 2257 9 0 2630653 0
[pid=25859/tid=25861] ppid=25857 vsize=10559676 CPUtime=1718.88 cores=1,3,5,7
/proc/25859/task/25861/stat : 25861 (java) R 25857 25859 23633 0 -1 4202560 825472 0 1 0 171805 83 0 0 25 0 19 0 956112998 10813108224 1074329 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 46912505844432 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25859/tid=25862] ppid=25857 vsize=10559676 CPUtime=0.93 cores=1,3,5,7
/proc/25859/task/25862/stat : 25862 (java) S 25857 25859 23633 0 -1 4202560 31480 0 0 0 90 3 0 0 16 0 19 0 956112999 10813108224 1074329 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 7 0 0 0
[pid=25859/tid=25863] ppid=25857 vsize=10559676 CPUtime=1.06 cores=1,3,5,7
/proc/25859/task/25863/stat : 25863 (java) S 25857 25859 23633 0 -1 4202560 32457 0 0 0 102 4 0 0 15 0 19 0 956112999 10813108224 1074329 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 5 0 0 0
[pid=25859/tid=25864] ppid=25857 vsize=10559676 CPUtime=1.09 cores=1,3,5,7
/proc/25859/task/25864/stat : 25864 (java) S 25857 25859 23633 0 -1 4202560 34324 0 0 0 104 5 0 0 15 0 19 0 956112999 10813108224 1074329 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 3 0 0 0
[pid=25859/tid=25865] ppid=25857 vsize=10559676 CPUtime=1.11 cores=1,3,5,7
/proc/25859/task/25865/stat : 25865 (java) S 25857 25859 23633 0 -1 4202560 29712 0 0 0 107 4 0 0 16 0 19 0 956112999 10813108224 1074329 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 5 0 0 0
[pid=25859/tid=25866] ppid=25857 vsize=10559676 CPUtime=1.01 cores=1,3,5,7
/proc/25859/task/25866/stat : 25866 (java) S 25857 25859 23633 0 -1 4202560 25869 0 0 0 98 3 0 0 16 0 19 0 956112999 10813108224 1074329 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 3 0 0 0
[pid=25859/tid=25867] ppid=25857 vsize=10559676 CPUtime=0.96 cores=1,3,5,7
/proc/25859/task/25867/stat : 25867 (java) S 25857 25859 23633 0 -1 4202560 28807 0 0 0 93 3 0 0 15 0 19 0 956112999 10813108224 1074329 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25868] ppid=25857 vsize=10559676 CPUtime=1.09 cores=1,3,5,7
/proc/25859/task/25868/stat : 25868 (java) S 25857 25859 23633 0 -1 4202560 28969 0 0 0 106 3 0 0 16 0 19 0 956112999 10813108224 1074329 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25869] ppid=25857 vsize=10559676 CPUtime=1.03 cores=1,3,5,7
/proc/25859/task/25869/stat : 25869 (java) S 25857 25859 23633 0 -1 4202560 31682 0 0 0 99 4 0 0 15 0 19 0 956112999 10813108224 1074329 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 7 0 0 0
[pid=25859/tid=25870] ppid=25857 vsize=10559676 CPUtime=1.18 cores=1,3,5,7
/proc/25859/task/25870/stat : 25870 (java) S 25857 25859 23633 0 -1 4202560 4949 0 0 0 117 1 0 0 15 0 19 0 956113000 10813108224 1074329 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469882368 0 0 0 16800975 18446604469416188032 0 0 -1 5 0 0 0
[pid=25859/tid=25871] ppid=25857 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25871/stat : 25871 (java) S 25857 25859 23633 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956113001 10813108224 1074329 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25872] ppid=25857 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25872/stat : 25872 (java) S 25857 25859 23633 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 956113001 10813108224 1074329 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25873] ppid=25857 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25873/stat : 25873 (java) S 25857 25859 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956113003 10813108224 1074329 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469889457 0 4 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25874] ppid=25857 vsize=10559676 CPUtime=1.03 cores=1,3,5,7
/proc/25859/task/25874/stat : 25874 (java) S 25857 25859 23633 0 -1 4202560 4578 0 0 0 103 0 0 0 16 0 19 0 956113003 10813108224 1074329 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 3 0 0 0
[pid=25859/tid=25875] ppid=25857 vsize=10559676 CPUtime=0.81 cores=1,3,5,7
/proc/25859/task/25875/stat : 25875 (java) S 25857 25859 23633 0 -1 4202560 7632 0 0 0 81 0 0 0 15 0 19 0 956113003 10813108224 1074329 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 5 0 0 0
[pid=25859/tid=25876] ppid=25857 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25876/stat : 25876 (java) S 25857 25859 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956113003 10813108224 1074329 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25877] ppid=25857 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25877/stat : 25877 (java) S 25857 25859 23633 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 956113003 10813108224 1074329 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469882368 0 4 0 16800975 18446604469416188032 0 0 -1 5 0 0 0
[pid=25859/tid=25878] ppid=25857 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25878/stat : 25878 (java) S 25857 25859 23633 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 19 0 956113060 10813108224 1074329 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469882368 0 4 0 16800975 18446604469416188032 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1730.3
Current children cumulated vsize (KiB) 10559676
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 2/192 25968
/proc/meminfo: memFree=27704796/32951124 swapFree=67062556/67111528
[pid=25859] ppid=25857 vsize=10559676 CPUtime=1790.64 cores=1,3,5,7
/proc/25859/stat : 25859 (java) S 25857 25859 23633 0 -1 4202496 1089276 0 1 0 178943 121 0 0 22 0 19 0 956112997 10813108224 1076378 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25859/statm: 2639919 1076378 2257 9 0 2630653 0
[pid=25859/tid=25861] ppid=25857 vsize=10559676 CPUtime=1777.55 cores=1,3,5,7
/proc/25859/task/25861/stat : 25861 (java) R 25857 25859 23633 0 -1 4202560 825477 0 1 0 177672 83 0 0 25 0 19 0 956112998 10813108224 1076378 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 46912505844532 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25859/tid=25862] ppid=25857 vsize=10559676 CPUtime=0.99 cores=1,3,5,7
/proc/25859/task/25862/stat : 25862 (java) S 25857 25859 23633 0 -1 4202560 31766 0 0 0 96 3 0 0 16 0 19 0 956112999 10813108224 1076378 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25863] ppid=25857 vsize=10559676 CPUtime=1.11 cores=1,3,5,7
/proc/25859/task/25863/stat : 25863 (java) S 25857 25859 23633 0 -1 4202560 32699 0 0 0 107 4 0 0 16 0 19 0 956112999 10813108224 1076378 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 5 0 0 0
[pid=25859/tid=25864] ppid=25857 vsize=10559676 CPUtime=1.16 cores=1,3,5,7
/proc/25859/task/25864/stat : 25864 (java) S 25857 25859 23633 0 -1 4202560 34606 0 0 0 111 5 0 0 16 0 19 0 956112999 10813108224 1076378 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 3 0 0 0
[pid=25859/tid=25865] ppid=25857 vsize=10559676 CPUtime=1.18 cores=1,3,5,7
/proc/25859/task/25865/stat : 25865 (java) S 25857 25859 23633 0 -1 4202560 30210 0 0 0 114 4 0 0 15 0 19 0 956112999 10813108224 1076378 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 3 0 0 0
[pid=25859/tid=25866] ppid=25857 vsize=10559676 CPUtime=1.06 cores=1,3,5,7
/proc/25859/task/25866/stat : 25866 (java) S 25857 25859 23633 0 -1 4202560 26325 0 0 0 103 3 0 0 15 0 19 0 956112999 10813108224 1076378 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 3 0 0 0
[pid=25859/tid=25867] ppid=25857 vsize=10559676 CPUtime=0.98 cores=1,3,5,7
/proc/25859/task/25867/stat : 25867 (java) S 25857 25859 23633 0 -1 4202560 29000 0 0 0 95 3 0 0 15 0 19 0 956112999 10813108224 1076378 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25868] ppid=25857 vsize=10559676 CPUtime=1.14 cores=1,3,5,7
/proc/25859/task/25868/stat : 25868 (java) S 25857 25859 23633 0 -1 4202560 28969 0 0 0 111 3 0 0 16 0 19 0 956112999 10813108224 1076378 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 7 0 0 0
[pid=25859/tid=25869] ppid=25857 vsize=10559676 CPUtime=1.06 cores=1,3,5,7
/proc/25859/task/25869/stat : 25869 (java) S 25857 25859 23633 0 -1 4202560 31684 0 0 0 102 4 0 0 15 0 19 0 956112999 10813108224 1076378 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 7 0 0 0
[pid=25859/tid=25870] ppid=25857 vsize=10559676 CPUtime=2.4 cores=1,3,5,7
/proc/25859/task/25870/stat : 25870 (java) S 25857 25859 23633 0 -1 4202560 5068 0 0 0 238 2 0 0 15 0 19 0 956113000 10813108224 1076378 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469882368 0 0 0 16800975 18446604469416188032 0 0 -1 3 0 0 0
[pid=25859/tid=25871] ppid=25857 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25871/stat : 25871 (java) S 25857 25859 23633 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956113001 10813108224 1076378 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25872] ppid=25857 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25872/stat : 25872 (java) S 25857 25859 23633 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 956113001 10813108224 1076378 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25873] ppid=25857 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25873/stat : 25873 (java) S 25857 25859 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956113003 10813108224 1076378 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469889457 0 4 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25874] ppid=25857 vsize=10559676 CPUtime=1.03 cores=1,3,5,7
/proc/25859/task/25874/stat : 25874 (java) S 25857 25859 23633 0 -1 4202560 4578 0 0 0 103 0 0 0 16 0 19 0 956113003 10813108224 1076378 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 3 0 0 0
[pid=25859/tid=25875] ppid=25857 vsize=10559676 CPUtime=0.84 cores=1,3,5,7
/proc/25859/task/25875/stat : 25875 (java) S 25857 25859 23633 0 -1 4202560 7637 0 0 0 84 0 0 0 15 0 19 0 956113003 10813108224 1076378 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 5 0 0 0
[pid=25859/tid=25876] ppid=25857 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25876/stat : 25876 (java) S 25857 25859 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956113003 10813108224 1076378 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25877] ppid=25857 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25877/stat : 25877 (java) S 25857 25859 23633 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 956113003 10813108224 1076378 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469882368 0 4 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25878] ppid=25857 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25878/stat : 25878 (java) S 25857 25859 23633 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 19 0 956113060 10813108224 1076378 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469882368 0 4 0 16800975 18446604469416188032 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1790.64
Current children cumulated vsize (KiB) 10559676
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 26025
/proc/meminfo: memFree=25101124/32951124 swapFree=67062556/67111528
[pid=25859] ppid=25857 vsize=10559676 CPUtime=1800 cores=1,3,5,7
/proc/25859/stat : 25859 (java) S 25857 25859 23633 0 -1 4202496 1089291 0 1 0 179879 121 0 0 22 0 19 0 956112997 10813108224 1076388 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25859/statm: 2639919 1076388 2257 9 0 2630653 0
[pid=25859/tid=25861] ppid=25857 vsize=10559676 CPUtime=1786.84 cores=1,3,5,7
/proc/25859/task/25861/stat : 25861 (java) R 25857 25859 23633 0 -1 4202560 825478 0 1 0 178601 83 0 0 25 0 19 0 956112998 10813108224 1076388 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 46912505885756 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25859/tid=25862] ppid=25857 vsize=10559676 CPUtime=0.99 cores=1,3,5,7
/proc/25859/task/25862/stat : 25862 (java) S 25857 25859 23633 0 -1 4202560 31766 0 0 0 96 3 0 0 16 0 19 0 956112999 10813108224 1076388 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25863] ppid=25857 vsize=10559676 CPUtime=1.13 cores=1,3,5,7
/proc/25859/task/25863/stat : 25863 (java) S 25857 25859 23633 0 -1 4202560 32699 0 0 0 109 4 0 0 16 0 19 0 956112999 10813108224 1076388 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 5 0 0 0
[pid=25859/tid=25864] ppid=25857 vsize=10559676 CPUtime=1.18 cores=1,3,5,7
/proc/25859/task/25864/stat : 25864 (java) S 25857 25859 23633 0 -1 4202560 34609 0 0 0 113 5 0 0 16 0 19 0 956112999 10813108224 1076388 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 7 0 0 0
[pid=25859/tid=25865] ppid=25857 vsize=10559676 CPUtime=1.2 cores=1,3,5,7
/proc/25859/task/25865/stat : 25865 (java) S 25857 25859 23633 0 -1 4202560 30212 0 0 0 116 4 0 0 16 0 19 0 956112999 10813108224 1076388 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 3 0 0 0
[pid=25859/tid=25866] ppid=25857 vsize=10559676 CPUtime=1.06 cores=1,3,5,7
/proc/25859/task/25866/stat : 25866 (java) S 25857 25859 23633 0 -1 4202560 26325 0 0 0 103 3 0 0 16 0 19 0 956112999 10813108224 1076388 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 3 0 0 0
[pid=25859/tid=25867] ppid=25857 vsize=10559676 CPUtime=0.99 cores=1,3,5,7
/proc/25859/task/25867/stat : 25867 (java) S 25857 25859 23633 0 -1 4202560 29003 0 0 0 96 3 0 0 16 0 19 0 956112999 10813108224 1076388 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 5 0 0 0
[pid=25859/tid=25868] ppid=25857 vsize=10559676 CPUtime=1.16 cores=1,3,5,7
/proc/25859/task/25868/stat : 25868 (java) S 25857 25859 23633 0 -1 4202560 28971 0 0 0 113 3 0 0 16 0 19 0 956112999 10813108224 1076388 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25869] ppid=25857 vsize=10559676 CPUtime=1.06 cores=1,3,5,7
/proc/25859/task/25869/stat : 25869 (java) S 25857 25859 23633 0 -1 4202560 31684 0 0 0 102 4 0 0 16 0 19 0 956112999 10813108224 1076388 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 7 0 0 0
[pid=25859/tid=25870] ppid=25857 vsize=10559676 CPUtime=2.4 cores=1,3,5,7
/proc/25859/task/25870/stat : 25870 (java) S 25857 25859 23633 0 -1 4202560 5070 0 0 0 238 2 0 0 16 0 19 0 956113000 10813108224 1076388 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469882368 0 0 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25871] ppid=25857 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25871/stat : 25871 (java) S 25857 25859 23633 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956113001 10813108224 1076388 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25872] ppid=25857 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25872/stat : 25872 (java) S 25857 25859 23633 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 956113001 10813108224 1076388 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25873] ppid=25857 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25873/stat : 25873 (java) S 25857 25859 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956113003 10813108224 1076388 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469889457 0 4 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25874] ppid=25857 vsize=10559676 CPUtime=1.03 cores=1,3,5,7
/proc/25859/task/25874/stat : 25874 (java) S 25857 25859 23633 0 -1 4202560 4578 0 0 0 103 0 0 0 16 0 19 0 956113003 10813108224 1076388 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 3 0 0 0
[pid=25859/tid=25875] ppid=25857 vsize=10559676 CPUtime=0.84 cores=1,3,5,7
/proc/25859/task/25875/stat : 25875 (java) S 25857 25859 23633 0 -1 4202560 7637 0 0 0 84 0 0 0 15 0 19 0 956113003 10813108224 1076388 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 5 0 0 0
[pid=25859/tid=25876] ppid=25857 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25876/stat : 25876 (java) S 25857 25859 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956113003 10813108224 1076388 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469881753 0 4 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25877] ppid=25857 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25877/stat : 25877 (java) S 25857 25859 23633 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 956113003 10813108224 1076388 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469882368 0 4 0 16800975 18446604469416188032 0 0 -1 1 0 0 0
[pid=25859/tid=25878] ppid=25857 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/25859/task/25878/stat : 25878 (java) S 25857 25859 23633 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 19 0 956113060 10813108224 1076388 33554432000 1073741824 1073778376 140733713133808 18446744073709551615 252469882368 0 4 0 16800975 18446604469416188032 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 10559676
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1791.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 26025
/proc/meminfo: memFree=25101124/32951124 swapFree=67062556/67111528
[pid=25859] ppid=25857 vsize=0 CPUtime=1800.13 cores=1,3,5,7
/proc/25859/stat : 25859 (java) Z 25857 25859 23633 0 -1 4203548 1089328 0 1 0 179884 129 0 0 17 0 2 0 956112997 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25859/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1791.79
CPU time (s): 1800.21
CPU user time (s): 1798.84
CPU system time (s): 1.36679
CPU usage (%): 100.47
Max. virtual memory (cumulated for all children) (KiB): 10563672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.84
system time used= 1.36679
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1089328
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= 40806
involuntary context switches= 7734
runsolver used 2.94755 second user time and 6.84696 second system time
The end