2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-16 parallel	OPT	310	2036.39	256.341
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 (14532 MiB free)
  memory of node 1: 16384 MiB (14114 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399906-1568711381/watcher-4399906-1568711381 -o /tmp/evaluation-result-4399906-1568711381/solver-4399906-1568711381 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568711035-16420 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1636113708 HOME/instance-4399906-1568711381.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=16658, runsolver pid=16655

[startup+0.100134 s]*
/proc/loadavg: 7.25 7.70 7.98 2/211 16679
/proc/meminfo: memFree=29318192/32770624 swapFree=66939908/67108860
[pid=16658] ppid=16655 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16658/stat : 16658 (xcsp3-exec) S 16655 16658 16393 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 447052997 115843072 363 33554432000 4194304 5098028 140735091751696 140735091749800 140218388816508 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9080832 140735091753845 140735091754089 140735091754089 140735091757002 0
/proc/16658/statm: 28282 363 305 221 0 87 0
[pid=16660] ppid=16658 vsize=28227396 memory=30336 CPUtime=0.12 cores=0-7
/proc/16660/stat : 16660 (java) S 16658 16658 16393 0 -1 1077944320 5984 0 0 0 11 1 0 0 20 0 20 0 447052997 28904853504 7584 33554432000 4194304 4196468 140737204340672 140737204323216 140547244240631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
/proc/16660/statm: 7056849 7584 3162 1 0 7019032 0
[pid=16660/tid=16661] ppid=16658 vsize=28227396 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/16660/task/16661/stat : 16661 (java) R 16658 16658 16393 0 -1 4202560 3908 0 0 0 8 0 0 0 20 0 20 0 447052998 28904853504 7584 33554432000 4194304 4196468 140737204340672 140547248472352 140547225804256 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16662] ppid=16658 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/16660/task/16662/stat : 16662 (java) S 16658 16658 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447052998 28904853504 7584 33554432000 4194304 4196468 140737204340672 140547196861072 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16663] ppid=16658 vsize=28227396 memory=140019296204416 CPUtime=0 cores=0-7
/proc/16660/task/16663/stat : 16663 (java) S 16658 16658 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447052998 28904853504 7584 33554432000 4194304 4196468 140737204340672 140547195808272 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16664] ppid=16658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16660/task/16664/stat : 16664 (java) S 16658 16658 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447052998 28904853504 7584 33554432000 4194304 4196468 140737204340672 140547194755472 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16665] ppid=16658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16660/task/16665/stat : 16665 (java) S 16658 16658 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447052998 28904853504 7584 33554432000 4194304 4196468 140737204340672 140547193702672 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16666] ppid=16658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16660/task/16666/stat : 16666 (java) S 16658 16658 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447052998 28904853504 7584 33554432000 4194304 4196468 140737204340672 140547192650896 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16667] ppid=16658 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16660/task/16667/stat : 16667 (java) S 16658 16658 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447052998 28904853504 7584 33554432000 4194304 4196468 140737204340672 140547191598096 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16668] ppid=16658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16660/task/16668/stat : 16668 (java) S 16658 16658 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447052998 28904853504 7584 33554432000 4194304 4196468 140737204340672 140547190545296 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16669] ppid=16658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16660/task/16669/stat : 16669 (java) S 16658 16658 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447052998 28904853504 7584 33554432000 4194304 4196468 140737204340672 140547189492496 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16670] ppid=16658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16660/task/16670/stat : 16670 (java) S 16658 16658 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447053000 28904853504 7584 33554432000 4194304 4196468 140737204340672 140546561526128 140547244251778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16671] ppid=16658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16660/task/16671/stat : 16671 (java) S 16658 16658 16393 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447053000 28904853504 7584 33554432000 4194304 4196468 140737204340672 140546560472096 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16672] ppid=16658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16660/task/16672/stat : 16672 (java) S 16658 16658 16393 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447053000 28904853504 7584 33554432000 4194304 4196468 140737204340672 140546559419248 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16673] ppid=16658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16660/task/16673/stat : 16673 (java) S 16658 16658 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447053003 28904853504 7584 33554432000 4194304 4196468 140737204340672 140546558367568 140547244259227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16674] ppid=16658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16660/task/16674/stat : 16674 (java) S 16658 16658 16393 0 -1 1077944384 406 0 0 0 0 0 0 0 20 0 20 0 447053003 28904853504 7584 33554432000 4194304 4196468 140737204340672 140546557315952 140547244251778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16675] ppid=16658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16660/task/16675/stat : 16675 (java) S 16658 16658 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447053003 28904853504 7584 33554432000 4194304 4196468 140737204340672 140546556263152 140547244251778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16676] ppid=16658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16660/task/16676/stat : 16676 (java) S 16658 16658 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447053003 28904853504 7584 33554432000 4194304 4196468 140737204340672 140546555210352 140547244251778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16677] ppid=16658 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/16660/task/16677/stat : 16677 (java) R 16658 16658 16393 0 -1 4202560 353 0 0 0 1 0 0 0 20 0 20 0 447053003 28904853504 7584 33554432000 4194304 4196468 140737204340672 140546554157552 140547222905312 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16678] ppid=16658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16660/task/16678/stat : 16678 (java) S 16658 16658 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447053003 28904853504 7584 33554432000 4194304 4196468 140737204340672 140546553104992 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16679] ppid=16658 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16660/task/16679/stat : 16679 (java) S 16658 16658 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447053003 28904853504 7584 33554432000 4194304 4196468 140737204340672 140546552052272 140547244251778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31788 KiB

[startup+0.210623 s]*
/proc/loadavg: 7.25 7.70 7.98 3/211 16679
/proc/meminfo: memFree=29305480/32770624 swapFree=66939908/67108860
[pid=16658] ppid=16655 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16658/stat : 16658 (xcsp3-exec) S 16655 16658 16393 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 447052997 115843072 363 33554432000 4194304 5098028 140735091751696 140735091749800 140218388816508 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9080832 140735091753845 140735091754089 140735091754089 140735091757002 0
/proc/16658/statm: 28282 363 305 221 0 87 0
[pid=16660] ppid=16658 vsize=28227396 memory=41288 CPUtime=0.34 cores=0-7
/proc/16660/stat : 16660 (java) S 16658 16658 16393 0 -1 1077944320 9571 0 0 0 31 3 0 0 20 0 20 0 447052997 28904853504 10322 33554432000 4194304 4196468 140737204340672 140737204323216 140547244240631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
/proc/16660/statm: 7056849 10322 3286 1 0 7019032 0
[pid=16660/tid=16661] ppid=16658 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/16660/task/16661/stat : 16661 (java) R 16658 16658 16393 0 -1 4202560 6725 0 0 0 18 1 0 0 20 0 20 0 447052998 28904853504 10322 33554432000 4194304 4196468 140737204340672 140547248466832 140547244252566 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16662] ppid=16658 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/16660/task/16662/stat : 16662 (java) S 16658 16658 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447052998 28904853504 10322 33554432000 4194304 4196468 140737204340672 140547196861072 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16663] ppid=16658 vsize=28227396 memory=288370395447916160 CPUtime=0 cores=0-7
/proc/16660/task/16663/stat : 16663 (java) S 16658 16658 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447052998 28904853504 10322 33554432000 4194304 4196468 140737204340672 140547195808272 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16664] ppid=16658 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16660/task/16664/stat : 16664 (java) S 16658 16658 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447052998 28904853504 10322 33554432000 4194304 4196468 140737204340672 140547194755472 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16665] ppid=16658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16660/task/16665/stat : 16665 (java) S 16658 16658 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447052998 28904853504 10322 33554432000 4194304 4196468 140737204340672 140547193702672 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16666] ppid=16658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16660/task/16666/stat : 16666 (java) S 16658 16658 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447052998 28904853504 10322 33554432000 4194304 4196468 140737204340672 140547192650896 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16667] ppid=16658 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16660/task/16667/stat : 16667 (java) S 16658 16658 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447052998 28904853504 10322 33554432000 4194304 4196468 140737204340672 140547191598096 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16668] ppid=16658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16660/task/16668/stat : 16668 (java) S 16658 16658 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447052998 28904853504 10322 33554432000 4194304 4196468 140737204340672 140547190545296 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16669] ppid=16658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16660/task/16669/stat : 16669 (java) S 16658 16658 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447052998 28904853504 10322 33554432000 4194304 4196468 140737204340672 140547189492496 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16670] ppid=16658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16660/task/16670/stat : 16670 (java) S 16658 16658 16393 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447053000 28904853504 10322 33554432000 4194304 4196468 140737204340672 140546561526128 140547244251778 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16671] ppid=16658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16660/task/16671/stat : 16671 (java) S 16658 16658 16393 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447053000 28904853504 10322 33554432000 4194304 4196468 140737204340672 140546560472096 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16672] ppid=16658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16660/task/16672/stat : 16672 (java) S 16658 16658 16393 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447053000 28904853504 10322 33554432000 4194304 4196468 140737204340672 140546559419248 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16673] ppid=16658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16660/task/16673/stat : 16673 (java) S 16658 16658 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447053003 28904853504 10322 33554432000 4194304 4196468 140737204340672 140546558367568 140547244259227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16674] ppid=16658 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/16660/task/16674/stat : 16674 (java) R 16658 16658 16393 0 -1 1077944384 438 0 0 0 1 0 0 0 20 0 20 0 447053003 28904853504 10322 33554432000 4194304 4196468 140737204340672 140546557315952 140547244251778 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16675] ppid=16658 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/16660/task/16675/stat : 16675 (java) R 16658 16658 16393 0 -1 1077944384 240 0 0 0 1 0 0 0 20 0 20 0 447053003 28904853504 10322 33554432000 4194304 4196468 140737204340672 140546556263152 140547244251778 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16676] ppid=16658 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/16660/task/16676/stat : 16676 (java) S 16658 16658 16393 0 -1 1077944384 105 0 0 0 1 0 0 0 20 0 20 0 447053003 28904853504 10322 33554432000 4194304 4196468 140737204340672 140546555210352 140547244251778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16677] ppid=16658 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/16660/task/16677/stat : 16677 (java) R 16658 16658 16393 0 -1 4202560 747 0 0 0 7 0 0 0 20 0 20 0 447053003 28904853504 10322 33554432000 4194304 4196468 140737204340672 140546554157552 140547236477758 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16678] ppid=16658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16660/task/16678/stat : 16678 (java) S 16658 16658 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447053003 28904853504 10322 33554432000 4194304 4196468 140737204340672 140546553104992 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16679] ppid=16658 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16660/task/16679/stat : 16679 (java) S 16658 16658 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447053003 28904853504 10322 33554432000 4194304 4196468 140737204340672 140546552052272 140547244251778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42740 KiB

[startup+0.310624 s]*
/proc/loadavg: 7.25 7.70 7.98 4/211 16679
/proc/meminfo: memFree=29298816/32770624 swapFree=66939908/67108860
[pid=16658] ppid=16655 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16658/stat : 16658 (xcsp3-exec) S 16655 16658 16393 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 447052997 115843072 363 33554432000 4194304 5098028 140735091751696 140735091749800 140218388816508 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9080832 140735091753845 140735091754089 140735091754089 140735091757002 0
/proc/16658/statm: 28282 363 305 221 0 87 0
[pid=16660] ppid=16658 vsize=28231652 memory=50152 CPUtime=0.53 cores=0-7
/proc/16660/stat : 16660 (java) S 16658 16658 16393 0 -1 1077944320 10921 0 0 0 49 4 0 0 20 0 20 0 447052997 28909211648 12538 33554432000 4194304 4196468 140737204340672 140737204323216 140547244240631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
/proc/16660/statm: 7057913 12538 3337 1 0 7019032 0
[pid=16660/tid=16661] ppid=16658 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/16660/task/16661/stat : 16661 (java) R 16658 16658 16393 0 -1 4202560 7852 0 0 0 27 2 0 0 20 0 20 0 447052998 28909211648 12538 33554432000 4194304 4196468 140737204340672 140547248474416 140547228321118 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16662] ppid=16658 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16660/task/16662/stat : 16662 (java) S 16658 16658 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447052998 28909211648 12538 33554432000 4194304 4196468 140737204340672 140547196861072 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16663] ppid=16658 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16660/task/16663/stat : 16663 (java) S 16658 16658 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447052998 28909211648 12538 33554432000 4194304 4196468 140737204340672 140547195808272 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16664] ppid=16658 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16660/task/16664/stat : 16664 (java) S 16658 16658 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447052998 28909211648 12538 33554432000 4194304 4196468 140737204340672 140547194755472 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16665] ppid=16658 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16660/task/16665/stat : 16665 (java) S 16658 16658 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447052998 28909211648 12538 33554432000 4194304 4196468 140737204340672 140547193702672 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16666] ppid=16658 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16660/task/16666/stat : 16666 (java) S 16658 16658 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447052998 28909211648 12538 33554432000 4194304 4196468 140737204340672 140547192650896 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16667] ppid=16658 vsize=28231652 memory=140019155167919 CPUtime=0 cores=0-7
/proc/16660/task/16667/stat : 16667 (java) S 16658 16658 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447052998 28909211648 12538 33554432000 4194304 4196468 140737204340672 140547191598096 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16668] ppid=16658 vsize=28231652 memory=140019155170224 CPUtime=0 cores=0-7
/proc/16660/task/16668/stat : 16668 (java) S 16658 16658 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447052998 28909211648 12538 33554432000 4194304 4196468 140737204340672 140547190545296 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16669] ppid=16658 vsize=28231652 memory=140019155172528 CPUtime=0 cores=0-7
/proc/16660/task/16669/stat : 16669 (java) S 16658 16658 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447052998 28909211648 12538 33554432000 4194304 4196468 140737204340672 140547189492496 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16670] ppid=16658 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16660/task/16670/stat : 16670 (java) S 16658 16658 16393 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447053000 28909211648 12538 33554432000 4194304 4196468 140737204340672 140546561526128 140547244251778 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16671] ppid=16658 vsize=28231652 memory=280038310358928 CPUtime=0 cores=0-7
/proc/16660/task/16671/stat : 16671 (java) S 16658 16658 16393 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447053000 28909211648 12538 33554432000 4194304 4196468 140737204340672 140546560472096 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16672] ppid=16658 vsize=28231652 memory=280038310356624 CPUtime=0 cores=0-7
/proc/16660/task/16672/stat : 16672 (java) S 16658 16658 16393 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447053000 28909211648 12538 33554432000 4194304 4196468 140737204340672 140546559419248 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16673] ppid=16658 vsize=28231652 memory=280038310363536 CPUtime=0 cores=0-7
/proc/16660/task/16673/stat : 16673 (java) S 16658 16658 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447053003 28909211648 12538 33554432000 4194304 4196468 140737204340672 140546558367568 140547244259227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16674] ppid=16658 vsize=28231652 memory=280038310304816 CPUtime=0.02 cores=0-7
/proc/16660/task/16674/stat : 16674 (java) R 16658 16658 16393 0 -1 4202560 545 0 0 0 2 0 0 0 20 0 20 0 447053003 28909211648 12538 33554432000 4194304 4196468 140737204340672 140546557306336 140547229348309 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16675] ppid=16658 vsize=28231652 memory=280038310377360 CPUtime=0.03 cores=0-7
/proc/16660/task/16675/stat : 16675 (java) S 16658 16658 16393 0 -1 1077944384 253 0 0 0 3 0 0 0 20 0 20 0 447053003 28909211648 12538 33554432000 4194304 4196468 140737204340672 140546556263152 140547244251778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16676] ppid=16658 vsize=28231652 memory=280038310384272 CPUtime=0.03 cores=0-7
/proc/16660/task/16676/stat : 16676 (java) S 16658 16658 16393 0 -1 1077944384 129 0 0 0 3 0 0 0 20 0 20 0 447053003 28909211648 12538 33554432000 4194304 4196468 140737204340672 140546555210352 140547244251778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16677] ppid=16658 vsize=28231652 memory=280038310381968 CPUtime=0.12 cores=0-7
/proc/16660/task/16677/stat : 16677 (java) S 16658 16658 16393 0 -1 1077944384 845 0 0 0 12 0 0 0 20 0 20 0 447053003 28909211648 12538 33554432000 4194304 4196468 140737204340672 140546554157552 140547244251778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16678] ppid=16658 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16660/task/16678/stat : 16678 (java) S 16658 16658 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447053003 28909211648 12538 33554432000 4194304 4196468 140737204340672 140546553104992 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16679] ppid=16658 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/16660/task/16679/stat : 16679 (java) S 16658 16658 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447053003 28909211648 12538 33554432000 4194304 4196468 140737204340672 140546552052272 140547244251778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51604 KiB

[startup+0.700956 s]
/proc/loadavg: 7.25 7.70 7.98 5/211 16679
/proc/meminfo: memFree=29272464/32770624 swapFree=66939908/67108860
[pid=16658] ppid=16655 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16658/stat : 16658 (xcsp3-exec) S 16655 16658 16393 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 447052997 115843072 363 33554432000 4194304 5098028 140735091751696 140735091749800 140218388816508 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9080832 140735091753845 140735091754089 140735091754089 140735091757002 0
/proc/16658/statm: 28282 363 305 221 0 87 0
[pid=16660] ppid=16658 vsize=28233776 memory=121640 CPUtime=2 cores=0-7
/proc/16660/stat : 16660 (java) S 16658 16658 16393 0 -1 1077944320 15959 0 0 0 194 6 0 0 20 0 20 0 447052997 28911386624 30410 33554432000 4194304 4196468 140737204340672 140737204323216 140547244240631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
/proc/16660/statm: 7058444 30410 3449 1 0 7019544 0
[pid=16660/tid=16661] ppid=16658 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/16660/task/16661/stat : 16661 (java) R 16658 16658 16393 0 -1 4202560 9032 0 0 0 64 4 0 0 20 0 20 0 447052998 28911386624 30410 33554432000 4194304 4196468 140737204340672 140547248477792 140547244252566 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16662] ppid=16658 vsize=28233776 memory=140019155379056 CPUtime=0 cores=0-7
/proc/16660/task/16662/stat : 16662 (java) S 16658 16658 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447052998 28911386624 30410 33554432000 4194304 4196468 140737204340672 140547196861072 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16663] ppid=16658 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/16660/task/16663/stat : 16663 (java) S 16658 16658 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447052998 28911386624 30410 33554432000 4194304 4196468 140737204340672 140547195808272 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16664] ppid=16658 vsize=28233776 memory=1256 CPUtime=0 cores=0-7
/proc/16660/task/16664/stat : 16664 (java) S 16658 16658 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447052998 28911386624 30410 33554432000 4194304 4196468 140737204340672 140547194755472 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0

################
# More data... #
################

[pid=16660/tid=16677] ppid=16658 vsize=28768336 memory=2580 CPUtime=0.84 cores=0-7
/proc/16660/task/16677/stat : 16677 (java) S 16658 16658 16393 0 -1 1077944384 9820 0 0 0 83 1 0 0 20 0 28 0 447053003 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546554157552 140547244251778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16678] ppid=16658 vsize=28768336 memory=1760 CPUtime=0 cores=0-7
/proc/16660/task/16678/stat : 16678 (java) S 16658 16658 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447053003 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546553104992 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16679] ppid=16658 vsize=28768336 memory=111636 CPUtime=0.09 cores=0-7
/proc/16660/task/16679/stat : 16679 (java) S 16658 16658 16393 0 -1 1077944384 1346 0 0 0 0 9 0 0 20 0 28 0 447053003 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546552052272 140547244251778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16816] ppid=16658 vsize=28768336 memory=808 CPUtime=252.11 cores=0-7
/proc/16660/task/16816/stat : 16816 (java) R 16658 16658 16393 0 -1 4202560 7297 0 0 0 25206 5 0 0 20 0 28 0 447053328 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546537806968 140546856072064 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16817] ppid=16658 vsize=28768336 memory=4096 CPUtime=252.18 cores=0-7
/proc/16660/task/16817/stat : 16817 (java) R 16658 16658 16393 0 -1 4202560 1745 0 0 0 25216 2 0 0 20 0 28 0 447053328 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546542018504 140546858707245 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16818] ppid=16658 vsize=28768336 memory=140019156248321 CPUtime=252.21 cores=0-7
/proc/16660/task/16818/stat : 16818 (java) R 16658 16658 16393 0 -1 4202560 2835 0 0 0 25217 4 0 0 20 0 28 0 447053328 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546538861608 140546856351546 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16819] ppid=16658 vsize=28768336 memory=0 CPUtime=249.94 cores=0-7
/proc/16660/task/16819/stat : 16819 (java) R 16658 16658 16393 0 -1 4202560 706 0 0 0 24994 0 0 0 20 0 28 0 447053328 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546539913640 140546858707078 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16820] ppid=16658 vsize=28768336 memory=0 CPUtime=250.82 cores=0-7
/proc/16660/task/16820/stat : 16820 (java) R 16658 16658 16393 0 -1 4202560 1946 0 0 0 25081 1 0 0 20 0 28 0 447053328 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546536755376 140546856049207 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16821] ppid=16658 vsize=28768336 memory=0 CPUtime=252.29 cores=0-7
/proc/16660/task/16821/stat : 16821 (java) R 16658 16658 16393 0 -1 4202560 2081 0 0 0 25223 6 0 0 20 0 28 0 447053328 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546540966568 140546856049192 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16822] ppid=16658 vsize=28768336 memory=0 CPUtime=252.32 cores=0-7
/proc/16660/task/16822/stat : 16822 (java) R 16658 16658 16393 0 -1 4202560 2894 0 0 0 25220 12 0 0 20 0 28 0 447053328 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546535702744 140546857272532 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16823] ppid=16658 vsize=28768336 memory=0 CPUtime=251.35 cores=0-7
/proc/16660/task/16823/stat : 16823 (java) R 16658 16658 16393 0 -1 4202560 11815 0 0 0 25102 33 0 0 20 0 28 0 447053328 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546543073872 140546858707320 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
Current children cumulated CPU time: 2033.88 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2196352 KiB

[startup+256.202 s]
/proc/loadavg: 8.18 7.93 8.00 9/220 16846
/proc/meminfo: memFree=27152956/32770624 swapFree=66939908/67108860
[pid=16658] ppid=16655 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16658/stat : 16658 (xcsp3-exec) S 16655 16658 16393 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 447052997 115843072 363 33554432000 4194304 5098028 140735091751696 140735091749800 140218388816508 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9080832 140735091753845 140735091754089 140735091754089 140735091757002 0
/proc/16658/statm: 28282 363 305 221 0 87 0
[pid=16660] ppid=16658 vsize=28768336 memory=2194900 CPUtime=2035.41 cores=0-7
/proc/16660/stat : 16660 (java) S 16658 16658 16393 0 -1 1077944320 108416 0 0 0 203416 125 0 0 20 0 28 0 447052997 29458776064 548725 33554432000 4194304 4196468 140737204340672 140737204323216 140547244240631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
/proc/16660/statm: 7192084 548725 3528 1 0 7153184 0
[pid=16660/tid=16661] ppid=16658 vsize=28768336 memory=288230574492221466 CPUtime=1.52 cores=0-7
/proc/16660/task/16661/stat : 16661 (java) S 16658 16658 16393 0 -1 1077944384 9316 0 0 0 146 6 0 0 20 0 28 0 447052998 29458776064 548725 33554432000 4194304 4196468 140737204340672 140547248481408 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16662] ppid=16658 vsize=28768336 memory=6791534058613427641 CPUtime=0.12 cores=0-7
/proc/16660/task/16662/stat : 16662 (java) S 16658 16658 16393 0 -1 1077944384 727 0 0 0 8 4 0 0 20 0 28 0 447052998 29458776064 548725 33554432000 4194304 4196468 140737204340672 140547196861072 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16663] ppid=16658 vsize=28768336 memory=1436 CPUtime=0.13 cores=0-7
/proc/16660/task/16663/stat : 16663 (java) S 16658 16658 16393 0 -1 1077944384 1713 0 0 0 9 4 0 0 20 0 28 0 447052998 29458776064 548725 33554432000 4194304 4196468 140737204340672 140547195808272 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16664] ppid=16658 vsize=28768336 memory=4152 CPUtime=0.1 cores=0-7
/proc/16660/task/16664/stat : 16664 (java) S 16658 16658 16393 0 -1 1077944384 790 0 0 0 7 3 0 0 20 0 28 0 447052998 29458776064 548725 33554432000 4194304 4196468 140737204340672 140547194755472 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16665] ppid=16658 vsize=28768336 memory=1548 CPUtime=0.12 cores=0-7
/proc/16660/task/16665/stat : 16665 (java) S 16658 16658 16393 0 -1 1077944384 386 0 0 0 8 4 0 0 20 0 28 0 447052998 29458776064 548725 33554432000 4194304 4196468 140737204340672 140547193702672 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16666] ppid=16658 vsize=28768336 memory=1728 CPUtime=0.12 cores=0-7
/proc/16660/task/16666/stat : 16666 (java) S 16658 16658 16393 0 -1 1077944384 1849 0 0 0 8 4 0 0 20 0 28 0 447052998 29458776064 548725 33554432000 4194304 4196468 140737204340672 140547192650896 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16667] ppid=16658 vsize=28768336 memory=8072 CPUtime=0.14 cores=0-7
/proc/16660/task/16667/stat : 16667 (java) S 16658 16658 16393 0 -1 1077944384 406 0 0 0 10 4 0 0 20 0 28 0 447052998 29458776064 548725 33554432000 4194304 4196468 140737204340672 140547191598096 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16668] ppid=16658 vsize=28768336 memory=9580 CPUtime=0.12 cores=0-7
/proc/16660/task/16668/stat : 16668 (java) S 16658 16658 16393 0 -1 1077944384 458 0 0 0 8 4 0 0 20 0 28 0 447052998 29458776064 548725 33554432000 4194304 4196468 140737204340672 140547190545296 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16669] ppid=16658 vsize=28768336 memory=1052 CPUtime=0.13 cores=0-7
/proc/16660/task/16669/stat : 16669 (java) S 16658 16658 16393 0 -1 1077944384 604 0 0 0 9 4 0 0 20 0 28 0 447052998 29458776064 548725 33554432000 4194304 4196468 140737204340672 140547189492496 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16670] ppid=16658 vsize=28768336 memory=776 CPUtime=0.04 cores=0-7
/proc/16660/task/16670/stat : 16670 (java) S 16658 16658 16393 0 -1 1077944384 3859 0 0 0 3 1 0 0 20 0 28 0 447053000 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546561526128 140547244251778 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16671] ppid=16658 vsize=28768336 memory=2832 CPUtime=0 cores=0-7
/proc/16660/task/16671/stat : 16671 (java) S 16658 16658 16393 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 447053000 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546560472160 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16672] ppid=16658 vsize=28768336 memory=1076 CPUtime=0 cores=0-7
/proc/16660/task/16672/stat : 16672 (java) S 16658 16658 16393 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 447053000 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546559419264 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16673] ppid=16658 vsize=28768336 memory=14008 CPUtime=0 cores=0-7
/proc/16660/task/16673/stat : 16673 (java) S 16658 16658 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447053003 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546558367568 140547244259227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16674] ppid=16658 vsize=28768336 memory=26536 CPUtime=2.36 cores=0-7
/proc/16660/task/16674/stat : 16674 (java) S 16658 16658 16393 0 -1 1077944384 13482 0 0 0 233 3 0 0 20 0 28 0 447053003 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546557315952 140547244251778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16675] ppid=16658 vsize=28768336 memory=14056 CPUtime=2.33 cores=0-7
/proc/16660/task/16675/stat : 16675 (java) S 16658 16658 16393 0 -1 1077944384 17597 0 0 0 229 4 0 0 20 0 28 0 447053003 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546556263152 140547244251778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16676] ppid=16658 vsize=28768336 memory=2116 CPUtime=2.07 cores=0-7
/proc/16660/task/16676/stat : 16676 (java) S 16658 16658 16393 0 -1 1077944384 10747 0 0 0 205 2 0 0 20 0 28 0 447053003 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546555210352 140547244251778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16677] ppid=16658 vsize=28768336 memory=520 CPUtime=0.84 cores=0-7
/proc/16660/task/16677/stat : 16677 (java) S 16658 16658 16393 0 -1 1077944384 9820 0 0 0 83 1 0 0 20 0 28 0 447053003 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546554157552 140547244251778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16678] ppid=16658 vsize=28768336 memory=1560 CPUtime=0 cores=0-7
/proc/16660/task/16678/stat : 16678 (java) S 16658 16658 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447053003 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546553104992 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16679] ppid=16658 vsize=28768336 memory=924 CPUtime=0.09 cores=0-7
/proc/16660/task/16679/stat : 16679 (java) S 16658 16658 16393 0 -1 1077944384 1346 0 0 0 0 9 0 0 20 0 28 0 447053003 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546552052272 140547244251778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16816] ppid=16658 vsize=28768336 memory=3688 CPUtime=252.31 cores=0-7
/proc/16660/task/16816/stat : 16816 (java) R 16658 16658 16393 0 -1 4202560 7297 0 0 0 25226 5 0 0 20 0 28 0 447053328 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546537806968 140546856298654 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16817] ppid=16658 vsize=28768336 memory=1984 CPUtime=252.37 cores=0-7
/proc/16660/task/16817/stat : 16817 (java) R 16658 16658 16393 0 -1 4202560 1745 0 0 0 25235 2 0 0 20 0 28 0 447053328 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546542018504 140546856351546 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16818] ppid=16658 vsize=28768336 memory=1440 CPUtime=252.4 cores=0-7
/proc/16660/task/16818/stat : 16818 (java) R 16658 16658 16393 0 -1 4202560 2835 0 0 0 25236 4 0 0 20 0 28 0 447053328 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546538861608 140546856351075 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16819] ppid=16658 vsize=28768336 memory=6791534058613427641 CPUtime=250.13 cores=0-7
/proc/16660/task/16819/stat : 16819 (java) R 16658 16658 16393 0 -1 4202560 706 0 0 0 25013 0 0 0 20 0 28 0 447053328 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546539913640 140546856072076 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16820] ppid=16658 vsize=28768336 memory=988 CPUtime=251.01 cores=0-7
/proc/16660/task/16820/stat : 16820 (java) R 16658 16658 16393 0 -1 4202560 1946 0 0 0 25100 1 0 0 20 0 28 0 447053328 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546536755376 140546856266439 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16821] ppid=16658 vsize=28768336 memory=2008 CPUtime=252.48 cores=0-7
/proc/16660/task/16821/stat : 16821 (java) R 16658 16658 16393 0 -1 4202560 2081 0 0 0 25242 6 0 0 20 0 28 0 447053328 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546540966568 140546856049176 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16822] ppid=16658 vsize=28768336 memory=1436 CPUtime=252.51 cores=0-7
/proc/16660/task/16822/stat : 16822 (java) R 16658 16658 16393 0 -1 4202560 2894 0 0 0 25239 12 0 0 20 0 28 0 447053328 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546535702744 140546858707343 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16823] ppid=16658 vsize=28768336 memory=1452 CPUtime=251.53 cores=0-7
/proc/16660/task/16823/stat : 16823 (java) R 16658 16658 16393 0 -1 4202560 11815 0 0 0 25120 33 0 0 20 0 28 0 447053328 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546543073872 140546856428849 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
Current children cumulated CPU time: 2035.41 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2196352 KiB

[startup+256.302 s]
/proc/loadavg: 8.18 7.93 8.00 9/220 16846
/proc/meminfo: memFree=27152956/32770624 swapFree=66939908/67108860
[pid=16658] ppid=16655 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16658/stat : 16658 (xcsp3-exec) S 16655 16658 16393 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 447052997 115843072 363 33554432000 4194304 5098028 140735091751696 140735091749800 140218388816508 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9080832 140735091753845 140735091754089 140735091754089 140735091757002 0
/proc/16658/statm: 28282 363 305 221 0 87 0
[pid=16660] ppid=16658 vsize=28768336 memory=2194900 CPUtime=2036.21 cores=0-7
/proc/16660/stat : 16660 (java) S 16658 16658 16393 0 -1 1077944320 108417 0 0 0 203496 125 0 0 20 0 28 0 447052997 29458776064 548725 33554432000 4194304 4196468 140737204340672 140737204323216 140547244240631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
/proc/16660/statm: 7192084 548725 3528 1 0 7153184 0
[pid=16660/tid=16661] ppid=16658 vsize=28768336 memory=1452 CPUtime=1.52 cores=0-7
/proc/16660/task/16661/stat : 16661 (java) S 16658 16658 16393 0 -1 1077944384 9316 0 0 0 146 6 0 0 20 0 28 0 447052998 29458776064 548725 33554432000 4194304 4196468 140737204340672 140547248481408 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16662] ppid=16658 vsize=28768336 memory=1452 CPUtime=0.12 cores=0-7
/proc/16660/task/16662/stat : 16662 (java) S 16658 16658 16393 0 -1 1077944384 727 0 0 0 8 4 0 0 20 0 28 0 447052998 29458776064 548725 33554432000 4194304 4196468 140737204340672 140547196861072 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16663] ppid=16658 vsize=28768336 memory=1452 CPUtime=0.13 cores=0-7
/proc/16660/task/16663/stat : 16663 (java) S 16658 16658 16393 0 -1 1077944384 1713 0 0 0 9 4 0 0 20 0 28 0 447052998 29458776064 548725 33554432000 4194304 4196468 140737204340672 140547195808272 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16664] ppid=16658 vsize=28768336 memory=2194900 CPUtime=0.1 cores=0-7
/proc/16660/task/16664/stat : 16664 (java) S 16658 16658 16393 0 -1 1077944384 790 0 0 0 7 3 0 0 20 0 28 0 447052998 29458776064 548725 33554432000 4194304 4196468 140737204340672 140547194755472 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16665] ppid=16658 vsize=28768336 memory=2194900 CPUtime=0.12 cores=0-7
/proc/16660/task/16665/stat : 16665 (java) S 16658 16658 16393 0 -1 1077944384 386 0 0 0 8 4 0 0 20 0 28 0 447052998 29458776064 548725 33554432000 4194304 4196468 140737204340672 140547193702672 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16666] ppid=16658 vsize=28768336 memory=2194900 CPUtime=0.12 cores=0-7
/proc/16660/task/16666/stat : 16666 (java) S 16658 16658 16393 0 -1 1077944384 1849 0 0 0 8 4 0 0 20 0 28 0 447052998 29458776064 548725 33554432000 4194304 4196468 140737204340672 140547192650896 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16667] ppid=16658 vsize=28768336 memory=1452 CPUtime=0.14 cores=0-7
/proc/16660/task/16667/stat : 16667 (java) S 16658 16658 16393 0 -1 1077944384 406 0 0 0 10 4 0 0 20 0 28 0 447052998 29458776064 548725 33554432000 4194304 4196468 140737204340672 140547191598096 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16668] ppid=16658 vsize=28768336 memory=1762404 CPUtime=0.12 cores=0-7
/proc/16660/task/16668/stat : 16668 (java) S 16658 16658 16393 0 -1 1077944384 458 0 0 0 8 4 0 0 20 0 28 0 447052998 29458776064 548725 33554432000 4194304 4196468 140737204340672 140547190545296 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16669] ppid=16658 vsize=28768336 memory=0 CPUtime=0.13 cores=0-7
/proc/16660/task/16669/stat : 16669 (java) S 16658 16658 16393 0 -1 1077944384 604 0 0 0 9 4 0 0 20 0 28 0 447052998 29458776064 548725 33554432000 4194304 4196468 140737204340672 140547189492496 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16670] ppid=16658 vsize=28768336 memory=1440 CPUtime=0.04 cores=0-7
/proc/16660/task/16670/stat : 16670 (java) S 16658 16658 16393 0 -1 1077944384 3859 0 0 0 3 1 0 0 20 0 28 0 447053000 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546561526128 140547244251778 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16671] ppid=16658 vsize=28768336 memory=816 CPUtime=0 cores=0-7
/proc/16660/task/16671/stat : 16671 (java) S 16658 16658 16393 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 447053000 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546560472160 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16672] ppid=16658 vsize=28768336 memory=2580 CPUtime=0 cores=0-7
/proc/16660/task/16672/stat : 16672 (java) S 16658 16658 16393 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 447053000 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546559419264 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16673] ppid=16658 vsize=28768336 memory=2194900 CPUtime=0 cores=0-7
/proc/16660/task/16673/stat : 16673 (java) S 16658 16658 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447053003 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546558367568 140547244259227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16674] ppid=16658 vsize=28768336 memory=1452 CPUtime=2.36 cores=0-7
/proc/16660/task/16674/stat : 16674 (java) S 16658 16658 16393 0 -1 1077944384 13482 0 0 0 233 3 0 0 20 0 28 0 447053003 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546557315952 140547244251778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16675] ppid=16658 vsize=28768336 memory=2194900 CPUtime=2.33 cores=0-7
/proc/16660/task/16675/stat : 16675 (java) S 16658 16658 16393 0 -1 1077944384 17597 0 0 0 229 4 0 0 20 0 28 0 447053003 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546556263152 140547244251778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16676] ppid=16658 vsize=28768336 memory=1452 CPUtime=2.07 cores=0-7
/proc/16660/task/16676/stat : 16676 (java) S 16658 16658 16393 0 -1 1077944384 10747 0 0 0 205 2 0 0 20 0 28 0 447053003 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546555210352 140547244251778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16677] ppid=16658 vsize=28768336 memory=3504 CPUtime=0.84 cores=0-7
/proc/16660/task/16677/stat : 16677 (java) S 16658 16658 16393 0 -1 1077944384 9820 0 0 0 83 1 0 0 20 0 28 0 447053003 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546554157552 140547244251778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16678] ppid=16658 vsize=28768336 memory=48368 CPUtime=0 cores=0-7
/proc/16660/task/16678/stat : 16678 (java) S 16658 16658 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447053003 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546553104992 140547244250837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16679] ppid=16658 vsize=28768336 memory=0 CPUtime=0.09 cores=0-7
/proc/16660/task/16679/stat : 16679 (java) S 16658 16658 16393 0 -1 1077944384 1346 0 0 0 0 9 0 0 20 0 28 0 447053003 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546552052272 140547244251778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16816] ppid=16658 vsize=28768336 memory=4420 CPUtime=252.41 cores=0-7
/proc/16660/task/16816/stat : 16816 (java) R 16658 16658 16393 0 -1 4202560 7297 0 0 0 25236 5 0 0 20 0 28 0 447053328 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546537806968 140546858707003 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16817] ppid=16658 vsize=28768336 memory=6628 CPUtime=252.47 cores=0-7
/proc/16660/task/16817/stat : 16817 (java) R 16658 16658 16393 0 -1 4202560 1745 0 0 0 25245 2 0 0 20 0 28 0 447053328 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546542018504 140546856351486 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16818] ppid=16658 vsize=28768336 memory=0 CPUtime=252.5 cores=0-7
/proc/16660/task/16818/stat : 16818 (java) R 16658 16658 16393 0 -1 4202560 2835 0 0 0 25246 4 0 0 20 0 28 0 447053328 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546538861608 140546858707078 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16819] ppid=16658 vsize=28768336 memory=0 CPUtime=250.23 cores=0-7
/proc/16660/task/16819/stat : 16819 (java) R 16658 16658 16393 0 -1 4202560 706 0 0 0 25023 0 0 0 20 0 28 0 447053328 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546539913640 140546858707451 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16820] ppid=16658 vsize=28768336 memory=0 CPUtime=251.11 cores=0-7
/proc/16660/task/16820/stat : 16820 (java) R 16658 16658 16393 0 -1 4202560 1946 0 0 0 25110 1 0 0 20 0 28 0 447053328 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546536755376 140546858707148 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16821] ppid=16658 vsize=28768336 memory=1452 CPUtime=252.58 cores=0-7
/proc/16660/task/16821/stat : 16821 (java) R 16658 16658 16393 0 -1 4202560 2081 0 0 0 25252 6 0 0 20 0 28 0 447053328 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546540966568 140546857272400 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16822] ppid=16658 vsize=28768336 memory=2194900 CPUtime=252.61 cores=0-7
/proc/16660/task/16822/stat : 16822 (java) R 16658 16658 16393 0 -1 4202560 2894 0 0 0 25249 12 0 0 20 0 28 0 447053328 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546535702744 140546856042951 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
[pid=16660/tid=16823] ppid=16658 vsize=28768336 memory=1548 CPUtime=251.63 cores=0-7
/proc/16660/task/16823/stat : 16823 (java) R 16658 16658 16393 0 -1 4202560 11816 0 0 0 25130 33 0 0 20 0 28 0 447053328 29458776064 548725 33554432000 4194304 4196468 140737204340672 140546543073872 140546858707368 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 34000896 140737204347882 140737204348054 140737204348054 140737204350927 0
Current children cumulated CPU time: 2036.21 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2196352 KiB

Child status: 0
Real time (s): 256.341
CPU time (s): 2036.39
CPU user time (s): 2035.11
CPU system time (s): 1.28081
CPU usage (%): 794.406
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 2196352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2035.11
system time used= 1.28081
maximum resident set size= 2194900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109623
page faults= 0
swaps= 0
block input operations= 0
block output operations= 488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11893
involuntary context switches= 23031


# summary of solver processes directly reported to runsolver:
#   pid: 16658
#   total CPU time (s): 2036.39
#   total CPU user time (s): 2035.11
#   total CPU system time (s): 1.28081

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.76494 second user time and 2.54586 second system time

The end
Name	PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii32e3.xml
MD5SUM	bcb3f3ceeead4664bdf41fd123f1defa
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	310
Best CPU time to get the best result obtained on this benchmark	91.9938
Satisfiable
(Un)Satisfiability was proved
Number of variables	660
Number of constraints	5350
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":660}]
Minimum variable degree	3
Maximum variable degree	107
Distribution of variable degrees	[{"degree":3,"count":138},{"degree":12,"count":3},{"degree":13,"count":3},{"degree":14,"count":3},{"degree":15,"count":3},{"degree":16,"count":3},{"degree":18,"count":3},{"degree":19,"count":3},{"degree":20,"count":6},{"degree":21,"count":15},{"degree":22,"count":3},{"degree":23,"count":9},{"degree":24,"count":30},{"degree":25,"count":3},{"degree":26,"count":18},{"degree":27,"count":3},{"degree":28,"count":30},{"degree":29,"count":9},{"degree":30,"count":3},{"degree":31,"count":15},{"degree":32,"count":6},{"degree":33,"count":3},{"degree":34,"count":141},{"degree":36,"count":3},{"degree":37,"count":3},"...",{"degree":71,"count":3}, {"degree":72,"count":3}, {"degree":73,"count":6}, {"degree":74,"count":12}, {"degree":75,"count":6}, {"degree":76,"count":3}, {"degree":77,"count":12}, {"degree":78,"count":18}, {"degree":79,"count":12}, {"degree":80,"count":18}, {"degree":81,"count":12}, {"degree":82,"count":3}, {"degree":83,"count":6}, {"degree":84,"count":12}, {"degree":85,"count":6}, {"degree":86,"count":3}, {"degree":87,"count":3}, {"degree":89,"count":3}, {"degree":91,"count":3}, {"degree":92,"count":6}, {"degree":93,"count":3}, {"degree":94,"count":3}, {"degree":95,"count":3}, {"degree":96,"count":3}, {"degree":107,"count":3}]
Minimum constraint arity	2
Maximum constraint arity	32
Distribution of constraint arities	[{"arity":2,"count":4842},{"arity":3,"count":46},{"arity":32,"count":462}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":5350}]
Optimization problem	YES
Type of objective	min SUM
Trace number 4399906

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
