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-3732132-1338689102/watcher-3732132-1338689102 -o /tmp/evaluation-result-3732132-1338689102/solver-3732132-1338689102 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3732132-1338689102.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 3/196 9401
/proc/meminfo: memFree=27598044/32873844 swapFree=7620/7620
[pid=9401] ppid=9399 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/9401/stat : 9401 (java) D 9399 9401 6422 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 335035000 2560000 46 33554432000 1073741824 1073778376 140735384929088 140735384926216 215115459879 0 0 4096 0 18446744072100748580 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 625 46 37 9 0 29 0
[startup+0.0243701 s]
/proc/loadavg: 2.00 2.01 2.00 3/196 9401
/proc/meminfo: memFree=27598044/32873844 swapFree=7620/7620
[pid=9401] ppid=9399 vsize=102664 CPUtime=0 cores=1,3,5,7
/proc/9401/stat : 9401 (java) S 9399 9401 6422 0 -1 4202496 1430 0 1 0 0 0 0 0 20 0 2 0 335035000 105127936 1110 33554432000 1073741824 1073778376 140735777245408 140735777236544 215127982141 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9401/statm: 25666 1110 857 9 0 16775 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 102664
[startup+0.100243 s]
/proc/loadavg: 2.00 2.01 2.00 3/196 9401
/proc/meminfo: memFree=27598044/32873844 swapFree=7620/7620
[pid=9401] ppid=9399 vsize=2957856 CPUtime=0.06 cores=1,3,5,7
/proc/9401/stat : 9401 (java) S 9399 9401 6422 0 -1 4202496 4129 0 1 0 5 1 0 0 20 0 18 0 335035000 3028844544 5846 33554432000 1073741824 1073778376 140735777245408 140735777236544 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9401/statm: 739464 5846 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2957856
[startup+0.300233 s]
/proc/loadavg: 2.00 2.01 2.00 3/196 9401
/proc/meminfo: memFree=27598044/32873844 swapFree=7620/7620
[pid=9401] ppid=9399 vsize=2957856 CPUtime=0.42 cores=1,3,5,7
/proc/9401/stat : 9401 (java) S 9399 9401 6422 0 -1 4202496 5548 0 1 0 41 1 0 0 20 0 18 0 335035000 3028844544 8648 33554432000 1073741824 1073778376 140735777245408 140735777236544 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9401/statm: 739464 8648 2237 9 0 729885 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 2957856
[startup+0.700279 s]
/proc/loadavg: 2.00 2.01 2.00 3/196 9401
/proc/meminfo: memFree=27598044/32873844 swapFree=7620/7620
[pid=9401] ppid=9399 vsize=3024420 CPUtime=1.33 cores=1,3,5,7
/proc/9401/stat : 9401 (java) S 9399 9401 6422 0 -1 4202496 12413 0 1 0 130 3 0 0 20 0 19 0 335035000 3097006080 13004 33554432000 1073741824 1073778376 140735777245408 140735777236544 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9401/statm: 756105 13004 2268 9 0 746526 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 3024420
[startup+1.50062 s]
/proc/loadavg: 2.00 2.01 2.00 3/215 9421
/proc/meminfo: memFree=27552416/32873844 swapFree=7620/7620
[pid=9401] ppid=9399 vsize=3024420 CPUtime=2.17 cores=1,3,5,7
/proc/9401/stat : 9401 (java) S 9399 9401 6422 0 -1 4202496 12418 0 1 0 213 4 0 0 20 0 19 0 335035000 3097006080 14030 33554432000 1073741824 1073778376 140735777245408 140735777236544 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9401/statm: 756105 14030 2268 9 0 746526 0
[pid=9401/tid=9403] ppid=9399 vsize=3024420 CPUtime=1.45 cores=1,3,5,7
/proc/9401/task/9403/stat : 9403 (java) R 9399 9401 6422 0 -1 4202560 3070 0 1 0 145 0 0 0 20 0 19 0 335035002 3097006080 14030 33554432000 1073741824 1073778376 140735777245408 139846181001736 139846031566449 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9401/tid=9404] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9404/stat : 9404 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035003 3097006080 14030 33554432000 1073741824 1073778376 140735777245408 139846164429736 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9405] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9405/stat : 9405 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035003 3097006080 14030 33554432000 1073741824 1073778376 140735777245408 139846163377192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9401/tid=9406] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9406/stat : 9406 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035003 3097006080 14030 33554432000 1073741824 1073778376 140735777245408 139846162324136 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9401/tid=9407] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9407/stat : 9407 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035003 3097006080 14030 33554432000 1073741824 1073778376 140735777245408 139846161271592 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9401/tid=9408] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9408/stat : 9408 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035003 3097006080 14030 33554432000 1073741824 1073778376 140735777245408 139846160218536 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9409] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9409/stat : 9409 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035003 3097006080 14030 33554432000 1073741824 1073778376 140735777245408 139846159165992 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9401/tid=9410] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9410/stat : 9410 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035003 3097006080 14030 33554432000 1073741824 1073778376 140735777245408 139846158112936 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9411] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9411/stat : 9411 (java) S 9399 9401 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335035003 3097006080 14030 33554432000 1073741824 1073778376 140735777245408 139846157060392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9412] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9412/stat : 9412 (java) S 9399 9401 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335035005 3097006080 14030 33554432000 1073741824 1073778376 140735777245408 139846026767208 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9413] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9413/stat : 9413 (java) S 9399 9401 6422 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335035005 3097006080 14030 33554432000 1073741824 1073778376 140735777245408 139846025713528 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9414] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9414/stat : 9414 (java) S 9399 9401 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335035005 3097006080 14030 33554432000 1073741824 1073778376 140735777245408 139846024660360 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9415] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9415/stat : 9415 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035008 3097006080 14030 33554432000 1073741824 1073778376 140735777245408 139846023609104 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9416] ppid=9399 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/9401/task/9416/stat : 9416 (java) S 9399 9401 6422 0 -1 4202560 3999 0 0 0 31 0 0 0 20 0 19 0 335035008 3097006080 14030 33554432000 1073741824 1073778376 140735777245408 139846022555960 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9417] ppid=9399 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/9401/task/9417/stat : 9417 (java) S 9399 9401 6422 0 -1 4202560 4144 0 0 0 34 2 0 0 20 0 19 0 335035008 3097006080 14030 33554432000 1073741824 1073778376 140735777245408 139846021503416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9401/tid=9418] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9418/stat : 9418 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035008 3097006080 14030 33554432000 1073741824 1073778376 140735777245408 139846020450552 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9401/tid=9419] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9419/stat : 9419 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035008 3097006080 14030 33554432000 1073741824 1073778376 140735777245408 139846019398216 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9421] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9421/stat : 9421 (java) S 9399 9401 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335035056 3097006080 14030 33554432000 1073741824 1073778376 140735777245408 139846017267368 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 3024420
[startup+3.10073 s]
/proc/loadavg: 2.00 2.01 2.00 3/215 9421
/proc/meminfo: memFree=27545900/32873844 swapFree=7620/7620
[pid=9401] ppid=9399 vsize=3024420 CPUtime=3.79 cores=1,3,5,7
/proc/9401/stat : 9401 (java) S 9399 9401 6422 0 -1 4202496 12425 0 1 0 375 4 0 0 20 0 19 0 335035000 3097006080 16078 33554432000 1073741824 1073778376 140735777245408 140735777236544 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9401/statm: 756105 16078 2268 9 0 746526 0
[pid=9401/tid=9403] ppid=9399 vsize=3024420 CPUtime=3.04 cores=1,3,5,7
/proc/9401/task/9403/stat : 9403 (java) R 9399 9401 6422 0 -1 4202560 3075 0 1 0 303 1 0 0 20 0 19 0 335035002 3097006080 16078 33554432000 1073741824 1073778376 140735777245408 139846181001736 139846031567041 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9401/tid=9404] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9404/stat : 9404 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035003 3097006080 16078 33554432000 1073741824 1073778376 140735777245408 139846164429736 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9405] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9405/stat : 9405 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035003 3097006080 16078 33554432000 1073741824 1073778376 140735777245408 139846163377192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9401/tid=9406] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9406/stat : 9406 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035003 3097006080 16078 33554432000 1073741824 1073778376 140735777245408 139846162324136 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9401/tid=9407] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9407/stat : 9407 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035003 3097006080 16078 33554432000 1073741824 1073778376 140735777245408 139846161271592 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9401/tid=9408] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9408/stat : 9408 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035003 3097006080 16078 33554432000 1073741824 1073778376 140735777245408 139846160218536 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9409] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9409/stat : 9409 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035003 3097006080 16078 33554432000 1073741824 1073778376 140735777245408 139846159165992 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9401/tid=9410] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9410/stat : 9410 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035003 3097006080 16078 33554432000 1073741824 1073778376 140735777245408 139846158112936 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9411] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9411/stat : 9411 (java) S 9399 9401 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335035003 3097006080 16078 33554432000 1073741824 1073778376 140735777245408 139846157060392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9412] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9412/stat : 9412 (java) S 9399 9401 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335035005 3097006080 16078 33554432000 1073741824 1073778376 140735777245408 139846026767208 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9413] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9413/stat : 9413 (java) S 9399 9401 6422 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335035005 3097006080 16078 33554432000 1073741824 1073778376 140735777245408 139846025713528 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9414] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9414/stat : 9414 (java) S 9399 9401 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335035005 3097006080 16078 33554432000 1073741824 1073778376 140735777245408 139846024660360 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9415] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9415/stat : 9415 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035008 3097006080 16078 33554432000 1073741824 1073778376 140735777245408 139846023609104 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9416] ppid=9399 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/9401/task/9416/stat : 9416 (java) S 9399 9401 6422 0 -1 4202560 3999 0 0 0 32 0 0 0 20 0 19 0 335035008 3097006080 16078 33554432000 1073741824 1073778376 140735777245408 139846022555960 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9417] ppid=9399 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/9401/task/9417/stat : 9417 (java) S 9399 9401 6422 0 -1 4202560 4144 0 0 0 36 2 0 0 20 0 19 0 335035008 3097006080 16078 33554432000 1073741824 1073778376 140735777245408 139846021503416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9401/tid=9418] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9418/stat : 9418 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035008 3097006080 16078 33554432000 1073741824 1073778376 140735777245408 139846020450552 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9401/tid=9419] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9419/stat : 9419 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035008 3097006080 16078 33554432000 1073741824 1073778376 140735777245408 139846019398216 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 3024420
[startup+6.30074 s]
/proc/loadavg: 2.00 2.01 2.00 3/215 9422
/proc/meminfo: memFree=27535908/32873844 swapFree=7620/7620
[pid=9401] ppid=9399 vsize=3024420 CPUtime=6.99 cores=1,3,5,7
/proc/9401/stat : 9401 (java) S 9399 9401 6422 0 -1 4202496 12432 0 1 0 695 4 0 0 20 0 19 0 335035000 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 140735777236544 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9401/statm: 756105 18385 2269 9 0 746526 0
[pid=9401/tid=9403] ppid=9399 vsize=3024420 CPUtime=6.24 cores=1,3,5,7
/proc/9401/task/9403/stat : 9403 (java) R 9399 9401 6422 0 -1 4202560 3081 0 1 0 623 1 0 0 20 0 19 0 335035002 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846181003624 139846031559415 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9401/tid=9404] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9404/stat : 9404 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035003 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846164429736 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9405] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9405/stat : 9405 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035003 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846163377192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9401/tid=9406] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9406/stat : 9406 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035003 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846162324136 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9401/tid=9407] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9407/stat : 9407 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035003 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846161271592 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9401/tid=9408] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9408/stat : 9408 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035003 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846160218536 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9409] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9409/stat : 9409 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035003 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846159165992 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9401/tid=9410] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9410/stat : 9410 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035003 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846158112936 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9411] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9411/stat : 9411 (java) S 9399 9401 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335035003 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846157060392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9412] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9412/stat : 9412 (java) S 9399 9401 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335035005 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846026767208 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9413] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9413/stat : 9413 (java) S 9399 9401 6422 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335035005 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846025713528 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9414] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9414/stat : 9414 (java) S 9399 9401 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335035005 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846024660360 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9415] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9415/stat : 9415 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035008 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846023609104 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9416] ppid=9399 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/9401/task/9416/stat : 9416 (java) S 9399 9401 6422 0 -1 4202560 3999 0 0 0 32 0 0 0 20 0 19 0 335035008 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846022555960 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9417] ppid=9399 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/9401/task/9417/stat : 9417 (java) S 9399 9401 6422 0 -1 4202560 4144 0 0 0 36 2 0 0 20 0 19 0 335035008 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846021503416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9401/tid=9418] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9418/stat : 9418 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035008 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846020450552 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9401/tid=9419] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9419/stat : 9419 (java) S 9399 9401 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335035008 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846019398216 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9422] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9422/stat : 9422 (java) S 9399 9401 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335035223 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846017266984 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.99
Current children cumulated vsize (KiB) 3024420
Solver just ended. Dumping a history of the last processes samples
[startup+6.70075 s]
/proc/loadavg: 2.00 2.01 2.00 3/215 9422
/proc/meminfo: memFree=27531688/32873844 swapFree=7620/7620
[pid=9401] ppid=9399 vsize=3024420 CPUtime=7.39 cores=1,3,5,7
/proc/9401/stat : 9401 (java) S 9399 9401 6422 0 -1 4202496 12432 0 1 0 735 4 0 0 20 0 19 0 335035000 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 140735777236544 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9401/statm: 756105 18385 2269 9 0 746526 0
[pid=9401/tid=9403] ppid=9399 vsize=3024420 CPUtime=6.63 cores=1,3,5,7
/proc/9401/task/9403/stat : 9403 (java) R 9399 9401 6422 0 -1 4202560 3081 0 1 0 662 1 0 0 20 0 19 0 335035002 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846181003624 139846031559378 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9401/tid=9404] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9404/stat : 9404 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035003 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846164429736 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9405] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9405/stat : 9405 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035003 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846163377192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9401/tid=9406] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9406/stat : 9406 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035003 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846162324136 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9401/tid=9407] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9407/stat : 9407 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035003 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846161271592 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9401/tid=9408] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9408/stat : 9408 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035003 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846160218536 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9409] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9409/stat : 9409 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035003 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846159165992 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9401/tid=9410] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9410/stat : 9410 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035003 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846158112936 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9411] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9411/stat : 9411 (java) S 9399 9401 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335035003 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846157060392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9412] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9412/stat : 9412 (java) S 9399 9401 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335035005 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846026767208 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9413] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9413/stat : 9413 (java) S 9399 9401 6422 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335035005 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846025713528 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9414] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9414/stat : 9414 (java) S 9399 9401 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335035005 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846024660360 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9415] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9415/stat : 9415 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035008 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846023609104 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9416] ppid=9399 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/9401/task/9416/stat : 9416 (java) S 9399 9401 6422 0 -1 4202560 3999 0 0 0 32 0 0 0 20 0 19 0 335035008 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846022555960 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9417] ppid=9399 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/9401/task/9417/stat : 9417 (java) S 9399 9401 6422 0 -1 4202560 4144 0 0 0 36 2 0 0 20 0 19 0 335035008 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846021503416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9401/tid=9418] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9418/stat : 9418 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035008 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846020450552 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9401/tid=9419] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9419/stat : 9419 (java) S 9399 9401 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335035008 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846019398216 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9422] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9422/stat : 9422 (java) S 9399 9401 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335035223 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846017266984 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.39
Current children cumulated vsize (KiB) 3024420
[startup+6.80077 s]
/proc/loadavg: 2.00 2.01 2.00 3/215 9422
/proc/meminfo: memFree=27531688/32873844 swapFree=7620/7620
[pid=9401] ppid=9399 vsize=3024420 CPUtime=7.49 cores=1,3,5,7
/proc/9401/stat : 9401 (java) S 9399 9401 6422 0 -1 4202496 12432 0 1 0 745 4 0 0 20 0 19 0 335035000 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 140735777236544 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9401/statm: 756105 18385 2269 9 0 746526 0
[pid=9401/tid=9403] ppid=9399 vsize=3024420 CPUtime=6.73 cores=1,3,5,7
/proc/9401/task/9403/stat : 9403 (java) R 9399 9401 6422 0 -1 4202560 3081 0 1 0 672 1 0 0 20 0 19 0 335035002 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846181003624 139846031559397 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9401/tid=9404] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9404/stat : 9404 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035003 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846164429736 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9405] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9405/stat : 9405 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035003 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846163377192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9401/tid=9406] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9406/stat : 9406 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035003 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846162324136 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9401/tid=9407] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9407/stat : 9407 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035003 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846161271592 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9401/tid=9408] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9408/stat : 9408 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035003 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846160218536 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9409] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9409/stat : 9409 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035003 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846159165992 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9401/tid=9410] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9410/stat : 9410 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035003 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846158112936 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9411] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9411/stat : 9411 (java) S 9399 9401 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335035003 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846157060392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9412] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9412/stat : 9412 (java) S 9399 9401 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335035005 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846026767208 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9413] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9413/stat : 9413 (java) S 9399 9401 6422 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335035005 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846025713528 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9414] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9414/stat : 9414 (java) S 9399 9401 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335035005 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846024660360 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9415] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9415/stat : 9415 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035008 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846023609104 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9416] ppid=9399 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/9401/task/9416/stat : 9416 (java) S 9399 9401 6422 0 -1 4202560 3999 0 0 0 32 0 0 0 20 0 19 0 335035008 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846022555960 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9417] ppid=9399 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/9401/task/9417/stat : 9417 (java) S 9399 9401 6422 0 -1 4202560 4144 0 0 0 36 2 0 0 20 0 19 0 335035008 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846021503416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9401/tid=9418] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9418/stat : 9418 (java) S 9399 9401 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035008 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846020450552 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9401/tid=9419] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9419/stat : 9419 (java) S 9399 9401 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335035008 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846019398216 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9401/tid=9422] ppid=9399 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9401/task/9422/stat : 9422 (java) S 9399 9401 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335035223 3097006080 18385 33554432000 1073741824 1073778376 140735777245408 139846017266984 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.49
Current children cumulated vsize (KiB) 3024420
Child status: 30
Real time (s): 6.85034
CPU time (s): 7.54285
CPU user time (s): 7.47986
CPU system time (s): 0.06299
CPU usage (%): 110.109
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.47986
system time used= 0.06299
maximum resident set size= 77656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12443
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 478
involuntary context switches= 50
runsolver used 0.022996 second user time and 0.055991 second system time
The end