runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4255317-1501619273/watcher-4255317-1501619273 -o /tmp/evaluation-result-4255317-1501619273/solver-4255317-1501619273 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501617179-10853 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 827940553 HOME/instance-4255317-1501619273.xml
pid=12241
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.48 1.71 1.84 4/196 12244
/proc/meminfo: memFree=31469276/32770624 swapFree=0/189600
[pid=12244] ppid=12241 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/12244/stat : 12244 (runsolver) D 12241 12244 5091 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10550411 24240128 107 18446744073709551615 4194304 4338465 140735401731296 140735401728936 140679741723351 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 36835328 140735401738333 140735401738822 140735401738822 140735401742282 0
/proc/12244/statm: 5918 107 54 36 0 2156 0
[startup+0.100113 s]
/proc/loadavg: 1.48 1.71 1.84 4/196 12244
/proc/meminfo: memFree=31469276/32770624 swapFree=0/189600
[pid=12244] ppid=12241 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12244/stat : 12244 (xcsp3-exec) S 12241 12244 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10550411 9740288 345 18446744073709551615 4194304 5098028 140733734559728 140733734557832 140186134413948 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 35819520 140733734568348 140733734568551 140733734568551 140733734572011 0
/proc/12244/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200329 s]
/proc/loadavg: 1.48 1.71 1.84 4/196 12244
/proc/meminfo: memFree=31469276/32770624 swapFree=0/189600
[pid=12244] ppid=12241 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12244/stat : 12244 (xcsp3-exec) S 12241 12244 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10550411 9740288 345 18446744073709551615 4194304 5098028 140733734559728 140733734557832 140186134413948 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 35819520 140733734568348 140733734568551 140733734568551 140733734572011 0
/proc/12244/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30025 s]
/proc/loadavg: 1.48 1.71 1.84 4/196 12244
/proc/meminfo: memFree=31469276/32770624 swapFree=0/189600
[pid=12244] ppid=12241 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12244/stat : 12244 (xcsp3-exec) S 12241 12244 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10550411 9740288 345 18446744073709551615 4194304 5098028 140733734559728 140733734557832 140186134413948 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 35819520 140733734568348 140733734568551 140733734568551 140733734572011 0
/proc/12244/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70692 s]
/proc/loadavg: 1.48 1.71 1.84 4/196 12244
/proc/meminfo: memFree=31469276/32770624 swapFree=0/189600
[pid=12244] ppid=12241 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12244/stat : 12244 (xcsp3-exec) S 12241 12244 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10550411 9740288 345 18446744073709551615 4194304 5098028 140733734559728 140733734557832 140186134413948 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 35819520 140733734568348 140733734568551 140733734568551 140733734572011 0
/proc/12244/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50069 s]
/proc/loadavg: 1.48 1.71 1.84 5/212 12260
/proc/meminfo: memFree=31380936/32770624 swapFree=0/189592
[pid=12244] ppid=12241 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12244/stat : 12244 (xcsp3-exec) S 12241 12244 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10550411 9740288 345 18446744073709551615 4194304 5098028 140733734559728 140733734557832 140186134413948 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 35819520 140733734568348 140733734568551 140733734568551 140733734572011 0
/proc/12244/statm: 2378 345 289 221 0 87 0
[pid=12246] ppid=12244 vsize=13980732 CPUtime=3.77 cores=0,2,4,6
/proc/12246/stat : 12246 (java) S 12244 12244 5091 0 -1 1077944320 32746 0 0 0 368 9 0 0 20 0 15 0 10550417 14316269568 33799 18446744073709551615 4194304 4196468 140734472672624 140734472655168 140325629947639 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
/proc/12246/statm: 3495183 33799 3185 1 0 3483484 0
[pid=12246/tid=12247] ppid=12244 vsize=13980732 CPUtime=1.37 cores=0,2,4,6
/proc/12246/task/12247/stat : 12247 (java) R 12244 12244 5091 0 -1 4202560 9412 0 0 0 134 3 0 0 20 0 15 0 10550417 14316269568 33799 18446744073709551615 4194304 4196468 140734472672624 140325634184496 140325259899678 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12248] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12248/stat : 12248 (java) S 12244 12244 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10550418 14316269568 33799 18446744073709551615 4194304 4196468 140734472672624 140325586913680 140325629957845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12249] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12249/stat : 12249 (java) S 12244 12244 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10550418 14316269568 33799 18446744073709551615 4194304 4196468 140734472672624 140325585860880 140325629957845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12250] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12250/stat : 12250 (java) S 12244 12244 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10550418 14316269568 33799 18446744073709551615 4194304 4196468 140734472672624 140325584808592 140325629957845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12251] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12251/stat : 12251 (java) S 12244 12244 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10550418 14316269568 33799 18446744073709551615 4194304 4196468 140734472672624 140325583755792 140325629957845 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12252] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12252/stat : 12252 (java) S 12244 12244 5091 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10550419 14316269568 33799 18446744073709551615 4194304 4196468 140734472672624 140325175712368 140325629958786 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12253] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12253/stat : 12253 (java) S 12244 12244 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10550420 14316269568 33799 18446744073709551615 4194304 4196468 140734472672624 140325174658336 140325629957845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12254] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12254/stat : 12254 (java) S 12244 12244 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10550420 14316269568 33799 18446744073709551615 4194304 4196468 140734472672624 140325173606000 140325629957845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12255] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12255/stat : 12255 (java) S 12244 12244 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10550422 14316269568 33799 18446744073709551615 4194304 4196468 140734472672624 140325172554320 140325629966235 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12256] ppid=12244 vsize=13980732 CPUtime=0.94 cores=0,2,4,6
/proc/12246/task/12256/stat : 12256 (java) R 12244 12244 5091 0 -1 4202560 6160 0 0 0 93 1 0 0 20 0 15 0 10550422 14316269568 33799 18446744073709551615 4194304 4196468 140734472672624 140325104372504 140325613431659 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12257] ppid=12244 vsize=13980732 CPUtime=0.96 cores=0,2,4,6
/proc/12246/task/12257/stat : 12257 (java) R 12244 12244 5091 0 -1 4202560 12407 0 0 0 94 2 0 0 20 0 15 0 10550422 14316269568 33799 18446744073709551615 4194304 4196468 140734472672624 140325103308232 140325611491857 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12258] ppid=12244 vsize=13980732 CPUtime=0.46 cores=0,2,4,6
/proc/12246/task/12258/stat : 12258 (java) S 12244 12244 5091 0 -1 1077944384 3456 0 0 0 45 1 0 0 20 0 15 0 10550422 14316269568 33799 18446744073709551615 4194304 4196468 140734472672624 140325102274928 140325629958786 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12259] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12259/stat : 12259 (java) S 12244 12244 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10550423 14316269568 33799 18446744073709551615 4194304 4196468 140734472672624 140325101222368 140325629957845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12260] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12260/stat : 12260 (java) S 12244 12244 5091 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 10550428 14316269568 33799 18446744073709551615 4194304 4196468 140734472672624 140325100170160 140325629958786 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
Current children cumulated CPU time (s) 3.77
Current children cumulated vsize (KiB) 13990244
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 12246 sig 9
??? kill 12244 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60085 s]
/proc/loadavg: 1.48 1.71 1.84 5/212 12260
/proc/meminfo: memFree=31380936/32770624 swapFree=0/189592
[pid=12244] ppid=12241 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12244/stat : 12244 (xcsp3-exec) S 12241 12244 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10550411 9740288 345 18446744073709551615 4194304 5098028 140733734559728 140733734557832 140186134413948 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 35819520 140733734568348 140733734568551 140733734568551 140733734572011 0
/proc/12244/statm: 2378 345 289 221 0 87 0
[pid=12246] ppid=12244 vsize=13980732 CPUtime=4.07 cores=0,2,4,6
/proc/12246/stat : 12246 (java) S 12244 12244 5091 0 -1 1077944320 32868 0 0 0 398 9 0 0 20 0 15 0 10550417 14316269568 34863 18446744073709551615 4194304 4196468 140734472672624 140734472655168 140325629947639 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
/proc/12246/statm: 3495183 34863 3185 1 0 3483484 0
[pid=12246/tid=12247] ppid=12244 vsize=13980732 CPUtime=1.48 cores=0,2,4,6
/proc/12246/task/12247/stat : 12247 (java) R 12244 12244 5091 0 -1 4202560 9427 0 0 0 144 4 0 0 20 0 15 0 10550417 14316269568 34863 18446744073709551615 4194304 4196468 140734472672624 140325634183688 140325260513217 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12248] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12248/stat : 12248 (java) S 12244 12244 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10550418 14316269568 34863 18446744073709551615 4194304 4196468 140734472672624 140325586913680 140325629957845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12249] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12249/stat : 12249 (java) S 12244 12244 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10550418 14316269568 34863 18446744073709551615 4194304 4196468 140734472672624 140325585860880 140325629957845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12250] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12250/stat : 12250 (java) S 12244 12244 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10550418 14316269568 34863 18446744073709551615 4194304 4196468 140734472672624 140325584808592 140325629957845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12251] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12251/stat : 12251 (java) S 12244 12244 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10550418 14316269568 34863 18446744073709551615 4194304 4196468 140734472672624 140325583755792 140325629957845 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12252] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12252/stat : 12252 (java) S 12244 12244 5091 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10550419 14316269568 34863 18446744073709551615 4194304 4196468 140734472672624 140325175712368 140325629958786 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12253] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12253/stat : 12253 (java) S 12244 12244 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10550420 14316269568 34863 18446744073709551615 4194304 4196468 140734472672624 140325174658336 140325629957845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12254] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12254/stat : 12254 (java) S 12244 12244 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10550420 14316269568 34863 18446744073709551615 4194304 4196468 140734472672624 140325173606000 140325629957845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12255] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12255/stat : 12255 (java) S 12244 12244 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10550422 14316269568 34865 18446744073709551615 4194304 4196468 140734472672624 140325172554320 140325629966235 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12256] ppid=12244 vsize=13980732 CPUtime=1.04 cores=0,2,4,6
/proc/12246/task/12256/stat : 12256 (java) R 12244 12244 5091 0 -1 4202560 6219 0 0 0 103 1 0 0 20 0 15 0 10550422 14316269568 34865 18446744073709551615 4194304 4196468 140734472672624 140325104372504 140325609602849 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12257] ppid=12244 vsize=13980732 CPUtime=1.06 cores=0,2,4,6
/proc/12246/task/12257/stat : 12257 (java) R 12244 12244 5091 0 -1 4202560 12521 0 0 0 104 2 0 0 20 0 15 0 10550422 14316269568 34865 18446744073709551615 4194304 4196468 140734472672624 140325103314032 140325615056483 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12258] ppid=12244 vsize=13980732 CPUtime=0.47 cores=0,2,4,6
/proc/12246/task/12258/stat : 12258 (java) S 12244 12244 5091 0 -1 1077944384 3474 0 0 0 46 1 0 0 20 0 15 0 10550422 14316269568 34865 18446744073709551615 4194304 4196468 140734472672624 140325102274928 140325629958786 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12259] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12259/stat : 12259 (java) S 12244 12244 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10550423 14316269568 34865 18446744073709551615 4194304 4196468 140734472672624 140325101222368 140325629957845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12260] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12260/stat : 12260 (java) S 12244 12244 5091 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 10550428 14316269568 34865 18446744073709551615 4194304 4196468 140734472672624 140325100170160 140325629958786 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
Current children cumulated CPU time (s) 4.07
Current children cumulated vsize (KiB) 13990244
[startup+2.40069 s]
/proc/loadavg: 1.60 1.73 1.85 5/212 12260
/proc/meminfo: memFree=31277856/32770624 swapFree=0/189592
[pid=12244] ppid=12241 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12244/stat : 12244 (xcsp3-exec) S 12241 12244 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10550411 9740288 345 18446744073709551615 4194304 5098028 140733734559728 140733734557832 140186134413948 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 35819520 140733734568348 140733734568551 140733734568551 140733734572011 0
/proc/12244/statm: 2378 345 289 221 0 87 0
[pid=12246] ppid=12244 vsize=13980732 CPUtime=6.49 cores=0,2,4,6
/proc/12246/stat : 12246 (java) S 12244 12244 5091 0 -1 1077944320 43908 0 0 0 638 11 0 0 20 0 15 0 10550417 14316269568 52318 18446744073709551615 4194304 4196468 140734472672624 140734472655168 140325629947639 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
/proc/12246/statm: 3495183 52318 3191 1 0 3483484 0
[pid=12246/tid=12247] ppid=12244 vsize=13980732 CPUtime=2.27 cores=0,2,4,6
/proc/12246/task/12247/stat : 12247 (java) R 12244 12244 5091 0 -1 4202560 9833 0 0 0 223 4 0 0 20 0 15 0 10550417 14316269568 52318 18446744073709551615 4194304 4196468 140734472672624 140325634179704 140325259695586 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12248] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12248/stat : 12248 (java) S 12244 12244 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10550418 14316269568 52318 18446744073709551615 4194304 4196468 140734472672624 140325586913680 140325629957845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12249] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12249/stat : 12249 (java) S 12244 12244 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10550418 14316269568 52318 18446744073709551615 4194304 4196468 140734472672624 140325585860880 140325629957845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12250] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12250/stat : 12250 (java) S 12244 12244 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10550418 14316269568 52318 18446744073709551615 4194304 4196468 140734472672624 140325584808592 140325629957845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12251] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12251/stat : 12251 (java) S 12244 12244 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10550418 14316269568 52318 18446744073709551615 4194304 4196468 140734472672624 140325583755792 140325629957845 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12252] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12252/stat : 12252 (java) S 12244 12244 5091 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 15 0 10550419 14316269568 52318 18446744073709551615 4194304 4196468 140734472672624 140325175712368 140325629958786 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12253] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12253/stat : 12253 (java) S 12244 12244 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10550420 14316269568 52318 18446744073709551615 4194304 4196468 140734472672624 140325174658336 140325629957845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12254] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12254/stat : 12254 (java) S 12244 12244 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10550420 14316269568 52318 18446744073709551615 4194304 4196468 140734472672624 140325173606000 140325629957845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12255] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12255/stat : 12255 (java) S 12244 12244 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10550422 14316269568 52318 18446744073709551615 4194304 4196468 140734472672624 140325172554320 140325629966235 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12256] ppid=12244 vsize=13980732 CPUtime=1.85 cores=0,2,4,6
/proc/12246/task/12256/stat : 12256 (java) R 12244 12244 5091 0 -1 4202560 10521 0 0 0 183 2 0 0 20 0 15 0 10550422 14316269568 52318 18446744073709551615 4194304 4196468 140734472672624 140325104365064 140325614874072 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12257] ppid=12244 vsize=13980732 CPUtime=1.86 cores=0,2,4,6
/proc/12246/task/12257/stat : 12257 (java) R 12244 12244 5091 0 -1 4202560 18465 0 0 0 183 3 0 0 20 0 15 0 10550422 14316269568 52318 18446744073709551615 4194304 4196468 140734472672624 140325103327344 140325609194406 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12258] ppid=12244 vsize=13980732 CPUtime=0.48 cores=0,2,4,6
/proc/12246/task/12258/stat : 12258 (java) S 12244 12244 5091 0 -1 1077944384 3750 0 0 0 47 1 0 0 20 0 15 0 10550422 14316269568 52318 18446744073709551615 4194304 4196468 140734472672624 140325102274928 140325629958786 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12259] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12259/stat : 12259 (java) S 12244 12244 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10550423 14316269568 52318 18446744073709551615 4194304 4196468 140734472672624 140325101222368 140325629957845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12260] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12260/stat : 12260 (java) S 12244 12244 5091 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 10550428 14316269568 52318 18446744073709551615 4194304 4196468 140734472672624 140325100170160 140325629958786 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
Current children cumulated CPU time (s) 6.49
Current children cumulated vsize (KiB) 13990244
[startup+2.8007 s]
/proc/loadavg: 1.60 1.73 1.85 5/212 12260
/proc/meminfo: memFree=31277856/32770624 swapFree=0/189592
[pid=12244] ppid=12241 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12244/stat : 12244 (xcsp3-exec) S 12241 12244 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10550411 9740288 345 18446744073709551615 4194304 5098028 140733734559728 140733734557832 140186134413948 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 35819520 140733734568348 140733734568551 140733734568551 140733734572011 0
/proc/12244/statm: 2378 345 289 221 0 87 0
[pid=12246] ppid=12244 vsize=13980732 CPUtime=7.69 cores=0,2,4,6
/proc/12246/stat : 12246 (java) S 12244 12244 5091 0 -1 1077944320 44066 0 0 0 758 11 0 0 20 0 15 0 10550417 14316269568 58016 18446744073709551615 4194304 4196468 140734472672624 140734472655168 140325629947639 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
/proc/12246/statm: 3495183 58016 3191 1 0 3483484 0
[pid=12246/tid=12247] ppid=12244 vsize=13980732 CPUtime=2.67 cores=0,2,4,6
/proc/12246/task/12247/stat : 12247 (java) R 12244 12244 5091 0 -1 4202560 9865 0 0 0 262 5 0 0 20 0 15 0 10550417 14316269568 58016 18446744073709551615 4194304 4196468 140734472672624 140325634185808 140325260428525 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12248] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12248/stat : 12248 (java) S 12244 12244 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10550418 14316269568 58016 18446744073709551615 4194304 4196468 140734472672624 140325586913680 140325629957845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12249] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12249/stat : 12249 (java) S 12244 12244 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10550418 14316269568 58016 18446744073709551615 4194304 4196468 140734472672624 140325585860880 140325629957845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12250] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12250/stat : 12250 (java) S 12244 12244 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10550418 14316269568 58016 18446744073709551615 4194304 4196468 140734472672624 140325584808592 140325629957845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12251] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12251/stat : 12251 (java) S 12244 12244 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10550418 14316269568 58016 18446744073709551615 4194304 4196468 140734472672624 140325583755792 140325629957845 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12252] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12252/stat : 12252 (java) S 12244 12244 5091 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 10550419 14316269568 58016 18446744073709551615 4194304 4196468 140734472672624 140325175712368 140325629958786 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12253] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12253/stat : 12253 (java) S 12244 12244 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10550420 14316269568 58016 18446744073709551615 4194304 4196468 140734472672624 140325174658336 140325629957845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12254] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12254/stat : 12254 (java) S 12244 12244 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10550420 14316269568 58016 18446744073709551615 4194304 4196468 140734472672624 140325173606000 140325629957845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12255] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12255/stat : 12255 (java) S 12244 12244 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10550422 14316269568 58016 18446744073709551615 4194304 4196468 140734472672624 140325172554320 140325629966235 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12256] ppid=12244 vsize=13980732 CPUtime=2.25 cores=0,2,4,6
/proc/12246/task/12256/stat : 12256 (java) R 12244 12244 5091 0 -1 4202560 10559 0 0 0 223 2 0 0 20 0 15 0 10550422 14316269568 58016 18446744073709551615 4194304 4196468 140734472672624 140325104366368 140325614199936 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12257] ppid=12244 vsize=13980732 CPUtime=2.26 cores=0,2,4,6
/proc/12246/task/12257/stat : 12257 (java) R 12244 12244 5091 0 -1 4202560 18536 0 0 0 223 3 0 0 20 0 15 0 10550422 14316269568 58016 18446744073709551615 4194304 4196468 140734472672624 140325103326352 140325614339874 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12258] ppid=12244 vsize=13980732 CPUtime=0.48 cores=0,2,4,6
/proc/12246/task/12258/stat : 12258 (java) S 12244 12244 5091 0 -1 1077944384 3752 0 0 0 47 1 0 0 20 0 15 0 10550422 14316269568 58016 18446744073709551615 4194304 4196468 140734472672624 140325102274928 140325629958786 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12259] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12259/stat : 12259 (java) S 12244 12244 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10550423 14316269568 58016 18446744073709551615 4194304 4196468 140734472672624 140325101222368 140325629957845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12260] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12260/stat : 12260 (java) S 12244 12244 5091 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 10550428 14316269568 58016 18446744073709551615 4194304 4196468 140734472672624 140325100170160 140325629958786 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
Current children cumulated CPU time (s) 7.69
Current children cumulated vsize (KiB) 13990244
[startup+2.90068 s]
/proc/loadavg: 1.60 1.73 1.85 5/212 12260
/proc/meminfo: memFree=31277856/32770624 swapFree=0/189592
[pid=12244] ppid=12241 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12244/stat : 12244 (xcsp3-exec) S 12241 12244 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10550411 9740288 345 18446744073709551615 4194304 5098028 140733734559728 140733734557832 140186134413948 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 35819520 140733734568348 140733734568551 140733734568551 140733734572011 0
/proc/12244/statm: 2378 345 289 221 0 87 0
[pid=12246] ppid=12244 vsize=13980732 CPUtime=7.99 cores=0,2,4,6
/proc/12246/stat : 12246 (java) S 12244 12244 5091 0 -1 1077944320 44160 0 0 0 788 11 0 0 20 0 15 0 10550417 14316269568 59098 18446744073709551615 4194304 4196468 140734472672624 140734472655168 140325629947639 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
/proc/12246/statm: 3495183 59098 3191 1 0 3483484 0
[pid=12246/tid=12247] ppid=12244 vsize=13980732 CPUtime=2.77 cores=0,2,4,6
/proc/12246/task/12247/stat : 12247 (java) R 12244 12244 5091 0 -1 4202560 9882 0 0 0 272 5 0 0 20 0 15 0 10550417 14316269568 59098 18446744073709551615 4194304 4196468 140734472672624 140325634185808 140325260784087 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12248] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12248/stat : 12248 (java) S 12244 12244 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10550418 14316269568 59098 18446744073709551615 4194304 4196468 140734472672624 140325586913680 140325629957845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12249] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12249/stat : 12249 (java) S 12244 12244 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10550418 14316269568 59098 18446744073709551615 4194304 4196468 140734472672624 140325585860880 140325629957845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12250] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12250/stat : 12250 (java) S 12244 12244 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10550418 14316269568 59098 18446744073709551615 4194304 4196468 140734472672624 140325584808592 140325629957845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12251] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12251/stat : 12251 (java) S 12244 12244 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10550418 14316269568 59098 18446744073709551615 4194304 4196468 140734472672624 140325583755792 140325629957845 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12252] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12252/stat : 12252 (java) S 12244 12244 5091 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 10550419 14316269568 59098 18446744073709551615 4194304 4196468 140734472672624 140325175712368 140325629958786 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12253] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12253/stat : 12253 (java) S 12244 12244 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10550420 14316269568 59098 18446744073709551615 4194304 4196468 140734472672624 140325174658336 140325629957845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12254] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12254/stat : 12254 (java) S 12244 12244 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10550420 14316269568 59098 18446744073709551615 4194304 4196468 140734472672624 140325173606000 140325629957845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12255] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12255/stat : 12255 (java) S 12244 12244 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10550422 14316269568 59098 18446744073709551615 4194304 4196468 140734472672624 140325172554320 140325629966235 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12256] ppid=12244 vsize=13980732 CPUtime=2.35 cores=0,2,4,6
/proc/12246/task/12256/stat : 12256 (java) R 12244 12244 5091 0 -1 4202560 10606 0 0 0 233 2 0 0 20 0 15 0 10550422 14316269568 59098 18446744073709551615 4194304 4196468 140734472672624 140325104371344 140325609333633 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12257] ppid=12244 vsize=13980732 CPUtime=2.36 cores=0,2,4,6
/proc/12246/task/12257/stat : 12257 (java) R 12244 12244 5091 0 -1 4202560 18566 0 0 0 233 3 0 0 20 0 15 0 10550422 14316269568 59098 18446744073709551615 4194304 4196468 140734472672624 140325103316208 140325609166271 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12258] ppid=12244 vsize=13980732 CPUtime=0.49 cores=0,2,4,6
/proc/12246/task/12258/stat : 12258 (java) S 12244 12244 5091 0 -1 1077944384 3752 0 0 0 48 1 0 0 20 0 15 0 10550422 14316269568 59098 18446744073709551615 4194304 4196468 140734472672624 140325102274928 140325629958786 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12259] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12259/stat : 12259 (java) S 12244 12244 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10550423 14316269568 59098 18446744073709551615 4194304 4196468 140734472672624 140325101222368 140325629957845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
[pid=12246/tid=12260] ppid=12244 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12246/task/12260/stat : 12260 (java) S 12244 12244 5091 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 10550428 14316269568 59098 18446744073709551615 4194304 4196468 140734472672624 140325100170160 140325629958786 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140734472679892 140734472680067 140734472680067 140734472683471 0
Current children cumulated CPU time (s) 7.99
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 2.97542
CPU time (s): 8.18833
CPU user time (s): 8.06117
CPU system time (s): 0.12717
CPU usage (%): 275.2
Max. virtual memory (cumulated for all children) (KiB): 13994056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.06117
system time used= 0.12717
maximum resident set size= 242964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45089
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2201
involuntary context switches= 18
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.009603 second user time and 0.026191 second system time
The end