runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3733788-1338750016/watcher-3733788-1338750016 -o /tmp/evaluation-result-3733788-1338750016/solver-3733788-1338750016 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3733788-1338750016.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.27 2.09 2.03 3/195 27863
/proc/meminfo: memFree=25367664/32873648 swapFree=6864/6864
[pid=27863] ppid=27861 vsize=9324 CPUtime=0 cores=1,3,5,7
/proc/27863/stat : 27863 (java6) R 27861 27863 26477 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 341126984 9547776 182 33554432000 1073741824 1073778376 140734475179936 140734475162664 270707204576 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/27863/statm: 2323 182 140 9 0 71 0
[startup+0.046119 s]
/proc/loadavg: 2.27 2.09 2.03 3/195 27863
/proc/meminfo: memFree=25367664/32873648 swapFree=6864/6864
[pid=27863] ppid=27861 vsize=2315716 CPUtime=0.01 cores=1,3,5,7
/proc/27863/stat : 27863 (java) S 27861 27863 26477 0 -1 4202496 3678 0 1 0 1 0 0 0 20 0 13 0 341126984 2371293184 4886 33554432000 1073741824 1073778376 140734501124656 140734501115792 270710898749 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27863/statm: 578929 4886 1697 9 0 569630 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2315716
[startup+0.100197 s]
/proc/loadavg: 2.27 2.09 2.03 3/195 27863
/proc/meminfo: memFree=25367664/32873648 swapFree=6864/6864
[pid=27863] ppid=27861 vsize=2648568 CPUtime=0.09 cores=1,3,5,7
/proc/27863/stat : 27863 (java) S 27861 27863 26477 0 -1 4202496 4702 0 1 0 8 1 0 0 20 0 18 0 341126984 2712133632 6420 33554432000 1073741824 1073778376 140734501124656 140734501115792 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27863/statm: 662142 6420 2109 9 0 652835 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2648568
[startup+0.300148 s]
/proc/loadavg: 2.27 2.09 2.03 3/195 27863
/proc/meminfo: memFree=25367664/32873648 swapFree=6864/6864
[pid=27863] ppid=27861 vsize=2715132 CPUtime=0.54 cores=1,3,5,7
/proc/27863/stat : 27863 (java) S 27861 27863 26477 0 -1 4202496 8311 0 1 0 52 2 0 0 20 0 19 0 341126984 2780295168 8873 33554432000 1073741824 1073778376 140734501124656 140734501115792 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27863/statm: 678783 8873 2231 9 0 669476 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 2715132
[startup+0.700173 s]
/proc/loadavg: 2.27 2.09 2.03 3/195 27863
/proc/meminfo: memFree=25367664/32873648 swapFree=6864/6864
[pid=27863] ppid=27861 vsize=2715132 CPUtime=1 cores=1,3,5,7
/proc/27863/stat : 27863 (java) S 27861 27863 26477 0 -1 4202496 8339 0 1 0 98 2 0 0 20 0 19 0 341126984 2780295168 9921 33554432000 1073741824 1073778376 140734501124656 140734501115792 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27863/statm: 678783 9921 2233 9 0 669476 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 2715132
[startup+1.50062 s]
/proc/loadavg: 2.27 2.09 2.03 3/214 27882
/proc/meminfo: memFree=25334084/32873648 swapFree=6864/6864
[pid=27863] ppid=27861 vsize=2715132 CPUtime=1.82 cores=1,3,5,7
/proc/27863/stat : 27863 (java) S 27861 27863 26477 0 -1 4202496 8383 0 1 0 180 2 0 0 20 0 19 0 341126984 2780295168 10948 33554432000 1073741824 1073778376 140734501124656 140734501115792 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27863/statm: 678783 10948 2235 9 0 669476 0
[pid=27863/tid=27865] ppid=27861 vsize=2715132 CPUtime=1.46 cores=1,3,5,7
/proc/27863/task/27865/stat : 27865 (java) R 27861 27863 26477 0 -1 4202560 2752 0 1 0 146 0 0 0 20 0 19 0 341126985 2780295168 10948 33554432000 1073741824 1073778376 140734501124656 140105695033592 140105541425982 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27863/tid=27866] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27866/stat : 27866 (java) S 27861 27863 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341126987 2780295168 10948 33554432000 1073741824 1073778376 140734501124656 140105679485096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27867] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27867/stat : 27867 (java) S 27861 27863 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341126987 2780295168 10948 33554432000 1073741824 1073778376 140734501124656 140105678432552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27863/tid=27868] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27868/stat : 27868 (java) S 27861 27863 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341126987 2780295168 10948 33554432000 1073741824 1073778376 140734501124656 140105677380008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27863/tid=27869] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27869/stat : 27869 (java) S 27861 27863 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341126987 2780295168 10948 33554432000 1073741824 1073778376 140734501124656 140105676327464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27863/tid=27870] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27870/stat : 27870 (java) S 27861 27863 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341126987 2780295168 10948 33554432000 1073741824 1073778376 140734501124656 140105675274920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27871] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27871/stat : 27871 (java) S 27861 27863 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341126987 2780295168 10948 33554432000 1073741824 1073778376 140734501124656 140105674222376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27863/tid=27872] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27872/stat : 27872 (java) S 27861 27863 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341126987 2780295168 10948 33554432000 1073741824 1073778376 140734501124656 140105673169832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27873] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27873/stat : 27873 (java) S 27861 27863 26477 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341126987 2780295168 10948 33554432000 1073741824 1073778376 140734501124656 140105672117288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27874] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27874/stat : 27874 (java) S 27861 27863 26477 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341126988 2780295168 10948 33554432000 1073741824 1073778376 140734501124656 140105659705448 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27863/tid=27875] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27875/stat : 27875 (java) S 27861 27863 26477 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341126988 2780295168 10948 33554432000 1073741824 1073778376 140734501124656 140105540953208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27876] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27876/stat : 27876 (java) S 27861 27863 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341126988 2780295168 10948 33554432000 1073741824 1073778376 140734501124656 140105539900552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27877] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27877/stat : 27877 (java) S 27861 27863 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341126991 2780295168 10948 33554432000 1073741824 1073778376 140734501124656 140105538849296 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27878] ppid=27861 vsize=2715132 CPUtime=0.13 cores=1,3,5,7
/proc/27863/task/27878/stat : 27878 (java) S 27861 27863 26477 0 -1 4202560 1820 0 0 0 13 0 0 0 20 0 19 0 341126991 2780295168 10948 33554432000 1073741824 1073778376 140734501124656 140105537796664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27879] ppid=27861 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/27863/task/27879/stat : 27879 (java) S 27861 27863 26477 0 -1 4202560 2611 0 0 0 18 1 0 0 20 0 19 0 341126991 2780295168 10948 33554432000 1073741824 1073778376 140734501124656 140105536744120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27863/tid=27880] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27880/stat : 27880 (java) S 27861 27863 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341126991 2780295168 10948 33554432000 1073741824 1073778376 140734501124656 140105535691768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27863/tid=27881] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27881/stat : 27881 (java) S 27861 27863 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341126991 2780295168 10948 33554432000 1073741824 1073778376 140734501124656 140105534639432 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27863/tid=27882] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27882/stat : 27882 (java) S 27861 27863 26477 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 341127002 2780295168 10948 33554432000 1073741824 1073778376 140734501124656 140105533584168 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 2715132
[startup+3.10064 s]
/proc/loadavg: 2.27 2.09 2.03 3/214 27882
/proc/meminfo: memFree=25327568/32873648 swapFree=6864/6864
[pid=27863] ppid=27861 vsize=2715132 CPUtime=3.46 cores=1,3,5,7
/proc/27863/stat : 27863 (java) S 27861 27863 26477 0 -1 4202496 8393 0 1 0 344 2 0 0 20 0 19 0 341126984 2780295168 13512 33554432000 1073741824 1073778376 140734501124656 140734501115792 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27863/statm: 678783 13512 2239 9 0 669476 0
[pid=27863/tid=27865] ppid=27861 vsize=2715132 CPUtime=3.06 cores=1,3,5,7
/proc/27863/task/27865/stat : 27865 (java) R 27861 27863 26477 0 -1 4202560 2758 0 1 0 306 0 0 0 20 0 19 0 341126985 2780295168 13512 33554432000 1073741824 1073778376 140734501124656 140105695036120 140105541418292 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27863/tid=27866] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27866/stat : 27866 (java) S 27861 27863 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341126987 2780295168 13512 33554432000 1073741824 1073778376 140734501124656 140105679485096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27867] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27867/stat : 27867 (java) S 27861 27863 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341126987 2780295168 13512 33554432000 1073741824 1073778376 140734501124656 140105678432552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27863/tid=27868] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27868/stat : 27868 (java) S 27861 27863 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341126987 2780295168 13512 33554432000 1073741824 1073778376 140734501124656 140105677380008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27863/tid=27869] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27869/stat : 27869 (java) S 27861 27863 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341126987 2780295168 13512 33554432000 1073741824 1073778376 140734501124656 140105676327464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27863/tid=27870] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27870/stat : 27870 (java) S 27861 27863 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341126987 2780295168 13512 33554432000 1073741824 1073778376 140734501124656 140105675274920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27871] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27871/stat : 27871 (java) S 27861 27863 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341126987 2780295168 13512 33554432000 1073741824 1073778376 140734501124656 140105674222376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27863/tid=27872] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27872/stat : 27872 (java) S 27861 27863 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341126987 2780295168 13512 33554432000 1073741824 1073778376 140734501124656 140105673169832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27873] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27873/stat : 27873 (java) S 27861 27863 26477 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341126987 2780295168 13512 33554432000 1073741824 1073778376 140734501124656 140105672117288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27874] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27874/stat : 27874 (java) S 27861 27863 26477 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341126988 2780295168 13512 33554432000 1073741824 1073778376 140734501124656 140105659705448 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27863/tid=27875] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27875/stat : 27875 (java) S 27861 27863 26477 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341126988 2780295168 13512 33554432000 1073741824 1073778376 140734501124656 140105540953208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27876] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27876/stat : 27876 (java) S 27861 27863 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341126988 2780295168 13512 33554432000 1073741824 1073778376 140734501124656 140105539900552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27877] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27877/stat : 27877 (java) S 27861 27863 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341126991 2780295168 13512 33554432000 1073741824 1073778376 140734501124656 140105538849296 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27878] ppid=27861 vsize=2715132 CPUtime=0.17 cores=1,3,5,7
/proc/27863/task/27878/stat : 27878 (java) S 27861 27863 26477 0 -1 4202560 1824 0 0 0 17 0 0 0 20 0 19 0 341126991 2780295168 13512 33554432000 1073741824 1073778376 140734501124656 140105537796664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27879] ppid=27861 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/27863/task/27879/stat : 27879 (java) S 27861 27863 26477 0 -1 4202560 2611 0 0 0 18 1 0 0 20 0 19 0 341126991 2780295168 13512 33554432000 1073741824 1073778376 140734501124656 140105536744120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27863/tid=27880] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27880/stat : 27880 (java) S 27861 27863 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341126991 2780295168 13512 33554432000 1073741824 1073778376 140734501124656 140105535691768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27863/tid=27881] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27881/stat : 27881 (java) S 27861 27863 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341126991 2780295168 13512 33554432000 1073741824 1073778376 140734501124656 140105534639432 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27863/tid=27882] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27882/stat : 27882 (java) S 27861 27863 26477 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 341127002 2780295168 13512 33554432000 1073741824 1073778376 140734501124656 140105533584168 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.46
Current children cumulated vsize (KiB) 2715132
[startup+6.30069 s]
/proc/loadavg: 2.25 2.08 2.03 3/214 27882
/proc/meminfo: memFree=25314460/32873648 swapFree=6864/6864
[pid=27863] ppid=27861 vsize=2715132 CPUtime=6.7 cores=1,3,5,7
/proc/27863/stat : 27863 (java) S 27861 27863 26477 0 -1 4202496 8404 0 1 0 668 2 0 0 20 0 19 0 341126984 2780295168 16684 33554432000 1073741824 1073778376 140734501124656 140734501115792 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27863/statm: 678783 16684 2240 9 0 669476 0
[pid=27863/tid=27865] ppid=27861 vsize=2715132 CPUtime=6.27 cores=1,3,5,7
/proc/27863/task/27865/stat : 27865 (java) R 27861 27863 26477 0 -1 4202560 2768 0 1 0 625 2 0 0 20 0 19 0 341126985 2780295168 16684 33554432000 1073741824 1073778376 140734501124656 140105695033920 140105541474637 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27863/tid=27866] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27866/stat : 27866 (java) S 27861 27863 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341126987 2780295168 16684 33554432000 1073741824 1073778376 140734501124656 140105679485096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27867] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27867/stat : 27867 (java) S 27861 27863 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341126987 2780295168 16684 33554432000 1073741824 1073778376 140734501124656 140105678432552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27863/tid=27868] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27868/stat : 27868 (java) S 27861 27863 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341126987 2780295168 16684 33554432000 1073741824 1073778376 140734501124656 140105677380008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27863/tid=27869] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27869/stat : 27869 (java) S 27861 27863 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341126987 2780295168 16684 33554432000 1073741824 1073778376 140734501124656 140105676327464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27863/tid=27870] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27870/stat : 27870 (java) S 27861 27863 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341126987 2780295168 16684 33554432000 1073741824 1073778376 140734501124656 140105675274920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27871] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27871/stat : 27871 (java) S 27861 27863 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341126987 2780295168 16684 33554432000 1073741824 1073778376 140734501124656 140105674222376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27863/tid=27872] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27872/stat : 27872 (java) S 27861 27863 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341126987 2780295168 16684 33554432000 1073741824 1073778376 140734501124656 140105673169832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27873] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27873/stat : 27873 (java) S 27861 27863 26477 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341126987 2780295168 16684 33554432000 1073741824 1073778376 140734501124656 140105672117288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27874] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27874/stat : 27874 (java) S 27861 27863 26477 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341126988 2780295168 16684 33554432000 1073741824 1073778376 140734501124656 140105659705448 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27863/tid=27875] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27875/stat : 27875 (java) S 27861 27863 26477 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341126988 2780295168 16684 33554432000 1073741824 1073778376 140734501124656 140105540953208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27876] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27876/stat : 27876 (java) S 27861 27863 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341126988 2780295168 16684 33554432000 1073741824 1073778376 140734501124656 140105539900552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27877] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27877/stat : 27877 (java) S 27861 27863 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341126991 2780295168 16684 33554432000 1073741824 1073778376 140734501124656 140105538849296 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27878] ppid=27861 vsize=2715132 CPUtime=0.2 cores=1,3,5,7
/proc/27863/task/27878/stat : 27878 (java) S 27861 27863 26477 0 -1 4202560 1824 0 0 0 20 0 0 0 20 0 19 0 341126991 2780295168 16684 33554432000 1073741824 1073778376 140734501124656 140105537796664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27879] ppid=27861 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/27863/task/27879/stat : 27879 (java) S 27861 27863 26477 0 -1 4202560 2611 0 0 0 20 1 0 0 20 0 19 0 341126991 2780295168 16684 33554432000 1073741824 1073778376 140734501124656 140105536744120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27863/tid=27880] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27880/stat : 27880 (java) S 27861 27863 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341126991 2780295168 16684 33554432000 1073741824 1073778376 140734501124656 140105535691768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27863/tid=27881] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27881/stat : 27881 (java) S 27861 27863 26477 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 341126991 2780295168 16684 33554432000 1073741824 1073778376 140734501124656 140105534639432 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27863/tid=27882] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27882/stat : 27882 (java) S 27861 27863 26477 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 341127002 2780295168 16684 33554432000 1073741824 1073778376 140734501124656 140105533584168 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.7
Current children cumulated vsize (KiB) 2715132
[startup+12.7007 s]
################
# More data... #
################
[pid=27863/tid=27871] ppid=27861 vsize=2715132 CPUtime=0.22 cores=1,3,5,7
/proc/27863/task/27871/stat : 27871 (java) S 27861 27863 26477 0 -1 4202560 225 0 0 0 10 12 0 0 20 0 19 0 341126987 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105674222376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27863/tid=27872] ppid=27861 vsize=2715132 CPUtime=0.14 cores=1,3,5,7
/proc/27863/task/27872/stat : 27872 (java) S 27861 27863 26477 0 -1 4202560 166 0 0 0 4 10 0 0 20 0 19 0 341126987 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105673169832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27873] ppid=27861 vsize=2715132 CPUtime=0.14 cores=1,3,5,7
/proc/27863/task/27873/stat : 27873 (java) S 27861 27863 26477 0 -1 4202560 154 0 0 0 7 7 0 0 20 0 19 0 341126987 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105672117288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27863/tid=27874] ppid=27861 vsize=2715132 CPUtime=1.15 cores=1,3,5,7
/proc/27863/task/27874/stat : 27874 (java) S 27861 27863 26477 0 -1 4202560 120 0 0 0 111 4 0 0 20 0 19 0 341126988 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105659705448 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27863/tid=27875] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27875/stat : 27875 (java) S 27861 27863 26477 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341126988 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105540953208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27876] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27876/stat : 27876 (java) S 27861 27863 26477 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341126988 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105539900552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27877] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27877/stat : 27877 (java) S 27861 27863 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341126991 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105538849296 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27878] ppid=27861 vsize=2715132 CPUtime=0.23 cores=1,3,5,7
/proc/27863/task/27878/stat : 27878 (java) S 27861 27863 26477 0 -1 4202560 1835 0 0 0 23 0 0 0 20 0 19 0 341126991 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105537796664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27879] ppid=27861 vsize=2715132 CPUtime=0.26 cores=1,3,5,7
/proc/27863/task/27879/stat : 27879 (java) S 27861 27863 26477 0 -1 4202560 2621 0 0 0 25 1 0 0 20 0 19 0 341126991 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105536744120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27863/tid=27880] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27880/stat : 27880 (java) S 27861 27863 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341126991 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105535691768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27863/tid=27881] ppid=27861 vsize=2715132 CPUtime=0.7 cores=1,3,5,7
/proc/27863/task/27881/stat : 27881 (java) S 27861 27863 26477 0 -1 4202560 96 0 0 0 34 36 0 0 20 0 19 0 341126991 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105534639432 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27863/tid=27882] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27882/stat : 27882 (java) S 27861 27863 26477 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 341127002 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105533584168 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1664.69
Current children cumulated vsize (KiB) 2715132
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 28032
/proc/meminfo: memFree=24277748/32873648 swapFree=6864/6864
[pid=27863] ppid=27861 vsize=2715132 CPUtime=1724.7 cores=1,3,5,7
/proc/27863/stat : 27863 (java) S 27861 27863 26477 0 -1 4202496 10510 0 1 0 172321 149 0 0 20 0 19 0 341126984 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140734501115792 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27863/statm: 678783 342721 2266 9 0 669476 0
[pid=27863/tid=27865] ppid=27861 vsize=2715132 CPUtime=1720.73 cores=1,3,5,7
/proc/27863/task/27865/stat : 27865 (java) R 27861 27863 26477 0 -1 4202560 2919 0 1 0 172041 32 0 0 20 0 19 0 341126985 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105695035680 140105541509445 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27863/tid=27866] ppid=27861 vsize=2715132 CPUtime=0.4 cores=1,3,5,7
/proc/27863/task/27866/stat : 27866 (java) S 27861 27863 26477 0 -1 4202560 365 0 0 0 16 24 0 0 20 0 19 0 341126987 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105679485096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27867] ppid=27861 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/27863/task/27867/stat : 27867 (java) S 27861 27863 26477 0 -1 4202560 221 0 0 0 10 11 0 0 20 0 19 0 341126987 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105678432552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27863/tid=27868] ppid=27861 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/27863/task/27868/stat : 27868 (java) S 27861 27863 26477 0 -1 4202560 214 0 0 0 8 13 0 0 20 0 19 0 341126987 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105677380008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27863/tid=27869] ppid=27861 vsize=2715132 CPUtime=0.22 cores=1,3,5,7
/proc/27863/task/27869/stat : 27869 (java) S 27861 27863 26477 0 -1 4202560 211 0 0 0 9 13 0 0 20 0 19 0 341126987 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105676327464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27863/tid=27870] ppid=27861 vsize=2715132 CPUtime=0.17 cores=1,3,5,7
/proc/27863/task/27870/stat : 27870 (java) S 27861 27863 26477 0 -1 4202560 173 0 0 0 8 9 0 0 20 0 19 0 341126987 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105675274920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27863/tid=27871] ppid=27861 vsize=2715132 CPUtime=0.22 cores=1,3,5,7
/proc/27863/task/27871/stat : 27871 (java) S 27861 27863 26477 0 -1 4202560 225 0 0 0 10 12 0 0 20 0 19 0 341126987 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105674222376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27863/tid=27872] ppid=27861 vsize=2715132 CPUtime=0.14 cores=1,3,5,7
/proc/27863/task/27872/stat : 27872 (java) S 27861 27863 26477 0 -1 4202560 166 0 0 0 4 10 0 0 20 0 19 0 341126987 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105673169832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27873] ppid=27861 vsize=2715132 CPUtime=0.14 cores=1,3,5,7
/proc/27863/task/27873/stat : 27873 (java) S 27861 27863 26477 0 -1 4202560 154 0 0 0 7 7 0 0 20 0 19 0 341126987 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105672117288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27863/tid=27874] ppid=27861 vsize=2715132 CPUtime=1.16 cores=1,3,5,7
/proc/27863/task/27874/stat : 27874 (java) S 27861 27863 26477 0 -1 4202560 120 0 0 0 111 5 0 0 20 0 19 0 341126988 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105659705448 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27863/tid=27875] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27875/stat : 27875 (java) S 27861 27863 26477 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341126988 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105540953208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27876] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27876/stat : 27876 (java) S 27861 27863 26477 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341126988 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105539900552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27877] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27877/stat : 27877 (java) S 27861 27863 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341126991 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105538849296 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27878] ppid=27861 vsize=2715132 CPUtime=0.23 cores=1,3,5,7
/proc/27863/task/27878/stat : 27878 (java) S 27861 27863 26477 0 -1 4202560 1835 0 0 0 23 0 0 0 20 0 19 0 341126991 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105537796664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27879] ppid=27861 vsize=2715132 CPUtime=0.26 cores=1,3,5,7
/proc/27863/task/27879/stat : 27879 (java) S 27861 27863 26477 0 -1 4202560 2621 0 0 0 25 1 0 0 20 0 19 0 341126991 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105536744120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27863/tid=27880] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27880/stat : 27880 (java) S 27861 27863 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341126991 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105535691768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27863/tid=27881] ppid=27861 vsize=2715132 CPUtime=0.73 cores=1,3,5,7
/proc/27863/task/27881/stat : 27881 (java) S 27861 27863 26477 0 -1 4202560 100 0 0 0 35 38 0 0 20 0 19 0 341126991 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105534639432 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27863/tid=27882] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27882/stat : 27882 (java) S 27861 27863 26477 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 341127002 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105533584168 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1724.7
Current children cumulated vsize (KiB) 2715132
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 28032
/proc/meminfo: memFree=24275456/32873648 swapFree=6864/6864
[pid=27863] ppid=27861 vsize=2715132 CPUtime=1784.73 cores=1,3,5,7
/proc/27863/stat : 27863 (java) S 27861 27863 26477 0 -1 4202496 10514 0 1 0 178322 151 0 0 20 0 19 0 341126984 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140734501115792 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27863/statm: 678783 342721 2266 9 0 669476 0
[pid=27863/tid=27865] ppid=27861 vsize=2715132 CPUtime=1780.74 cores=1,3,5,7
/proc/27863/task/27865/stat : 27865 (java) R 27861 27863 26477 0 -1 4202560 2919 0 1 0 178041 33 0 0 20 0 19 0 341126985 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105695035680 140105541418578 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27863/tid=27866] ppid=27861 vsize=2715132 CPUtime=0.4 cores=1,3,5,7
/proc/27863/task/27866/stat : 27866 (java) S 27861 27863 26477 0 -1 4202560 365 0 0 0 16 24 0 0 20 0 19 0 341126987 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105679485096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27867] ppid=27861 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/27863/task/27867/stat : 27867 (java) S 27861 27863 26477 0 -1 4202560 221 0 0 0 10 11 0 0 20 0 19 0 341126987 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105678432552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27863/tid=27868] ppid=27861 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/27863/task/27868/stat : 27868 (java) S 27861 27863 26477 0 -1 4202560 214 0 0 0 8 13 0 0 20 0 19 0 341126987 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105677380008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27863/tid=27869] ppid=27861 vsize=2715132 CPUtime=0.22 cores=1,3,5,7
/proc/27863/task/27869/stat : 27869 (java) S 27861 27863 26477 0 -1 4202560 211 0 0 0 9 13 0 0 20 0 19 0 341126987 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105676327464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27863/tid=27870] ppid=27861 vsize=2715132 CPUtime=0.17 cores=1,3,5,7
/proc/27863/task/27870/stat : 27870 (java) S 27861 27863 26477 0 -1 4202560 173 0 0 0 8 9 0 0 20 0 19 0 341126987 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105675274920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27863/tid=27871] ppid=27861 vsize=2715132 CPUtime=0.22 cores=1,3,5,7
/proc/27863/task/27871/stat : 27871 (java) S 27861 27863 26477 0 -1 4202560 225 0 0 0 10 12 0 0 20 0 19 0 341126987 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105674222376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27863/tid=27872] ppid=27861 vsize=2715132 CPUtime=0.14 cores=1,3,5,7
/proc/27863/task/27872/stat : 27872 (java) S 27861 27863 26477 0 -1 4202560 166 0 0 0 4 10 0 0 20 0 19 0 341126987 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105673169832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27873] ppid=27861 vsize=2715132 CPUtime=0.14 cores=1,3,5,7
/proc/27863/task/27873/stat : 27873 (java) S 27861 27863 26477 0 -1 4202560 154 0 0 0 7 7 0 0 20 0 19 0 341126987 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105672117288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27863/tid=27874] ppid=27861 vsize=2715132 CPUtime=1.16 cores=1,3,5,7
/proc/27863/task/27874/stat : 27874 (java) S 27861 27863 26477 0 -1 4202560 120 0 0 0 111 5 0 0 20 0 19 0 341126988 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105659705448 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27863/tid=27875] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27875/stat : 27875 (java) S 27861 27863 26477 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341126988 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105540953208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27876] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27876/stat : 27876 (java) S 27861 27863 26477 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341126988 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105539900552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27877] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27877/stat : 27877 (java) S 27861 27863 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341126991 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105538849296 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27878] ppid=27861 vsize=2715132 CPUtime=0.23 cores=1,3,5,7
/proc/27863/task/27878/stat : 27878 (java) S 27861 27863 26477 0 -1 4202560 1835 0 0 0 23 0 0 0 20 0 19 0 341126991 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105537796664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27879] ppid=27861 vsize=2715132 CPUtime=0.26 cores=1,3,5,7
/proc/27863/task/27879/stat : 27879 (java) S 27861 27863 26477 0 -1 4202560 2621 0 0 0 25 1 0 0 20 0 19 0 341126991 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105536744120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27863/tid=27880] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27880/stat : 27880 (java) S 27861 27863 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341126991 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105535691768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27863/tid=27881] ppid=27861 vsize=2715132 CPUtime=0.76 cores=1,3,5,7
/proc/27863/task/27881/stat : 27881 (java) S 27861 27863 26477 0 -1 4202560 104 0 0 0 37 39 0 0 20 0 19 0 341126991 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105534639432 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27863/tid=27882] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27882/stat : 27882 (java) S 27861 27863 26477 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 341127002 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105533584168 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1784.73
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 28036
/proc/meminfo: memFree=24272692/32873648 swapFree=6864/6864
[pid=27863] ppid=27861 vsize=2715132 CPUtime=1800.04 cores=1,3,5,7
/proc/27863/stat : 27863 (java) S 27861 27863 26477 0 -1 4202496 10514 0 1 0 179853 151 0 0 20 0 19 0 341126984 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140734501115792 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27863/statm: 678783 342721 2266 9 0 669476 0
[pid=27863/tid=27865] ppid=27861 vsize=2715132 CPUtime=1796.04 cores=1,3,5,7
/proc/27863/task/27865/stat : 27865 (java) R 27861 27863 26477 0 -1 4202560 2919 0 1 0 179571 33 0 0 20 0 19 0 341126985 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105695035680 140105541497579 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27863/tid=27866] ppid=27861 vsize=2715132 CPUtime=0.4 cores=1,3,5,7
/proc/27863/task/27866/stat : 27866 (java) S 27861 27863 26477 0 -1 4202560 365 0 0 0 16 24 0 0 20 0 19 0 341126987 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105679485096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27867] ppid=27861 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/27863/task/27867/stat : 27867 (java) S 27861 27863 26477 0 -1 4202560 221 0 0 0 10 11 0 0 20 0 19 0 341126987 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105678432552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27863/tid=27868] ppid=27861 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/27863/task/27868/stat : 27868 (java) S 27861 27863 26477 0 -1 4202560 214 0 0 0 8 13 0 0 20 0 19 0 341126987 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105677380008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27863/tid=27869] ppid=27861 vsize=2715132 CPUtime=0.22 cores=1,3,5,7
/proc/27863/task/27869/stat : 27869 (java) S 27861 27863 26477 0 -1 4202560 211 0 0 0 9 13 0 0 20 0 19 0 341126987 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105676327464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27863/tid=27870] ppid=27861 vsize=2715132 CPUtime=0.17 cores=1,3,5,7
/proc/27863/task/27870/stat : 27870 (java) S 27861 27863 26477 0 -1 4202560 173 0 0 0 8 9 0 0 20 0 19 0 341126987 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105675274920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27863/tid=27871] ppid=27861 vsize=2715132 CPUtime=0.22 cores=1,3,5,7
/proc/27863/task/27871/stat : 27871 (java) S 27861 27863 26477 0 -1 4202560 225 0 0 0 10 12 0 0 20 0 19 0 341126987 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105674222376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27863/tid=27872] ppid=27861 vsize=2715132 CPUtime=0.14 cores=1,3,5,7
/proc/27863/task/27872/stat : 27872 (java) S 27861 27863 26477 0 -1 4202560 166 0 0 0 4 10 0 0 20 0 19 0 341126987 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105673169832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27873] ppid=27861 vsize=2715132 CPUtime=0.14 cores=1,3,5,7
/proc/27863/task/27873/stat : 27873 (java) S 27861 27863 26477 0 -1 4202560 154 0 0 0 7 7 0 0 20 0 19 0 341126987 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105672117288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27863/tid=27874] ppid=27861 vsize=2715132 CPUtime=1.16 cores=1,3,5,7
/proc/27863/task/27874/stat : 27874 (java) S 27861 27863 26477 0 -1 4202560 120 0 0 0 111 5 0 0 20 0 19 0 341126988 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105659705448 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27863/tid=27875] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27875/stat : 27875 (java) S 27861 27863 26477 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341126988 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105540953208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27876] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27876/stat : 27876 (java) S 27861 27863 26477 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341126988 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105539900552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27877] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27877/stat : 27877 (java) S 27861 27863 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341126991 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105538849296 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27878] ppid=27861 vsize=2715132 CPUtime=0.23 cores=1,3,5,7
/proc/27863/task/27878/stat : 27878 (java) S 27861 27863 26477 0 -1 4202560 1835 0 0 0 23 0 0 0 20 0 19 0 341126991 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105537796664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27863/tid=27879] ppid=27861 vsize=2715132 CPUtime=0.26 cores=1,3,5,7
/proc/27863/task/27879/stat : 27879 (java) S 27861 27863 26477 0 -1 4202560 2621 0 0 0 25 1 0 0 20 0 19 0 341126991 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105536744120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27863/tid=27880] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27880/stat : 27880 (java) S 27861 27863 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341126991 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105535691768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27863/tid=27881] ppid=27861 vsize=2715132 CPUtime=0.76 cores=1,3,5,7
/proc/27863/task/27881/stat : 27881 (java) S 27861 27863 26477 0 -1 4202560 104 0 0 0 37 39 0 0 20 0 19 0 341126991 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105534639432 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27863/tid=27882] ppid=27861 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27863/task/27882/stat : 27882 (java) S 27861 27863 26477 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 341127002 2780295168 342721 33554432000 1073741824 1073778376 140734501124656 140105533584168 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2715132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1797.65
CPU time (s): 1800.54
CPU user time (s): 1798.63
CPU system time (s): 1.91071
CPU usage (%): 100.16
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.63
system time used= 1.91071
maximum resident set size= 1371112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10576
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38040
involuntary context switches= 2189
runsolver used 6.09907 second user time and 15.5646 second system time
The end