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-3731244-1338737417/watcher-3731244-1338737417 -o /tmp/evaluation-result-3731244-1338737417/solver-3731244-1338737417 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3731244-1338737417.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: 1.99 1.98 1.99 3/195 26383
/proc/meminfo: memFree=25481724/32873648 swapFree=6864/6864
[pid=26383] ppid=26381 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/26383/stat : 26383 (java) R 26381 26383 12644 0 -1 4202496 842 0 0 0 0 0 0 0 20 0 1 0 339867135 23793664 569 33554432000 1073741824 1073778376 140736299135264 140736299124328 270698330689 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26383/statm: 5809 581 435 9 0 128 0
[startup+0.049731 s]
/proc/loadavg: 1.99 1.98 1.99 3/195 26383
/proc/meminfo: memFree=25481724/32873648 swapFree=6864/6864
[pid=26383] ppid=26381 vsize=2315716 CPUtime=0.03 cores=1,3,5,7
/proc/26383/stat : 26383 (java) S 26381 26383 12644 0 -1 4202496 3716 0 1 0 3 0 0 0 20 0 13 0 339867135 2371293184 5435 33554432000 1073741824 1073778376 140736299135264 140736299126400 270710898749 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26383/statm: 578929 5435 1715 9 0 569630 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2315716
[startup+0.1003 s]
/proc/loadavg: 1.99 1.98 1.99 3/195 26383
/proc/meminfo: memFree=25481724/32873648 swapFree=6864/6864
[pid=26383] ppid=26381 vsize=2648568 CPUtime=0.11 cores=1,3,5,7
/proc/26383/stat : 26383 (java) S 26381 26383 12644 0 -1 4202496 4765 0 1 0 10 1 0 0 20 0 18 0 339867135 2712133632 6994 33554432000 1073741824 1073778376 140736299135264 140736299126400 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26383/statm: 662142 6994 2142 9 0 652835 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 2648568
[startup+0.300225 s]
/proc/loadavg: 1.99 1.98 1.99 3/195 26383
/proc/meminfo: memFree=25481724/32873648 swapFree=6864/6864
[pid=26383] ppid=26381 vsize=2715132 CPUtime=0.53 cores=1,3,5,7
/proc/26383/stat : 26383 (java) S 26381 26383 12644 0 -1 4202496 6930 0 1 0 52 1 0 0 20 0 19 0 339867135 2780295168 8551 33554432000 1073741824 1073778376 140736299135264 140736299126400 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26383/statm: 678783 8551 2230 9 0 669476 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 2715132
[startup+0.700216 s]
/proc/loadavg: 1.99 1.98 1.99 3/195 26383
/proc/meminfo: memFree=25481724/32873648 swapFree=6864/6864
[pid=26383] ppid=26381 vsize=2715132 CPUtime=0.99 cores=1,3,5,7
/proc/26383/stat : 26383 (java) S 26381 26383 12644 0 -1 4202496 7144 0 1 0 98 1 0 0 20 0 19 0 339867135 2780295168 9676 33554432000 1073741824 1073778376 140736299135264 140736299126400 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26383/statm: 678783 9676 2234 9 0 669476 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 2715132
[startup+1.5006 s]
/proc/loadavg: 1.99 1.98 1.99 3/214 26402
/proc/meminfo: memFree=25449328/32873648 swapFree=6864/6864
[pid=26383] ppid=26381 vsize=2715132 CPUtime=1.79 cores=1,3,5,7
/proc/26383/stat : 26383 (java) S 26381 26383 12644 0 -1 4202496 7150 0 1 0 178 1 0 0 20 0 19 0 339867135 2780295168 10703 33554432000 1073741824 1073778376 140736299135264 140736299126400 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26383/statm: 678783 10703 2236 9 0 669476 0
[pid=26383/tid=26385] ppid=26381 vsize=2715132 CPUtime=1.47 cores=1,3,5,7
/proc/26383/task/26385/stat : 26385 (java) R 26381 26383 12644 0 -1 4202560 2752 0 1 0 146 1 0 0 20 0 19 0 339867135 2780295168 10703 33554432000 1073741824 1073778376 140736299135264 140318815912560 140318679144569 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26383/tid=26386] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26386/stat : 26386 (java) S 26381 26383 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 10703 33554432000 1073741824 1073778376 140736299135264 140318800361640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26387] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26387/stat : 26387 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 10703 33554432000 1073741824 1073778376 140736299135264 140318799309096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26388] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26388/stat : 26388 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 10703 33554432000 1073741824 1073778376 140736299135264 140318798256552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26383/tid=26389] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26389/stat : 26389 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 10703 33554432000 1073741824 1073778376 140736299135264 140318797204008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26383/tid=26390] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26390/stat : 26390 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 10703 33554432000 1073741824 1073778376 140736299135264 140318678706856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26391] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26391/stat : 26391 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 10703 33554432000 1073741824 1073778376 140736299135264 140318677654312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26392] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26392/stat : 26392 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 10703 33554432000 1073741824 1073778376 140736299135264 140318676601768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26383/tid=26393] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26393/stat : 26393 (java) S 26381 26383 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 10703 33554432000 1073741824 1073778376 140736299135264 140318675549224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26394] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26394/stat : 26394 (java) S 26381 26383 12644 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 339867137 2780295168 10703 33554432000 1073741824 1073778376 140736299135264 140318663137384 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26395] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26395/stat : 26395 (java) S 26381 26383 12644 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339867138 2780295168 10703 33554432000 1073741824 1073778376 140736299135264 140318057948280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26396] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26396/stat : 26396 (java) S 26381 26383 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339867138 2780295168 10703 33554432000 1073741824 1073778376 140736299135264 140318056895624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26397] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26397/stat : 26397 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867140 2780295168 10703 33554432000 1073741824 1073778376 140736299135264 140318055844368 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26398] ppid=26381 vsize=2715132 CPUtime=0.15 cores=1,3,5,7
/proc/26383/task/26398/stat : 26398 (java) S 26381 26383 12644 0 -1 4202560 1685 0 0 0 15 0 0 0 20 0 19 0 339867140 2780295168 10703 33554432000 1073741824 1073778376 140736299135264 140318054791736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26399] ppid=26381 vsize=2715132 CPUtime=0.13 cores=1,3,5,7
/proc/26383/task/26399/stat : 26399 (java) S 26381 26383 12644 0 -1 4202560 1518 0 0 0 13 0 0 0 20 0 19 0 339867140 2780295168 10703 33554432000 1073741824 1073778376 140736299135264 140318053739192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26400] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26400/stat : 26400 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867140 2780295168 10703 33554432000 1073741824 1073778376 140736299135264 140318052686840 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26401] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26401/stat : 26401 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867140 2780295168 10703 33554432000 1073741824 1073778376 140736299135264 140318051634504 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26402] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26402/stat : 26402 (java) S 26381 26383 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339867149 2780295168 10703 33554432000 1073741824 1073778376 140736299135264 140318050579240 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 2715132
[startup+3.10068 s]
/proc/loadavg: 1.99 1.98 1.99 3/214 26402
/proc/meminfo: memFree=25444984/32873648 swapFree=6864/6864
[pid=26383] ppid=26381 vsize=2715132 CPUtime=3.4 cores=1,3,5,7
/proc/26383/stat : 26383 (java) S 26381 26383 12644 0 -1 4202496 7153 0 1 0 339 1 0 0 20 0 19 0 339867135 2780295168 11728 33554432000 1073741824 1073778376 140736299135264 140736299126400 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26383/statm: 678783 11728 2237 9 0 669476 0
[pid=26383/tid=26385] ppid=26381 vsize=2715132 CPUtime=3.07 cores=1,3,5,7
/proc/26383/task/26385/stat : 26385 (java) R 26381 26383 12644 0 -1 4202560 2754 0 1 0 306 1 0 0 20 0 19 0 339867135 2780295168 11728 33554432000 1073741824 1073778376 140736299135264 140318815912184 140318679144884 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26383/tid=26386] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26386/stat : 26386 (java) S 26381 26383 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 11728 33554432000 1073741824 1073778376 140736299135264 140318800361640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26387] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26387/stat : 26387 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 11728 33554432000 1073741824 1073778376 140736299135264 140318799309096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26388] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26388/stat : 26388 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 11728 33554432000 1073741824 1073778376 140736299135264 140318798256552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26383/tid=26389] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26389/stat : 26389 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 11728 33554432000 1073741824 1073778376 140736299135264 140318797204008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26383/tid=26390] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26390/stat : 26390 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 11728 33554432000 1073741824 1073778376 140736299135264 140318678706856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26391] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26391/stat : 26391 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 11728 33554432000 1073741824 1073778376 140736299135264 140318677654312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26392] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26392/stat : 26392 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 11728 33554432000 1073741824 1073778376 140736299135264 140318676601768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26383/tid=26393] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26393/stat : 26393 (java) S 26381 26383 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 11728 33554432000 1073741824 1073778376 140736299135264 140318675549224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26394] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26394/stat : 26394 (java) S 26381 26383 12644 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 339867137 2780295168 11728 33554432000 1073741824 1073778376 140736299135264 140318663137384 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26395] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26395/stat : 26395 (java) S 26381 26383 12644 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339867138 2780295168 11728 33554432000 1073741824 1073778376 140736299135264 140318057948280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26396] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26396/stat : 26396 (java) S 26381 26383 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339867138 2780295168 11728 33554432000 1073741824 1073778376 140736299135264 140318056895624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26397] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26397/stat : 26397 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867140 2780295168 11728 33554432000 1073741824 1073778376 140736299135264 140318055844368 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26398] ppid=26381 vsize=2715132 CPUtime=0.15 cores=1,3,5,7
/proc/26383/task/26398/stat : 26398 (java) S 26381 26383 12644 0 -1 4202560 1685 0 0 0 15 0 0 0 20 0 19 0 339867140 2780295168 11728 33554432000 1073741824 1073778376 140736299135264 140318054791736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26399] ppid=26381 vsize=2715132 CPUtime=0.14 cores=1,3,5,7
/proc/26383/task/26399/stat : 26399 (java) S 26381 26383 12644 0 -1 4202560 1519 0 0 0 14 0 0 0 20 0 19 0 339867140 2780295168 11728 33554432000 1073741824 1073778376 140736299135264 140318053739192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26400] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26400/stat : 26400 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867140 2780295168 11728 33554432000 1073741824 1073778376 140736299135264 140318052686840 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26401] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26401/stat : 26401 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867140 2780295168 11728 33554432000 1073741824 1073778376 140736299135264 140318051634504 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26402] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26402/stat : 26402 (java) S 26381 26383 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339867149 2780295168 11728 33554432000 1073741824 1073778376 140736299135264 140318050579240 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 2715132
[startup+6.30073 s]
/proc/loadavg: 1.99 1.98 1.99 3/214 26402
/proc/meminfo: memFree=25424576/32873648 swapFree=6864/6864
[pid=26383] ppid=26381 vsize=2715132 CPUtime=6.61 cores=1,3,5,7
/proc/26383/stat : 26383 (java) S 26381 26383 12644 0 -1 4202496 7158 0 1 0 659 2 0 0 20 0 19 0 339867135 2780295168 13140 33554432000 1073741824 1073778376 140736299135264 140736299126400 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26383/statm: 678783 13140 2238 9 0 669476 0
[pid=26383/tid=26385] ppid=26381 vsize=2715132 CPUtime=6.27 cores=1,3,5,7
/proc/26383/task/26385/stat : 26385 (java) R 26381 26383 12644 0 -1 4202560 2758 0 1 0 626 1 0 0 20 0 19 0 339867135 2780295168 13140 33554432000 1073741824 1073778376 140736299135264 140318815910416 140318679125664 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26383/tid=26386] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26386/stat : 26386 (java) S 26381 26383 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 13140 33554432000 1073741824 1073778376 140736299135264 140318800361640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26387] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26387/stat : 26387 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 13140 33554432000 1073741824 1073778376 140736299135264 140318799309096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26388] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26388/stat : 26388 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 13140 33554432000 1073741824 1073778376 140736299135264 140318798256552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26383/tid=26389] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26389/stat : 26389 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 13140 33554432000 1073741824 1073778376 140736299135264 140318797204008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26383/tid=26390] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26390/stat : 26390 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 13140 33554432000 1073741824 1073778376 140736299135264 140318678706856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26391] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26391/stat : 26391 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 13140 33554432000 1073741824 1073778376 140736299135264 140318677654312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26392] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26392/stat : 26392 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 13140 33554432000 1073741824 1073778376 140736299135264 140318676601768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26383/tid=26393] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26393/stat : 26393 (java) S 26381 26383 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 13140 33554432000 1073741824 1073778376 140736299135264 140318675549224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26394] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26394/stat : 26394 (java) S 26381 26383 12644 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 339867137 2780295168 13140 33554432000 1073741824 1073778376 140736299135264 140318663137384 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26395] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26395/stat : 26395 (java) S 26381 26383 12644 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339867138 2780295168 13140 33554432000 1073741824 1073778376 140736299135264 140318057948280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26396] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26396/stat : 26396 (java) S 26381 26383 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339867138 2780295168 13140 33554432000 1073741824 1073778376 140736299135264 140318056895624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26397] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26397/stat : 26397 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867140 2780295168 13140 33554432000 1073741824 1073778376 140736299135264 140318055844368 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26398] ppid=26381 vsize=2715132 CPUtime=0.15 cores=1,3,5,7
/proc/26383/task/26398/stat : 26398 (java) S 26381 26383 12644 0 -1 4202560 1685 0 0 0 15 0 0 0 20 0 19 0 339867140 2780295168 13140 33554432000 1073741824 1073778376 140736299135264 140318054791736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26399] ppid=26381 vsize=2715132 CPUtime=0.14 cores=1,3,5,7
/proc/26383/task/26399/stat : 26399 (java) S 26381 26383 12644 0 -1 4202560 1519 0 0 0 14 0 0 0 20 0 19 0 339867140 2780295168 13140 33554432000 1073741824 1073778376 140736299135264 140318053739192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26400] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26400/stat : 26400 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867140 2780295168 13140 33554432000 1073741824 1073778376 140736299135264 140318052686840 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26401] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26401/stat : 26401 (java) S 26381 26383 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 339867140 2780295168 13140 33554432000 1073741824 1073778376 140736299135264 140318051634504 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26402] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26402/stat : 26402 (java) S 26381 26383 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339867149 2780295168 13140 33554432000 1073741824 1073778376 140736299135264 140318050579240 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.61
Current children cumulated vsize (KiB) 2715132
[startup+12.7007 s]
################
# More data... #
################
[pid=26383/tid=26391] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26391/stat : 26391 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 83979 33554432000 1073741824 1073778376 140736299135264 140318677654312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26392] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26392/stat : 26392 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 83979 33554432000 1073741824 1073778376 140736299135264 140318676601768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26383/tid=26393] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26393/stat : 26393 (java) S 26381 26383 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 83979 33554432000 1073741824 1073778376 140736299135264 140318675549224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26394] ppid=26381 vsize=2715132 CPUtime=0.02 cores=1,3,5,7
/proc/26383/task/26394/stat : 26394 (java) S 26381 26383 12644 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 339867137 2780295168 83979 33554432000 1073741824 1073778376 140736299135264 140318663137384 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26395] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26395/stat : 26395 (java) S 26381 26383 12644 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339867138 2780295168 83979 33554432000 1073741824 1073778376 140736299135264 140318057948280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26396] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26396/stat : 26396 (java) S 26381 26383 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339867138 2780295168 83979 33554432000 1073741824 1073778376 140736299135264 140318056895624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26397] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26397/stat : 26397 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867140 2780295168 83979 33554432000 1073741824 1073778376 140736299135264 140318055844368 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26398] ppid=26381 vsize=2715132 CPUtime=0.15 cores=1,3,5,7
/proc/26383/task/26398/stat : 26398 (java) S 26381 26383 12644 0 -1 4202560 1687 0 0 0 15 0 0 0 20 0 19 0 339867140 2780295168 83979 33554432000 1073741824 1073778376 140736299135264 140318054791736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26399] ppid=26381 vsize=2715132 CPUtime=0.22 cores=1,3,5,7
/proc/26383/task/26399/stat : 26399 (java) S 26381 26383 12644 0 -1 4202560 1784 0 0 0 22 0 0 0 20 0 19 0 339867140 2780295168 83979 33554432000 1073741824 1073778376 140736299135264 140318053739192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26400] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26400/stat : 26400 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867140 2780295168 83979 33554432000 1073741824 1073778376 140736299135264 140318052686840 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26401] ppid=26381 vsize=2715132 CPUtime=0.75 cores=1,3,5,7
/proc/26383/task/26401/stat : 26401 (java) S 26381 26383 12644 0 -1 4202560 100 0 0 0 34 41 0 0 20 0 19 0 339867140 2780295168 83979 33554432000 1073741824 1073778376 140736299135264 140318051634504 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26402] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26402/stat : 26402 (java) S 26381 26383 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339867149 2780295168 83979 33554432000 1073741824 1073778376 140736299135264 140318050579240 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1723.21
Current children cumulated vsize (KiB) 2715132
[startup+1782.3 s]
/proc/loadavg: 1.01 1.38 1.72 2/189 26441
/proc/meminfo: memFree=25921284/32873648 swapFree=6864/6864
[pid=26383] ppid=26381 vsize=2715132 CPUtime=1783.22 cores=1,3,5,7
/proc/26383/stat : 26383 (java) S 26381 26383 12644 0 -1 4202496 7680 0 1 0 178274 48 0 0 20 0 19 0 339867135 2780295168 85003 33554432000 1073741824 1073778376 140736299135264 140736299126400 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26383/statm: 678783 85003 2239 9 0 669476 0
[pid=26383/tid=26385] ppid=26381 vsize=2715132 CPUtime=1782.34 cores=1,3,5,7
/proc/26383/task/26385/stat : 26385 (java) R 26381 26383 12644 0 -1 4202560 2903 0 1 0 178201 33 0 0 20 0 19 0 339867135 2780295168 85003 33554432000 1073741824 1073778376 140736299135264 140318815910336 140318679195729 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26383/tid=26386] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26386/stat : 26386 (java) S 26381 26383 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 85003 33554432000 1073741824 1073778376 140736299135264 140318800361640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26387] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26387/stat : 26387 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 85003 33554432000 1073741824 1073778376 140736299135264 140318799309096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26388] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26388/stat : 26388 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 85003 33554432000 1073741824 1073778376 140736299135264 140318798256552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26383/tid=26389] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26389/stat : 26389 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 85003 33554432000 1073741824 1073778376 140736299135264 140318797204008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26383/tid=26390] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26390/stat : 26390 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 85003 33554432000 1073741824 1073778376 140736299135264 140318678706856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26391] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26391/stat : 26391 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 85003 33554432000 1073741824 1073778376 140736299135264 140318677654312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26392] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26392/stat : 26392 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 85003 33554432000 1073741824 1073778376 140736299135264 140318676601768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26383/tid=26393] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26393/stat : 26393 (java) S 26381 26383 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 85003 33554432000 1073741824 1073778376 140736299135264 140318675549224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26394] ppid=26381 vsize=2715132 CPUtime=0.02 cores=1,3,5,7
/proc/26383/task/26394/stat : 26394 (java) S 26381 26383 12644 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 339867137 2780295168 85003 33554432000 1073741824 1073778376 140736299135264 140318663137384 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26395] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26395/stat : 26395 (java) S 26381 26383 12644 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339867138 2780295168 85003 33554432000 1073741824 1073778376 140736299135264 140318057948280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26396] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26396/stat : 26396 (java) S 26381 26383 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339867138 2780295168 85003 33554432000 1073741824 1073778376 140736299135264 140318056895624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26397] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26397/stat : 26397 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867140 2780295168 85003 33554432000 1073741824 1073778376 140736299135264 140318055844368 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26398] ppid=26381 vsize=2715132 CPUtime=0.15 cores=1,3,5,7
/proc/26383/task/26398/stat : 26398 (java) S 26381 26383 12644 0 -1 4202560 1689 0 0 0 15 0 0 0 20 0 19 0 339867140 2780295168 85003 33554432000 1073741824 1073778376 140736299135264 140318054791736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26399] ppid=26381 vsize=2715132 CPUtime=0.22 cores=1,3,5,7
/proc/26383/task/26399/stat : 26399 (java) S 26381 26383 12644 0 -1 4202560 1784 0 0 0 22 0 0 0 20 0 19 0 339867140 2780295168 85003 33554432000 1073741824 1073778376 140736299135264 140318053739192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26400] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26400/stat : 26400 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867140 2780295168 85003 33554432000 1073741824 1073778376 140736299135264 140318052686840 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26401] ppid=26381 vsize=2715132 CPUtime=0.78 cores=1,3,5,7
/proc/26383/task/26401/stat : 26401 (java) S 26381 26383 12644 0 -1 4202560 104 0 0 0 36 42 0 0 20 0 19 0 339867140 2780295168 85003 33554432000 1073741824 1073778376 140736299135264 140318051634504 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26402] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26402/stat : 26402 (java) S 26381 26383 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339867149 2780295168 85003 33554432000 1073741824 1073778376 140736299135264 140318050579240 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1783.22
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1799.1 s]
/proc/loadavg: 1.00 1.35 1.71 2/190 26444
/proc/meminfo: memFree=25919332/32873648 swapFree=6864/6864
[pid=26383] ppid=26381 vsize=2715132 CPUtime=1800.04 cores=1,3,5,7
/proc/26383/stat : 26383 (java) S 26381 26383 12644 0 -1 4202496 7681 0 1 0 179955 49 0 0 20 0 19 0 339867135 2780295168 85515 33554432000 1073741824 1073778376 140736299135264 140736299126400 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26383/statm: 678783 85515 2239 9 0 669476 0
[pid=26383/tid=26385] ppid=26381 vsize=2715132 CPUtime=1799.15 cores=1,3,5,7
/proc/26383/task/26385/stat : 26385 (java) R 26381 26383 12644 0 -1 4202560 2904 0 1 0 179882 33 0 0 20 0 19 0 339867135 2780295168 85515 33554432000 1073741824 1073778376 140736299135264 140318815912328 140318679195729 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26383/tid=26386] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26386/stat : 26386 (java) S 26381 26383 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 85515 33554432000 1073741824 1073778376 140736299135264 140318800361640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26387] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26387/stat : 26387 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 85515 33554432000 1073741824 1073778376 140736299135264 140318799309096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26388] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26388/stat : 26388 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 85515 33554432000 1073741824 1073778376 140736299135264 140318798256552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26383/tid=26389] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26389/stat : 26389 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 85515 33554432000 1073741824 1073778376 140736299135264 140318797204008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26383/tid=26390] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26390/stat : 26390 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 85515 33554432000 1073741824 1073778376 140736299135264 140318678706856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26391] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26391/stat : 26391 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 85515 33554432000 1073741824 1073778376 140736299135264 140318677654312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26392] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26392/stat : 26392 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 85515 33554432000 1073741824 1073778376 140736299135264 140318676601768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26383/tid=26393] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26393/stat : 26393 (java) S 26381 26383 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 85515 33554432000 1073741824 1073778376 140736299135264 140318675549224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26394] ppid=26381 vsize=2715132 CPUtime=0.02 cores=1,3,5,7
/proc/26383/task/26394/stat : 26394 (java) S 26381 26383 12644 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 339867137 2780295168 85515 33554432000 1073741824 1073778376 140736299135264 140318663137384 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26395] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26395/stat : 26395 (java) S 26381 26383 12644 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339867138 2780295168 85515 33554432000 1073741824 1073778376 140736299135264 140318057948280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26396] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26396/stat : 26396 (java) S 26381 26383 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339867138 2780295168 85515 33554432000 1073741824 1073778376 140736299135264 140318056895624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26397] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26397/stat : 26397 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867140 2780295168 85515 33554432000 1073741824 1073778376 140736299135264 140318055844368 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26398] ppid=26381 vsize=2715132 CPUtime=0.15 cores=1,3,5,7
/proc/26383/task/26398/stat : 26398 (java) S 26381 26383 12644 0 -1 4202560 1689 0 0 0 15 0 0 0 20 0 19 0 339867140 2780295168 85515 33554432000 1073741824 1073778376 140736299135264 140318054791736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26399] ppid=26381 vsize=2715132 CPUtime=0.22 cores=1,3,5,7
/proc/26383/task/26399/stat : 26399 (java) S 26381 26383 12644 0 -1 4202560 1784 0 0 0 22 0 0 0 20 0 19 0 339867140 2780295168 85515 33554432000 1073741824 1073778376 140736299135264 140318053739192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26400] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26400/stat : 26400 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867140 2780295168 85515 33554432000 1073741824 1073778376 140736299135264 140318052686840 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26401] ppid=26381 vsize=2715132 CPUtime=0.79 cores=1,3,5,7
/proc/26383/task/26401/stat : 26401 (java) S 26381 26383 12644 0 -1 4202560 104 0 0 0 36 43 0 0 20 0 19 0 339867140 2780295168 85515 33554432000 1073741824 1073778376 140736299135264 140318051634504 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26402] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26402/stat : 26402 (java) S 26381 26383 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339867149 2780295168 85515 33554432000 1073741824 1073778376 140736299135264 140318050579240 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 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
[startup+1799.1 s]
/proc/loadavg: 1.00 1.35 1.71 2/190 26444
/proc/meminfo: memFree=25919332/32873648 swapFree=6864/6864
[pid=26383] ppid=26381 vsize=2715132 CPUtime=1800.04 cores=1,3,5,7
/proc/26383/stat : 26383 (java) S 26381 26383 12644 0 -1 4202496 7681 0 1 0 179955 49 0 0 20 0 19 0 339867135 2780295168 85515 33554432000 1073741824 1073778376 140736299135264 140736299126400 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26383/statm: 678783 85515 2239 9 0 669476 0
[pid=26383/tid=26385] ppid=26381 vsize=2715132 CPUtime=1799.15 cores=1,3,5,7
/proc/26383/task/26385/stat : 26385 (java) R 26381 26383 12644 0 -1 4202560 2904 0 1 0 179882 33 0 0 20 0 19 0 339867135 2780295168 85515 33554432000 1073741824 1073778376 140736299135264 140318815912328 140318679195729 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26383/tid=26386] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26386/stat : 26386 (java) S 26381 26383 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 85515 33554432000 1073741824 1073778376 140736299135264 140318800361640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26387] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26387/stat : 26387 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 85515 33554432000 1073741824 1073778376 140736299135264 140318799309096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26388] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26388/stat : 26388 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 85515 33554432000 1073741824 1073778376 140736299135264 140318798256552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26383/tid=26389] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26389/stat : 26389 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 85515 33554432000 1073741824 1073778376 140736299135264 140318797204008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26383/tid=26390] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26390/stat : 26390 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 85515 33554432000 1073741824 1073778376 140736299135264 140318678706856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26391] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26391/stat : 26391 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 85515 33554432000 1073741824 1073778376 140736299135264 140318677654312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26392] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26392/stat : 26392 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 85515 33554432000 1073741824 1073778376 140736299135264 140318676601768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26383/tid=26393] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26393/stat : 26393 (java) S 26381 26383 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339867136 2780295168 85515 33554432000 1073741824 1073778376 140736299135264 140318675549224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26394] ppid=26381 vsize=2715132 CPUtime=0.02 cores=1,3,5,7
/proc/26383/task/26394/stat : 26394 (java) S 26381 26383 12644 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 339867137 2780295168 85515 33554432000 1073741824 1073778376 140736299135264 140318663137384 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26395] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26395/stat : 26395 (java) S 26381 26383 12644 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339867138 2780295168 85515 33554432000 1073741824 1073778376 140736299135264 140318057948280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26396] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26396/stat : 26396 (java) S 26381 26383 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339867138 2780295168 85515 33554432000 1073741824 1073778376 140736299135264 140318056895624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26397] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26397/stat : 26397 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867140 2780295168 85515 33554432000 1073741824 1073778376 140736299135264 140318055844368 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26398] ppid=26381 vsize=2715132 CPUtime=0.15 cores=1,3,5,7
/proc/26383/task/26398/stat : 26398 (java) S 26381 26383 12644 0 -1 4202560 1689 0 0 0 15 0 0 0 20 0 19 0 339867140 2780295168 85515 33554432000 1073741824 1073778376 140736299135264 140318054791736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26383/tid=26399] ppid=26381 vsize=2715132 CPUtime=0.22 cores=1,3,5,7
/proc/26383/task/26399/stat : 26399 (java) S 26381 26383 12644 0 -1 4202560 1784 0 0 0 22 0 0 0 20 0 19 0 339867140 2780295168 85515 33554432000 1073741824 1073778376 140736299135264 140318053739192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26400] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26400/stat : 26400 (java) S 26381 26383 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339867140 2780295168 85515 33554432000 1073741824 1073778376 140736299135264 140318052686840 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26401] ppid=26381 vsize=2715132 CPUtime=0.79 cores=1,3,5,7
/proc/26383/task/26401/stat : 26401 (java) S 26381 26383 12644 0 -1 4202560 104 0 0 0 36 43 0 0 20 0 19 0 339867140 2780295168 85515 33554432000 1073741824 1073778376 140736299135264 140318051634504 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26383/tid=26402] ppid=26381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26383/task/26402/stat : 26402 (java) S 26381 26383 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339867149 2780295168 85515 33554432000 1073741824 1073778376 140736299135264 140318050579240 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2715132
Child status: 143
Real time (s): 1799.18
CPU time (s): 1800.62
CPU user time (s): 1799.8
CPU system time (s): 0.821875
CPU usage (%): 100.08
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.821875
maximum resident set size= 346340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7733
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37963
involuntary context switches= 1880
runsolver used 7.44987 second user time and 13.7929 second system time
The end