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 (4612 MiB free)
memory of node 1: 16384 MiB (4364 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403662-1568989137/watcher-4403662-1568989137 -o /tmp/evaluation-result-4403662-1568989137/solver-4403662-1568989137 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568988175-11773 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1217693639 HOME/instance-4403662-1568989137.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=13707, runsolver pid=13704
[startup+0.100058 s]*
/proc/loadavg: 8.60 7.93 5.50 7/234 13723
/proc/meminfo: memFree=9175928/32770624 swapFree=66974496/67108860
[pid=13707] ppid=13704 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13707/stat : 13707 (xcsp3-exec) S 13704 13707 11742 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475180487 115843072 363 33554432000 4194304 5098028 140729934101536 140729934099640 139849705726588 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22265856 140729934103418 140729934103661 140729934103661 140729934106570 0
/proc/13707/statm: 28282 363 305 221 0 87 0
[pid=13709] ppid=13707 vsize=15144776 memory=28944 CPUtime=0.13 cores=0,2,4,6
/proc/13709/stat : 13709 (java) S 13707 13707 11742 0 -1 1077944320 5686 0 0 0 12 1 0 0 20 0 15 0 475180488 15508250624 7236 33554432000 4194304 4196468 140735242919376 140735242901920 139680919367415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
/proc/13709/statm: 3786194 7236 3162 1 0 3748377 0
[pid=13709/tid=13710] ppid=13707 vsize=15144776 memory=8324486588775410251 CPUtime=0.08 cores=0,2,4,6
/proc/13709/task/13710/stat : 13710 (java) R 13707 13707 11742 0 -1 4202560 3582 0 0 0 8 0 0 0 20 0 15 0 475180488 15508250624 7236 33554432000 4194304 4196468 140735242919376 139680923593376 139680911608805 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13711] ppid=13707 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13711/stat : 13711 (java) S 13707 13707 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475180489 15508250624 7236 33554432000 4194304 4196468 140735242919376 139680871987728 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13712] ppid=13707 vsize=15144776 memory=140258169923200 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13712/stat : 13712 (java) S 13707 13707 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475180489 15508250624 7236 33554432000 4194304 4196468 140735242919376 139680870935184 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13713] ppid=13707 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13713/stat : 13713 (java) S 13707 13707 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475180489 15508250624 7236 33554432000 4194304 4196468 140735242919376 139680869882128 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13714] ppid=13707 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13714/stat : 13714 (java) S 13707 13707 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475180489 15508250624 7236 33554432000 4194304 4196468 140735242919376 139680868829584 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13715] ppid=13707 vsize=15144776 memory=140258169923200 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13715/stat : 13715 (java) S 13707 13707 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475180490 15508250624 7236 33554432000 4194304 4196468 140735242919376 139680387418864 139680919378562 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13716] ppid=13707 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13716/stat : 13716 (java) S 13707 13707 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475180491 15508250624 7236 33554432000 4194304 4196468 140735242919376 139680386365088 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13717] ppid=13707 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13717/stat : 13717 (java) S 13707 13707 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475180491 15508250624 7236 33554432000 4194304 4196468 140735242919376 139680385311984 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13718] ppid=13707 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13718/stat : 13718 (java) S 13707 13707 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475180493 15508250624 7236 33554432000 4194304 4196468 140735242919376 139680384260560 139680919386011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13719] ppid=13707 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13719/stat : 13719 (java) R 13707 13707 11742 0 -1 1077944384 408 0 0 0 0 0 0 0 20 0 15 0 475180493 15508250624 7236 33554432000 4194304 4196468 140735242919376 139680383207664 139680919378562 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13720] ppid=13707 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13720/stat : 13720 (java) R 13707 13707 11742 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 15 0 475180493 15508250624 7236 33554432000 4194304 4196468 140735242919376 139680382146512 139680911656797 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13721] ppid=13707 vsize=15144776 memory=140258169923200 CPUtime=0.02 cores=0,2,4,6
/proc/13709/task/13721/stat : 13721 (java) R 13707 13707 11742 0 -1 4202560 370 0 0 0 2 0 0 0 20 0 15 0 475180493 15508250624 7236 33554432000 4194304 4196468 140735242919376 139680381102064 139680903613828 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13722] ppid=13707 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13722/stat : 13722 (java) S 13707 13707 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475180493 15508250624 7236 33554432000 4194304 4196468 140735242919376 139680380049760 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13723] ppid=13707 vsize=15144776 memory=140258169923200 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13723/stat : 13723 (java) S 13707 13707 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475180494 15508250624 7236 33554432000 4194304 4196468 140735242919376 139680378997808 139680919378562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30396 KiB
[startup+0.210682 s]*
/proc/loadavg: 8.60 7.93 5.50 8/234 13723
/proc/meminfo: memFree=9162976/32770624 swapFree=66974496/67108860
[pid=13707] ppid=13704 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13707/stat : 13707 (xcsp3-exec) S 13704 13707 11742 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475180487 115843072 363 33554432000 4194304 5098028 140729934101536 140729934099640 139849705726588 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22265856 140729934103418 140729934103661 140729934103661 140729934106570 0
/proc/13707/statm: 28282 363 305 221 0 87 0
[pid=13709] ppid=13707 vsize=15144776 memory=40528 CPUtime=0.34 cores=0,2,4,6
/proc/13709/stat : 13709 (java) S 13707 13707 11742 0 -1 1077944320 9326 0 0 0 31 3 0 0 20 0 15 0 475180488 15508250624 10132 33554432000 4194304 4196468 140735242919376 140735242901920 139680919367415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
/proc/13709/statm: 3786194 10132 3310 1 0 3748377 0
[pid=13709/tid=13710] ppid=13707 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/13709/task/13710/stat : 13710 (java) R 13707 13707 11742 0 -1 4202560 6593 0 0 0 18 2 0 0 20 0 15 0 475180488 15508250624 10132 33554432000 4194304 4196468 140735242919376 139680923597136 139680903447902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13711] ppid=13707 vsize=15144776 memory=9034 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13711/stat : 13711 (java) S 13707 13707 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475180489 15508250624 10132 33554432000 4194304 4196468 140735242919376 139680871987728 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13712] ppid=13707 vsize=15144776 memory=140258169935343 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13712/stat : 13712 (java) S 13707 13707 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475180489 15508250624 10132 33554432000 4194304 4196468 140735242919376 139680870935184 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13713] ppid=13707 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13713/stat : 13713 (java) S 13707 13707 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475180489 15508250624 10132 33554432000 4194304 4196468 140735242919376 139680869882128 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13714] ppid=13707 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13714/stat : 13714 (java) S 13707 13707 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475180489 15508250624 10132 33554432000 4194304 4196468 140735242919376 139680868829584 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13715] ppid=13707 vsize=15144776 memory=140258169923200 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13715/stat : 13715 (java) S 13707 13707 11742 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475180490 15508250624 10132 33554432000 4194304 4196468 140735242919376 139680387418864 139680919378562 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13716] ppid=13707 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13716/stat : 13716 (java) S 13707 13707 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475180491 15508250624 10132 33554432000 4194304 4196468 140735242919376 139680386365088 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13717] ppid=13707 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13717/stat : 13717 (java) S 13707 13707 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475180491 15508250624 10132 33554432000 4194304 4196468 140735242919376 139680385311984 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13718] ppid=13707 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13718/stat : 13718 (java) S 13707 13707 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475180493 15508250624 10132 33554432000 4194304 4196468 140735242919376 139680384260560 139680919386011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13719] ppid=13707 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/13709/task/13719/stat : 13719 (java) R 13707 13707 11742 0 -1 1077944384 530 0 0 0 3 0 0 0 20 0 15 0 475180493 15508250624 10132 33554432000 4194304 4196468 140735242919376 139680383207664 139680919378562 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13720] ppid=13707 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/13709/task/13720/stat : 13720 (java) S 13707 13707 11742 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 15 0 475180493 15508250624 10132 33554432000 4194304 4196468 140735242919376 139680382155120 139680919378562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13721] ppid=13707 vsize=15144776 memory=140258169923200 CPUtime=0.08 cores=0,2,4,6
/proc/13709/task/13721/stat : 13721 (java) R 13707 13707 11742 0 -1 4202560 817 0 0 0 8 0 0 0 20 0 15 0 475180493 15508250624 10132 33554432000 4194304 4196468 140735242919376 139680381102064 139680919388762 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13722] ppid=13707 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13722/stat : 13722 (java) S 13707 13707 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475180493 15508250624 10132 33554432000 4194304 4196468 140735242919376 139680380049760 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13723] ppid=13707 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13723/stat : 13723 (java) S 13707 13707 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475180494 15508250624 10132 33554432000 4194304 4196468 140735242919376 139680378997808 139680919378562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41980 KiB
[startup+0.310563 s]*
/proc/loadavg: 8.39 7.90 5.50 7/234 13723
/proc/meminfo: memFree=9142552/32770624 swapFree=66974496/67108860
[pid=13707] ppid=13704 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13707/stat : 13707 (xcsp3-exec) S 13704 13707 11742 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475180487 115843072 363 33554432000 4194304 5098028 140729934101536 140729934099640 139849705726588 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22265856 140729934103418 140729934103661 140729934103661 140729934106570 0
/proc/13707/statm: 28282 363 305 221 0 87 0
[pid=13709] ppid=13707 vsize=15149032 memory=49420 CPUtime=0.53 cores=0,2,4,6
/proc/13709/stat : 13709 (java) S 13707 13707 11742 0 -1 1077944320 10748 0 0 0 50 3 0 0 20 0 15 0 475180488 15512608768 12355 33554432000 4194304 4196468 140735242919376 140735242901920 139680919367415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
/proc/13709/statm: 3787258 12355 3359 1 0 3748377 0
[pid=13709/tid=13710] ppid=13707 vsize=15149032 memory=1398722017469774279 CPUtime=0.29 cores=0,2,4,6
/proc/13709/task/13710/stat : 13710 (java) R 13707 13707 11742 0 -1 4202560 7762 0 0 0 27 2 0 0 20 0 15 0 475180488 15512608768 12355 33554432000 4194304 4196468 140735242919376 139680923601200 139680903447902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13711] ppid=13707 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13711/stat : 13711 (java) S 13707 13707 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475180489 15512608768 12355 33554432000 4194304 4196468 140735242919376 139680871987728 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13712] ppid=13707 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13712/stat : 13712 (java) S 13707 13707 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475180489 15512608768 12355 33554432000 4194304 4196468 140735242919376 139680870935184 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13713] ppid=13707 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13713/stat : 13713 (java) S 13707 13707 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475180489 15512608768 12355 33554432000 4194304 4196468 140735242919376 139680869882128 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13714] ppid=13707 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13714/stat : 13714 (java) S 13707 13707 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475180489 15512608768 12355 33554432000 4194304 4196468 140735242919376 139680868829584 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13715] ppid=13707 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13715/stat : 13715 (java) S 13707 13707 11742 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475180490 15512608768 12355 33554432000 4194304 4196468 140735242919376 139680387418864 139680919378562 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13716] ppid=13707 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13716/stat : 13716 (java) S 13707 13707 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475180491 15512608768 12355 33554432000 4194304 4196468 140735242919376 139680386365088 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13717] ppid=13707 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13717/stat : 13717 (java) S 13707 13707 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475180491 15512608768 12355 33554432000 4194304 4196468 140735242919376 139680385311984 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13718] ppid=13707 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13718/stat : 13718 (java) S 13707 13707 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475180493 15512608768 12355 33554432000 4194304 4196468 140735242919376 139680384260560 139680919386011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13719] ppid=13707 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=0,2,4,6
/proc/13709/task/13719/stat : 13719 (java) S 13707 13707 11742 0 -1 1077944384 544 0 0 0 5 0 0 0 20 0 15 0 475180493 15512608768 12355 33554432000 4194304 4196468 140735242919376 139680383207664 139680919378562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13720] ppid=13707 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/13709/task/13720/stat : 13720 (java) R 13707 13707 11742 0 -1 4202560 194 0 0 0 4 0 0 0 20 0 15 0 475180493 15512608768 12355 33554432000 4194304 4196468 140735242919376 139680382145504 139680898614768 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13721] ppid=13707 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/13709/task/13721/stat : 13721 (java) S 13707 13707 11742 0 -1 1077944384 959 0 0 0 12 0 0 0 20 0 15 0 475180493 15512608768 12355 33554432000 4194304 4196468 140735242919376 139680381102064 139680919378562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13722] ppid=13707 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13722/stat : 13722 (java) S 13707 13707 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475180493 15512608768 12355 33554432000 4194304 4196468 140735242919376 139680380049760 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13723] ppid=13707 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13723/stat : 13723 (java) S 13707 13707 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475180494 15512608768 12355 33554432000 4194304 4196468 140735242919376 139680378997808 139680919378562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50872 KiB
[startup+0.764421 s]*
/proc/loadavg: 8.39 7.90 5.50 7/233 13723
/proc/meminfo: memFree=9150404/32770624 swapFree=66974496/67108860
[pid=13707] ppid=13704 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13707/stat : 13707 (xcsp3-exec) S 13704 13707 11742 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475180487 115843072 363 33554432000 4194304 5098028 140729934101536 140729934099640 139849705726588 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22265856 140729934103418 140729934103661 140729934103661 140729934106570 0
/proc/13707/statm: 28282 363 305 221 0 87 0
[pid=13709] ppid=13707 vsize=15151156 memory=55492 CPUtime=0.75 cores=0,2,4,6
/proc/13709/stat : 13709 (java) S 13707 13707 11742 0 -1 1077944320 11689 0 0 0 71 4 0 0 20 0 15 0 475180488 15514783744 13873 33554432000 4194304 4196468 140735242919376 140735242901920 139680919367415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
/proc/13709/statm: 3787789 13873 3390 1 0 3748889 0
[pid=13709/tid=13710] ppid=13707 vsize=15151156 memory=7883960649037381690 CPUtime=0.41 cores=0,2,4,6
/proc/13709/task/13710/stat : 13710 (java) R 13707 13707 11742 0 -1 4202560 8390 0 0 0 38 3 0 0 20 0 15 0 475180488 15514783744 13873 33554432000 4194304 4196468 140735242919376 139680923604000 139680903447902 0 4 0 16800975 0 0 0 -1 2 0 0 34 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13711] ppid=13707 vsize=15151156 memory=9034 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13711/stat : 13711 (java) S 13707 13707 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475180489 15514783744 13873 33554432000 4194304 4196468 140735242919376 139680871987728 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13712] ppid=13707 vsize=15151156 memory=140258169935343 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13712/stat : 13712 (java) S 13707 13707 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475180489 15514783744 13873 33554432000 4194304 4196468 140735242919376 139680870935184 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13713] ppid=13707 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13713/stat : 13713 (java) S 13707 13707 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475180489 15514783744 13873 33554432000 4194304 4196468 140735242919376 139680869882128 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13714] ppid=13707 vsize=15151156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13714/stat : 13714 (java) S 13707 13707 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475180489 15514783744 13873 33554432000 4194304 4196468 140735242919376 139680868829584 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13715] ppid=13707 vsize=15151156 memory=140258169923200 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13715/stat : 13715 (java) S 13707 13707 11742 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475180490 15514783744 13873 33554432000 4194304 4196468 140735242919376 139680387418864 139680919378562 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13716] ppid=13707 vsize=15151156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13716/stat : 13716 (java) S 13707 13707 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475180491 15514783744 13873 33554432000 4194304 4196468 140735242919376 139680386365088 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13717] ppid=13707 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13717/stat : 13717 (java) S 13707 13707 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475180491 15514783744 13873 33554432000 4194304 4196468 140735242919376 139680385311984 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13718] ppid=13707 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13718/stat : 13718 (java) S 13707 13707 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475180493 15514783744 13873 33554432000 4194304 4196468 140735242919376 139680384260560 139680919386011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13719] ppid=13707 vsize=15151156 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13709/task/13719/stat : 13719 (java) R 13707 13707 11742 0 -1 4202560 583 0 0 0 7 0 0 0 20 0 15 0 475180493 15514783744 13873 33554432000 4194304 4196468 140735242919376 139680383197776 139680904267776 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13720] ppid=13707 vsize=15151156 memory=-1 CPUtime=0.06 cores=0,2,4,6
/proc/13709/task/13720/stat : 13720 (java) R 13707 13707 11742 0 -1 1077944384 206 0 0 0 6 0 0 0 20 0 15 0 475180493 15514783744 13873 33554432000 4194304 4196468 140735242919376 139680382155216 139680919377621 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13721] ppid=13707 vsize=15151156 memory=140258169923200 CPUtime=0.19 cores=0,2,4,6
/proc/13709/task/13721/stat : 13721 (java) R 13707 13707 11742 0 -1 4202560 1210 0 0 0 19 0 0 0 20 0 15 0 475180493 15514783744 13873 33554432000 4194304 4196468 140735242919376 139680381098016 139680898305565 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13722] ppid=13707 vsize=15151156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13722/stat : 13722 (java) S 13707 13707 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475180493 15514783744 13873 33554432000 4194304 4196468 140735242919376 139680380049760 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13723] ppid=13707 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13723/stat : 13723 (java) S 13707 13707 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475180494 15514783744 13873 33554432000 4194304 4196468 140735242919376 139680378997808 139680919378562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
Current children cumulated CPU time: 0.75 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 56944 KiB
[startup+1.50073 s]
/proc/loadavg: 8.39 7.90 5.50 9/237 13727
/proc/meminfo: memFree=9098276/32770624 swapFree=66974496/67108860
[pid=13707] ppid=13704 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13707/stat : 13707 (xcsp3-exec) S 13704 13707 11742 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475180487 115843072 363 33554432000 4194304 5098028 140729934101536 140729934099640 139849705726588 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22265856 140729934103418 140729934103661 140729934103661 140729934106570 0
/proc/13707/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/13709/task/13719/stat : 13719 (java) R 13707 13707 11742 0 -1 4202560 1630 0 0 0 61 0 0 0 20 0 19 0 475180493 15855591424 35522 33554432000 4194304 4196468 140735242919376 139680383194752 139680919379350 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13720] ppid=13707 vsize=15483976 memory=6656426216303648864 CPUtime=0.55 cores=0,2,4,6
/proc/13709/task/13720/stat : 13720 (java) R 13707 13707 11742 0 -1 4202560 929 0 0 0 55 0 0 0 20 0 19 0 475180493 15855591424 35522 33554432000 4194304 4196468 140735242919376 139680382151488 139680904249219 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13721] ppid=13707 vsize=15483976 memory=0 CPUtime=0.47 cores=0,2,4,6
/proc/13709/task/13721/stat : 13721 (java) R 13707 13707 11742 0 -1 1077944384 2161 0 0 0 47 0 0 0 20 0 19 0 475180493 15855591424 35522 33554432000 4194304 4196468 140735242919376 139680381102160 139680919377621 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13722] ppid=13707 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13722/stat : 13722 (java) S 13707 13707 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475180493 15855591424 35522 33554432000 4194304 4196468 140735242919376 139680380049760 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13723] ppid=13707 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13723/stat : 13723 (java) S 13707 13707 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475180494 15855591424 35522 33554432000 4194304 4196468 140735242919376 139680378997808 139680919378562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
Current children cumulated CPU time: 3.44 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 143540 KiB
[startup+2.73162 s]
# the end of solver process 13707 was just reported to runsolver
# cumulated CPU time of all completed processes: user=8.11413 s, system=0.137451 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.90112 s]
/proc/loadavg: 8.39 7.90 5.50 9/237 13727
/proc/meminfo: memFree=9098276/32770624 swapFree=66974496/67108860
[pid=13707] ppid=13704 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13707/stat : 13707 (xcsp3-exec) S 13704 13707 11742 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475180487 115843072 363 33554432000 4194304 5098028 140729934101536 140729934099640 139849705726588 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22265856 140729934103418 140729934103661 140729934103661 140729934106570 0
/proc/13707/statm: 28282 363 305 221 0 87 0
[pid=13709] ppid=13707 vsize=15483976 memory=200332 CPUtime=5.03 cores=0,2,4,6
/proc/13709/stat : 13709 (java) S 13707 13707 11742 0 -1 1077944320 16214 0 0 0 493 10 0 0 20 0 19 0 475180488 15855591424 50083 33554432000 4194304 4196468 140735242919376 140735242901920 139680919367415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
/proc/13709/statm: 3870994 50083 3504 1 0 3832094 0
[pid=13709/tid=13710] ppid=13707 vsize=15483976 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/13709/task/13710/stat : 13710 (java) S 13707 13707 11742 0 -1 1077944384 9256 0 0 0 61 4 0 0 20 0 19 0 475180488 15855591424 50083 33554432000 4194304 4196468 140735242919376 139680923608192 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13711] ppid=13707 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13711/stat : 13711 (java) S 13707 13707 11742 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 19 0 475180489 15855591424 50083 33554432000 4194304 4196468 140735242919376 139680871987728 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13712] ppid=13707 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13712/stat : 13712 (java) S 13707 13707 11742 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 475180489 15855591424 50083 33554432000 4194304 4196468 140735242919376 139680870935184 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13713] ppid=13707 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13713/stat : 13713 (java) S 13707 13707 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475180489 15855591424 50083 33554432000 4194304 4196468 140735242919376 139680869882128 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13714] ppid=13707 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13714/stat : 13714 (java) S 13707 13707 11742 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 19 0 475180489 15855591424 50083 33554432000 4194304 4196468 140735242919376 139680868829584 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13715] ppid=13707 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13715/stat : 13715 (java) S 13707 13707 11742 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 475180490 15855591424 50083 33554432000 4194304 4196468 140735242919376 139680387418864 139680919378562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13716] ppid=13707 vsize=15483976 memory=-5153075247754915967 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13716/stat : 13716 (java) S 13707 13707 11742 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475180491 15855591424 50083 33554432000 4194304 4196468 140735242919376 139680386365088 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13717] ppid=13707 vsize=15483976 memory=-9109213556524825995 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13717/stat : 13717 (java) S 13707 13707 11742 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475180491 15855591424 50083 33554432000 4194304 4196468 140735242919376 139680385311984 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13718] ppid=13707 vsize=15483976 memory=-7887927021950784928 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13718/stat : 13718 (java) S 13707 13707 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475180493 15855591424 50083 33554432000 4194304 4196468 140735242919376 139680384260560 139680919386011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13719] ppid=13707 vsize=15483976 memory=6720696446780543624 CPUtime=0.84 cores=0,2,4,6
/proc/13709/task/13719/stat : 13719 (java) R 13707 13707 11742 0 -1 4202560 1687 0 0 0 84 0 0 0 20 0 19 0 475180493 15855591424 50083 33554432000 4194304 4196468 140735242919376 139680383207960 139680905400421 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13720] ppid=13707 vsize=15483976 memory=-8458152057954495884 CPUtime=0.76 cores=0,2,4,6
/proc/13709/task/13720/stat : 13720 (java) R 13707 13707 11742 0 -1 4202560 979 0 0 0 76 0 0 0 20 0 19 0 475180493 15855591424 50083 33554432000 4194304 4196468 140735242919376 139680382147608 139680896962446 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13721] ppid=13707 vsize=15483976 memory=7976406965554101975 CPUtime=0.53 cores=0,2,4,6
/proc/13709/task/13721/stat : 13721 (java) R 13707 13707 11742 0 -1 1077944384 2264 0 0 0 53 0 0 0 20 0 19 0 475180493 15855591424 50083 33554432000 4194304 4196468 140735242919376 139680381102064 139680919378562 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13722] ppid=13707 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13722/stat : 13722 (java) S 13707 13707 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475180493 15855591424 50083 33554432000 4194304 4196468 140735242919376 139680380049760 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13723] ppid=13707 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13723/stat : 13723 (java) S 13707 13707 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475180494 15855591424 50083 33554432000 4194304 4196468 140735242919376 139680378997808 139680919378562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
Current children cumulated CPU time: 5.03 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 201784 KiB
[startup+2.30112 s]*
/proc/loadavg: 8.39 7.90 5.50 10/237 13743
/proc/meminfo: memFree=8986508/32770624 swapFree=66974496/67108860
[pid=13707] ppid=13704 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13707/stat : 13707 (xcsp3-exec) S 13704 13707 11742 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475180487 115843072 363 33554432000 4194304 5098028 140729934101536 140729934099640 139849705726588 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22265856 140729934103418 140729934103661 140729934103661 140729934106570 0
/proc/13707/statm: 28282 363 305 221 0 87 0
[pid=13709] ppid=13707 vsize=15483976 memory=219148 CPUtime=6.62 cores=0,2,4,6
/proc/13709/stat : 13709 (java) S 13707 13707 11742 0 -1 1077944320 16353 0 0 0 649 13 0 0 20 0 19 0 475180488 15855591424 54787 33554432000 4194304 4196468 140735242919376 140735242901920 139680919367415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
/proc/13709/statm: 3870994 54787 3507 1 0 3832094 0
[pid=13709/tid=13710] ppid=13707 vsize=15483976 memory=1398722017469774279 CPUtime=0.65 cores=0,2,4,6
/proc/13709/task/13710/stat : 13710 (java) S 13707 13707 11742 0 -1 1077944384 9256 0 0 0 61 4 0 0 20 0 19 0 475180488 15855591424 54787 33554432000 4194304 4196468 140735242919376 139680923608192 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13711] ppid=13707 vsize=15483976 memory=4872558044660077418 CPUtime=0.02 cores=0,2,4,6
/proc/13709/task/13711/stat : 13711 (java) S 13707 13707 11742 0 -1 1077944384 38 0 0 0 1 1 0 0 20 0 19 0 475180489 15855591424 54787 33554432000 4194304 4196468 140735242919376 139680871987728 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13712] ppid=13707 vsize=15483976 memory=2120 CPUtime=0.02 cores=0,2,4,6
/proc/13709/task/13712/stat : 13712 (java) S 13707 13707 11742 0 -1 1077944384 34 0 0 0 1 1 0 0 20 0 19 0 475180489 15855591424 54787 33554432000 4194304 4196468 140735242919376 139680870935184 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13713] ppid=13707 vsize=15483976 memory=500 CPUtime=0.02 cores=0,2,4,6
/proc/13709/task/13713/stat : 13713 (java) S 13707 13707 11742 0 -1 1077944384 31 0 0 0 1 1 0 0 20 0 19 0 475180489 15855591424 54787 33554432000 4194304 4196468 140735242919376 139680869882128 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13714] ppid=13707 vsize=15483976 memory=1556 CPUtime=0.02 cores=0,2,4,6
/proc/13709/task/13714/stat : 13714 (java) S 13707 13707 11742 0 -1 1077944384 37 0 0 0 1 1 0 0 20 0 19 0 475180489 15855591424 54787 33554432000 4194304 4196468 140735242919376 139680868829584 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13715] ppid=13707 vsize=15483976 memory=928 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13715/stat : 13715 (java) S 13707 13707 11742 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 475180490 15855591424 54787 33554432000 4194304 4196468 140735242919376 139680387418864 139680919378562 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13716] ppid=13707 vsize=15483976 memory=1640 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13716/stat : 13716 (java) S 13707 13707 11742 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475180491 15855591424 54787 33554432000 4194304 4196468 140735242919376 139680386365152 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13717] ppid=13707 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13717/stat : 13717 (java) S 13707 13707 11742 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475180491 15855591424 54787 33554432000 4194304 4196468 140735242919376 139680385311984 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13718] ppid=13707 vsize=15483976 memory=20036 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13718/stat : 13718 (java) S 13707 13707 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475180493 15855591424 54787 33554432000 4194304 4196468 140735242919376 139680384260560 139680919386011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13719] ppid=13707 vsize=15483976 memory=2592 CPUtime=1.01 cores=0,2,4,6
/proc/13709/task/13719/stat : 13719 (java) S 13707 13707 11742 0 -1 1077944384 1722 0 0 0 101 0 0 0 20 0 19 0 475180493 15855591424 54787 33554432000 4194304 4196468 140735242919376 139680383207664 139680919378562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13720] ppid=13707 vsize=15483976 memory=0 CPUtime=0.94 cores=0,2,4,6
/proc/13709/task/13720/stat : 13720 (java) S 13707 13707 11742 0 -1 1077944384 1005 0 0 0 94 0 0 0 20 0 19 0 475180493 15855591424 54787 33554432000 4194304 4196468 140735242919376 139680382155120 139680919378562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13721] ppid=13707 vsize=15483976 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/13709/task/13721/stat : 13721 (java) S 13707 13707 11742 0 -1 1077944384 2298 0 0 0 55 0 0 0 20 0 19 0 475180493 15855591424 54787 33554432000 4194304 4196468 140735242919376 139680381102064 139680919378562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13722] ppid=13707 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13722/stat : 13722 (java) S 13707 13707 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475180493 15855591424 54787 33554432000 4194304 4196468 140735242919376 139680380049760 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13723] ppid=13707 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13723/stat : 13723 (java) S 13707 13707 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475180494 15855591424 54787 33554432000 4194304 4196468 140735242919376 139680378997808 139680919378562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13740] ppid=13707 vsize=15483976 memory=-1 CPUtime=0.41 cores=0,2,4,6
/proc/13709/task/13740/stat : 13740 (java) R 13707 13707 11742 0 -1 4202560 18 0 0 0 41 0 0 0 20 0 19 0 475180641 15855591424 54787 33554432000 4194304 4196468 140735242919376 139680365805088 139680546004070 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13741] ppid=13707 vsize=15483976 memory=140258169925428 CPUtime=0.66 cores=0,2,4,6
/proc/13709/task/13741/stat : 13741 (java) R 13707 13707 11742 0 -1 4202560 35 0 0 0 66 0 0 0 20 0 19 0 475180641 15855591424 54787 33554432000 4194304 4196468 140735242919376 139680368963992 139680546004335 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13742] ppid=13707 vsize=15483976 memory=-1 CPUtime=0.37 cores=0,2,4,6
/proc/13709/task/13742/stat : 13742 (java) R 13707 13707 11742 0 -1 4202560 19 0 0 0 37 0 0 0 20 0 19 0 475180641 15855591424 54787 33554432000 4194304 4196468 140735242919376 139680367911000 139680545720872 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13743] ppid=13707 vsize=15483976 memory=7518026630507423079 CPUtime=0.63 cores=0,2,4,6
/proc/13709/task/13743/stat : 13743 (java) R 13707 13707 11742 0 -1 4202560 19 0 0 0 63 0 0 0 20 0 19 0 475180641 15855591424 54787 33554432000 4194304 4196468 140735242919376 139680366858248 139680545678729 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
Current children cumulated CPU time: 6.62 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 220600 KiB
[startup+2.70112 s]
/proc/loadavg: 8.39 7.90 5.50 10/237 13743
/proc/meminfo: memFree=8986508/32770624 swapFree=66974496/67108860
[pid=13707] ppid=13704 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13707/stat : 13707 (xcsp3-exec) S 13704 13707 11742 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475180487 115843072 363 33554432000 4194304 5098028 140729934101536 140729934099640 139849705726588 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22265856 140729934103418 140729934103661 140729934103661 140729934106570 0
/proc/13707/statm: 28282 363 305 221 0 87 0
[pid=13709] ppid=13707 vsize=15483976 memory=247900 CPUtime=8.18 cores=0,2,4,6
/proc/13709/stat : 13709 (java) S 13707 13707 11742 0 -1 1077944320 16393 0 0 0 805 13 0 0 20 0 19 0 475180488 15855591424 61975 33554432000 4194304 4196468 140735242919376 140735242901920 139680919367415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
/proc/13709/statm: 3870994 61975 3509 1 0 3832094 0
[pid=13709/tid=13710] ppid=13707 vsize=15483976 memory=-9001728533042062999 CPUtime=0.65 cores=0,2,4,6
/proc/13709/task/13710/stat : 13710 (java) S 13707 13707 11742 0 -1 1077944384 9256 0 0 0 61 4 0 0 20 0 19 0 475180488 15855591424 61975 33554432000 4194304 4196468 140735242919376 139680923608192 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13711] ppid=13707 vsize=15483976 memory=8514701219882240675 CPUtime=0.02 cores=0,2,4,6
/proc/13709/task/13711/stat : 13711 (java) S 13707 13707 11742 0 -1 1077944384 38 0 0 0 1 1 0 0 20 0 19 0 475180489 15855591424 61975 33554432000 4194304 4196468 140735242919376 139680871987728 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13712] ppid=13707 vsize=15483976 memory=1452 CPUtime=0.02 cores=0,2,4,6
/proc/13709/task/13712/stat : 13712 (java) S 13707 13707 11742 0 -1 1077944384 34 0 0 0 1 1 0 0 20 0 19 0 475180489 15855591424 61975 33554432000 4194304 4196468 140735242919376 139680870935184 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13713] ppid=13707 vsize=15483976 memory=71092 CPUtime=0.02 cores=0,2,4,6
/proc/13709/task/13713/stat : 13713 (java) S 13707 13707 11742 0 -1 1077944384 31 0 0 0 1 1 0 0 20 0 19 0 475180489 15855591424 61975 33554432000 4194304 4196468 140735242919376 139680869882128 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13714] ppid=13707 vsize=15483976 memory=14134446152486315 CPUtime=0.02 cores=0,2,4,6
/proc/13709/task/13714/stat : 13714 (java) S 13707 13707 11742 0 -1 1077944384 37 0 0 0 1 1 0 0 20 0 19 0 475180489 15855591424 61975 33554432000 4194304 4196468 140735242919376 139680868829584 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13715] ppid=13707 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13715/stat : 13715 (java) S 13707 13707 11742 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 475180490 15855591424 61975 33554432000 4194304 4196468 140735242919376 139680387418864 139680919378562 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13716] ppid=13707 vsize=15483976 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13716/stat : 13716 (java) S 13707 13707 11742 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475180491 15855591424 61975 33554432000 4194304 4196468 140735242919376 139680386365152 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13717] ppid=13707 vsize=15483976 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13717/stat : 13717 (java) S 13707 13707 11742 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475180491 15855591424 61975 33554432000 4194304 4196468 140735242919376 139680385311984 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13718] ppid=13707 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13718/stat : 13718 (java) S 13707 13707 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475180493 15855591424 61975 33554432000 4194304 4196468 140735242919376 139680384260560 139680919386011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13719] ppid=13707 vsize=15483976 memory=0 CPUtime=1.06 cores=0,2,4,6
/proc/13709/task/13719/stat : 13719 (java) S 13707 13707 11742 0 -1 1077944384 1730 0 0 0 106 0 0 0 20 0 19 0 475180493 15855591424 61975 33554432000 4194304 4196468 140735242919376 139680383207664 139680919378562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13720] ppid=13707 vsize=15483976 memory=0 CPUtime=1.03 cores=0,2,4,6
/proc/13709/task/13720/stat : 13720 (java) S 13707 13707 11742 0 -1 1077944384 1018 0 0 0 103 0 0 0 20 0 19 0 475180493 15855591424 61975 33554432000 4194304 4196468 140735242919376 139680382155120 139680919378562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13721] ppid=13707 vsize=15483976 memory=140258063070833 CPUtime=0.55 cores=0,2,4,6
/proc/13709/task/13721/stat : 13721 (java) S 13707 13707 11742 0 -1 1077944384 2303 0 0 0 55 0 0 0 20 0 19 0 475180493 15855591424 61975 33554432000 4194304 4196468 140735242919376 139680381102064 139680919378562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13722] ppid=13707 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13722/stat : 13722 (java) S 13707 13707 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475180493 15855591424 61975 33554432000 4194304 4196468 140735242919376 139680380049760 139680919377621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13723] ppid=13707 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13709/task/13723/stat : 13723 (java) S 13707 13707 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475180494 15855591424 61975 33554432000 4194304 4196468 140735242919376 139680378997808 139680919378562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13740] ppid=13707 vsize=15483976 memory=0 CPUtime=0.77 cores=0,2,4,6
/proc/13709/task/13740/stat : 13740 (java) R 13707 13707 11742 0 -1 4202560 18 0 0 0 77 0 0 0 20 0 19 0 475180641 15855591424 61975 33554432000 4194304 4196468 140735242919376 139680365805672 139680546004354 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13741] ppid=13707 vsize=15483976 memory=2 CPUtime=1.04 cores=0,2,4,6
/proc/13709/task/13741/stat : 13741 (java) R 13707 13707 11742 0 -1 4202560 49 0 0 0 104 0 0 0 20 0 19 0 475180641 15855591424 61975 33554432000 4194304 4196468 140735242919376 139680368964376 139680545898656 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13742] ppid=13707 vsize=15483976 memory=2 CPUtime=0.67 cores=0,2,4,6
/proc/13709/task/13742/stat : 13742 (java) R 13707 13707 11742 0 -1 4202560 19 0 0 0 67 0 0 0 20 0 19 0 475180641 15855591424 61975 33554432000 4194304 4196468 140735242919376 139680367911768 139680545678532 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
[pid=13709/tid=13743] ppid=13707 vsize=15483976 memory=0 CPUtime=1.02 cores=0,2,4,6
/proc/13709/task/13743/stat : 13743 (java) R 13707 13707 11742 0 -1 4202560 19 0 0 0 102 0 0 0 20 0 19 0 475180641 15855591424 61975 33554432000 4194304 4196468 140735242919376 139680366858328 139680546004021 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10989568 140735242920943 140735242921114 140735242921114 140735242923983 0
Current children cumulated CPU time: 8.18 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 249352 KiB
Child status: 0
Real time (s): 2.73166
CPU time (s): 8.25158
CPU user time (s): 8.11413
CPU system time (s): 0.137451
CPU usage (%): 302.072
Max. virtual memory (cumulated for all children) (KiB): 15597104
Max. memory (cumulated for all children) (KiB): 249352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.11413
system time used= 0.137451
maximum resident set size= 257440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17052
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= 2035
involuntary context switches= 352
# summary of solver processes directly reported to runsolver:
# pid: 13707
# total CPU time (s): 8.25158
# total CPU user time (s): 8.11413
# total CPU system time (s): 0.137451
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.046535 second user time and 0.061686 second system time
The end