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-3731571-1338686839/watcher-3731571-1338686839 -o /tmp/evaluation-result-3731571-1338686839/solver-3731571-1338686839 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3731571-1338686839.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.10 2.10 2.06 3/196 3513
/proc/meminfo: memFree=28940700/32873648 swapFree=7116/7116
[pid=3513] ppid=3511 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/3513/stat : 3513 (java) R 3511 3513 1585 0 -1 4202496 285 0 0 0 0 0 0 0 20 0 1 0 334809419 278528 33 33554432000 1073741824 1073778376 140734135969968 140735031109000 214528257319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3513/statm: 68 33 25 9 0 25 0
[startup+0.0920909 s]
/proc/loadavg: 2.10 2.10 2.06 3/196 3513
/proc/meminfo: memFree=28940700/32873648 swapFree=7116/7116
[pid=3513] ppid=3511 vsize=2957856 CPUtime=0.06 cores=0,2,4,6
/proc/3513/stat : 3513 (java) S 3511 3513 1585 0 -1 4202496 3886 0 1 0 5 1 0 0 20 0 18 0 334809419 3028844544 6115 33554432000 1073741824 1073778376 140734135969968 140734135961104 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3513/statm: 739464 6115 1952 9 0 729885 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2957856
[startup+0.100247 s]
/proc/loadavg: 2.10 2.10 2.06 3/196 3513
/proc/meminfo: memFree=28940700/32873648 swapFree=7116/7116
[pid=3513] ppid=3511 vsize=2957856 CPUtime=0.08 cores=0,2,4,6
/proc/3513/stat : 3513 (java) S 3511 3513 1585 0 -1 4202496 4404 0 1 0 7 1 0 0 20 0 18 0 334809419 3028844544 6622 33554432000 1073741824 1073778376 140734135969968 140734135961104 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3513/statm: 739464 6622 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856
[startup+0.300231 s]
/proc/loadavg: 2.10 2.10 2.06 3/196 3513
/proc/meminfo: memFree=28940700/32873648 swapFree=7116/7116
[pid=3513] ppid=3511 vsize=2957856 CPUtime=0.45 cores=0,2,4,6
/proc/3513/stat : 3513 (java) S 3511 3513 1585 0 -1 4202496 5426 0 1 0 43 2 0 0 20 0 18 0 334809419 3028844544 10141 33554432000 1073741824 1073778376 140734135969968 140734135961104 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3513/statm: 739464 10141 2236 9 0 729885 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 2957856
[startup+0.700248 s]
/proc/loadavg: 2.10 2.10 2.06 3/196 3513
/proc/meminfo: memFree=28940700/32873648 swapFree=7116/7116
[pid=3513] ppid=3511 vsize=2957856 CPUtime=1.28 cores=0,2,4,6
/proc/3513/stat : 3513 (java) S 3511 3513 1585 0 -1 4202496 8599 0 1 0 124 4 0 0 20 0 18 0 334809419 3028844544 46824 33554432000 1073741824 1073778376 140734135969968 140734135961104 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3513/statm: 739464 46824 2253 9 0 729885 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 2957856
[startup+1.50068 s]
/proc/loadavg: 2.10 2.09 2.06 3/214 3531
/proc/meminfo: memFree=28605616/32873648 swapFree=7116/7116
[pid=3513] ppid=3511 vsize=2957856 CPUtime=2.17 cores=0,2,4,6
/proc/3513/stat : 3513 (java) S 3511 3513 1585 0 -1 4202496 8780 0 1 0 205 12 0 0 20 0 18 0 334809419 3028844544 115453 33554432000 1073741824 1073778376 140734135969968 140734135961104 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3513/statm: 739464 115453 2269 9 0 729885 0
[pid=3513/tid=3515] ppid=3511 vsize=2957856 CPUtime=1.43 cores=0,2,4,6
/proc/3513/task/3515/stat : 3515 (java) R 3511 3513 1585 0 -1 4202560 2720 0 1 0 134 9 0 0 20 0 18 0 334809420 3028844544 115453 33554432000 1073741824 1073778376 140734135969968 140571043315336 140570874249752 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3513/tid=3516] ppid=3511 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3516/stat : 3516 (java) S 3511 3513 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 334809421 3028844544 115453 33554432000 1073741824 1073778376 140734135969968 140571026742184 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3517] ppid=3511 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3517/stat : 3517 (java) S 3511 3513 1585 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 334809421 3028844544 115453 33554432000 1073741824 1073778376 140734135969968 140571025689640 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3513/tid=3518] ppid=3511 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3518/stat : 3518 (java) S 3511 3513 1585 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 334809421 3028844544 115453 33554432000 1073741824 1073778376 140734135969968 140571024636584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3513/tid=3519] ppid=3511 vsize=2957856 CPUtime=0.02 cores=0,2,4,6
/proc/3513/task/3519/stat : 3519 (java) S 3511 3513 1585 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 18 0 334809421 3028844544 115453 33554432000 1073741824 1073778376 140734135969968 140571023584040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3520] ppid=3511 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3520/stat : 3520 (java) S 3511 3513 1585 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 334809421 3028844544 115453 33554432000 1073741824 1073778376 140734135969968 140571022530984 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3513/tid=3521] ppid=3511 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3521/stat : 3521 (java) S 3511 3513 1585 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 334809421 3028844544 115453 33554432000 1073741824 1073778376 140734135969968 140571021478440 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3513/tid=3522] ppid=3511 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3522/stat : 3522 (java) S 3511 3513 1585 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 334809421 3028844544 115453 33554432000 1073741824 1073778376 140734135969968 140571020425384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3523] ppid=3511 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3523/stat : 3523 (java) S 3511 3513 1585 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 334809421 3028844544 115453 33554432000 1073741824 1073778376 140734135969968 140571019372840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3524] ppid=3511 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3524/stat : 3524 (java) S 3511 3513 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 334809422 3028844544 115453 33554432000 1073741824 1073778376 140734135969968 140571006962536 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3525] ppid=3511 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3525/stat : 3525 (java) S 3511 3513 1585 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 334809422 3028844544 115453 33554432000 1073741824 1073778376 140734135969968 140571005908856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3526] ppid=3511 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3526/stat : 3526 (java) S 3511 3513 1585 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 334809422 3028844544 115453 33554432000 1073741824 1073778376 140734135969968 140571004855688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3527] ppid=3511 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3527/stat : 3527 (java) S 3511 3513 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334809425 3028844544 115453 33554432000 1073741824 1073778376 140734135969968 140571003804432 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3528] ppid=3511 vsize=2957856 CPUtime=0.32 cores=0,2,4,6
/proc/3513/task/3528/stat : 3528 (java) S 3511 3513 1585 0 -1 4202560 2536 0 0 0 32 0 0 0 20 0 18 0 334809425 3028844544 115453 33554432000 1073741824 1073778376 140734135969968 140571002751288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3529] ppid=3511 vsize=2957856 CPUtime=0.26 cores=0,2,4,6
/proc/3513/task/3529/stat : 3529 (java) S 3511 3513 1585 0 -1 4202560 2289 0 0 0 26 0 0 0 20 0 18 0 334809425 3028844544 115453 33554432000 1073741824 1073778376 140734135969968 140571001698744 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3513/tid=3530] ppid=3511 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3530/stat : 3530 (java) S 3511 3513 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334809425 3028844544 115453 33554432000 1073741824 1073778376 140734135969968 140571000645880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3513/tid=3531] ppid=3511 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3531/stat : 3531 (java) S 3511 3513 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334809425 3028844544 115453 33554432000 1073741824 1073778376 140734135969968 140570999593544 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 2957856
[startup+3.10068 s]
/proc/loadavg: 2.10 2.09 2.06 3/214 3531
/proc/meminfo: memFree=28453196/32873648 swapFree=7116/7116
[pid=3513] ppid=3511 vsize=2957856 CPUtime=4.06 cores=0,2,4,6
/proc/3513/stat : 3513 (java) S 3511 3513 1585 0 -1 4202496 8903 0 1 0 388 18 0 0 20 0 18 0 334809419 3028844544 130824 33554432000 1073741824 1073778376 140734135969968 140734135961104 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3513/statm: 739464 130824 2269 9 0 729885 0
[pid=3513/tid=3515] ppid=3511 vsize=2957856 CPUtime=2.93 cores=0,2,4,6
/proc/3513/task/3515/stat : 3515 (java) R 3511 3513 1585 0 -1 4202560 2722 0 1 0 283 10 0 0 20 0 18 0 334809420 3028844544 130824 33554432000 1073741824 1073778376 140734135969968 140571043307760 140570874401165 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3513/tid=3516] ppid=3511 vsize=2957856 CPUtime=0.03 cores=0,2,4,6
/proc/3513/task/3516/stat : 3516 (java) S 3511 3513 1585 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 18 0 334809421 3028844544 130824 33554432000 1073741824 1073778376 140734135969968 140571026742184 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3513/tid=3517] ppid=3511 vsize=2957856 CPUtime=0.05 cores=0,2,4,6
/proc/3513/task/3517/stat : 3517 (java) S 3511 3513 1585 0 -1 4202560 18 0 0 0 5 0 0 0 20 0 18 0 334809421 3028844544 130824 33554432000 1073741824 1073778376 140734135969968 140571025689640 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3513/tid=3518] ppid=3511 vsize=2957856 CPUtime=0.05 cores=0,2,4,6
/proc/3513/task/3518/stat : 3518 (java) S 3511 3513 1585 0 -1 4202560 22 0 0 0 5 0 0 0 20 0 18 0 334809421 3028844544 130824 33554432000 1073741824 1073778376 140734135969968 140571024636584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3513/tid=3519] ppid=3511 vsize=2957856 CPUtime=0.11 cores=0,2,4,6
/proc/3513/task/3519/stat : 3519 (java) S 3511 3513 1585 0 -1 4202560 45 0 0 0 9 2 0 0 20 0 18 0 334809421 3028844544 130824 33554432000 1073741824 1073778376 140734135969968 140571023584040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3513/tid=3520] ppid=3511 vsize=2957856 CPUtime=0.05 cores=0,2,4,6
/proc/3513/task/3520/stat : 3520 (java) S 3511 3513 1585 0 -1 4202560 18 0 0 0 4 1 0 0 20 0 18 0 334809421 3028844544 130824 33554432000 1073741824 1073778376 140734135969968 140571022530984 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3513/tid=3521] ppid=3511 vsize=2957856 CPUtime=0.05 cores=0,2,4,6
/proc/3513/task/3521/stat : 3521 (java) S 3511 3513 1585 0 -1 4202560 22 0 0 0 3 2 0 0 20 0 18 0 334809421 3028844544 130824 33554432000 1073741824 1073778376 140734135969968 140571021478440 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3522] ppid=3511 vsize=2957856 CPUtime=0.03 cores=0,2,4,6
/proc/3513/task/3522/stat : 3522 (java) S 3511 3513 1585 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 18 0 334809421 3028844544 130824 33554432000 1073741824 1073778376 140734135969968 140571020425384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3523] ppid=3511 vsize=2957856 CPUtime=0.03 cores=0,2,4,6
/proc/3513/task/3523/stat : 3523 (java) S 3511 3513 1585 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 18 0 334809421 3028844544 130824 33554432000 1073741824 1073778376 140734135969968 140571019372840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3524] ppid=3511 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3524/stat : 3524 (java) S 3511 3513 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 334809422 3028844544 130824 33554432000 1073741824 1073778376 140734135969968 140571006962536 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3513/tid=3525] ppid=3511 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3525/stat : 3525 (java) S 3511 3513 1585 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 334809422 3028844544 130824 33554432000 1073741824 1073778376 140734135969968 140571005908856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3526] ppid=3511 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3526/stat : 3526 (java) S 3511 3513 1585 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 334809422 3028844544 130824 33554432000 1073741824 1073778376 140734135969968 140571004855688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3527] ppid=3511 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3527/stat : 3527 (java) S 3511 3513 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334809425 3028844544 130824 33554432000 1073741824 1073778376 140734135969968 140571003804432 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3528] ppid=3511 vsize=2957856 CPUtime=0.32 cores=0,2,4,6
/proc/3513/task/3528/stat : 3528 (java) S 3511 3513 1585 0 -1 4202560 2536 0 0 0 32 0 0 0 20 0 18 0 334809425 3028844544 130824 33554432000 1073741824 1073778376 140734135969968 140571002751288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3529] ppid=3511 vsize=2957856 CPUtime=0.26 cores=0,2,4,6
/proc/3513/task/3529/stat : 3529 (java) S 3511 3513 1585 0 -1 4202560 2289 0 0 0 26 0 0 0 20 0 18 0 334809425 3028844544 130824 33554432000 1073741824 1073778376 140734135969968 140571001698744 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3513/tid=3530] ppid=3511 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3530/stat : 3530 (java) S 3511 3513 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334809425 3028844544 130824 33554432000 1073741824 1073778376 140734135969968 140571000645880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3513/tid=3531] ppid=3511 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3531/stat : 3531 (java) S 3511 3513 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334809425 3028844544 130824 33554432000 1073741824 1073778376 140734135969968 140570999593544 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 2957856
[startup+6.30072 s]
/proc/loadavg: 2.09 2.09 2.06 3/215 3532
/proc/meminfo: memFree=28422536/32873648 swapFree=7116/7116
[pid=3513] ppid=3511 vsize=3024420 CPUtime=7.73 cores=0,2,4,6
/proc/3513/stat : 3513 (java) S 3511 3513 1585 0 -1 4202496 10705 0 1 0 754 19 0 0 20 0 19 0 334809419 3097006080 131206 33554432000 1073741824 1073778376 140734135969968 140734135961104 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3513/statm: 756105 131206 2293 9 0 746526 0
[pid=3513/tid=3515] ppid=3511 vsize=3024420 CPUtime=6.13 cores=0,2,4,6
/proc/3513/task/3515/stat : 3515 (java) R 3511 3513 1585 0 -1 4202560 2736 0 1 0 603 10 0 0 20 0 19 0 334809420 3097006080 131206 33554432000 1073741824 1073778376 140734135969968 140571043316136 140570874728175 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3513/tid=3516] ppid=3511 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/3513/task/3516/stat : 3516 (java) S 3511 3513 1585 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 19 0 334809421 3097006080 131206 33554432000 1073741824 1073778376 140734135969968 140571026742184 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3513/tid=3517] ppid=3511 vsize=3024420 CPUtime=0.05 cores=0,2,4,6
/proc/3513/task/3517/stat : 3517 (java) S 3511 3513 1585 0 -1 4202560 18 0 0 0 5 0 0 0 20 0 19 0 334809421 3097006080 131206 33554432000 1073741824 1073778376 140734135969968 140571025689640 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3513/tid=3518] ppid=3511 vsize=3024420 CPUtime=0.05 cores=0,2,4,6
/proc/3513/task/3518/stat : 3518 (java) S 3511 3513 1585 0 -1 4202560 22 0 0 0 5 0 0 0 20 0 19 0 334809421 3097006080 131206 33554432000 1073741824 1073778376 140734135969968 140571024636584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3513/tid=3519] ppid=3511 vsize=3024420 CPUtime=0.11 cores=0,2,4,6
/proc/3513/task/3519/stat : 3519 (java) S 3511 3513 1585 0 -1 4202560 45 0 0 0 9 2 0 0 20 0 19 0 334809421 3097006080 131206 33554432000 1073741824 1073778376 140734135969968 140571023584040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3513/tid=3520] ppid=3511 vsize=3024420 CPUtime=0.05 cores=0,2,4,6
/proc/3513/task/3520/stat : 3520 (java) S 3511 3513 1585 0 -1 4202560 18 0 0 0 4 1 0 0 20 0 19 0 334809421 3097006080 131206 33554432000 1073741824 1073778376 140734135969968 140571022530984 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3513/tid=3521] ppid=3511 vsize=3024420 CPUtime=0.05 cores=0,2,4,6
/proc/3513/task/3521/stat : 3521 (java) S 3511 3513 1585 0 -1 4202560 22 0 0 0 3 2 0 0 20 0 19 0 334809421 3097006080 131206 33554432000 1073741824 1073778376 140734135969968 140571021478440 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3522] ppid=3511 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/3513/task/3522/stat : 3522 (java) S 3511 3513 1585 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 19 0 334809421 3097006080 131206 33554432000 1073741824 1073778376 140734135969968 140571020425384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3523] ppid=3511 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/3513/task/3523/stat : 3523 (java) S 3511 3513 1585 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 19 0 334809421 3097006080 131206 33554432000 1073741824 1073778376 140734135969968 140571019372840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3524] ppid=3511 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3524/stat : 3524 (java) S 3511 3513 1585 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 334809422 3097006080 131206 33554432000 1073741824 1073778376 140734135969968 140571006962536 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3525] ppid=3511 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3525/stat : 3525 (java) S 3511 3513 1585 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334809422 3097006080 131206 33554432000 1073741824 1073778376 140734135969968 140571005908856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3526] ppid=3511 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3526/stat : 3526 (java) S 3511 3513 1585 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334809422 3097006080 131206 33554432000 1073741824 1073778376 140734135969968 140571004855688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3527] ppid=3511 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3527/stat : 3527 (java) S 3511 3513 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334809425 3097006080 131206 33554432000 1073741824 1073778376 140734135969968 140571003804432 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3528] ppid=3511 vsize=3024420 CPUtime=0.54 cores=0,2,4,6
/proc/3513/task/3528/stat : 3528 (java) S 3511 3513 1585 0 -1 4202560 2738 0 0 0 54 0 0 0 20 0 19 0 334809425 3097006080 131206 33554432000 1073741824 1073778376 140734135969968 140571002751288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3529] ppid=3511 vsize=3024420 CPUtime=0.5 cores=0,2,4,6
/proc/3513/task/3529/stat : 3529 (java) S 3511 3513 1585 0 -1 4202560 3866 0 0 0 50 0 0 0 20 0 19 0 334809425 3097006080 131206 33554432000 1073741824 1073778376 140734135969968 140571001698744 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3513/tid=3530] ppid=3511 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3530/stat : 3530 (java) S 3511 3513 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334809425 3097006080 131206 33554432000 1073741824 1073778376 140734135969968 140571000645880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3513/tid=3531] ppid=3511 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3531/stat : 3531 (java) S 3511 3513 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334809425 3097006080 131206 33554432000 1073741824 1073778376 140734135969968 140570999593544 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3513/tid=3532] ppid=3511 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3532/stat : 3532 (java) S 3511 3513 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334809741 3097006080 131206 33554432000 1073741824 1073778376 140734135969968 140570997392936 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.73
Current children cumulated vsize (KiB) 3024420
[startup+12.7007 s]
/proc/loadavg: 2.08 2.09 2.05 3/214 3532
/proc/meminfo: memFree=28421692/32873648 swapFree=7116/7116
[pid=3513] ppid=3511 vsize=3024420 CPUtime=14.17 cores=0,2,4,6
/proc/3513/stat : 3513 (java) S 3511 3513 1585 0 -1 4202496 10712 0 1 0 1398 19 0 0 20 0 19 0 334809419 3097006080 131212 33554432000 1073741824 1073778376 140734135969968 140734135961104 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
################
# More data... #
################
/proc/3513/task/3519/stat : 3519 (java) S 3511 3513 1585 0 -1 4202560 292 0 0 0 42 17 0 0 20 0 19 0 334809421 3097006080 418621 33554432000 1073741824 1073778376 140734135969968 140571023584040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3513/tid=3520] ppid=3511 vsize=3024420 CPUtime=0.78 cores=0,2,4,6
/proc/3513/task/3520/stat : 3520 (java) S 3511 3513 1585 0 -1 4202560 510 0 0 0 49 29 0 0 20 0 19 0 334809421 3097006080 418621 33554432000 1073741824 1073778376 140734135969968 140571022530984 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3513/tid=3521] ppid=3511 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/3513/task/3521/stat : 3521 (java) S 3511 3513 1585 0 -1 4202560 348 0 0 0 36 22 0 0 20 0 19 0 334809421 3097006080 418621 33554432000 1073741824 1073778376 140734135969968 140571021478440 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3522] ppid=3511 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/3513/task/3522/stat : 3522 (java) S 3511 3513 1585 0 -1 4202560 243 0 0 0 30 15 0 0 20 0 19 0 334809421 3097006080 418621 33554432000 1073741824 1073778376 140734135969968 140571020425384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3513/tid=3523] ppid=3511 vsize=3024420 CPUtime=0.53 cores=0,2,4,6
/proc/3513/task/3523/stat : 3523 (java) S 3511 3513 1585 0 -1 4202560 243 0 0 0 38 15 0 0 20 0 19 0 334809421 3097006080 418621 33554432000 1073741824 1073778376 140734135969968 140571019372840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3513/tid=3524] ppid=3511 vsize=3024420 CPUtime=5.12 cores=0,2,4,6
/proc/3513/task/3524/stat : 3524 (java) R 3511 3513 1585 0 -1 4202560 74 0 0 0 510 2 0 0 20 0 19 0 334809422 3097006080 418621 33554432000 1073741824 1073778376 140734135969968 140571006962472 140571049824378 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=3513/tid=3525] ppid=3511 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3525/stat : 3525 (java) S 3511 3513 1585 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334809422 3097006080 418621 33554432000 1073741824 1073778376 140734135969968 140571005908856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3526] ppid=3511 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3526/stat : 3526 (java) S 3511 3513 1585 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334809422 3097006080 418621 33554432000 1073741824 1073778376 140734135969968 140571004852984 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3527] ppid=3511 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3527/stat : 3527 (java) S 3511 3513 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334809425 3097006080 418621 33554432000 1073741824 1073778376 140734135969968 140571003804432 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3528] ppid=3511 vsize=3024420 CPUtime=0.61 cores=0,2,4,6
/proc/3513/task/3528/stat : 3528 (java) S 3511 3513 1585 0 -1 4202560 2748 0 0 0 61 0 0 0 20 0 19 0 334809425 3097006080 418621 33554432000 1073741824 1073778376 140734135969968 140571002751288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3529] ppid=3511 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/3513/task/3529/stat : 3529 (java) S 3511 3513 1585 0 -1 4202560 3875 0 0 0 56 0 0 0 20 0 19 0 334809425 3097006080 418621 33554432000 1073741824 1073778376 140734135969968 140571001698744 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3513/tid=3530] ppid=3511 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3530/stat : 3530 (java) S 3511 3513 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334809425 3097006080 418621 33554432000 1073741824 1073778376 140734135969968 140571000645880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3513/tid=3531] ppid=3511 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/3513/task/3531/stat : 3531 (java) S 3511 3513 1585 0 -1 4202560 61 0 0 0 16 17 0 0 20 0 19 0 334809425 3097006080 418621 33554432000 1073741824 1073778376 140734135969968 140570999593544 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3513/tid=3532] ppid=3511 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3532/stat : 3532 (java) S 3511 3513 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334809741 3097006080 418621 33554432000 1073741824 1073778376 140734135969968 140570997392936 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1066.84
Current children cumulated vsize (KiB) 3024420
Solver just ended. Dumping a history of the last processes samples
[startup+1063.1 s]
/proc/loadavg: 2.07 2.06 2.06 3/214 3598
/proc/meminfo: memFree=26832776/32873648 swapFree=7116/7116
[pid=3513] ppid=3511 vsize=3090984 CPUtime=1067.65 cores=0,2,4,6
/proc/3513/stat : 3513 (java) S 3511 3513 1585 0 -1 4202496 13213 0 1 0 106584 181 0 0 20 0 20 0 334809419 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140734135961104 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3513/statm: 772746 418634 2309 9 0 763167 0
[pid=3513/tid=3515] ppid=3511 vsize=3090984 CPUtime=1055.79 cores=0,2,4,6
/proc/3513/task/3515/stat : 3515 (java) S 3511 3513 1585 0 -1 4202560 2761 0 1 0 105549 30 0 0 20 0 20 0 334809420 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571043316920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3513/tid=3516] ppid=3511 vsize=3090984 CPUtime=0.46 cores=0,2,4,6
/proc/3513/task/3516/stat : 3516 (java) S 3511 3513 1585 0 -1 4202560 297 0 0 0 31 15 0 0 20 0 20 0 334809421 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571026742184 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3513/tid=3517] ppid=3511 vsize=3090984 CPUtime=0.55 cores=0,2,4,6
/proc/3513/task/3517/stat : 3517 (java) S 3511 3513 1585 0 -1 4202560 266 0 0 0 39 16 0 0 20 0 20 0 334809421 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571025689640 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3513/tid=3518] ppid=3511 vsize=3090984 CPUtime=0.51 cores=0,2,4,6
/proc/3513/task/3518/stat : 3518 (java) S 3511 3513 1585 0 -1 4202560 303 0 0 0 33 18 0 0 20 0 20 0 334809421 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571024636584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3513/tid=3519] ppid=3511 vsize=3090984 CPUtime=0.59 cores=0,2,4,6
/proc/3513/task/3519/stat : 3519 (java) S 3511 3513 1585 0 -1 4202560 292 0 0 0 42 17 0 0 20 0 20 0 334809421 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571023584040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3513/tid=3520] ppid=3511 vsize=3090984 CPUtime=0.78 cores=0,2,4,6
/proc/3513/task/3520/stat : 3520 (java) S 3511 3513 1585 0 -1 4202560 510 0 0 0 49 29 0 0 20 0 20 0 334809421 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571022530984 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3513/tid=3521] ppid=3511 vsize=3090984 CPUtime=0.58 cores=0,2,4,6
/proc/3513/task/3521/stat : 3521 (java) S 3511 3513 1585 0 -1 4202560 348 0 0 0 36 22 0 0 20 0 20 0 334809421 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571021478440 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3522] ppid=3511 vsize=3090984 CPUtime=0.45 cores=0,2,4,6
/proc/3513/task/3522/stat : 3522 (java) S 3511 3513 1585 0 -1 4202560 243 0 0 0 30 15 0 0 20 0 20 0 334809421 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571020425384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3513/tid=3523] ppid=3511 vsize=3090984 CPUtime=0.53 cores=0,2,4,6
/proc/3513/task/3523/stat : 3523 (java) S 3511 3513 1585 0 -1 4202560 243 0 0 0 38 15 0 0 20 0 20 0 334809421 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571019372840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3513/tid=3524] ppid=3511 vsize=3090984 CPUtime=5.92 cores=0,2,4,6
/proc/3513/task/3524/stat : 3524 (java) R 3511 3513 1585 0 -1 4202560 76 0 0 0 590 2 0 0 20 0 20 0 334809422 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571006962536 140571049439979 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=3513/tid=3525] ppid=3511 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3525/stat : 3525 (java) S 3511 3513 1585 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 334809422 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571005908856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3526] ppid=3511 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3526/stat : 3526 (java) S 3511 3513 1585 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 334809422 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571004855688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3527] ppid=3511 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3527/stat : 3527 (java) S 3511 3513 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334809425 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571003804432 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3528] ppid=3511 vsize=3090984 CPUtime=0.61 cores=0,2,4,6
/proc/3513/task/3528/stat : 3528 (java) S 3511 3513 1585 0 -1 4202560 2748 0 0 0 61 0 0 0 20 0 20 0 334809425 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571002751288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3529] ppid=3511 vsize=3090984 CPUtime=0.56 cores=0,2,4,6
/proc/3513/task/3529/stat : 3529 (java) S 3511 3513 1585 0 -1 4202560 3875 0 0 0 56 0 0 0 20 0 20 0 334809425 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571001698744 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3513/tid=3530] ppid=3511 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3530/stat : 3530 (java) S 3511 3513 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334809425 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571000645880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3513/tid=3531] ppid=3511 vsize=3090984 CPUtime=0.33 cores=0,2,4,6
/proc/3513/task/3531/stat : 3531 (java) S 3511 3513 1585 0 -1 4202560 61 0 0 0 16 17 0 0 20 0 20 0 334809425 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140570999593544 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3513/tid=3532] ppid=3511 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3532/stat : 3532 (java) S 3511 3513 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 334809741 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140570997392936 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1067.65
Current children cumulated vsize (KiB) 3090984
[startup+1063.9 s]
/proc/loadavg: 2.07 2.06 2.06 3/215 3599
/proc/meminfo: memFree=26832528/32873648 swapFree=7116/7116
[pid=3513] ppid=3511 vsize=3090984 CPUtime=1068.44 cores=0,2,4,6
/proc/3513/stat : 3513 (java) S 3511 3513 1585 0 -1 4202496 13216 0 1 0 106663 181 0 0 20 0 20 0 334809419 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140734135961104 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3513/statm: 772746 418634 2309 9 0 763167 0
[pid=3513/tid=3515] ppid=3511 vsize=3090984 CPUtime=1055.79 cores=0,2,4,6
/proc/3513/task/3515/stat : 3515 (java) S 3511 3513 1585 0 -1 4202560 2761 0 1 0 105549 30 0 0 20 0 20 0 334809420 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571043316920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3513/tid=3516] ppid=3511 vsize=3090984 CPUtime=0.46 cores=0,2,4,6
/proc/3513/task/3516/stat : 3516 (java) S 3511 3513 1585 0 -1 4202560 297 0 0 0 31 15 0 0 20 0 20 0 334809421 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571026742184 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3513/tid=3517] ppid=3511 vsize=3090984 CPUtime=0.55 cores=0,2,4,6
/proc/3513/task/3517/stat : 3517 (java) S 3511 3513 1585 0 -1 4202560 266 0 0 0 39 16 0 0 20 0 20 0 334809421 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571025689640 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3513/tid=3518] ppid=3511 vsize=3090984 CPUtime=0.51 cores=0,2,4,6
/proc/3513/task/3518/stat : 3518 (java) S 3511 3513 1585 0 -1 4202560 303 0 0 0 33 18 0 0 20 0 20 0 334809421 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571024636584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3513/tid=3519] ppid=3511 vsize=3090984 CPUtime=0.59 cores=0,2,4,6
/proc/3513/task/3519/stat : 3519 (java) S 3511 3513 1585 0 -1 4202560 292 0 0 0 42 17 0 0 20 0 20 0 334809421 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571023584040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3513/tid=3520] ppid=3511 vsize=3090984 CPUtime=0.78 cores=0,2,4,6
/proc/3513/task/3520/stat : 3520 (java) S 3511 3513 1585 0 -1 4202560 510 0 0 0 49 29 0 0 20 0 20 0 334809421 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571022530984 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3513/tid=3521] ppid=3511 vsize=3090984 CPUtime=0.58 cores=0,2,4,6
/proc/3513/task/3521/stat : 3521 (java) S 3511 3513 1585 0 -1 4202560 348 0 0 0 36 22 0 0 20 0 20 0 334809421 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571021478440 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3522] ppid=3511 vsize=3090984 CPUtime=0.45 cores=0,2,4,6
/proc/3513/task/3522/stat : 3522 (java) S 3511 3513 1585 0 -1 4202560 243 0 0 0 30 15 0 0 20 0 20 0 334809421 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571020425384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3513/tid=3523] ppid=3511 vsize=3090984 CPUtime=0.53 cores=0,2,4,6
/proc/3513/task/3523/stat : 3523 (java) S 3511 3513 1585 0 -1 4202560 243 0 0 0 38 15 0 0 20 0 20 0 334809421 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571019372840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3513/tid=3524] ppid=3511 vsize=3090984 CPUtime=6.72 cores=0,2,4,6
/proc/3513/task/3524/stat : 3524 (java) R 3511 3513 1585 0 -1 4202560 76 0 0 0 670 2 0 0 20 0 20 0 334809422 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571006962536 140571049442447 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=3513/tid=3525] ppid=3511 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3525/stat : 3525 (java) S 3511 3513 1585 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 334809422 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571005908856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3526] ppid=3511 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3526/stat : 3526 (java) S 3511 3513 1585 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 334809422 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571004855688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3527] ppid=3511 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3527/stat : 3527 (java) S 3511 3513 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334809425 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571003804432 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3528] ppid=3511 vsize=3090984 CPUtime=0.61 cores=0,2,4,6
/proc/3513/task/3528/stat : 3528 (java) S 3511 3513 1585 0 -1 4202560 2748 0 0 0 61 0 0 0 20 0 20 0 334809425 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571002751288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3529] ppid=3511 vsize=3090984 CPUtime=0.56 cores=0,2,4,6
/proc/3513/task/3529/stat : 3529 (java) S 3511 3513 1585 0 -1 4202560 3875 0 0 0 56 0 0 0 20 0 20 0 334809425 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571001698744 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3513/tid=3530] ppid=3511 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3530/stat : 3530 (java) S 3511 3513 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334809425 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571000645880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3513/tid=3531] ppid=3511 vsize=3090984 CPUtime=0.34 cores=0,2,4,6
/proc/3513/task/3531/stat : 3531 (java) S 3511 3513 1585 0 -1 4202560 61 0 0 0 16 18 0 0 20 0 20 0 334809425 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140570999593544 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3513/tid=3532] ppid=3511 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3532/stat : 3532 (java) S 3511 3513 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 334809741 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140570997392936 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3513/tid=3599] ppid=3511 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3599/stat : 3599 (java) S 3511 3513 1585 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 334915725 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140570996338920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1068.44
Current children cumulated vsize (KiB) 3090984
[startup+1064.3 s]
/proc/loadavg: 2.07 2.06 2.06 3/215 3599
/proc/meminfo: memFree=26832528/32873648 swapFree=7116/7116
[pid=3513] ppid=3511 vsize=3090984 CPUtime=1068.84 cores=0,2,4,6
/proc/3513/stat : 3513 (java) S 3511 3513 1585 0 -1 4202496 13216 0 1 0 106703 181 0 0 20 0 20 0 334809419 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140734135961104 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3513/statm: 772746 418634 2309 9 0 763167 0
[pid=3513/tid=3515] ppid=3511 vsize=3090984 CPUtime=1055.79 cores=0,2,4,6
/proc/3513/task/3515/stat : 3515 (java) S 3511 3513 1585 0 -1 4202560 2761 0 1 0 105549 30 0 0 20 0 20 0 334809420 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571043316920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3513/tid=3516] ppid=3511 vsize=3090984 CPUtime=0.46 cores=0,2,4,6
/proc/3513/task/3516/stat : 3516 (java) S 3511 3513 1585 0 -1 4202560 297 0 0 0 31 15 0 0 20 0 20 0 334809421 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571026742184 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3513/tid=3517] ppid=3511 vsize=3090984 CPUtime=0.55 cores=0,2,4,6
/proc/3513/task/3517/stat : 3517 (java) S 3511 3513 1585 0 -1 4202560 266 0 0 0 39 16 0 0 20 0 20 0 334809421 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571025689640 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3513/tid=3518] ppid=3511 vsize=3090984 CPUtime=0.51 cores=0,2,4,6
/proc/3513/task/3518/stat : 3518 (java) S 3511 3513 1585 0 -1 4202560 303 0 0 0 33 18 0 0 20 0 20 0 334809421 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571024636584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3513/tid=3519] ppid=3511 vsize=3090984 CPUtime=0.59 cores=0,2,4,6
/proc/3513/task/3519/stat : 3519 (java) S 3511 3513 1585 0 -1 4202560 292 0 0 0 42 17 0 0 20 0 20 0 334809421 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571023584040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3513/tid=3520] ppid=3511 vsize=3090984 CPUtime=0.78 cores=0,2,4,6
/proc/3513/task/3520/stat : 3520 (java) S 3511 3513 1585 0 -1 4202560 510 0 0 0 49 29 0 0 20 0 20 0 334809421 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571022530984 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3513/tid=3521] ppid=3511 vsize=3090984 CPUtime=0.58 cores=0,2,4,6
/proc/3513/task/3521/stat : 3521 (java) S 3511 3513 1585 0 -1 4202560 348 0 0 0 36 22 0 0 20 0 20 0 334809421 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571021478440 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3522] ppid=3511 vsize=3090984 CPUtime=0.45 cores=0,2,4,6
/proc/3513/task/3522/stat : 3522 (java) S 3511 3513 1585 0 -1 4202560 243 0 0 0 30 15 0 0 20 0 20 0 334809421 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571020425384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3513/tid=3523] ppid=3511 vsize=3090984 CPUtime=0.53 cores=0,2,4,6
/proc/3513/task/3523/stat : 3523 (java) S 3511 3513 1585 0 -1 4202560 243 0 0 0 38 15 0 0 20 0 20 0 334809421 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571019372840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3513/tid=3524] ppid=3511 vsize=3090984 CPUtime=7.12 cores=0,2,4,6
/proc/3513/task/3524/stat : 3524 (java) R 3511 3513 1585 0 -1 4202560 76 0 0 0 710 2 0 0 20 0 20 0 334809422 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571006962536 214537093392 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=3513/tid=3525] ppid=3511 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3525/stat : 3525 (java) S 3511 3513 1585 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 334809422 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571005908856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3526] ppid=3511 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3526/stat : 3526 (java) S 3511 3513 1585 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 334809422 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571004855688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3527] ppid=3511 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3527/stat : 3527 (java) S 3511 3513 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334809425 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571003804432 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3528] ppid=3511 vsize=3090984 CPUtime=0.61 cores=0,2,4,6
/proc/3513/task/3528/stat : 3528 (java) S 3511 3513 1585 0 -1 4202560 2748 0 0 0 61 0 0 0 20 0 20 0 334809425 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571002751288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3513/tid=3529] ppid=3511 vsize=3090984 CPUtime=0.56 cores=0,2,4,6
/proc/3513/task/3529/stat : 3529 (java) S 3511 3513 1585 0 -1 4202560 3875 0 0 0 56 0 0 0 20 0 20 0 334809425 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571001698744 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3513/tid=3530] ppid=3511 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3530/stat : 3530 (java) S 3511 3513 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334809425 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140571000645880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3513/tid=3531] ppid=3511 vsize=3090984 CPUtime=0.34 cores=0,2,4,6
/proc/3513/task/3531/stat : 3531 (java) S 3511 3513 1585 0 -1 4202560 61 0 0 0 16 18 0 0 20 0 20 0 334809425 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140570999593544 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3513/tid=3532] ppid=3511 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3532/stat : 3532 (java) S 3511 3513 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 334809741 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140570997392936 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3513/tid=3599] ppid=3511 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3599/stat : 3599 (java) S 3511 3513 1585 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 334915725 3165167616 418634 33554432000 1073741824 1073778376 140734135969968 140570996338920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1068.84
Current children cumulated vsize (KiB) 3090984
Child status: 1
Real time (s): 1064.34
CPU time (s): 1069.18
CPU user time (s): 1067.07
CPU system time (s): 2.11568
CPU usage (%): 100.455
Max. virtual memory (cumulated for all children) (KiB): 3090984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1067.07
system time used= 2.11568
maximum resident set size= 1674564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13227
page faults= 1
swaps= 0
block input operations= 0
block output operations= 768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22975
involuntary context switches= 15888
runsolver used 4.47532 second user time and 10.3854 second system time
The end