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-3735902-1338750252/watcher-3735902-1338750252 -o /tmp/evaluation-result-3735902-1338750252/solver-3735902-1338750252 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3735902-1338750252.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: 3.79 3.81 3.81 3/197 3429
/proc/meminfo: memFree=27097844/32873648 swapFree=7116/7116
[pid=3429] ppid=3427 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/3429/stat : 3429 (java6) D 3427 3429 32179 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 341150643 9515008 183 33554432000 1073741824 1073778376 140735180963728 140735180954760 260190322357 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/3429/statm: 2323 183 140 9 0 71 0
[startup+0.0960301 s]
/proc/loadavg: 3.79 3.81 3.81 3/197 3429
/proc/meminfo: memFree=27097844/32873648 swapFree=7116/7116
[pid=3429] ppid=3427 vsize=2699928 CPUtime=0.1 cores=1,3,5,7
/proc/3429/stat : 3429 (java) S 3427 3429 32179 0 -1 4202496 4725 0 1 0 8 2 0 0 20 0 18 0 341150643 2764726272 6416 33554432000 1073741824 1073778376 140734394454256 140734394445392 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3429/statm: 674982 6416 2109 9 0 665676 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2699928
[startup+0.100202 s]
/proc/loadavg: 3.79 3.81 3.81 3/197 3429
/proc/meminfo: memFree=27097844/32873648 swapFree=7116/7116
[pid=3429] ppid=3427 vsize=2699928 CPUtime=0.1 cores=1,3,5,7
/proc/3429/stat : 3429 (java) S 3427 3429 32179 0 -1 4202496 4760 0 1 0 8 2 0 0 20 0 18 0 341150643 2764726272 6452 33554432000 1073741824 1073778376 140734394454256 140734394445392 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3429/statm: 674982 6452 2109 9 0 665676 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2699928
[startup+0.300158 s]
/proc/loadavg: 3.79 3.81 3.81 3/197 3429
/proc/meminfo: memFree=27097844/32873648 swapFree=7116/7116
[pid=3429] ppid=3427 vsize=2966184 CPUtime=0.5 cores=1,3,5,7
/proc/3429/stat : 3429 (java) S 3427 3429 32179 0 -1 4202496 6231 0 1 0 46 4 0 0 20 0 20 0 341150643 3037372416 9328 33554432000 1073741824 1073778376 140734394454256 140734394445392 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3429/statm: 741546 9328 2232 9 0 732240 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 2966184
[startup+0.700137 s]
/proc/loadavg: 3.79 3.81 3.81 3/197 3429
/proc/meminfo: memFree=27097844/32873648 swapFree=7116/7116
[pid=3429] ppid=3427 vsize=2966184 CPUtime=0.5 cores=1,3,5,7
/proc/3429/stat : 3429 (java) S 3427 3429 32179 0 -1 4202496 6231 0 1 0 46 4 0 0 20 0 20 0 341150643 3037372416 9328 33554432000 1073741824 1073778376 140734394454256 140734394445392 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3429/statm: 741546 9328 2232 9 0 732240 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 2966184
[startup+1.50059 s]
/proc/loadavg: 3.49 3.74 3.79 3/217 3451
/proc/meminfo: memFree=27069464/32873648 swapFree=7116/7116
[pid=3429] ppid=3427 vsize=2966184 CPUtime=0.59 cores=1,3,5,7
/proc/3429/stat : 3429 (java) S 3427 3429 32179 0 -1 4202496 6302 0 1 0 53 6 0 0 20 0 20 0 341150643 3037372416 10388 33554432000 1073741824 1073778376 140734394454256 140734394445392 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3429/statm: 741546 10388 2232 9 0 732240 0
[pid=3429/tid=3431] ppid=3427 vsize=2966184 CPUtime=0.24 cores=1,3,5,7
/proc/3429/task/3431/stat : 3431 (java) S 3427 3429 32179 0 -1 4202560 2803 0 1 0 22 2 0 0 20 0 20 0 341150644 3037372416 10388 33554432000 1073741824 1073778376 140734394454256 140041717523608 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3429/tid=3432] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3432/stat : 3432 (java) S 3427 3429 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341150645 3037372416 10388 33554432000 1073741824 1073778376 140734394454256 140041584363944 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3429/tid=3433] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3433/stat : 3433 (java) S 3427 3429 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341150645 3037372416 10388 33554432000 1073741824 1073778376 140734394454256 140041583311400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3429/tid=3434] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3434/stat : 3434 (java) S 3427 3429 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341150645 3037372416 10388 33554432000 1073741824 1073778376 140734394454256 140041582258344 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3429/tid=3435] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3435/stat : 3435 (java) S 3427 3429 32179 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 341150645 3037372416 10388 33554432000 1073741824 1073778376 140734394454256 140041581205800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3429/tid=3436] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3436/stat : 3436 (java) S 3427 3429 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341150645 3037372416 10388 33554432000 1073741824 1073778376 140734394454256 140041580153768 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3429/tid=3437] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3437/stat : 3437 (java) S 3427 3429 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341150645 3037372416 10388 33554432000 1073741824 1073778376 140734394454256 140041579101224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3429/tid=3438] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3438/stat : 3438 (java) S 3427 3429 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341150645 3037372416 10388 33554432000 1073741824 1073778376 140734394454256 140041578048168 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3429/tid=3439] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3439/stat : 3439 (java) S 3427 3429 32179 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341150645 3037372416 10388 33554432000 1073741824 1073778376 140734394454256 140041576995624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3429/tid=3440] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3440/stat : 3440 (java) S 3427 3429 32179 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 341150646 3037372416 10388 33554432000 1073741824 1073778376 140734394454256 140041094404456 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3429/tid=3441] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3441/stat : 3441 (java) S 3427 3429 32179 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341150646 3037372416 10388 33554432000 1073741824 1073778376 140734394454256 140041093350776 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3429/tid=3442] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3442/stat : 3442 (java) S 3427 3429 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341150646 3037372416 10388 33554432000 1073741824 1073778376 140734394454256 140041092297608 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3429/tid=3443] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3443/stat : 3443 (java) S 3427 3429 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341150649 3037372416 10388 33554432000 1073741824 1073778376 140734394454256 140041091246352 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3429/tid=3444] ppid=3427 vsize=2966184 CPUtime=0.08 cores=1,3,5,7
/proc/3429/task/3444/stat : 3444 (java) S 3427 3429 32179 0 -1 4202560 730 0 0 0 8 0 0 0 20 0 20 0 341150649 3037372416 10388 33554432000 1073741824 1073778376 140734394454256 140041090194232 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3429/tid=3445] ppid=3427 vsize=2966184 CPUtime=0.13 cores=1,3,5,7
/proc/3429/task/3445/stat : 3445 (java) S 3427 3429 32179 0 -1 4202560 1468 0 0 0 13 0 0 0 20 0 20 0 341150649 3037372416 10388 33554432000 1073741824 1073778376 140734394454256 140041089141688 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3429/tid=3446] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3446/stat : 3446 (java) S 3427 3429 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341150649 3037372416 10388 33554432000 1073741824 1073778376 140734394454256 140041088088824 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3429/tid=3447] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3447/stat : 3447 (java) S 3427 3429 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341150649 3037372416 10388 33554432000 1073741824 1073778376 140734394454256 140041087036488 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3429/tid=3450] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3450/stat : 3450 (java) S 3427 3429 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341150671 3037372416 10388 33554432000 1073741824 1073778376 140734394454256 140041083876136 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3429/tid=3451] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3451/stat : 3451 (java) S 3427 3429 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341150671 3037372416 10388 33554432000 1073741824 1073778376 140734394454256 140041082823592 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 2966184
[startup+3.10065 s]
/proc/loadavg: 3.49 3.74 3.79 3/217 3453
/proc/meminfo: memFree=27064220/32873648 swapFree=7116/7116
[pid=3429] ppid=3427 vsize=2966184 CPUtime=0.72 cores=1,3,5,7
/proc/3429/stat : 3429 (java) S 3427 3429 32179 0 -1 4202496 6923 0 1 0 64 8 0 0 20 0 20 0 341150643 3037372416 12228 33554432000 1073741824 1073778376 140734394454256 140734394445392 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3429/statm: 741546 12228 2235 9 0 732240 0
[pid=3429/tid=3431] ppid=3427 vsize=2966184 CPUtime=0.24 cores=1,3,5,7
/proc/3429/task/3431/stat : 3431 (java) S 3427 3429 32179 0 -1 4202560 2804 0 1 0 22 2 0 0 20 0 20 0 341150644 3037372416 12228 33554432000 1073741824 1073778376 140734394454256 140041717523608 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3429/tid=3432] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3432/stat : 3432 (java) S 3427 3429 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341150645 3037372416 12228 33554432000 1073741824 1073778376 140734394454256 140041584363944 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3429/tid=3433] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3433/stat : 3433 (java) S 3427 3429 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341150645 3037372416 12228 33554432000 1073741824 1073778376 140734394454256 140041583311400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3429/tid=3434] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3434/stat : 3434 (java) S 3427 3429 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341150645 3037372416 12228 33554432000 1073741824 1073778376 140734394454256 140041582258344 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3429/tid=3435] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3435/stat : 3435 (java) S 3427 3429 32179 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 341150645 3037372416 12228 33554432000 1073741824 1073778376 140734394454256 140041581205800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3429/tid=3436] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3436/stat : 3436 (java) S 3427 3429 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341150645 3037372416 12228 33554432000 1073741824 1073778376 140734394454256 140041580153768 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3429/tid=3437] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3437/stat : 3437 (java) S 3427 3429 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341150645 3037372416 12228 33554432000 1073741824 1073778376 140734394454256 140041579101224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3429/tid=3438] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3438/stat : 3438 (java) S 3427 3429 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341150645 3037372416 12228 33554432000 1073741824 1073778376 140734394454256 140041578048168 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3429/tid=3439] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3439/stat : 3439 (java) S 3427 3429 32179 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341150645 3037372416 12228 33554432000 1073741824 1073778376 140734394454256 140041576995624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3429/tid=3440] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3440/stat : 3440 (java) S 3427 3429 32179 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 341150646 3037372416 12228 33554432000 1073741824 1073778376 140734394454256 140041094404456 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3429/tid=3441] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3441/stat : 3441 (java) S 3427 3429 32179 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341150646 3037372416 12228 33554432000 1073741824 1073778376 140734394454256 140041093350776 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3429/tid=3442] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3442/stat : 3442 (java) S 3427 3429 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341150646 3037372416 12228 33554432000 1073741824 1073778376 140734394454256 140041092297608 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3429/tid=3443] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3443/stat : 3443 (java) S 3427 3429 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341150649 3037372416 12228 33554432000 1073741824 1073778376 140734394454256 140041091246352 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3429/tid=3444] ppid=3427 vsize=2966184 CPUtime=0.13 cores=1,3,5,7
/proc/3429/task/3444/stat : 3444 (java) S 3427 3429 32179 0 -1 4202560 1146 0 0 0 13 0 0 0 20 0 20 0 341150649 3037372416 12228 33554432000 1073741824 1073778376 140734394454256 140041090194232 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3429/tid=3445] ppid=3427 vsize=2966184 CPUtime=0.16 cores=1,3,5,7
/proc/3429/task/3445/stat : 3445 (java) S 3427 3429 32179 0 -1 4202560 1665 0 0 0 16 0 0 0 20 0 20 0 341150649 3037372416 12228 33554432000 1073741824 1073778376 140734394454256 140041089141688 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3429/tid=3446] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3446/stat : 3446 (java) S 3427 3429 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341150649 3037372416 12228 33554432000 1073741824 1073778376 140734394454256 140041088088824 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3429/tid=3447] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3447/stat : 3447 (java) S 3427 3429 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341150649 3037372416 12228 33554432000 1073741824 1073778376 140734394454256 140041087036488 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3429/tid=3450] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3450/stat : 3450 (java) S 3427 3429 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341150671 3037372416 12228 33554432000 1073741824 1073778376 140734394454256 140041083876136 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3429/tid=3451] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3451/stat : 3451 (java) S 3427 3429 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341150671 3037372416 12228 33554432000 1073741824 1073778376 140734394454256 140041082823592 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 2966184
heavy processes:
[startup+6.30082 s]
/proc/loadavg: 3.49 3.74 3.79 5/219 3459
/proc/meminfo: memFree=26844224/32873648 swapFree=7116/7116
[pid=3429] ppid=3427 vsize=2966184 CPUtime=6.58 cores=1,3,5,7
/proc/3429/stat : 3429 (java) S 3427 3429 32179 0 -1 4202496 21693 0 1 0 639 19 0 0 20 0 22 0 341150643 3037372416 81899 33554432000 1073741824 1073778376 140734394454256 140734394445392 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3429/statm: 741546 81899 2276 9 0 732240 0
[pid=3429/tid=3431] ppid=3427 vsize=2966184 CPUtime=0.25 cores=1,3,5,7
/proc/3429/task/3431/stat : 3431 (java) S 3427 3429 32179 0 -1 4202560 2807 0 1 0 23 2 0 0 20 0 22 0 341150644 3037372416 81899 33554432000 1073741824 1073778376 140734394454256 140041717523608 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3429/tid=3432] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3432/stat : 3432 (java) S 3427 3429 32179 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341150645 3037372416 81899 33554432000 1073741824 1073778376 140734394454256 140041584363944 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3429/tid=3433] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3433/stat : 3433 (java) S 3427 3429 32179 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 341150645 3037372416 81899 33554432000 1073741824 1073778376 140734394454256 140041583311400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3429/tid=3434] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3434/stat : 3434 (java) S 3427 3429 32179 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 341150645 3037372416 81899 33554432000 1073741824 1073778376 140734394454256 140041582258344 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3429/tid=3435] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3435/stat : 3435 (java) S 3427 3429 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341150645 3037372416 81899 33554432000 1073741824 1073778376 140734394454256 140041581205800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3429/tid=3436] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3436/stat : 3436 (java) S 3427 3429 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341150645 3037372416 81899 33554432000 1073741824 1073778376 140734394454256 140041580153768 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3429/tid=3437] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3437/stat : 3437 (java) S 3427 3429 32179 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 341150645 3037372416 81899 33554432000 1073741824 1073778376 140734394454256 140041579101224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3429/tid=3438] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3438/stat : 3438 (java) S 3427 3429 32179 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341150645 3037372416 81899 33554432000 1073741824 1073778376 140734394454256 140041578048168 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3429/tid=3439] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3439/stat : 3439 (java) S 3427 3429 32179 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 341150645 3037372416 81899 33554432000 1073741824 1073778376 140734394454256 140041576995624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3429/tid=3440] ppid=3427 vsize=2966184 CPUtime=0.08 cores=1,3,5,7
/proc/3429/task/3440/stat : 3440 (java) S 3427 3429 32179 0 -1 4202560 33 0 0 0 8 0 0 0 20 0 22 0 341150646 3037372416 81899 33554432000 1073741824 1073778376 140734394454256 140041094404456 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3429/tid=3441] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3441/stat : 3441 (java) S 3427 3429 32179 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341150646 3037372416 81899 33554432000 1073741824 1073778376 140734394454256 140041093350776 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3429/tid=3442] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3442/stat : 3442 (java) S 3427 3429 32179 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341150646 3037372416 81899 33554432000 1073741824 1073778376 140734394454256 140041092297608 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3429/tid=3443] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3443/stat : 3443 (java) S 3427 3429 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341150649 3037372416 81899 33554432000 1073741824 1073778376 140734394454256 140041091246352 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3429/tid=3444] ppid=3427 vsize=2966184 CPUtime=0.83 cores=1,3,5,7
/proc/3429/task/3444/stat : 3444 (java) S 3427 3429 32179 0 -1 4202560 5934 0 0 0 83 0 0 0 20 0 22 0 341150649 3037372416 81899 33554432000 1073741824 1073778376 140734394454256 140041090194232 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3429/tid=3445] ppid=3427 vsize=2966184 CPUtime=0.92 cores=1,3,5,7
/proc/3429/task/3445/stat : 3445 (java) S 3427 3429 32179 0 -1 4202560 11412 0 0 0 90 2 0 0 20 0 22 0 341150649 3037372416 81899 33554432000 1073741824 1073778376 140734394454256 140041089141688 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3429/tid=3446] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3446/stat : 3446 (java) S 3427 3429 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341150649 3037372416 81899 33554432000 1073741824 1073778376 140734394454256 140041088088824 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3429/tid=3447] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3447/stat : 3447 (java) S 3427 3429 32179 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 341150649 3037372416 81899 33554432000 1073741824 1073778376 140734394454256 140041087036488 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3429/tid=3450] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3450/stat : 3450 (java) S 3427 3429 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341150671 3037372416 81899 33554432000 1073741824 1073778376 140734394454256 140041083876136 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3429/tid=3451] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3451/stat : 3451 (java) S 3427 3429 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341150671 3037372416 81899 33554432000 1073741824 1073778376 140734394454256 140041082823592 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.58
Current children cumulated vsize (KiB) 2966184
Solver just ended. Dumping a history of the last processes samples
[startup+7.10078 s]
/proc/loadavg: 3.53 3.75 3.79 5/219 3461
/proc/meminfo: memFree=26776424/32873648 swapFree=7116/7116
[pid=3429] ppid=3427 vsize=2966184 CPUtime=8.16 cores=1,3,5,7
/proc/3429/stat : 3429 (java) S 3427 3429 32179 0 -1 4202496 21741 0 1 0 796 20 0 0 20 0 22 0 341150643 3037372416 101874 33554432000 1073741824 1073778376 140734394454256 140734394445392 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3429/statm: 741546 101874 2276 9 0 732240 0
[pid=3429/tid=3431] ppid=3427 vsize=2966184 CPUtime=0.25 cores=1,3,5,7
/proc/3429/task/3431/stat : 3431 (java) S 3427 3429 32179 0 -1 4202560 2807 0 1 0 23 2 0 0 20 0 22 0 341150644 3037372416 101874 33554432000 1073741824 1073778376 140734394454256 140041717523608 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3429/tid=3432] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3432/stat : 3432 (java) S 3427 3429 32179 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 341150645 3037372416 101874 33554432000 1073741824 1073778376 140734394454256 140041584363944 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3429/tid=3433] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3433/stat : 3433 (java) S 3427 3429 32179 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 341150645 3037372416 101874 33554432000 1073741824 1073778376 140734394454256 140041583311400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3429/tid=3434] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3434/stat : 3434 (java) S 3427 3429 32179 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 341150645 3037372416 101874 33554432000 1073741824 1073778376 140734394454256 140041582258344 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3429/tid=3435] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3435/stat : 3435 (java) S 3427 3429 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341150645 3037372416 101874 33554432000 1073741824 1073778376 140734394454256 140041581205800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3429/tid=3436] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3436/stat : 3436 (java) S 3427 3429 32179 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341150645 3037372416 101874 33554432000 1073741824 1073778376 140734394454256 140041580153768 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3429/tid=3437] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3437/stat : 3437 (java) S 3427 3429 32179 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 341150645 3037372416 101874 33554432000 1073741824 1073778376 140734394454256 140041579101224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3429/tid=3438] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3438/stat : 3438 (java) S 3427 3429 32179 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341150645 3037372416 101874 33554432000 1073741824 1073778376 140734394454256 140041578048168 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3429/tid=3439] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3439/stat : 3439 (java) S 3427 3429 32179 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341150645 3037372416 101874 33554432000 1073741824 1073778376 140734394454256 140041576995624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3429/tid=3440] ppid=3427 vsize=2966184 CPUtime=0.1 cores=1,3,5,7
/proc/3429/task/3440/stat : 3440 (java) S 3427 3429 32179 0 -1 4202560 34 0 0 0 10 0 0 0 20 0 22 0 341150646 3037372416 101874 33554432000 1073741824 1073778376 140734394454256 140041094404456 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3429/tid=3441] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3441/stat : 3441 (java) S 3427 3429 32179 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341150646 3037372416 101874 33554432000 1073741824 1073778376 140734394454256 140041093350776 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3429/tid=3442] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3442/stat : 3442 (java) S 3427 3429 32179 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341150646 3037372416 101874 33554432000 1073741824 1073778376 140734394454256 140041092297608 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3429/tid=3443] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3443/stat : 3443 (java) S 3427 3429 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341150649 3037372416 101874 33554432000 1073741824 1073778376 140734394454256 140041091246352 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3429/tid=3444] ppid=3427 vsize=2966184 CPUtime=0.83 cores=1,3,5,7
/proc/3429/task/3444/stat : 3444 (java) S 3427 3429 32179 0 -1 4202560 5934 0 0 0 83 0 0 0 20 0 22 0 341150649 3037372416 101874 33554432000 1073741824 1073778376 140734394454256 140041090194232 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3429/tid=3445] ppid=3427 vsize=2966184 CPUtime=0.92 cores=1,3,5,7
/proc/3429/task/3445/stat : 3445 (java) S 3427 3429 32179 0 -1 4202560 11412 0 0 0 90 2 0 0 20 0 22 0 341150649 3037372416 101874 33554432000 1073741824 1073778376 140734394454256 140041089141688 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3429/tid=3446] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3446/stat : 3446 (java) S 3427 3429 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341150649 3037372416 101874 33554432000 1073741824 1073778376 140734394454256 140041088088824 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3429/tid=3447] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3447/stat : 3447 (java) S 3427 3429 32179 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 341150649 3037372416 101874 33554432000 1073741824 1073778376 140734394454256 140041087036488 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3429/tid=3450] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3450/stat : 3450 (java) S 3427 3429 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341150671 3037372416 101874 33554432000 1073741824 1073778376 140734394454256 140041083876136 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3429/tid=3451] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3451/stat : 3451 (java) S 3427 3429 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341150671 3037372416 101874 33554432000 1073741824 1073778376 140734394454256 140041082823592 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3429/tid=3460] ppid=3427 vsize=2966184 CPUtime=0.76 cores=1,3,5,7
/proc/3429/task/3460/stat : 3460 (java) R 3427 3429 32179 0 -1 4202560 3 0 0 0 76 0 0 0 20 0 22 0 341151271 3037372416 101874 33554432000 1073741824 1073778376 140734394454256 140041084928968 140041586766520 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3429/tid=3461] ppid=3427 vsize=2966184 CPUtime=0.76 cores=1,3,5,7
/proc/3429/task/3461/stat : 3461 (java) R 3427 3429 32179 0 -1 4202560 41 0 0 0 76 0 0 0 20 0 22 0 341151271 3037372416 101874 33554432000 1073741824 1073778376 140734394454256 140041085979392 140041587267386 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.16
Current children cumulated vsize (KiB) 2966184
[startup+7.30074 s]
/proc/loadavg: 3.53 3.75 3.79 5/219 3461
/proc/meminfo: memFree=26776424/32873648 swapFree=7116/7116
[pid=3429] ppid=3427 vsize=2966184 CPUtime=8.4 cores=1,3,5,7
/proc/3429/stat : 3429 (java) S 3427 3429 32179 0 -1 4202496 21746 0 1 0 819 21 0 0 20 0 20 0 341150643 3037372416 101871 33554432000 1073741824 1073778376 140734394454256 140734394445392 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3429/statm: 741546 101871 2277 9 0 732240 0
[pid=3429/tid=3431] ppid=3427 vsize=2966184 CPUtime=0.26 cores=1,3,5,7
/proc/3429/task/3431/stat : 3431 (java) R 3427 3429 32179 0 -1 4202560 2807 0 1 0 24 2 0 0 20 0 20 0 341150644 3037372416 101871 33554432000 1073741824 1073778376 140734394454256 140041717523608 140041586334962 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3429/tid=3432] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3432/stat : 3432 (java) S 3427 3429 32179 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 20 0 341150645 3037372416 101871 33554432000 1073741824 1073778376 140734394454256 140041584363944 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3429/tid=3433] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3433/stat : 3433 (java) S 3427 3429 32179 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 341150645 3037372416 101871 33554432000 1073741824 1073778376 140734394454256 140041583311400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3429/tid=3434] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3434/stat : 3434 (java) S 3427 3429 32179 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 341150645 3037372416 101871 33554432000 1073741824 1073778376 140734394454256 140041582258344 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3429/tid=3435] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3435/stat : 3435 (java) S 3427 3429 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341150645 3037372416 101871 33554432000 1073741824 1073778376 140734394454256 140041581205800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3429/tid=3436] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3436/stat : 3436 (java) S 3427 3429 32179 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341150645 3037372416 101871 33554432000 1073741824 1073778376 140734394454256 140041580153768 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3429/tid=3437] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3437/stat : 3437 (java) S 3427 3429 32179 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 341150645 3037372416 101871 33554432000 1073741824 1073778376 140734394454256 140041579101224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3429/tid=3438] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3438/stat : 3438 (java) S 3427 3429 32179 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 341150645 3037372416 101871 33554432000 1073741824 1073778376 140734394454256 140041578048168 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3429/tid=3439] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3439/stat : 3439 (java) S 3427 3429 32179 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 341150645 3037372416 101871 33554432000 1073741824 1073778376 140734394454256 140041576995624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3429/tid=3440] ppid=3427 vsize=2966184 CPUtime=0.1 cores=1,3,5,7
/proc/3429/task/3440/stat : 3440 (java) S 3427 3429 32179 0 -1 4202560 35 0 0 0 10 0 0 0 20 0 20 0 341150646 3037372416 101871 33554432000 1073741824 1073778376 140734394454256 140041094404456 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3429/tid=3441] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3441/stat : 3441 (java) S 3427 3429 32179 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 341150646 3037372416 101871 33554432000 1073741824 1073778376 140734394454256 140041093350776 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3429/tid=3442] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3442/stat : 3442 (java) S 3427 3429 32179 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 341150646 3037372416 101871 33554432000 1073741824 1073778376 140734394454256 140041092297608 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3429/tid=3443] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3443/stat : 3443 (java) S 3427 3429 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341150649 3037372416 101871 33554432000 1073741824 1073778376 140734394454256 140041091246352 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3429/tid=3444] ppid=3427 vsize=2966184 CPUtime=0.83 cores=1,3,5,7
/proc/3429/task/3444/stat : 3444 (java) S 3427 3429 32179 0 -1 4202560 5934 0 0 0 83 0 0 0 20 0 20 0 341150649 3037372416 101871 33554432000 1073741824 1073778376 140734394454256 140041090194232 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3429/tid=3445] ppid=3427 vsize=2966184 CPUtime=0.93 cores=1,3,5,7
/proc/3429/task/3445/stat : 3445 (java) S 3427 3429 32179 0 -1 4202560 11412 0 0 0 91 2 0 0 20 0 20 0 341150649 3037372416 101871 33554432000 1073741824 1073778376 140734394454256 140041089141688 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3429/tid=3446] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3446/stat : 3446 (java) S 3427 3429 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341150649 3037372416 101871 33554432000 1073741824 1073778376 140734394454256 140041088088824 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3429/tid=3447] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3447/stat : 3447 (java) S 3427 3429 32179 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 341150649 3037372416 101871 33554432000 1073741824 1073778376 140734394454256 140041087036488 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3429/tid=3450] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3450/stat : 3450 (java) S 3427 3429 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341150671 3037372416 101871 33554432000 1073741824 1073778376 140734394454256 140041083876136 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3429/tid=3451] ppid=3427 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3429/task/3451/stat : 3451 (java) S 3427 3429 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341150671 3037372416 101871 33554432000 1073741824 1073778376 140734394454256 140041082823592 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.4
Current children cumulated vsize (KiB) 2966184
Child status: 30
Real time (s): 7.33813
CPU time (s): 8.43472
CPU user time (s): 8.17976
CPU system time (s): 0.254961
CPU usage (%): 114.944
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.17976
system time used= 0.254961
maximum resident set size= 409556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21755
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= 734
involuntary context switches= 206
runsolver used 0.020996 second user time and 0.077988 second system time
The end