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-3736628-1338718106/watcher-3736628-1338718106 -o /tmp/evaluation-result-3736628-1338718106/solver-3736628-1338718106 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3736628-1338718106.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.13 2.14 2.03 2/192 9215
/proc/meminfo: memFree=27521480/32873844 swapFree=6088/6088
[pid=9215] ppid=9213 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/9215/stat : 9215 (java) D 9213 9215 7296 0 -1 4202496 457 0 0 0 0 0 0 0 20 0 1 0 337939023 9515008 185 33554432000 1073741824 1073778376 140735618927136 140735618916200 226320543015 0 0 4096 0 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/9215/statm: 2323 185 143 9 0 71 0
[startup+0.0445999 s]
/proc/loadavg: 2.13 2.14 2.03 2/192 9215
/proc/meminfo: memFree=27521480/32873844 swapFree=6088/6088
[pid=9215] ppid=9213 vsize=2623916 CPUtime=0.02 cores=1,3,5,7
/proc/9215/stat : 9215 (java) S 9213 9215 7296 0 -1 4202496 3952 0 1 0 2 0 0 0 20 0 13 0 337939023 2686889984 5160 33554432000 1073741824 1073778376 140735618927136 140735618918272 226333065277 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9215/statm: 655979 5161 1699 9 0 646680 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2623916
[startup+0.10027 s]
/proc/loadavg: 2.13 2.14 2.03 2/192 9215
/proc/meminfo: memFree=27521480/32873844 swapFree=6088/6088
[pid=9215] ppid=9213 vsize=2957856 CPUtime=0.09 cores=1,3,5,7
/proc/9215/stat : 9215 (java) S 9213 9215 7296 0 -1 4202496 4928 0 1 0 8 1 0 0 20 0 18 0 337939023 3028844544 6633 33554432000 1073741824 1073778376 140735618927136 140735618918272 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9215/statm: 739464 6633 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856
[startup+0.300227 s]
/proc/loadavg: 2.13 2.14 2.03 2/192 9215
/proc/meminfo: memFree=27521480/32873844 swapFree=6088/6088
[pid=9215] ppid=9213 vsize=3024420 CPUtime=0.54 cores=1,3,5,7
/proc/9215/stat : 9215 (java) S 9213 9215 7296 0 -1 4202496 8402 0 1 0 52 2 0 0 20 0 19 0 337939023 3097006080 10107 33554432000 1073741824 1073778376 140735618927136 140735618918272 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9215/statm: 756105 10107 2250 9 0 746526 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 3024420
[startup+0.700271 s]
/proc/loadavg: 2.13 2.14 2.03 2/192 9215
/proc/meminfo: memFree=27521480/32873844 swapFree=6088/6088
[pid=9215] ppid=9213 vsize=3024420 CPUtime=1.03 cores=1,3,5,7
/proc/9215/stat : 9215 (java) S 9213 9215 7296 0 -1 4202496 8457 0 1 0 101 2 0 0 20 0 19 0 337939023 3097006080 23437 33554432000 1073741824 1073778376 140735618927136 140735618918272 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9215/statm: 756105 23437 2266 9 0 746526 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 3024420
[startup+1.50072 s]
/proc/loadavg: 2.04 2.12 2.03 3/211 9239
/proc/meminfo: memFree=27399324/32873844 swapFree=6088/6088
[pid=9215] ppid=9213 vsize=3024420 CPUtime=1.84 cores=1,3,5,7
/proc/9215/stat : 9215 (java) S 9213 9215 7296 0 -1 4202496 8510 0 1 0 180 4 0 0 20 0 19 0 337939023 3097006080 45454 33554432000 1073741824 1073778376 140735618927136 140735618918272 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9215/statm: 756105 45454 2266 9 0 746526 0
[pid=9215/tid=9217] ppid=9213 vsize=3024420 CPUtime=1.47 cores=1,3,5,7
/proc/9215/task/9217/stat : 9217 (java) R 9213 9215 7296 0 -1 4202560 3130 0 1 0 144 3 0 0 20 0 19 0 337939023 3097006080 45454 33554432000 1073741824 1073778376 140735618927136 139641607283560 139641479311258 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9215/tid=9218] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9218/stat : 9218 (java) S 9213 9215 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939024 3097006080 45454 33554432000 1073741824 1073778376 140735618927136 139641473231016 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9215/tid=9219] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9219/stat : 9219 (java) S 9213 9215 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939024 3097006080 45454 33554432000 1073741824 1073778376 140735618927136 139641472178472 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9215/tid=9220] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9220/stat : 9220 (java) S 9213 9215 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939024 3097006080 45454 33554432000 1073741824 1073778376 140735618927136 139641471125928 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9215/tid=9221] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9221/stat : 9221 (java) S 9213 9215 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939024 3097006080 45454 33554432000 1073741824 1073778376 140735618927136 139641470073384 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9215/tid=9222] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9222/stat : 9222 (java) S 9213 9215 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939024 3097006080 45454 33554432000 1073741824 1073778376 140735618927136 139641469020840 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9215/tid=9223] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9223/stat : 9223 (java) S 9213 9215 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939024 3097006080 45454 33554432000 1073741824 1073778376 140735618927136 139641467968296 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9215/tid=9224] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9224/stat : 9224 (java) S 9213 9215 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939024 3097006080 45454 33554432000 1073741824 1073778376 140735618927136 139641130838952 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9215/tid=9225] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9225/stat : 9225 (java) S 9213 9215 7296 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337939024 3097006080 45454 33554432000 1073741824 1073778376 140735618927136 139641129786408 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9215/tid=9226] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9226/stat : 9226 (java) S 9213 9215 7296 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337939026 3097006080 45454 33554432000 1073741824 1073778376 140735618927136 139641117587560 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9215/tid=9227] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9227/stat : 9227 (java) S 9213 9215 7296 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337939026 3097006080 45454 33554432000 1073741824 1073778376 140735618927136 139641116533880 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9215/tid=9228] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9228/stat : 9228 (java) S 9213 9215 7296 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337939026 3097006080 45454 33554432000 1073741824 1073778376 140735618927136 139641115481224 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9215/tid=9229] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9229/stat : 9229 (java) S 9213 9215 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939029 3097006080 45454 33554432000 1073741824 1073778376 140735618927136 139641114429968 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9215/tid=9230] ppid=9213 vsize=3024420 CPUtime=0.14 cores=1,3,5,7
/proc/9215/task/9230/stat : 9230 (java) S 9213 9215 7296 0 -1 4202560 1780 0 0 0 14 0 0 0 20 0 19 0 337939029 3097006080 45454 33554432000 1073741824 1073778376 140735618927136 139641113377336 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9215/tid=9231] ppid=9213 vsize=3024420 CPUtime=0.19 cores=1,3,5,7
/proc/9215/task/9231/stat : 9231 (java) S 9213 9215 7296 0 -1 4202560 2387 0 0 0 19 0 0 0 20 0 19 0 337939029 3097006080 45454 33554432000 1073741824 1073778376 140735618927136 139641112324792 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9215/tid=9232] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9232/stat : 9232 (java) S 9213 9215 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939029 3097006080 45454 33554432000 1073741824 1073778376 140735618927136 139641111272440 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9215/tid=9233] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9233/stat : 9233 (java) S 9213 9215 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939029 3097006080 45454 33554432000 1073741824 1073778376 140735618927136 139641110220104 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 3024420
Solver just ended. Dumping a history of the last processes samples
[startup+1.70071 s]
/proc/loadavg: 2.04 2.12 2.03 3/211 9239
/proc/meminfo: memFree=27399324/32873844 swapFree=6088/6088
[pid=9215] ppid=9213 vsize=3024420 CPUtime=2.04 cores=1,3,5,7
/proc/9215/stat : 9215 (java) S 9213 9215 7296 0 -1 4202496 8519 0 1 0 200 4 0 0 20 0 19 0 337939023 3097006080 50062 33554432000 1073741824 1073778376 140735618927136 140735618918272 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9215/statm: 756105 50062 2266 9 0 746526 0
[pid=9215/tid=9217] ppid=9213 vsize=3024420 CPUtime=1.67 cores=1,3,5,7
/proc/9215/task/9217/stat : 9217 (java) R 9213 9215 7296 0 -1 4202560 3139 0 1 0 163 4 0 0 20 0 19 0 337939023 3097006080 50062 33554432000 1073741824 1073778376 140735618927136 139641607283560 139641479332180 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9215/tid=9218] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9218/stat : 9218 (java) S 9213 9215 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939024 3097006080 50062 33554432000 1073741824 1073778376 140735618927136 139641473231016 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9215/tid=9219] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9219/stat : 9219 (java) S 9213 9215 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939024 3097006080 50062 33554432000 1073741824 1073778376 140735618927136 139641472178472 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9215/tid=9220] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9220/stat : 9220 (java) S 9213 9215 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939024 3097006080 50062 33554432000 1073741824 1073778376 140735618927136 139641471125928 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9215/tid=9221] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9221/stat : 9221 (java) S 9213 9215 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939024 3097006080 50062 33554432000 1073741824 1073778376 140735618927136 139641470073384 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9215/tid=9222] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9222/stat : 9222 (java) S 9213 9215 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939024 3097006080 50062 33554432000 1073741824 1073778376 140735618927136 139641469020840 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9215/tid=9223] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9223/stat : 9223 (java) S 9213 9215 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939024 3097006080 50062 33554432000 1073741824 1073778376 140735618927136 139641467968296 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9215/tid=9224] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9224/stat : 9224 (java) S 9213 9215 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939024 3097006080 50062 33554432000 1073741824 1073778376 140735618927136 139641130838952 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9215/tid=9225] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9225/stat : 9225 (java) S 9213 9215 7296 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337939024 3097006080 50062 33554432000 1073741824 1073778376 140735618927136 139641129786408 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9215/tid=9226] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9226/stat : 9226 (java) S 9213 9215 7296 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337939026 3097006080 50062 33554432000 1073741824 1073778376 140735618927136 139641117587560 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9215/tid=9227] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9227/stat : 9227 (java) S 9213 9215 7296 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337939026 3097006080 50062 33554432000 1073741824 1073778376 140735618927136 139641116533880 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9215/tid=9228] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9228/stat : 9228 (java) S 9213 9215 7296 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337939026 3097006080 50062 33554432000 1073741824 1073778376 140735618927136 139641115481224 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9215/tid=9229] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9229/stat : 9229 (java) S 9213 9215 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939029 3097006080 50062 33554432000 1073741824 1073778376 140735618927136 139641114429968 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9215/tid=9230] ppid=9213 vsize=3024420 CPUtime=0.14 cores=1,3,5,7
/proc/9215/task/9230/stat : 9230 (java) S 9213 9215 7296 0 -1 4202560 1780 0 0 0 14 0 0 0 20 0 19 0 337939029 3097006080 50062 33554432000 1073741824 1073778376 140735618927136 139641113377336 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9215/tid=9231] ppid=9213 vsize=3024420 CPUtime=0.19 cores=1,3,5,7
/proc/9215/task/9231/stat : 9231 (java) S 9213 9215 7296 0 -1 4202560 2387 0 0 0 19 0 0 0 20 0 19 0 337939029 3097006080 50062 33554432000 1073741824 1073778376 140735618927136 139641112324792 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9215/tid=9232] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9232/stat : 9232 (java) S 9213 9215 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939029 3097006080 50062 33554432000 1073741824 1073778376 140735618927136 139641111272440 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9215/tid=9233] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9233/stat : 9233 (java) S 9213 9215 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939029 3097006080 50062 33554432000 1073741824 1073778376 140735618927136 139641110220104 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 3024420
[startup+1.80073 s]
/proc/loadavg: 2.04 2.12 2.03 3/211 9239
/proc/meminfo: memFree=27399324/32873844 swapFree=6088/6088
[pid=9215] ppid=9213 vsize=3024420 CPUtime=2.13 cores=1,3,5,7
/proc/9215/stat : 9215 (java) S 9213 9215 7296 0 -1 4202496 8524 0 1 0 209 4 0 0 20 0 19 0 337939023 3097006080 52622 33554432000 1073741824 1073778376 140735618927136 140735618918272 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9215/statm: 756105 52622 2266 9 0 746526 0
[pid=9215/tid=9217] ppid=9213 vsize=3024420 CPUtime=1.76 cores=1,3,5,7
/proc/9215/task/9217/stat : 9217 (java) R 9213 9215 7296 0 -1 4202560 3144 0 1 0 172 4 0 0 20 0 19 0 337939023 3097006080 52622 33554432000 1073741824 1073778376 140735618927136 139641607283560 139641479282914 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9215/tid=9218] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9218/stat : 9218 (java) S 9213 9215 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939024 3097006080 52622 33554432000 1073741824 1073778376 140735618927136 139641473231016 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9215/tid=9219] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9219/stat : 9219 (java) S 9213 9215 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939024 3097006080 52622 33554432000 1073741824 1073778376 140735618927136 139641472178472 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9215/tid=9220] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9220/stat : 9220 (java) S 9213 9215 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939024 3097006080 52622 33554432000 1073741824 1073778376 140735618927136 139641471125928 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9215/tid=9221] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9221/stat : 9221 (java) S 9213 9215 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939024 3097006080 52622 33554432000 1073741824 1073778376 140735618927136 139641470073384 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9215/tid=9222] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9222/stat : 9222 (java) S 9213 9215 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939024 3097006080 52622 33554432000 1073741824 1073778376 140735618927136 139641469020840 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9215/tid=9223] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9223/stat : 9223 (java) S 9213 9215 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939024 3097006080 52622 33554432000 1073741824 1073778376 140735618927136 139641467968296 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9215/tid=9224] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9224/stat : 9224 (java) S 9213 9215 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939024 3097006080 52622 33554432000 1073741824 1073778376 140735618927136 139641130838952 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9215/tid=9225] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9225/stat : 9225 (java) S 9213 9215 7296 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337939024 3097006080 52622 33554432000 1073741824 1073778376 140735618927136 139641129786408 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9215/tid=9226] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9226/stat : 9226 (java) S 9213 9215 7296 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337939026 3097006080 52622 33554432000 1073741824 1073778376 140735618927136 139641117587560 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9215/tid=9227] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9227/stat : 9227 (java) S 9213 9215 7296 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337939026 3097006080 52622 33554432000 1073741824 1073778376 140735618927136 139641116533880 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9215/tid=9228] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9228/stat : 9228 (java) S 9213 9215 7296 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337939026 3097006080 52622 33554432000 1073741824 1073778376 140735618927136 139641115481224 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9215/tid=9229] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9229/stat : 9229 (java) S 9213 9215 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939029 3097006080 52622 33554432000 1073741824 1073778376 140735618927136 139641114429968 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9215/tid=9230] ppid=9213 vsize=3024420 CPUtime=0.14 cores=1,3,5,7
/proc/9215/task/9230/stat : 9230 (java) S 9213 9215 7296 0 -1 4202560 1780 0 0 0 14 0 0 0 20 0 19 0 337939029 3097006080 52622 33554432000 1073741824 1073778376 140735618927136 139641113377336 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9215/tid=9231] ppid=9213 vsize=3024420 CPUtime=0.19 cores=1,3,5,7
/proc/9215/task/9231/stat : 9231 (java) S 9213 9215 7296 0 -1 4202560 2387 0 0 0 19 0 0 0 20 0 19 0 337939029 3097006080 52622 33554432000 1073741824 1073778376 140735618927136 139641112324792 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9215/tid=9232] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9232/stat : 9232 (java) S 9213 9215 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939029 3097006080 52622 33554432000 1073741824 1073778376 140735618927136 139641111272440 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9215/tid=9233] ppid=9213 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9215/task/9233/stat : 9233 (java) S 9213 9215 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939029 3097006080 52622 33554432000 1073741824 1073778376 140735618927136 139641110220104 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 3024420
Child status: 30
Real time (s): 1.82028
CPU time (s): 2.17267
CPU user time (s): 2.10168
CPU system time (s): 0.070989
CPU usage (%): 119.359
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.10168
system time used= 0.070989
maximum resident set size= 212556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8536
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= 317
involuntary context switches= 34
runsolver used 0.003999 second user time and 0.017997 second system time
The end