runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15381 MiB free)
memory of node 1: 16384 MiB (15481 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283927-1503216979/watcher-4283927-1503216979 -o /tmp/evaluation-result-4283927-1503216979/solver-4283927-1503216979 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503171558-2270 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1259403149 HOME/instance-4283927-1503216979.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=11379, runsolver pid=11372
[startup+0.100153 s]*
/proc/loadavg: 2.04 1.69 1.53 2/186 11380
/proc/meminfo: memFree=31603604/32770624 swapFree=67108860/67108860
[pid=11379] ppid=11372 vsize=33976 memory=452 CPUtime=0 cores=0,2,4,6
/proc/11379/stat : 11379 (runsolver) D 11372 11379 18108 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 20104928 34791424 113 18446744073709551615 4194304 4346622 140731055680016 140731055676648 139859689005783 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6446216 6449568 30744576 140731055685688 140731055686181 140731055686181 140731055689674 0
/proc/11379/statm: 8494 113 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 452 KiB
[startup+0.209458 s]*
/proc/loadavg: 2.04 1.69 1.53 2/214 11408
/proc/meminfo: memFree=31583900/32770624 swapFree=67108860/67108860
[pid=11379] ppid=11372 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/11379/stat : 11379 (xcsp3-exec) S 11372 11379 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 20104928 9740288 344 18446744073709551615 4194304 5098028 140730905873504 140730905871608 140166541685372 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 12 0 0 7196144 7232144 13848576 140730905878905 140730905879110 140730905879110 140730905882603 0
/proc/11379/statm: 2378 344 289 221 0 87 0
[pid=11382] ppid=11379 vsize=13907304 memory=20660 CPUtime=0.05 cores=0,2,4,6
/proc/11382/stat : 11382 (java) S 11379 11379 18108 0 -1 1077944320 4549 0 0 0 4 1 0 0 20 0 14 0 20104940 14241079296 5165 18446744073709551615 4194304 4196468 140731641975488 140731641958032 139727524560631 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
/proc/11382/statm: 3476826 5165 2571 1 0 3466323 0
[pid=11382/tid=11384] ppid=11379 vsize=13907304 memory=-7318199385804929726 CPUtime=0.04 cores=0,2,4,6
/proc/11382/task/11384/stat : 11384 (java) D 11379 11379 18108 0 -1 4202560 2727 0 0 0 4 0 0 0 20 0 14 0 20104940 14241079296 5165 18446744073709551615 4194304 4196468 140731641975488 139727528798232 139727517238645 0 4 1 16800974 18446744071580418449 0 0 -1 0 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11389] ppid=11379 vsize=13907304 memory=5767617332338956681 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11389/stat : 11389 (java) S 11379 11379 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 20104941 14241079296 5165 18446744073709551615 4194304 4196468 140731641975488 139727443974544 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11390] ppid=11379 vsize=13907304 memory=139859691955840 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11390/stat : 11390 (java) S 11379 11379 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 20104941 14241079296 5165 18446744073709551615 4194304 4196468 140731641975488 139727442921744 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11391] ppid=11379 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11391/stat : 11391 (java) S 11379 11379 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 20104941 14241079296 5165 18446744073709551615 4194304 4196468 140731641975488 139727441869456 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11392] ppid=11379 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11392/stat : 11392 (java) S 11379 11379 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 20104941 14241079296 5165 18446744073709551615 4194304 4196468 140731641975488 139727440816656 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11394] ppid=11379 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11394/stat : 11394 (java) S 11379 11379 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 20104943 14241079296 5165 18446744073709551615 4194304 4196468 140731641975488 139727002393200 139727524571778 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11396] ppid=11379 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11396/stat : 11396 (java) S 11379 11379 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 20104943 14241079296 5165 18446744073709551615 4194304 4196468 140731641975488 139727001339168 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11398] ppid=11379 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11398/stat : 11398 (java) S 11379 11379 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 20104943 14241079296 5165 18446744073709551615 4194304 4196468 140731641975488 139727000286832 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11403] ppid=11379 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11403/stat : 11403 (java) S 11379 11379 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 20104946 14241079296 5165 18446744073709551615 4194304 4196468 140731641975488 139726999235152 139727524579227 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11404] ppid=11379 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11404/stat : 11404 (java) S 11379 11379 18108 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 14 0 20104946 14241079296 5165 18446744073709551615 4194304 4196468 140731641975488 139726998182000 139727524571778 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11405] ppid=11379 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11405/stat : 11405 (java) S 11379 11379 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 20104946 14241079296 5165 18446744073709551615 4194304 4196468 140731641975488 139726997129200 139727524571778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11406] ppid=11379 vsize=13907304 memory=139859691955840 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11406/stat : 11406 (java) S 11379 11379 18108 0 -1 1077944384 212 0 0 0 0 0 0 0 20 0 14 0 20104946 14241079296 5165 18446744073709551615 4194304 4196468 140731641975488 139726996076912 139727524571778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11408] ppid=11379 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11408/stat : 11408 (java) S 11379 11379 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 20104946 14241079296 5165 18446744073709551615 4194304 4196468 140731641975488 139726995024352 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 22036 KiB
[startup+0.310086 s]*
/proc/loadavg: 2.04 1.69 1.53 6/216 11410
/proc/meminfo: memFree=31567364/32770624 swapFree=67108860/67108860
[pid=11379] ppid=11372 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/11379/stat : 11379 (xcsp3-exec) S 11372 11379 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 20104928 9740288 344 18446744073709551615 4194304 5098028 140730905873504 140730905871608 140166541685372 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 12 0 0 7196144 7232144 13848576 140730905878905 140730905879110 140730905879110 140730905882603 0
/proc/11379/statm: 2378 344 289 221 0 87 0
[pid=11382] ppid=11379 vsize=13974352 memory=28952 CPUtime=0.14 cores=0,2,4,6
/proc/11382/stat : 11382 (java) S 11379 11379 18108 0 -1 1077944320 5202 0 0 0 12 2 0 0 20 0 15 0 20104940 14309736448 7238 18446744073709551615 4194304 4196468 140731641975488 140731641958032 139727524560631 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
/proc/11382/statm: 3493588 7238 2839 1 0 3482964 0
[pid=11382/tid=11384] ppid=11379 vsize=13974352 memory=590024538734541505 CPUtime=0.1 cores=0,2,4,6
/proc/11382/task/11384/stat : 11384 (java) R 11379 11379 18108 0 -1 4202560 3132 0 0 0 9 1 0 0 20 0 15 0 20104940 14309736448 7238 18446744073709551615 4194304 4196468 140731641975488 139727528792736 139727516797758 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11389] ppid=11379 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11389/stat : 11389 (java) S 11379 11379 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20104941 14309736448 7238 18446744073709551615 4194304 4196468 140731641975488 139727443974544 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11390] ppid=11379 vsize=13974352 memory=139859691963926 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11390/stat : 11390 (java) S 11379 11379 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20104941 14309736448 7238 18446744073709551615 4194304 4196468 140731641975488 139727442921744 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11391] ppid=11379 vsize=13974352 memory=749538837686406281 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11391/stat : 11391 (java) S 11379 11379 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20104941 14309736448 7238 18446744073709551615 4194304 4196468 140731641975488 139727441869456 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11392] ppid=11379 vsize=13974352 memory=3472328296227680303 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11392/stat : 11392 (java) S 11379 11379 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20104941 14309736448 7238 18446744073709551615 4194304 4196468 140731641975488 139727440816656 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11394] ppid=11379 vsize=13974352 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11394/stat : 11394 (java) S 11379 11379 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20104943 14309736448 7238 18446744073709551615 4194304 4196468 140731641975488 139727002393200 139727524571778 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11396] ppid=11379 vsize=13974352 memory=3471202396320837679 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11396/stat : 11396 (java) S 11379 11379 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 20104943 14309736448 7238 18446744073709551615 4194304 4196468 140731641975488 139727001339168 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11398] ppid=11379 vsize=13974352 memory=8242136670521939446 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11398/stat : 11398 (java) S 11379 11379 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 20104943 14309736448 7238 18446744073709551615 4194304 4196468 140731641975488 139727000286832 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11403] ppid=11379 vsize=13974352 memory=11201815066655 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11403/stat : 11403 (java) S 11379 11379 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20104946 14309736448 7238 18446744073709551615 4194304 4196468 140731641975488 139726999235152 139727524579227 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11404] ppid=11379 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11404/stat : 11404 (java) R 11379 11379 18108 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 20104946 14309736448 7238 18446744073709551615 4194304 4196468 140731641975488 139726998182000 139727524571778 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11405] ppid=11379 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11405/stat : 11405 (java) R 11379 11379 18108 0 -1 4202560 127 0 0 0 0 0 0 0 20 0 15 0 20104946 14309736448 7238 18446744073709551615 4194304 4196468 140731641975488 139726997129200 139727517545673 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11406] ppid=11379 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/11382/task/11406/stat : 11406 (java) R 11379 11379 18108 0 -1 4202560 336 0 0 0 2 0 0 0 20 0 15 0 20104946 14309736448 7238 18446744073709551615 4194304 4196468 140731641975488 139726996076912 139727508818746 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11408] ppid=11379 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11408/stat : 11408 (java) S 11379 11379 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20104946 14309736448 7238 18446744073709551615 4194304 4196468 140731641975488 139726995024352 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11410] ppid=11379 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11410/stat : 11410 (java) S 11379 11379 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20104954 14309736448 7238 18446744073709551615 4194304 4196468 140731641975488 139726993972144 139727524571778 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 30328 KiB
[startup+0.701686 s]
/proc/loadavg: 2.04 1.69 1.53 5/216 11410
/proc/meminfo: memFree=31534828/32770624 swapFree=67108860/67108860
[pid=11379] ppid=11372 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/11379/stat : 11379 (xcsp3-exec) S 11372 11379 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 20104928 9740288 344 18446744073709551615 4194304 5098028 140730905873504 140730905871608 140166541685372 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 12 0 0 7196144 7232144 13848576 140730905878905 140730905879110 140730905879110 140730905882603 0
/proc/11379/statm: 2378 344 289 221 0 87 0
[pid=11382] ppid=11379 vsize=13978684 memory=72384 CPUtime=1.04 cores=0,2,4,6
/proc/11382/stat : 11382 (java) S 11379 11379 18108 0 -1 1077944320 12284 0 0 0 99 5 0 0 20 0 15 0 20104940 14314172416 18096 18446744073709551615 4194304 4196468 140731641975488 140731641958032 139727524560631 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
/proc/11382/statm: 3494671 18096 3159 1 0 3482964 0
[pid=11382/tid=11384] ppid=11379 vsize=13978684 memory=279719140439072 CPUtime=0.47 cores=0,2,4,6
/proc/11382/task/11384/stat : 11384 (java) R 11379 11379 18108 0 -1 4202560 7466 0 0 0 44 3 0 0 20 0 15 0 20104940 14314172416 18096 18446744073709551615 4194304 4196468 140731641975488 139727528799040 139727116834892 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11389] ppid=11379 vsize=13978684 memory=288230377074733240 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11389/stat : 11389 (java) S 11379 11379 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20104941 14314172416 18096 18446744073709551615 4194304 4196468 140731641975488 139727443974544 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11390] ppid=11379 vsize=13978684 memory=288292194505473382 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11390/stat : 11390 (java) S 11379 11379 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20104941 14314172416 18096 18446744073709551615 4194304 4196468 140731641975488 139727442921744 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11391] ppid=11379 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11391/stat : 11391 (java) S 11379 11379 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20104941 14314172416 18096 18446744073709551615 4194304 4196468 140731641975488 139727441869456 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11392] ppid=11379 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11392/stat : 11392 (java) S 11379 11379 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20104941 14314172416 18096 18446744073709551615 4194304 4196468 140731641975488 139727440816656 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11394] ppid=11379 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11394/stat : 11394 (java) S 11379 11379 18108 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 20104943 14314172416 18096 18446744073709551615 4194304 4196468 140731641975488 139727002393200 139727524571778 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11396] ppid=11379 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11396/stat : 11396 (java) S 11379 11379 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 20104943 14314172416 18096 18446744073709551615 4194304 4196468 140731641975488 139727001339168 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11398] ppid=11379 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11398/stat : 11398 (java) S 11379 11379 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 20104943 14314172416 18096 18446744073709551615 4194304 4196468 140731641975488 139727000286832 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11403] ppid=11379 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11403/stat : 11403 (java) S 11379 11379 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20104946 14314172416 18096 18446744073709551615 4194304 4196468 140731641975488 139726999235152 139727524579227 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11404] ppid=11379 vsize=13978684 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/11382/task/11404/stat : 11404 (java) R 11379 11379 18108 0 -1 4202560 1322 0 0 0 17 0 0 0 20 0 15 0 20104946 14314172416 18096 18446744073709551615 4194304 4196468 140731641975488 139726998167880 139727502694232 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11405] ppid=11379 vsize=13978684 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/11382/task/11405/stat : 11405 (java) R 11379 11379 18108 0 -1 4202560 974 0 0 0 16 0 0 0 20 0 15 0 20104946 14314172416 18096 18446744073709551615 4194304 4196468 140731641975488 139726997122392 139727509684201 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11406] ppid=11379 vsize=13978684 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/11382/task/11406/stat : 11406 (java) R 11379 11379 18108 0 -1 4202560 1216 0 0 0 20 0 0 0 20 0 15 0 20104946 14314172416 18096 18446744073709551615 4194304 4196468 140731641975488 139726996076912 139727503993696 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11408] ppid=11379 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11408/stat : 11408 (java) S 11379 11379 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20104946 14314172416 18096 18446744073709551615 4194304 4196468 140731641975488 139726995024352 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11410] ppid=11379 vsize=13978684 memory=7595437768304645222 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11410/stat : 11410 (java) S 11379 11379 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20104954 14314172416 18096 18446744073709551615 4194304 4196468 140731641975488 139726993972144 139727524571778 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 73760 KiB
[startup+1.5009 s]
/proc/loadavg: 2.12 1.71 1.53 3/208 11433
/proc/meminfo: memFree=31438184/32770624 swapFree=67108860/67108860
[pid=11379] ppid=11372 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/11379/stat : 11379 (xcsp3-exec) S 11372 11379 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 20104928 9740288 344 18446744073709551615 4194304 5098028 140730905873504 140730905871608 140166541685372 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 12 0 0 7196144 7232144 13848576 140730905878905 140730905879110 140730905879110 140730905882603 0
/proc/11379/statm: 2378 344 289 221 0 87 0
[pid=11382] ppid=11379 vsize=13978684 memory=206876 CPUtime=2.1 cores=0,2,4,6
/proc/11382/stat : 11382 (java) S 11379 11379 18108 0 -1 1077944320 12754 0 0 0 199 11 0 0 20 0 15 0 20104940 14314172416 51719 18446744073709551615 4194304 4196468 140731641975488 140731641958032 139727524560631 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
/proc/11382/statm: 3494671 51719 3183 1 0 3482964 0
[pid=11382/tid=11384] ppid=11379 vsize=13978684 memory=4137282616176384387 CPUtime=1.25 cores=0,2,4,6
/proc/11382/task/11384/stat : 11384 (java) R 11379 11379 18108 0 -1 4202560 7542 0 0 0 120 5 0 0 20 0 15 0 20104940 14314172416 51719 18446744073709551615 4194304 4196468 140731641975488 139727528799280 139727116927616 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11389] ppid=11379 vsize=13978684 memory=188184 CPUtime=0.02 cores=0,2,4,6
/proc/11382/task/11389/stat : 11389 (java) S 11379 11379 18108 0 -1 1077944384 26 0 0 0 1 1 0 0 20 0 15 0 20104941 14314172416 51719 18446744073709551615 4194304 4196468 140731641975488 139727443974544 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11390] ppid=11379 vsize=13978684 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/11382/task/11390/stat : 11390 (java) S 11379 11379 18108 0 -1 1077944384 27 0 0 0 1 1 0 0 20 0 15 0 20104941 14314172416 51719 18446744073709551615 4194304 4196468 140731641975488 139727442921744 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11391] ppid=11379 vsize=13978684 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/11382/task/11391/stat : 11391 (java) S 11379 11379 18108 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 15 0 20104941 14314172416 51719 18446744073709551615 4194304 4196468 140731641975488 139727441869456 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11392] ppid=11379 vsize=13978684 memory=7649399392787771697 CPUtime=0.02 cores=0,2,4,6
/proc/11382/task/11392/stat : 11392 (java) S 11379 11379 18108 0 -1 1077944384 30 0 0 0 1 1 0 0 20 0 15 0 20104941 14314172416 51719 18446744073709551615 4194304 4196468 140731641975488 139727440816656 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11394] ppid=11379 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11394/stat : 11394 (java) S 11379 11379 18108 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 20104943 14314172416 51719 18446744073709551615 4194304 4196468 140731641975488 139727002393200 139727524571778 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11396] ppid=11379 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11396/stat : 11396 (java) S 11379 11379 18108 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 20104943 14314172416 51719 18446744073709551615 4194304 4196468 140731641975488 139727001339168 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11398] ppid=11379 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11398/stat : 11398 (java) S 11379 11379 18108 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 20104943 14314172416 51719 18446744073709551615 4194304 4196468 140731641975488 139727000286832 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11403] ppid=11379 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11403/stat : 11403 (java) S 11379 11379 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20104946 14314172416 51719 18446744073709551615 4194304 4196468 140731641975488 139726999235152 139727524579227 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11404] ppid=11379 vsize=13978684 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/11382/task/11404/stat : 11404 (java) S 11379 11379 18108 0 -1 1077944384 1348 0 0 0 27 0 0 0 20 0 15 0 20104946 14314172416 51719 18446744073709551615 4194304 4196468 140731641975488 139726998182000 139727524571778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11405] ppid=11379 vsize=13978684 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/11382/task/11405/stat : 11405 (java) S 11379 11379 18108 0 -1 1077944384 1139 0 0 0 24 0 0 0 20 0 15 0 20104946 14314172416 51719 18446744073709551615 4194304 4196468 140731641975488 139726997129200 139727524571778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11406] ppid=11379 vsize=13978684 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/11382/task/11406/stat : 11406 (java) S 11379 11379 18108 0 -1 1077944384 1243 0 0 0 22 0 0 0 20 0 15 0 20104946 14314172416 51719 18446744073709551615 4194304 4196468 140731641975488 139726996076912 139727524571778 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11408] ppid=11379 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11408/stat : 11408 (java) S 11379 11379 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20104946 14314172416 51719 18446744073709551615 4194304 4196468 140731641975488 139726995024352 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11410] ppid=11379 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11410/stat : 11410 (java) S 11379 11379 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20104954 14314172416 51719 18446744073709551615 4194304 4196468 140731641975488 139726993972144 139727524571778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
Current children cumulated CPU time: 2.1 s
Current children cumulated vsize: 13988196 KiB
################
# More data... #
################
/proc/11379/stat : 11379 (xcsp3-exec) S 11372 11379 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 20104928 9740288 344 18446744073709551615 4194304 5098028 140730905873504 140730905871608 140166541685372 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 12 0 0 7196144 7232144 13848576 140730905878905 140730905879110 140730905879110 140730905882603 0
/proc/11379/statm: 2378 344 289 221 0 87 0
[pid=11382] ppid=11379 vsize=13980732 memory=704604 CPUtime=7.67 cores=0,2,4,6
/proc/11382/stat : 11382 (java) S 11379 11379 18108 0 -1 1077944320 17801 0 0 0 728 39 0 0 20 0 15 0 20104940 14316269568 176151 18446744073709551615 4194304 4196468 140731641975488 140731641958032 139727524560631 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
/proc/11382/statm: 3495183 176151 3212 1 0 3483476 0
[pid=11382/tid=11384] ppid=11379 vsize=13980732 memory=0 CPUtime=6.01 cores=0,2,4,6
/proc/11382/task/11384/stat : 11384 (java) R 11379 11379 18108 0 -1 4202560 9454 0 0 0 590 11 0 0 20 0 15 0 20104940 14316269568 176151 18446744073709551615 4194304 4196468 140731641975488 139727528796480 139727116875111 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11389] ppid=11379 vsize=13980732 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/11382/task/11389/stat : 11389 (java) S 11379 11379 18108 0 -1 1077944384 243 0 0 0 9 6 0 0 20 0 15 0 20104941 14316269568 176151 18446744073709551615 4194304 4196468 140731641975488 139727443974544 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11390] ppid=11379 vsize=13980732 memory=6944656592387989600 CPUtime=0.15 cores=0,2,4,6
/proc/11382/task/11390/stat : 11390 (java) S 11379 11379 18108 0 -1 1077944384 242 0 0 0 9 6 0 0 20 0 15 0 20104941 14316269568 176151 18446744073709551615 4194304 4196468 140731641975488 139727442921744 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11391] ppid=11379 vsize=13980732 memory=7524486278333819988 CPUtime=0.15 cores=0,2,4,6
/proc/11382/task/11391/stat : 11391 (java) S 11379 11379 18108 0 -1 1077944384 229 0 0 0 9 6 0 0 20 0 15 0 20104941 14316269568 176151 18446744073709551615 4194304 4196468 140731641975488 139727441869456 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11392] ppid=11379 vsize=13980732 memory=8025788831291632741 CPUtime=0.15 cores=0,2,4,6
/proc/11382/task/11392/stat : 11392 (java) S 11379 11379 18108 0 -1 1077944384 247 0 0 0 9 6 0 0 20 0 15 0 20104941 14316269568 176151 18446744073709551615 4194304 4196468 140731641975488 139727440816656 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11394] ppid=11379 vsize=13980732 memory=139859570357728 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11394/stat : 11394 (java) S 11379 11379 18108 0 -1 1077944384 539 0 0 0 0 0 0 0 20 0 15 0 20104943 14316269568 176151 18446744073709551615 4194304 4196468 140731641975488 139727002393200 139727524571778 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11396] ppid=11379 vsize=13980732 memory=302927549003215032 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11396/stat : 11396 (java) S 11379 11379 18108 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 20104943 14316269568 176151 18446744073709551615 4194304 4196468 140731641975488 139727001339232 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11398] ppid=11379 vsize=13980732 memory=288292194505473382 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11398/stat : 11398 (java) S 11379 11379 18108 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 20104943 14316269568 176151 18446744073709551615 4194304 4196468 140731641975488 139727000286848 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11403] ppid=11379 vsize=13980732 memory=7595725831727968097 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11403/stat : 11403 (java) S 11379 11379 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20104946 14316269568 176151 18446744073709551615 4194304 4196468 140731641975488 139726999235152 139727524579227 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11404] ppid=11379 vsize=13980732 memory=1732 CPUtime=0.37 cores=0,2,4,6
/proc/11382/task/11404/stat : 11404 (java) S 11379 11379 18108 0 -1 1077944384 1519 0 0 0 37 0 0 0 20 0 15 0 20104946 14316269568 176151 18446744073709551615 4194304 4196468 140731641975488 139726998182000 139727524571778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11405] ppid=11379 vsize=13980732 memory=2004 CPUtime=0.33 cores=0,2,4,6
/proc/11382/task/11405/stat : 11405 (java) S 11379 11379 18108 0 -1 1077944384 1271 0 0 0 33 0 0 0 20 0 15 0 20104946 14316269568 176151 18446744073709551615 4194304 4196468 140731641975488 139726997129200 139727524571778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11406] ppid=11379 vsize=13980732 memory=10936 CPUtime=0.28 cores=0,2,4,6
/proc/11382/task/11406/stat : 11406 (java) S 11379 11379 18108 0 -1 1077944384 2735 0 0 0 28 0 0 0 20 0 15 0 20104946 14316269568 176151 18446744073709551615 4194304 4196468 140731641975488 139726996076912 139727524571778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11408] ppid=11379 vsize=13980732 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11408/stat : 11408 (java) S 11379 11379 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20104946 14316269568 176151 18446744073709551615 4194304 4196468 140731641975488 139726995024352 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11410] ppid=11379 vsize=13980732 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11410/stat : 11410 (java) S 11379 11379 18108 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 20104954 14316269568 176151 18446744073709551615 4194304 4196468 140731641975488 139726993972144 139727524571778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
Current children cumulated CPU time: 7.67 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 705980 KiB
[startup+7.20083 s]
/proc/loadavg: 2.11 1.72 1.54 3/213 11565
/proc/meminfo: memFree=30575956/32770624 swapFree=67108860/67108860
[pid=11379] ppid=11372 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/11379/stat : 11379 (xcsp3-exec) S 11372 11379 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 20104928 9740288 344 18446744073709551615 4194304 5098028 140730905873504 140730905871608 140166541685372 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 12 0 0 7196144 7232144 13848576 140730905878905 140730905879110 140730905879110 140730905882603 0
/proc/11379/statm: 2378 344 289 221 0 87 0
[pid=11382] ppid=11379 vsize=13980732 memory=941908 CPUtime=8.49 cores=0,2,4,6
/proc/11382/stat : 11382 (java) S 11379 11379 18108 0 -1 1077944320 19359 0 0 0 806 43 0 0 20 0 15 0 20104940 14316269568 235477 18446744073709551615 4194304 4196468 140731641975488 140731641958032 139727524560631 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
/proc/11382/statm: 3495183 235477 3212 1 0 3483476 0
[pid=11382/tid=11384] ppid=11379 vsize=13980732 memory=1376 CPUtime=6.81 cores=0,2,4,6
/proc/11382/task/11384/stat : 11384 (java) R 11379 11379 18108 0 -1 4202560 10623 0 0 0 667 14 0 0 20 0 15 0 20104940 14316269568 235477 18446744073709551615 4194304 4196468 140731641975488 139727528797336 139727117102996 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11389] ppid=11379 vsize=13980732 memory=704604 CPUtime=0.15 cores=0,2,4,6
/proc/11382/task/11389/stat : 11389 (java) S 11379 11379 18108 0 -1 1077944384 243 0 0 0 9 6 0 0 20 0 15 0 20104941 14316269568 235477 18446744073709551615 4194304 4196468 140731641975488 139727443974544 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11390] ppid=11379 vsize=13980732 memory=2436 CPUtime=0.15 cores=0,2,4,6
/proc/11382/task/11390/stat : 11390 (java) S 11379 11379 18108 0 -1 1077944384 242 0 0 0 9 6 0 0 20 0 15 0 20104941 14316269568 235477 18446744073709551615 4194304 4196468 140731641975488 139727442921744 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11391] ppid=11379 vsize=13980732 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/11382/task/11391/stat : 11391 (java) S 11379 11379 18108 0 -1 1077944384 229 0 0 0 9 6 0 0 20 0 15 0 20104941 14316269568 235477 18446744073709551615 4194304 4196468 140731641975488 139727441869456 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11392] ppid=11379 vsize=13980732 memory=102 CPUtime=0.15 cores=0,2,4,6
/proc/11382/task/11392/stat : 11392 (java) S 11379 11379 18108 0 -1 1077944384 247 0 0 0 9 6 0 0 20 0 15 0 20104941 14316269568 235477 18446744073709551615 4194304 4196468 140731641975488 139727440816656 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11394] ppid=11379 vsize=13980732 memory=35 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11394/stat : 11394 (java) S 11379 11379 18108 0 -1 1077944384 539 0 0 0 0 0 0 0 20 0 15 0 20104943 14316269568 235477 18446744073709551615 4194304 4196468 140731641975488 139727002393200 139727524571778 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11396] ppid=11379 vsize=13980732 memory=266 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11396/stat : 11396 (java) S 11379 11379 18108 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 20104943 14316269568 235477 18446744073709551615 4194304 4196468 140731641975488 139727001339232 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11398] ppid=11379 vsize=13980732 memory=93 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11398/stat : 11398 (java) S 11379 11379 18108 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 20104943 14316269568 235477 18446744073709551615 4194304 4196468 140731641975488 139727000286848 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11403] ppid=11379 vsize=13980732 memory=130 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11403/stat : 11403 (java) S 11379 11379 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20104946 14316269568 235477 18446744073709551615 4194304 4196468 140731641975488 139726999235152 139727524579227 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11404] ppid=11379 vsize=13980732 memory=0 CPUtime=0.38 cores=0,2,4,6
/proc/11382/task/11404/stat : 11404 (java) S 11379 11379 18108 0 -1 1077944384 1558 0 0 0 38 0 0 0 20 0 15 0 20104946 14316269568 235477 18446744073709551615 4194304 4196468 140731641975488 139726998182000 139727524571778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11405] ppid=11379 vsize=13980732 memory=81 CPUtime=0.34 cores=0,2,4,6
/proc/11382/task/11405/stat : 11405 (java) S 11379 11379 18108 0 -1 1077944384 1289 0 0 0 34 0 0 0 20 0 15 0 20104946 14316269568 235477 18446744073709551615 4194304 4196468 140731641975488 139726997129200 139727524571778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11406] ppid=11379 vsize=13980732 memory=700 CPUtime=0.28 cores=0,2,4,6
/proc/11382/task/11406/stat : 11406 (java) S 11379 11379 18108 0 -1 1077944384 3067 0 0 0 28 0 0 0 20 0 15 0 20104946 14316269568 235477 18446744073709551615 4194304 4196468 140731641975488 139726996076912 139727524571778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11408] ppid=11379 vsize=13980732 memory=44 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11408/stat : 11408 (java) S 11379 11379 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20104946 14316269568 235477 18446744073709551615 4194304 4196468 140731641975488 139726995024352 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11410] ppid=11379 vsize=13980732 memory=302867273281175578 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11410/stat : 11410 (java) S 11379 11379 18108 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 20104954 14316269568 235477 18446744073709551615 4194304 4196468 140731641975488 139726993972144 139727524571778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
Current children cumulated CPU time: 8.49 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 943284 KiB
[startup+8.00082 s]*
/proc/loadavg: 2.11 1.72 1.54 3/213 11565
/proc/meminfo: memFree=30163472/32770624 swapFree=67108860/67108860
[pid=11379] ppid=11372 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/11379/stat : 11379 (xcsp3-exec) S 11372 11379 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 20104928 9740288 344 18446744073709551615 4194304 5098028 140730905873504 140730905871608 140166541685372 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 12 0 0 7196144 7232144 13848576 140730905878905 140730905879110 140730905879110 140730905882603 0
/proc/11379/statm: 2378 344 289 221 0 87 0
[pid=11382] ppid=11379 vsize=13980732 memory=1266040 CPUtime=9.54 cores=0,2,4,6
/proc/11382/stat : 11382 (java) S 11379 11379 18108 0 -1 1077944320 21156 0 0 0 896 58 0 0 20 0 15 0 20104940 14316269568 316510 18446744073709551615 4194304 4196468 140731641975488 140731641958032 139727524560631 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
/proc/11382/statm: 3495183 316510 3212 1 0 3483476 0
[pid=11382/tid=11384] ppid=11379 vsize=13980732 memory=-7677926825137650786 CPUtime=7.54 cores=0,2,4,6
/proc/11382/task/11384/stat : 11384 (java) R 11379 11379 18108 0 -1 4202560 10879 0 0 0 736 18 0 0 20 0 15 0 20104940 14316269568 316510 18446744073709551615 4194304 4196468 140731641975488 139727528799616 139727117351342 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11389] ppid=11379 vsize=13980732 memory=-7003737579269690708 CPUtime=0.22 cores=0,2,4,6
/proc/11382/task/11389/stat : 11389 (java) S 11379 11379 18108 0 -1 1077944384 339 0 0 0 14 8 0 0 20 0 15 0 20104941 14316269568 316510 18446744073709551615 4194304 4196468 140731641975488 139727443974544 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11390] ppid=11379 vsize=13980732 memory=-7107449089259629166 CPUtime=0.23 cores=0,2,4,6
/proc/11382/task/11390/stat : 11390 (java) S 11379 11379 18108 0 -1 1077944384 718 0 0 0 14 9 0 0 20 0 15 0 20104941 14316269568 316510 18446744073709551615 4194304 4196468 140731641975488 139727442921744 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11391] ppid=11379 vsize=13980732 memory=8978309881829228949 CPUtime=0.22 cores=0,2,4,6
/proc/11382/task/11391/stat : 11391 (java) S 11379 11379 18108 0 -1 1077944384 296 0 0 0 14 8 0 0 20 0 15 0 20104941 14316269568 316510 18446744073709551615 4194304 4196468 140731641975488 139727441869456 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11392] ppid=11379 vsize=13980732 memory=-9109213556524817781 CPUtime=0.23 cores=0,2,4,6
/proc/11382/task/11392/stat : 11392 (java) S 11379 11379 18108 0 -1 1077944384 497 0 0 0 14 9 0 0 20 0 15 0 20104941 14316269568 316510 18446744073709551615 4194304 4196468 140731641975488 139727440816656 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11394] ppid=11379 vsize=13980732 memory=-8412661042793834637 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11394/stat : 11394 (java) S 11379 11379 18108 0 -1 1077944384 1178 0 0 0 0 0 0 0 20 0 15 0 20104943 14316269568 316510 18446744073709551615 4194304 4196468 140731641975488 139727002393200 139727524571778 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11396] ppid=11379 vsize=13980732 memory=-7385037593950845031 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11396/stat : 11396 (java) S 11379 11379 18108 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 20104943 14316269568 316510 18446744073709551615 4194304 4196468 140731641975488 139727001339232 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11398] ppid=11379 vsize=13980732 memory=8514726395178280020 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11398/stat : 11398 (java) S 11379 11379 18108 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 20104943 14316269568 316510 18446744073709551615 4194304 4196468 140731641975488 139727000286848 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11403] ppid=11379 vsize=13980732 memory=7519151349382408275 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11403/stat : 11403 (java) S 11379 11379 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20104946 14316269568 316510 18446744073709551615 4194304 4196468 140731641975488 139726999235152 139727524579227 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11404] ppid=11379 vsize=13980732 memory=7523095434897352273 CPUtime=0.38 cores=0,2,4,6
/proc/11382/task/11404/stat : 11404 (java) S 11379 11379 18108 0 -1 1077944384 1558 0 0 0 38 0 0 0 20 0 15 0 20104946 14316269568 316510 18446744073709551615 4194304 4196468 140731641975488 139726998182000 139727524571778 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11405] ppid=11379 vsize=13980732 memory=7451047667928813935 CPUtime=0.34 cores=0,2,4,6
/proc/11382/task/11405/stat : 11405 (java) S 11379 11379 18108 0 -1 1077944384 1289 0 0 0 34 0 0 0 20 0 15 0 20104946 14316269568 316510 18446744073709551615 4194304 4196468 140731641975488 139726997129200 139727524571778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11406] ppid=11379 vsize=13980732 memory=2241 CPUtime=0.28 cores=0,2,4,6
/proc/11382/task/11406/stat : 11406 (java) S 11379 11379 18108 0 -1 1077944384 3071 0 0 0 28 0 0 0 20 0 15 0 20104946 14316269568 316510 18446744073709551615 4194304 4196468 140731641975488 139726996076912 139727524571778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11408] ppid=11379 vsize=13980732 memory=279719140593264 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11408/stat : 11408 (java) S 11379 11379 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20104946 14316269568 316510 18446744073709551615 4194304 4196468 140731641975488 139726995024352 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11410] ppid=11379 vsize=13980732 memory=288230600312357161 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11410/stat : 11410 (java) S 11379 11379 18108 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 20104954 14316269568 316510 18446744073709551615 4194304 4196468 140731641975488 139726993972144 139727524571778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
Current children cumulated CPU time: 9.54 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1267416 KiB
[startup+8.2042 s]
/proc/loadavg: 2.11 1.72 1.54 3/213 11565
/proc/meminfo: memFree=30163472/32770624 swapFree=67108860/67108860
[pid=11379] ppid=11372 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/11379/stat : 11379 (xcsp3-exec) S 11372 11379 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 20104928 9740288 344 18446744073709551615 4194304 5098028 140730905873504 140730905871608 140166541685372 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 12 0 0 7196144 7232144 13848576 140730905878905 140730905879110 140730905879110 140730905882603 0
/proc/11379/statm: 2378 344 289 221 0 87 0
[pid=11382] ppid=11379 vsize=13980732 memory=1267720 CPUtime=9.94 cores=0,2,4,6
/proc/11382/stat : 11382 (java) S 11379 11379 18108 0 -1 1077944320 22576 0 0 0 936 58 0 0 20 0 15 0 20104940 14316269568 316930 18446744073709551615 4194304 4196468 140731641975488 140731641958032 139727524560631 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
/proc/11382/statm: 3495183 316930 3213 1 0 3483476 0
[pid=11382/tid=11384] ppid=11379 vsize=13980732 memory=9198851636692560795 CPUtime=7.73 cores=0,2,4,6
/proc/11382/task/11384/stat : 11384 (java) R 11379 11379 18108 0 -1 4202560 11466 0 0 0 755 18 0 0 20 0 15 0 20104940 14316269568 316930 18446744073709551615 4194304 4196468 140731641975488 139727528799552 139727114212489 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11389] ppid=11379 vsize=13980732 memory=-3395018499077132937 CPUtime=0.22 cores=0,2,4,6
/proc/11382/task/11389/stat : 11389 (java) S 11379 11379 18108 0 -1 1077944384 339 0 0 0 14 8 0 0 20 0 15 0 20104941 14316269568 316930 18446744073709551615 4194304 4196468 140731641975488 139727443974544 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11390] ppid=11379 vsize=13980732 memory=-6225240575854386985 CPUtime=0.23 cores=0,2,4,6
/proc/11382/task/11390/stat : 11390 (java) S 11379 11379 18108 0 -1 1077944384 718 0 0 0 14 9 0 0 20 0 15 0 20104941 14316269568 316930 18446744073709551615 4194304 4196468 140731641975488 139727442921744 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11391] ppid=11379 vsize=13980732 memory=-2897801490638248215 CPUtime=0.22 cores=0,2,4,6
/proc/11382/task/11391/stat : 11391 (java) S 11379 11379 18108 0 -1 1077944384 296 0 0 0 14 8 0 0 20 0 15 0 20104941 14316269568 316930 18446744073709551615 4194304 4196468 140731641975488 139727441869456 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11392] ppid=11379 vsize=13980732 memory=-6305717200138626176 CPUtime=0.23 cores=0,2,4,6
/proc/11382/task/11392/stat : 11392 (java) S 11379 11379 18108 0 -1 1077944384 497 0 0 0 14 9 0 0 20 0 15 0 20104941 14316269568 316930 18446744073709551615 4194304 4196468 140731641975488 139727440816656 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11394] ppid=11379 vsize=13980732 memory=-3472574513799858008 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11394/stat : 11394 (java) S 11379 11379 18108 0 -1 1077944384 1199 0 0 0 0 0 0 0 20 0 15 0 20104943 14316269568 316930 18446744073709551615 4194304 4196468 140731641975488 139727002393200 139727524571778 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11396] ppid=11379 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11396/stat : 11396 (java) S 11379 11379 18108 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 20104943 14316269568 316930 18446744073709551615 4194304 4196468 140731641975488 139727001339232 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11398] ppid=11379 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11398/stat : 11398 (java) S 11379 11379 18108 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 20104943 14316269568 316930 18446744073709551615 4194304 4196468 140731641975488 139727000286848 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11403] ppid=11379 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11403/stat : 11403 (java) S 11379 11379 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20104946 14316269568 316930 18446744073709551615 4194304 4196468 140731641975488 139726999235152 139727524579227 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11404] ppid=11379 vsize=13980732 memory=0 CPUtime=0.45 cores=0,2,4,6
/proc/11382/task/11404/stat : 11404 (java) R 11379 11379 18108 0 -1 4202560 1780 0 0 0 45 0 0 0 20 0 15 0 20104946 14316269568 316930 18446744073709551615 4194304 4196468 140731641975488 139726998172832 139727503815728 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11405] ppid=11379 vsize=13980732 memory=302022848351043610 CPUtime=0.39 cores=0,2,4,6
/proc/11382/task/11405/stat : 11405 (java) S 11379 11379 18108 0 -1 1077944384 1631 0 0 0 39 0 0 0 20 0 15 0 20104946 14316269568 316930 18446744073709551615 4194304 4196468 140731641975488 139726997129200 139727524571778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11406] ppid=11379 vsize=13980732 memory=288230604624101684 CPUtime=0.37 cores=0,2,4,6
/proc/11382/task/11406/stat : 11406 (java) S 11379 11379 18108 0 -1 1077944384 3319 0 0 0 37 0 0 0 20 0 15 0 20104946 14316269568 316930 18446744073709551615 4194304 4196468 140731641975488 139726996076912 139727524571778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11408] ppid=11379 vsize=13980732 memory=13855153002382685 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11408/stat : 11408 (java) S 11379 11379 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20104946 14316269568 316930 18446744073709551615 4194304 4196468 140731641975488 139726995024352 139727524570837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
[pid=11382/tid=11410] ppid=11379 vsize=13980732 memory=952 CPUtime=0 cores=0,2,4,6
/proc/11382/task/11410/stat : 11410 (java) S 11379 11379 18108 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 20104954 14316269568 316930 18446744073709551615 4194304 4196468 140731641975488 139726993972144 139727524571778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32768000 140731641983410 140731641983586 140731641983586 140731641987023 0
Current children cumulated CPU time: 9.94 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1269096 KiB
Child status: 0
Real time (s): 8.24545
CPU time (s): 10.0094
CPU user time (s): 9.41451
CPU system time (s): 0.594883
CPU usage (%): 121.393
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 1269096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.41451
system time used= 0.594883
maximum resident set size= 1268360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23181
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2232
involuntary context switches= 52
# summary of solver processes directly reported to runsolver:
# pid: 11379
# total CPU time (s): 10.0094
# total CPU user time (s): 9.41451
# total CPU system time (s): 0.594883
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.074673 second user time and 0.124863 second system time
The end