runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3459303-1307634178/watcher-3459303-1307634178 -o /tmp/evaluation-result-3459303-1307634178/solver-3459303-1307634178 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459303-1307634178.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 1.90 1.27 2/195 26991
/proc/meminfo: memFree=32092220/32951124 swapFree=67050780/67111528
[pid=26991] ppid=26989 vsize=30528 CPUtime=0 cores=0,2,4,6
/proc/26991/stat : 26991 (java) S 26989 26991 26276 0 -1 4202496 1237 0 0 0 0 0 0 0 24 0 2 0 875020664 31260672 957 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382759909 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/26991/statm: 7632 957 730 9 0 383 0
[pid=26991/tid=26992] ppid=26989 vsize=30540 CPUtime=0 cores=0,2,4,6
/proc/26991/task/26992/stat : 26992 (java) R 26989 26991 26276 0 -1 4202560 125 0 0 0 0 0 0 0 25 0 2 0 875020664 31272960 959 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218370957115 0 0 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0361521 s]
/proc/loadavg: 2.01 1.90 1.27 2/195 26991
/proc/meminfo: memFree=32092220/32951124 swapFree=67050780/67111528
[pid=26991] ppid=26989 vsize=13547424 CPUtime=0.02 cores=0,2,4,6
/proc/26991/stat : 26991 (java) S 26989 26991 26276 0 -1 4202496 13468 0 1 0 1 1 0 0 24 0 11 0 875020664 13872562176 13167 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382759909 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/26991/statm: 3386856 13169 1600 9 0 3377604 0
[pid=26991/tid=26992] ppid=26989 vsize=13547424 CPUtime=0.02 cores=0,2,4,6
/proc/26991/task/26992/stat : 26992 (java) R 26989 26991 26276 0 -1 4202560 12346 0 1 0 1 1 0 0 25 0 11 0 875020664 13872562176 13169 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 47528141488035 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13547424
[startup+0.101142 s]
/proc/loadavg: 2.01 1.90 1.27 2/195 26991
/proc/meminfo: memFree=32092220/32951124 swapFree=67050780/67111528
[pid=26991] ppid=26989 vsize=13622216 CPUtime=0.11 cores=0,2,4,6
/proc/26991/stat : 26991 (java) S 26989 26991 26276 0 -1 4202496 15608 0 1 0 9 2 0 0 24 0 18 0 875020664 13949149184 15275 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26991/statm: 3405554 15276 2093 9 0 3396288 0
[pid=26991/tid=26992] ppid=26989 vsize=13622216 CPUtime=0.08 cores=0,2,4,6
/proc/26991/task/26992/stat : 26992 (java) R 26989 26991 26276 0 -1 4202560 13667 0 1 0 7 1 0 0 18 0 18 0 875020664 13949149184 15276 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218370618401 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13622216
[startup+0.301118 s]
/proc/loadavg: 2.01 1.90 1.27 2/195 26991
/proc/meminfo: memFree=32092220/32951124 swapFree=67050780/67111528
[pid=26991] ppid=26989 vsize=13623260 CPUtime=0.48 cores=0,2,4,6
/proc/26991/stat : 26991 (java) S 26989 26991 26276 0 -1 4202496 18701 0 1 0 46 2 0 0 24 0 18 0 875020664 13950218240 17935 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26991/statm: 3405815 17936 2200 9 0 3396549 0
[pid=26991/tid=26992] ppid=26989 vsize=13623260 CPUtime=0.29 cores=0,2,4,6
/proc/26991/task/26992/stat : 26992 (java) R 26989 26991 26276 0 -1 4202560 15619 0 1 0 27 2 0 0 18 0 18 0 875020664 13950218240 17936 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 46912505559771 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 13623260
[startup+0.701029 s]
/proc/loadavg: 2.01 1.90 1.27 2/195 26991
/proc/meminfo: memFree=32092220/32951124 swapFree=67050780/67111528
[pid=26991] ppid=26989 vsize=13627380 CPUtime=1.18 cores=0,2,4,6
/proc/26991/stat : 26991 (java) S 26989 26991 26276 0 -1 4202496 55593 0 1 0 112 6 0 0 24 0 18 0 875020664 13954437120 53279 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26991/statm: 3406845 53284 2214 9 0 3397579 0
[pid=26991/tid=26992] ppid=26989 vsize=13627380 CPUtime=0.69 cores=0,2,4,6
/proc/26991/task/26992/stat : 26992 (java) R 26989 26991 26276 0 -1 4202560 49256 0 1 0 63 6 0 0 18 0 18 0 875020664 13954437120 53286 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 46912505592015 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 13627380
[startup+1.50093 s]
/proc/loadavg: 2.01 1.90 1.27 3/213 27009
/proc/meminfo: memFree=31761084/32951124 swapFree=67050780/67111528
[pid=26991] ppid=26989 vsize=13627380 CPUtime=1.98 cores=0,2,4,6
/proc/26991/stat : 26991 (java) S 26989 26991 26276 0 -1 4202496 137609 0 1 0 181 17 0 0 24 0 18 0 875020664 13954437120 135295 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26991/statm: 3406845 135299 2214 9 0 3397579 0
[pid=26991/tid=26992] ppid=26989 vsize=13627380 CPUtime=1.48 cores=0,2,4,6
/proc/26991/task/26992/stat : 26992 (java) R 26989 26991 26276 0 -1 4202560 131272 0 1 0 132 16 0 0 19 0 18 0 875020664 13954437120 135302 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 46912505608982 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26991/tid=26994] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/26994/stat : 26994 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020666 13954437120 135305 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=26995] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/26995/stat : 26995 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020666 13954437120 135308 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=26996] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/26996/stat : 26996 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020666 13954437120 135310 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=26997] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/26997/stat : 26997 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020666 13954437120 135313 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=26998] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/26998/stat : 26998 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020666 13954437120 135316 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=26999] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/26999/stat : 26999 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020666 13954437120 135319 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=27000] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27000/stat : 27000 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020666 13954437120 135322 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=27001] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27001/stat : 27001 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020666 13954437120 135324 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=27002] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27002/stat : 27002 (java) S 26989 26991 26276 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 875020667 13954437120 135327 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773760 0 0 0 16800975 18446604445353674560 0 0 -1 2 0 0 0
[pid=26991/tid=27003] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27003/stat : 27003 (java) S 26989 26991 26276 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 875020668 13954437120 135330 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 2 0 0 0
[pid=26991/tid=27004] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27004/stat : 27004 (java) S 26989 26991 26276 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 875020668 13954437120 135333 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 2 0 0 0
[pid=26991/tid=27005] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27005/stat : 27005 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020670 13954437120 135336 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382780849 0 4 0 16800975 18446604445353674560 0 0 -1 2 0 0 0
[pid=26991/tid=27006] ppid=26989 vsize=13627380 CPUtime=0.25 cores=0,2,4,6
/proc/26991/task/27006/stat : 27006 (java) S 26989 26991 26276 0 -1 4202560 2867 0 0 0 25 0 0 0 16 0 18 0 875020670 13954437120 135339 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 4 0 0 0
[pid=26991/tid=27007] ppid=26989 vsize=13627380 CPUtime=0.24 cores=0,2,4,6
/proc/26991/task/27007/stat : 27007 (java) S 26989 26991 26276 0 -1 4202560 2327 0 0 0 24 0 0 0 16 0 18 0 875020670 13954437120 135341 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 0 0 0 0
[pid=26991/tid=27008] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27008/stat : 27008 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020670 13954437120 135344 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 2 0 0 0
[pid=26991/tid=27009] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27009/stat : 27009 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 875020670 13954437120 135347 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773760 0 4 0 16800975 18446604445353674560 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 13627380
[startup+3.10165 s]
/proc/loadavg: 2.01 1.90 1.27 3/213 27009
/proc/meminfo: memFree=31314196/32951124 swapFree=67050780/67111528
[pid=26991] ppid=26989 vsize=13627380 CPUtime=3.59 cores=0,2,4,6
/proc/26991/stat : 26991 (java) S 26989 26991 26276 0 -1 4202496 300349 0 1 0 321 38 0 0 24 0 18 0 875020664 13954437120 298035 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26991/statm: 3406845 298040 2214 9 0 3397579 0
[pid=26991/tid=26992] ppid=26989 vsize=13627380 CPUtime=3.08 cores=0,2,4,6
/proc/26991/task/26992/stat : 26992 (java) R 26989 26991 26276 0 -1 4202560 294012 0 1 0 271 37 0 0 23 0 18 0 875020664 13954437120 298042 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 46912505592067 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26991/tid=26994] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/26994/stat : 26994 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020666 13954437120 298045 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=26995] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/26995/stat : 26995 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020666 13954437120 298048 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=26996] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/26996/stat : 26996 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020666 13954437120 298051 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=26997] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/26997/stat : 26997 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020666 13954437120 298053 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=26998] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/26998/stat : 26998 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020666 13954437120 298056 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=26999] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/26999/stat : 26999 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020666 13954437120 298059 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=27000] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27000/stat : 27000 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020666 13954437120 298061 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=27001] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27001/stat : 27001 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020666 13954437120 298064 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=27002] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27002/stat : 27002 (java) S 26989 26991 26276 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 875020667 13954437120 298067 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773760 0 0 0 16800975 18446604445353674560 0 0 -1 2 0 0 0
[pid=26991/tid=27003] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27003/stat : 27003 (java) S 26989 26991 26276 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 875020668 13954437120 298070 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 2 0 0 0
[pid=26991/tid=27004] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27004/stat : 27004 (java) S 26989 26991 26276 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 875020668 13954437120 298072 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 2 0 0 0
[pid=26991/tid=27005] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27005/stat : 27005 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020670 13954437120 298075 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382780849 0 4 0 16800975 18446604445353674560 0 0 -1 2 0 0 0
[pid=26991/tid=27006] ppid=26989 vsize=13627380 CPUtime=0.25 cores=0,2,4,6
/proc/26991/task/27006/stat : 27006 (java) S 26989 26991 26276 0 -1 4202560 2867 0 0 0 25 0 0 0 15 0 18 0 875020670 13954437120 298078 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 4 0 0 0
[pid=26991/tid=27007] ppid=26989 vsize=13627380 CPUtime=0.24 cores=0,2,4,6
/proc/26991/task/27007/stat : 27007 (java) S 26989 26991 26276 0 -1 4202560 2327 0 0 0 24 0 0 0 16 0 18 0 875020670 13954437120 298081 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 0 0 0 0
[pid=26991/tid=27008] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27008/stat : 27008 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020670 13954437120 298083 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 2 0 0 0
[pid=26991/tid=27009] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27009/stat : 27009 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 875020670 13954437120 298086 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773760 0 4 0 16800975 18446604445353674560 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.59
Current children cumulated vsize (KiB) 13627380
Solver just ended. Dumping a history of the last processes samples
[startup+4.70136 s]
/proc/loadavg: 2.01 1.90 1.27 3/213 27009
/proc/meminfo: memFree=30420404/32951124 swapFree=67050780/67111528
[pid=26991] ppid=26989 vsize=13627380 CPUtime=5.19 cores=0,2,4,6
/proc/26991/stat : 26991 (java) S 26989 26991 26276 0 -1 4202496 467819 0 1 0 461 58 0 0 24 0 18 0 875020664 13954437120 465504 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26991/statm: 3406845 465509 2218 9 0 3397579 0
[pid=26991/tid=26992] ppid=26989 vsize=13627380 CPUtime=4.68 cores=0,2,4,6
/proc/26991/task/26992/stat : 26992 (java) R 26989 26991 26276 0 -1 4202560 461479 0 1 0 411 57 0 0 18 0 18 0 875020664 13954437120 465512 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 46912505592015 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26991/tid=26994] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/26994/stat : 26994 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020666 13954437120 465515 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=26995] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/26995/stat : 26995 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020666 13954437120 465518 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=26996] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/26996/stat : 26996 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020666 13954437120 465522 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=26997] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/26997/stat : 26997 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020666 13954437120 465525 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=26998] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/26998/stat : 26998 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020666 13954437120 465528 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=26999] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/26999/stat : 26999 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020666 13954437120 465531 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=27000] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27000/stat : 27000 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020666 13954437120 465534 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=27001] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27001/stat : 27001 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020666 13954437120 465538 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=27002] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27002/stat : 27002 (java) S 26989 26991 26276 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 18 0 875020667 13954437120 465541 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773760 0 0 0 16800975 18446604445353674560 0 0 -1 2 0 0 0
[pid=26991/tid=27003] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27003/stat : 27003 (java) S 26989 26991 26276 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 875020668 13954437120 465544 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 2 0 0 0
[pid=26991/tid=27004] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27004/stat : 27004 (java) S 26989 26991 26276 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 875020668 13954437120 465547 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 2 0 0 0
[pid=26991/tid=27005] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27005/stat : 27005 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020670 13954437120 465550 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382780849 0 4 0 16800975 18446604445353674560 0 0 -1 2 0 0 0
[pid=26991/tid=27006] ppid=26989 vsize=13627380 CPUtime=0.25 cores=0,2,4,6
/proc/26991/task/27006/stat : 27006 (java) S 26989 26991 26276 0 -1 4202560 2869 0 0 0 25 0 0 0 15 0 18 0 875020670 13954437120 465553 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 4 0 0 0
[pid=26991/tid=27007] ppid=26989 vsize=13627380 CPUtime=0.24 cores=0,2,4,6
/proc/26991/task/27007/stat : 27007 (java) S 26989 26991 26276 0 -1 4202560 2327 0 0 0 24 0 0 0 16 0 18 0 875020670 13954437120 465553 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 0 0 0 0
[pid=26991/tid=27008] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27008/stat : 27008 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020670 13954437120 465556 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 2 0 0 0
[pid=26991/tid=27009] ppid=26989 vsize=13627380 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27009/stat : 27009 (java) S 26989 26991 26276 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 875020670 13954437120 465559 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773760 0 4 0 16800975 18446604445353674560 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.19
Current children cumulated vsize (KiB) 13627380
[startup+5.50719 s]
/proc/loadavg: 2.01 1.90 1.27 3/213 27009
/proc/meminfo: memFree=29905548/32951124 swapFree=67050780/67111528
[pid=26991] ppid=26989 vsize=13624496 CPUtime=6 cores=0,2,4,6
/proc/26991/stat : 26991 (java) S 26989 26991 26276 0 -1 4202496 563057 0 1 0 529 71 0 0 24 0 18 0 875020664 13951483904 559967 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26991/statm: 3406124 559972 2218 9 0 3396858 0
[pid=26991/tid=26992] ppid=26989 vsize=13624496 CPUtime=5.49 cores=0,2,4,6
/proc/26991/task/26992/stat : 26992 (java) R 26989 26991 26276 0 -1 4202560 556718 0 1 0 479 70 0 0 19 0 18 0 875020664 13951483904 559975 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 46912505559785 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26991/tid=26994] ppid=26989 vsize=13624496 CPUtime=0 cores=0,2,4,6
/proc/26991/task/26994/stat : 26994 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020666 13951483904 559978 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=26995] ppid=26989 vsize=13624496 CPUtime=0 cores=0,2,4,6
/proc/26991/task/26995/stat : 26995 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020666 13951483904 559982 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=26996] ppid=26989 vsize=13624496 CPUtime=0 cores=0,2,4,6
/proc/26991/task/26996/stat : 26996 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020666 13951483904 559985 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=26997] ppid=26989 vsize=13624496 CPUtime=0 cores=0,2,4,6
/proc/26991/task/26997/stat : 26997 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020666 13951483904 559988 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=26998] ppid=26989 vsize=13624496 CPUtime=0 cores=0,2,4,6
/proc/26991/task/26998/stat : 26998 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020666 13951483904 559991 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=26999] ppid=26989 vsize=13624496 CPUtime=0 cores=0,2,4,6
/proc/26991/task/26999/stat : 26999 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020666 13951483904 559994 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=27000] ppid=26989 vsize=13624496 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27000/stat : 27000 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020666 13951483904 559998 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=27001] ppid=26989 vsize=13624496 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27001/stat : 27001 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020666 13951483904 560001 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=27002] ppid=26989 vsize=13624496 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27002/stat : 27002 (java) S 26989 26991 26276 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 875020667 13951483904 560004 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773760 0 0 0 16800975 18446604445353674560 0 0 -1 2 0 0 0
[pid=26991/tid=27003] ppid=26989 vsize=13624496 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27003/stat : 27003 (java) S 26989 26991 26276 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 875020668 13951483904 560007 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 2 0 0 0
[pid=26991/tid=27004] ppid=26989 vsize=13624496 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27004/stat : 27004 (java) S 26989 26991 26276 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 875020668 13951483904 560011 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 2 0 0 0
[pid=26991/tid=27005] ppid=26989 vsize=13624496 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27005/stat : 27005 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020670 13951483904 560014 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382780849 0 4 0 16800975 18446604445353674560 0 0 -1 2 0 0 0
[pid=26991/tid=27006] ppid=26989 vsize=13624496 CPUtime=0.25 cores=0,2,4,6
/proc/26991/task/27006/stat : 27006 (java) S 26989 26991 26276 0 -1 4202560 2869 0 0 0 25 0 0 0 15 0 18 0 875020670 13951483904 560017 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 4 0 0 0
[pid=26991/tid=27007] ppid=26989 vsize=13624496 CPUtime=0.24 cores=0,2,4,6
/proc/26991/task/27007/stat : 27007 (java) S 26989 26991 26276 0 -1 4202560 2327 0 0 0 24 0 0 0 16 0 18 0 875020670 13951483904 560020 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 0 0 0 0
[pid=26991/tid=27008] ppid=26989 vsize=13624496 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27008/stat : 27008 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020670 13951483904 560021 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 2 0 0 0
[pid=26991/tid=27009] ppid=26989 vsize=13624496 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27009/stat : 27009 (java) S 26989 26991 26276 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 875020670 13951483904 560022 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773760 0 4 0 16800975 18446604445353674560 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 13624496
[startup+5.9011 s]
/proc/loadavg: 2.01 1.90 1.27 3/213 27009
/proc/meminfo: memFree=29905548/32951124 swapFree=67050780/67111528
[pid=26991] ppid=26989 vsize=13624668 CPUtime=6.51 cores=0,2,4,6
/proc/26991/stat : 26991 (java) S 26989 26991 26276 0 -1 4202496 608812 0 1 0 575 76 0 0 24 0 18 0 875020664 13951660032 605195 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26991/statm: 3406167 605201 2226 9 0 3396901 0
[pid=26991/tid=26992] ppid=26989 vsize=13624668 CPUtime=5.88 cores=0,2,4,6
/proc/26991/task/26992/stat : 26992 (java) R 26989 26991 26276 0 -1 4202560 601866 0 1 0 513 75 0 0 20 0 18 0 875020664 13951660032 605203 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26991/tid=26994] ppid=26989 vsize=13624668 CPUtime=0 cores=0,2,4,6
/proc/26991/task/26994/stat : 26994 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020666 13951660032 605203 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=26995] ppid=26989 vsize=13624668 CPUtime=0 cores=0,2,4,6
/proc/26991/task/26995/stat : 26995 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020666 13951660032 605206 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=26996] ppid=26989 vsize=13624668 CPUtime=0 cores=0,2,4,6
/proc/26991/task/26996/stat : 26996 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020666 13951660032 605209 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=26997] ppid=26989 vsize=13624668 CPUtime=0 cores=0,2,4,6
/proc/26991/task/26997/stat : 26997 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020666 13951660032 605213 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=26998] ppid=26989 vsize=13624668 CPUtime=0 cores=0,2,4,6
/proc/26991/task/26998/stat : 26998 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020666 13951660032 605216 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=26999] ppid=26989 vsize=13624668 CPUtime=0 cores=0,2,4,6
/proc/26991/task/26999/stat : 26999 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020666 13951660032 605219 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=27000] ppid=26989 vsize=13624668 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27000/stat : 27000 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020666 13951660032 605223 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=27001] ppid=26989 vsize=13624668 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27001/stat : 27001 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020666 13951660032 605226 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=27002] ppid=26989 vsize=13624668 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27002/stat : 27002 (java) S 26989 26991 26276 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 875020667 13951660032 605229 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773760 0 0 0 16800975 18446604445353674560 0 0 -1 2 0 0 0
[pid=26991/tid=27003] ppid=26989 vsize=13624668 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27003/stat : 27003 (java) S 26989 26991 26276 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 875020668 13951660032 605233 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 2 0 0 0
[pid=26991/tid=27004] ppid=26989 vsize=13624668 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27004/stat : 27004 (java) S 26989 26991 26276 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 875020668 13951660032 605236 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 2 0 0 0
[pid=26991/tid=27005] ppid=26989 vsize=13624668 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27005/stat : 27005 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020670 13951660032 605239 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382780849 0 4 0 16800975 18446604445353674560 0 0 -1 2 0 0 0
[pid=26991/tid=27006] ppid=26989 vsize=13624668 CPUtime=0.31 cores=0,2,4,6
/proc/26991/task/27006/stat : 27006 (java) S 26989 26991 26276 0 -1 4202560 3269 0 0 0 31 0 0 0 15 0 18 0 875020670 13951660032 605243 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 4 0 0 0
[pid=26991/tid=27007] ppid=26989 vsize=13624668 CPUtime=0.3 cores=0,2,4,6
/proc/26991/task/27007/stat : 27007 (java) S 26989 26991 26276 0 -1 4202560 2533 0 0 0 30 0 0 0 15 0 18 0 875020670 13951660032 605246 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 0 0 0 0
[pid=26991/tid=27008] ppid=26989 vsize=13624668 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27008/stat : 27008 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875020670 13951660032 605250 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 2 0 0 0
[pid=26991/tid=27009] ppid=26989 vsize=13624668 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27009/stat : 27009 (java) S 26989 26991 26276 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 875020670 13951660032 605253 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773760 0 4 0 16800975 18446604445353674560 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.51
Current children cumulated vsize (KiB) 13624668
[startup+6.10108 s]
/proc/loadavg: 2.01 1.90 1.27 3/213 27009
/proc/meminfo: memFree=29905548/32951124 swapFree=67050780/67111528
[pid=26991] ppid=26989 vsize=13625696 CPUtime=6.87 cores=0,2,4,6
/proc/26991/stat : 26991 (java) S 26989 26991 26276 0 -1 4202496 621998 0 1 0 610 77 0 0 24 0 19 0 875020664 13952712704 617787 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26991/statm: 3406424 617787 2236 9 0 3397158 0
[pid=26991/tid=26992] ppid=26989 vsize=13625696 CPUtime=6.08 cores=0,2,4,6
/proc/26991/task/26992/stat : 26992 (java) R 26989 26991 26276 0 -1 4202560 614328 0 1 0 532 76 0 0 21 0 19 0 875020664 13952712704 617787 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 46912505842092 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26991/tid=26994] ppid=26989 vsize=13625696 CPUtime=0 cores=0,2,4,6
/proc/26991/task/26994/stat : 26994 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875020666 13952712704 617788 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=26995] ppid=26989 vsize=13625696 CPUtime=0 cores=0,2,4,6
/proc/26991/task/26995/stat : 26995 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875020666 13952712704 617788 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=26996] ppid=26989 vsize=13625696 CPUtime=0 cores=0,2,4,6
/proc/26991/task/26996/stat : 26996 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875020666 13952712704 617788 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=26997] ppid=26989 vsize=13625696 CPUtime=0 cores=0,2,4,6
/proc/26991/task/26997/stat : 26997 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875020666 13952712704 617788 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=26998] ppid=26989 vsize=13625696 CPUtime=0 cores=0,2,4,6
/proc/26991/task/26998/stat : 26998 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875020666 13952712704 617788 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=26999] ppid=26989 vsize=13625696 CPUtime=0 cores=0,2,4,6
/proc/26991/task/26999/stat : 26999 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875020666 13952712704 617788 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=27000] ppid=26989 vsize=13625696 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27000/stat : 27000 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875020666 13952712704 617792 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=27001] ppid=26989 vsize=13625696 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27001/stat : 27001 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875020666 13952712704 617795 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 6 0 0 0
[pid=26991/tid=27002] ppid=26989 vsize=13625696 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27002/stat : 27002 (java) S 26989 26991 26276 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 875020667 13952712704 617795 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773760 0 0 0 16800975 18446604445353674560 0 0 -1 2 0 0 0
[pid=26991/tid=27003] ppid=26989 vsize=13625696 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27003/stat : 27003 (java) S 26989 26991 26276 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 875020668 13952712704 617795 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 2 0 0 0
[pid=26991/tid=27004] ppid=26989 vsize=13625696 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27004/stat : 27004 (java) S 26989 26991 26276 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 875020668 13952712704 617795 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 2 0 0 0
[pid=26991/tid=27005] ppid=26989 vsize=13625696 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27005/stat : 27005 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875020670 13952712704 617795 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382780849 0 4 0 16800975 18446604445353674560 0 0 -1 2 0 0 0
[pid=26991/tid=27006] ppid=26989 vsize=13625696 CPUtime=0.38 cores=0,2,4,6
/proc/26991/task/27006/stat : 27006 (java) R 26989 26991 26276 0 -1 4202560 3277 0 0 0 38 0 0 0 15 0 19 0 875020670 13952712704 617795 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 47528142139070 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26991/tid=27007] ppid=26989 vsize=13625696 CPUtime=0.39 cores=0,2,4,6
/proc/26991/task/27007/stat : 27007 (java) R 26989 26991 26276 0 -1 4202560 3232 0 0 0 39 0 0 0 16 0 19 0 875020670 13952712704 617795 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 47528144177385 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26991/tid=27008] ppid=26989 vsize=13625696 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27008/stat : 27008 (java) S 26989 26991 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875020670 13952712704 617795 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773145 0 4 0 16800975 18446604445353674560 0 0 -1 2 0 0 0
[pid=26991/tid=27009] ppid=26989 vsize=13625696 CPUtime=0 cores=0,2,4,6
/proc/26991/task/27009/stat : 27009 (java) S 26989 26991 26276 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 875020670 13952712704 617795 33554432000 1073741824 1073778376 140737417016592 18446744073709551615 218382773760 0 4 0 16800975 18446604445353674560 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.87
Current children cumulated vsize (KiB) 13625696
[startup+6.20103 s]
/proc/loadavg: 2.01 1.90 1.27 3/213 27009
/proc/meminfo: memFree=29905548/32951124 swapFree=67050780/67111528
[pid=26991] ppid=26989 vsize=0 CPUtime=7.1 cores=0,2,4,6
/proc/26991/stat : 26991 (java) Z 26989 26991 26276 0 -1 4203548 624887 0 1 0 631 79 0 0 18 0 2 0 875020664 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26991/statm: 0 0 0 0 0 0 0
[pid=26991/tid=27001] ppid=26989 vsize=0 CPUtime=0.01 cores=0,2,4,6
/proc/26991/task/27001/stat : 27001 (java) R 26989 26991 26276 0 -1 4203588 1 0 0 0 0 1 0 0 18 0 2 0 875020666 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.1
Current children cumulated vsize (KiB) 0
Child status: 10
Real time (s): 6.27446
CPU time (s): 7.18891
CPU user time (s): 6.31604
CPU system time (s): 0.872867
CPU usage (%): 114.574
Max. virtual memory (cumulated for all children) (KiB): 13627380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.31604
system time used= 0.872867
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 624887
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 373
involuntary context switches= 55
runsolver used 0.009998 second user time and 0.025996 second system time
The end