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 (4600 MiB free)
memory of node 1: 16384 MiB (6333 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403994-1568990195/watcher-4403994-1568990195 -o /var/tmp/evaluation-result-4403994-1568990195/solver-4403994-1568990195 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node149-1568989977-29017 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 227024827 HOME/instance-4403994-1568990195.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=29686, runsolver pid=29683
[startup+0.100078 s]*
/proc/loadavg: 8.09 4.42 2.61 7/233 29702
/proc/meminfo: memFree=11180736/32770624 swapFree=66956676/67108860
[pid=29686] ppid=29683 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29686/stat : 29686 (xcsp3-exec) S 29683 29686 28986 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475258159 115843072 363 33554432000 4194304 5098028 140730184667984 140730184666088 140115042497148 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37638144 140730184676183 140730184676441 140730184676441 140730184679366 0
/proc/29686/statm: 28282 363 304 221 0 87 0
[pid=29688] ppid=29686 vsize=15144776 memory=29328 CPUtime=0.13 cores=0,2,4,6
/proc/29688/stat : 29688 (java) S 29686 29686 28986 0 -1 1077944320 5760 0 0 0 12 1 0 0 20 0 15 0 475258159 15508250624 7332 33554432000 4194304 4196468 140721262304096 140721262286640 139958660505335 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
/proc/29688/statm: 3786194 7332 3190 1 0 3748377 0
[pid=29688/tid=29689] ppid=29686 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/29688/task/29689/stat : 29689 (java) R 29686 29686 28986 0 -1 4202560 3632 0 0 0 9 0 0 0 20 0 15 0 475258159 15508250624 7332 33554432000 4194304 4196468 140721262304096 139958664737312 139958652742462 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29690] ppid=29686 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29690/stat : 29690 (java) S 29686 29686 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475258160 15508250624 7332 33554432000 4194304 4196468 140721262304096 139958252657808 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29691] ppid=29686 vsize=15144776 memory=140206876628608 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29691/stat : 29691 (java) S 29686 29686 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475258160 15508250624 7332 33554432000 4194304 4196468 140721262304096 139958251605008 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29692] ppid=29686 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29692/stat : 29692 (java) S 29686 29686 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475258160 15508250624 7332 33554432000 4194304 4196468 140721262304096 139958250552208 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29693] ppid=29686 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29693/stat : 29693 (java) S 29686 29686 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475258160 15508250624 7332 33554432000 4194304 4196468 140721262304096 139958249499408 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29694] ppid=29686 vsize=15144776 memory=140206876628608 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29694/stat : 29694 (java) S 29686 29686 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475258161 15508250624 7332 33554432000 4194304 4196468 140721262304096 139957534390640 139958660516482 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29695] ppid=29686 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29695/stat : 29695 (java) S 29686 29686 28986 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475258162 15508250624 7332 33554432000 4194304 4196468 140721262304096 139957533336608 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29696] ppid=29686 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29696/stat : 29696 (java) S 29686 29686 28986 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475258162 15508250624 7332 33554432000 4194304 4196468 140721262304096 139957532283760 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29697] ppid=29686 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29697/stat : 29697 (java) S 29686 29686 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475258164 15508250624 7332 33554432000 4194304 4196468 140721262304096 139957531232080 139958660523931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29698] ppid=29686 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29698/stat : 29698 (java) S 29686 29686 28986 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 475258164 15508250624 7332 33554432000 4194304 4196468 140721262304096 139957530180464 139958660516482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29699] ppid=29686 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29699/stat : 29699 (java) S 29686 29686 28986 0 -1 1077944384 184 0 0 0 0 0 0 0 20 0 15 0 475258164 15508250624 7332 33554432000 4194304 4196468 140721262304096 139957529127664 139958660516482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29700] ppid=29686 vsize=15144776 memory=140206876628608 CPUtime=0.02 cores=0,2,4,6
/proc/29688/task/29700/stat : 29700 (java) R 29686 29686 28986 0 -1 4202560 339 0 0 0 2 0 0 0 20 0 15 0 475258164 15508250624 7332 33554432000 4194304 4196468 140721262304096 139957528068560 139958639488479 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29701] ppid=29686 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29701/stat : 29701 (java) S 29686 29686 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475258164 15508250624 7332 33554432000 4194304 4196468 140721262304096 139957527022304 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29702] ppid=29686 vsize=15144776 memory=140206876628608 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29702/stat : 29702 (java) S 29686 29686 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475258165 15508250624 7332 33554432000 4194304 4196468 140721262304096 139957525969584 139958660516482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30780 KiB
[startup+0.210875 s]*
/proc/loadavg: 8.09 4.42 2.61 8/233 29702
/proc/meminfo: memFree=11166016/32770624 swapFree=66956676/67108860
[pid=29686] ppid=29683 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29686/stat : 29686 (xcsp3-exec) S 29683 29686 28986 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475258159 115843072 363 33554432000 4194304 5098028 140730184667984 140730184666088 140115042497148 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37638144 140730184676183 140730184676441 140730184676441 140730184679366 0
/proc/29686/statm: 28282 363 304 221 0 87 0
[pid=29688] ppid=29686 vsize=15144776 memory=40752 CPUtime=0.34 cores=0,2,4,6
/proc/29688/stat : 29688 (java) S 29686 29686 28986 0 -1 1077944320 9481 0 0 0 31 3 0 0 20 0 15 0 475258159 15508250624 10188 33554432000 4194304 4196468 140721262304096 140721262286640 139958660505335 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
/proc/29688/statm: 3786194 10188 3262 1 0 3748377 0
[pid=29688/tid=29689] ppid=29686 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/29688/task/29689/stat : 29689 (java) R 29686 29686 28986 0 -1 4202560 6632 0 0 0 18 2 0 0 20 0 15 0 475258159 15508250624 10188 33554432000 4194304 4196468 140721262304096 139958664744336 139958644585852 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29690] ppid=29686 vsize=15144776 memory=1943324 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29690/stat : 29690 (java) S 29686 29686 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475258160 15508250624 10188 33554432000 4194304 4196468 140721262304096 139958252657808 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29691] ppid=29686 vsize=15144776 memory=140206876657340 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29691/stat : 29691 (java) S 29686 29686 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475258160 15508250624 10188 33554432000 4194304 4196468 140721262304096 139958251605008 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29692] ppid=29686 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29692/stat : 29692 (java) S 29686 29686 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475258160 15508250624 10188 33554432000 4194304 4196468 140721262304096 139958250552208 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29693] ppid=29686 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29693/stat : 29693 (java) S 29686 29686 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475258160 15508250624 10188 33554432000 4194304 4196468 140721262304096 139958249499408 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29694] ppid=29686 vsize=15144776 memory=140206876628608 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29694/stat : 29694 (java) S 29686 29686 28986 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475258161 15508250624 10188 33554432000 4194304 4196468 140721262304096 139957534390640 139958660516482 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29695] ppid=29686 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29695/stat : 29695 (java) S 29686 29686 28986 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475258162 15508250624 10188 33554432000 4194304 4196468 140721262304096 139957533336608 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29696] ppid=29686 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29696/stat : 29696 (java) S 29686 29686 28986 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475258162 15508250624 10188 33554432000 4194304 4196468 140721262304096 139957532283760 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29697] ppid=29686 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29697/stat : 29697 (java) S 29686 29686 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475258164 15508250624 10188 33554432000 4194304 4196468 140721262304096 139957531232080 139958660523931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29698] ppid=29686 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/29688/task/29698/stat : 29698 (java) S 29686 29686 28986 0 -1 1077944384 526 0 0 0 2 0 0 0 20 0 15 0 475258164 15508250624 10188 33554432000 4194304 4196468 140721262304096 139957530180464 139958660516482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29699] ppid=29686 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/29688/task/29699/stat : 29699 (java) S 29686 29686 28986 0 -1 1077944384 250 0 0 0 1 0 0 0 20 0 15 0 475258164 15508250624 10188 33554432000 4194304 4196468 140721262304096 139957529127664 139958660516482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29700] ppid=29686 vsize=15144776 memory=140206876628608 CPUtime=0.08 cores=0,2,4,6
/proc/29688/task/29700/stat : 29700 (java) S 29686 29686 28986 0 -1 1077944384 764 0 0 0 8 0 0 0 20 0 15 0 475258164 15508250624 10188 33554432000 4194304 4196468 140721262304096 139957528074864 139958660516482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29701] ppid=29686 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29701/stat : 29701 (java) S 29686 29686 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475258164 15508250624 10188 33554432000 4194304 4196468 140721262304096 139957527022304 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29702] ppid=29686 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29702/stat : 29702 (java) S 29686 29686 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475258165 15508250624 10188 33554432000 4194304 4196468 140721262304096 139957525969584 139958660516482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42204 KiB
[startup+0.310852 s]*
/proc/loadavg: 8.09 4.42 2.61 7/233 29702
/proc/meminfo: memFree=11159116/32770624 swapFree=66956676/67108860
[pid=29686] ppid=29683 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29686/stat : 29686 (xcsp3-exec) S 29683 29686 28986 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475258159 115843072 363 33554432000 4194304 5098028 140730184667984 140730184666088 140115042497148 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37638144 140730184676183 140730184676441 140730184676441 140730184679366 0
/proc/29686/statm: 28282 363 304 221 0 87 0
[pid=29688] ppid=29686 vsize=15149032 memory=50492 CPUtime=0.52 cores=0,2,4,6
/proc/29688/stat : 29688 (java) S 29686 29686 28986 0 -1 1077944320 10927 0 0 0 49 3 0 0 20 0 15 0 475258159 15512608768 12623 33554432000 4194304 4196468 140721262304096 140721262286640 139958660505335 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
/proc/29688/statm: 3787258 12623 3371 1 0 3748377 0
[pid=29688/tid=29689] ppid=29686 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/29688/task/29689/stat : 29689 (java) R 29686 29686 28986 0 -1 4202560 7822 0 0 0 27 3 0 0 20 0 15 0 475258159 15512608768 12623 33554432000 4194304 4196468 140721262304096 139958664736448 139958660527261 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29690] ppid=29686 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29690/stat : 29690 (java) S 29686 29686 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475258160 15512608768 12623 33554432000 4194304 4196468 140721262304096 139958252657808 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29691] ppid=29686 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29691/stat : 29691 (java) S 29686 29686 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475258160 15512608768 12623 33554432000 4194304 4196468 140721262304096 139958251605008 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29692] ppid=29686 vsize=15149032 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29692/stat : 29692 (java) S 29686 29686 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475258160 15512608768 12623 33554432000 4194304 4196468 140721262304096 139958250552208 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29693] ppid=29686 vsize=15149032 memory=7161331908245094050 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29693/stat : 29693 (java) S 29686 29686 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475258160 15512608768 12623 33554432000 4194304 4196468 140721262304096 139958249499408 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29694] ppid=29686 vsize=15149032 memory=6944656591801720471 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29694/stat : 29694 (java) S 29686 29686 28986 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475258161 15512608768 12623 33554432000 4194304 4196468 140721262304096 139957534390640 139958660516482 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29695] ppid=29686 vsize=15149032 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29695/stat : 29695 (java) S 29686 29686 28986 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475258162 15512608768 12623 33554432000 4194304 4196468 140721262304096 139957533336608 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29696] ppid=29686 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29696/stat : 29696 (java) S 29686 29686 28986 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475258162 15512608768 12623 33554432000 4194304 4196468 140721262304096 139957532283760 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29697] ppid=29686 vsize=15149032 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29697/stat : 29697 (java) S 29686 29686 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475258164 15512608768 12623 33554432000 4194304 4196468 140721262304096 139957531232080 139958660523931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29698] ppid=29686 vsize=15149032 memory=4426078206164241782 CPUtime=0.05 cores=0,2,4,6
/proc/29688/task/29698/stat : 29698 (java) R 29686 29686 28986 0 -1 4202560 655 0 0 0 5 0 0 0 20 0 15 0 475258164 15512608768 12623 33554432000 4194304 4196468 140721262304096 139957530170848 139958639749157 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29699] ppid=29686 vsize=15149032 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/29688/task/29699/stat : 29699 (java) S 29686 29686 28986 0 -1 1077944384 276 0 0 0 2 0 0 0 20 0 15 0 475258164 15512608768 12623 33554432000 4194304 4196468 140721262304096 139957529127664 139958660516482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29700] ppid=29686 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/29688/task/29700/stat : 29700 (java) S 29686 29686 28986 0 -1 1077944384 865 0 0 0 12 0 0 0 20 0 15 0 475258164 15512608768 12623 33554432000 4194304 4196468 140721262304096 139957528074864 139958660516482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29701] ppid=29686 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29701/stat : 29701 (java) S 29686 29686 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475258164 15512608768 12623 33554432000 4194304 4196468 140721262304096 139957527022304 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29702] ppid=29686 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29702/stat : 29702 (java) S 29686 29686 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475258165 15512608768 12623 33554432000 4194304 4196468 140721262304096 139957525969584 139958660516482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51944 KiB
[startup+0.705494 s]
/proc/loadavg: 8.09 4.42 2.61 8/233 29702
/proc/meminfo: memFree=11147972/32770624 swapFree=66956676/67108860
[pid=29686] ppid=29683 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29686/stat : 29686 (xcsp3-exec) S 29683 29686 28986 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475258159 115843072 363 33554432000 4194304 5098028 140730184667984 140730184666088 140115042497148 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37638144 140730184676183 140730184676441 140730184676441 140730184679366 0
/proc/29686/statm: 28282 363 304 221 0 87 0
[pid=29688] ppid=29686 vsize=15417412 memory=89784 CPUtime=1.66 cores=0,2,4,6
/proc/29688/stat : 29688 (java) S 29686 29686 28986 0 -1 1077944320 14720 0 0 0 161 5 0 0 20 0 19 0 475258159 15787429888 22446 33554432000 4194304 4196468 140721262304096 140721262286640 139958660505335 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
/proc/29688/statm: 3854353 22446 3461 1 0 3815453 0
[pid=29688/tid=29689] ppid=29686 vsize=15417412 memory=33 CPUtime=0.6 cores=0,2,4,6
/proc/29688/task/29689/stat : 29689 (java) S 29686 29686 28986 0 -1 1077944384 9272 0 0 0 57 3 0 0 20 0 19 0 475258159 15787429888 22446 33554432000 4194304 4196468 140721262304096 139958664746112 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29690] ppid=29686 vsize=15417412 memory=288230600314300172 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29690/stat : 29690 (java) S 29686 29686 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475258160 15787429888 22446 33554432000 4194304 4196468 140721262304096 139958252657808 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29691] ppid=29686 vsize=15417412 memory=16106952818009964 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29691/stat : 29691 (java) S 29686 29686 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475258160 15787429888 22446 33554432000 4194304 4196468 140721262304096 139958251605008 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29692] ppid=29686 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29692/stat : 29692 (java) S 29686 29686 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475258160 15787429888 22446 33554432000 4194304 4196468 140721262304096 139958250552208 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29693] ppid=29686 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29693/stat : 29693 (java) S 29686 29686 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475258160 15787429888 22446 33554432000 4194304 4196468 140721262304096 139958249499408 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29694] ppid=29686 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29694/stat : 29694 (java) S 29686 29686 28986 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475258161 15787429888 22446 33554432000 4194304 4196468 140721262304096 139957534390640 139958660516482 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29695] ppid=29686 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29695/stat : 29695 (java) S 29686 29686 28986 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475258162 15787429888 22446 33554432000 4194304 4196468 140721262304096 139957533336608 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29696] ppid=29686 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29696/stat : 29696 (java) S 29686 29686 28986 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475258162 15787429888 22446 33554432000 4194304 4196468 140721262304096 139957532283760 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29697] ppid=29686 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29697/stat : 29697 (java) S 29686 29686 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475258164 15787429888 22446 33554432000 4194304 4196468 140721262304096 139957531232080 139958660523931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29698] ppid=29686 vsize=15417412 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/29688/task/29698/stat : 29698 (java) R 29686 29686 28986 0 -1 4202560 1187 0 0 0 26 0 0 0 20 0 19 0 475258164 15787429888 22446 33554432000 4194304 4196468 140721262304096 139957530166560 139958645630434 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29699] ppid=29686 vsize=15417412 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/29688/task/29699/stat : 29699 (java) R 29686 29686 28986 0 -1 4202560 970 0 0 0 23 0 0 0 20 0 19 0 475258164 15787429888 22446 33554432000 4194304 4196468 140721262304096 139957529113760 139958645630741 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29700] ppid=29686 vsize=15417412 memory=0 CPUtime=0.37 cores=0,2,4,6
/proc/29688/task/29700/stat : 29700 (java) R 29686 29686 28986 0 -1 1077944384 1785 0 0 0 37 0 0 0 20 0 19 0 475258164 15787429888 22446 33554432000 4194304 4196468 140721262304096 139957528074048 139958660515541 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29701] ppid=29686 vsize=15417412 memory=4639074098508484690 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29701/stat : 29701 (java) S 29686 29686 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475258164 15787429888 22446 33554432000 4194304 4196468 140721262304096 139957527022304 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29702] ppid=29686 vsize=15417412 memory=7524225677148711271 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29702/stat : 29702 (java) S 29686 29686 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475258165 15787429888 22446 33554432000 4194304 4196468 140721262304096 139957525969584 139958660516482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 91236 KiB
[startup+1.17682 s]
# the end of solver process 29686 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.42634 s, system=0.075841 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.801494 s]
/proc/loadavg: 8.09 4.42 2.61 8/233 29702
/proc/meminfo: memFree=11147972/32770624 swapFree=66956676/67108860
[pid=29686] ppid=29683 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29686/stat : 29686 (xcsp3-exec) S 29683 29686 28986 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475258159 115843072 363 33554432000 4194304 5098028 140730184667984 140730184666088 140115042497148 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37638144 140730184676183 140730184676441 140730184676441 140730184679366 0
/proc/29686/statm: 28282 363 304 221 0 87 0
[pid=29688] ppid=29686 vsize=15417412 memory=92968 CPUtime=2.04 cores=0,2,4,6
/proc/29688/stat : 29688 (java) S 29686 29686 28986 0 -1 1077944320 15001 0 0 0 199 5 0 0 20 0 19 0 475258159 15787429888 23242 33554432000 4194304 4196468 140721262304096 140721262286640 139958660505335 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
/proc/29688/statm: 3854353 23242 3465 1 0 3815453 0
[pid=29688/tid=29689] ppid=29686 vsize=15417412 memory=1056 CPUtime=0.6 cores=0,2,4,6
/proc/29688/task/29689/stat : 29689 (java) S 29686 29686 28986 0 -1 1077944384 9272 0 0 0 57 3 0 0 20 0 19 0 475258159 15787429888 23242 33554432000 4194304 4196468 140721262304096 139958664746112 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29690] ppid=29686 vsize=15417412 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29690/stat : 29690 (java) S 29686 29686 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475258160 15787429888 23242 33554432000 4194304 4196468 140721262304096 139958252657808 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29691] ppid=29686 vsize=15417412 memory=11632 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29691/stat : 29691 (java) S 29686 29686 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475258160 15787429888 23242 33554432000 4194304 4196468 140721262304096 139958251605008 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29692] ppid=29686 vsize=15417412 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29692/stat : 29692 (java) S 29686 29686 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475258160 15787429888 23242 33554432000 4194304 4196468 140721262304096 139958250552208 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29693] ppid=29686 vsize=15417412 memory=1088 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29693/stat : 29693 (java) S 29686 29686 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475258160 15787429888 23242 33554432000 4194304 4196468 140721262304096 139958249499408 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29694] ppid=29686 vsize=15417412 memory=988 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29694/stat : 29694 (java) S 29686 29686 28986 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475258161 15787429888 23242 33554432000 4194304 4196468 140721262304096 139957534390640 139958660516482 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29695] ppid=29686 vsize=15417412 memory=780 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29695/stat : 29695 (java) S 29686 29686 28986 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475258162 15787429888 23242 33554432000 4194304 4196468 140721262304096 139957533336608 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29696] ppid=29686 vsize=15417412 memory=6032 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29696/stat : 29696 (java) S 29686 29686 28986 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475258162 15787429888 23242 33554432000 4194304 4196468 140721262304096 139957532283760 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29697] ppid=29686 vsize=15417412 memory=624 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29697/stat : 29697 (java) S 29686 29686 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475258164 15787429888 23242 33554432000 4194304 4196468 140721262304096 139957531232080 139958660523931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29698] ppid=29686 vsize=15417412 memory=3636 CPUtime=0.32 cores=0,2,4,6
/proc/29688/task/29698/stat : 29698 (java) R 29686 29686 28986 0 -1 4202560 1356 0 0 0 32 0 0 0 20 0 19 0 475258164 15787429888 23242 33554432000 4194304 4196468 140721262304096 139957530167032 139958644036863 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29699] ppid=29686 vsize=15417412 memory=2832 CPUtime=0.3 cores=0,2,4,6
/proc/29688/task/29699/stat : 29699 (java) R 29686 29686 28986 0 -1 4202560 990 0 0 0 30 0 0 0 20 0 19 0 475258164 15787429888 23242 33554432000 4194304 4196468 140721262304096 139957529116272 139958644496076 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29700] ppid=29686 vsize=15417412 memory=14012 CPUtime=0.41 cores=0,2,4,6
/proc/29688/task/29700/stat : 29700 (java) R 29686 29686 28986 0 -1 1077944384 1873 0 0 0 41 0 0 0 20 0 19 0 475258164 15787429888 23242 33554432000 4194304 4196468 140721262304096 139957528074864 139958660516482 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29701] ppid=29686 vsize=15417412 memory=31076 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29701/stat : 29701 (java) S 29686 29686 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475258164 15787429888 23242 33554432000 4194304 4196468 140721262304096 139957527022304 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29702] ppid=29686 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29702/stat : 29702 (java) S 29686 29686 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475258165 15787429888 23242 33554432000 4194304 4196468 140721262304096 139957525969584 139958660516482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
Current children cumulated CPU time: 2.04 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 94420 KiB
[startup+1.00149 s]*
/proc/loadavg: 8.09 4.42 2.61 11/237 29710
/proc/meminfo: memFree=11091008/32770624 swapFree=66956676/67108860
[pid=29686] ppid=29683 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29686/stat : 29686 (xcsp3-exec) S 29683 29686 28986 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475258159 115843072 363 33554432000 4194304 5098028 140730184667984 140730184666088 140115042497148 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37638144 140730184676183 140730184676441 140730184676441 140730184679366 0
/proc/29686/statm: 28282 363 304 221 0 87 0
[pid=29688] ppid=29686 vsize=15418440 memory=119328 CPUtime=2.87 cores=0,2,4,6
/proc/29688/stat : 29688 (java) S 29686 29686 28986 0 -1 1077944320 16006 0 0 0 281 6 0 0 20 0 19 0 475258159 15788482560 29832 33554432000 4194304 4196468 140721262304096 140721262286640 139958660505335 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
/proc/29688/statm: 3854610 29832 3487 1 0 3815710 0
[pid=29688/tid=29689] ppid=29686 vsize=15418440 memory=6791534058613427641 CPUtime=0.6 cores=0,2,4,6
/proc/29688/task/29689/stat : 29689 (java) S 29686 29686 28986 0 -1 1077944384 9275 0 0 0 57 3 0 0 20 0 19 0 475258159 15788482560 29832 33554432000 4194304 4196468 140721262304096 139958664746112 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29690] ppid=29686 vsize=15418440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29690/stat : 29690 (java) S 29686 29686 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475258160 15788482560 29832 33554432000 4194304 4196468 140721262304096 139958252657808 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29691] ppid=29686 vsize=15418440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29691/stat : 29691 (java) S 29686 29686 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475258160 15788482560 29832 33554432000 4194304 4196468 140721262304096 139958251605008 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29692] ppid=29686 vsize=15418440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29692/stat : 29692 (java) S 29686 29686 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475258160 15788482560 29832 33554432000 4194304 4196468 140721262304096 139958250552208 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29693] ppid=29686 vsize=15418440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29693/stat : 29693 (java) S 29686 29686 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475258160 15788482560 29832 33554432000 4194304 4196468 140721262304096 139958249499408 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29694] ppid=29686 vsize=15418440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29694/stat : 29694 (java) S 29686 29686 28986 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475258161 15788482560 29832 33554432000 4194304 4196468 140721262304096 139957534390640 139958660516482 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29695] ppid=29686 vsize=15418440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29695/stat : 29695 (java) S 29686 29686 28986 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475258162 15788482560 29832 33554432000 4194304 4196468 140721262304096 139957533336608 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29696] ppid=29686 vsize=15418440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29696/stat : 29696 (java) S 29686 29686 28986 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475258162 15788482560 29832 33554432000 4194304 4196468 140721262304096 139957532283760 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29697] ppid=29686 vsize=15418440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29697/stat : 29697 (java) S 29686 29686 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475258164 15788482560 29832 33554432000 4194304 4196468 140721262304096 139957531232080 139958660523931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29698] ppid=29686 vsize=15418440 memory=0 CPUtime=0.51 cores=0,2,4,6
/proc/29688/task/29698/stat : 29698 (java) R 29686 29686 28986 0 -1 4202560 1702 0 0 0 51 0 0 0 20 0 19 0 475258164 15788482560 29832 33554432000 4194304 4196468 140721262304096 139957530166560 139958643892123 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29699] ppid=29686 vsize=15418440 memory=0 CPUtime=0.42 cores=0,2,4,6
/proc/29688/task/29699/stat : 29699 (java) R 29686 29686 28986 0 -1 4202560 1349 0 0 0 42 0 0 0 20 0 19 0 475258164 15788482560 29832 33554432000 4194304 4196468 140721262304096 139957529113632 139958642049815 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29700] ppid=29686 vsize=15418440 memory=0 CPUtime=0.45 cores=0,2,4,6
/proc/29688/task/29700/stat : 29700 (java) R 29686 29686 28986 0 -1 4202560 2077 0 0 0 45 0 0 0 20 0 19 0 475258164 15788482560 29832 33554432000 4194304 4196468 140721262304096 139957528074864 139958652742462 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29701] ppid=29686 vsize=15418440 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29701/stat : 29701 (java) S 29686 29686 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475258164 15788482560 29832 33554432000 4194304 4196468 140721262304096 139957527022304 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29702] ppid=29686 vsize=15418440 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29702/stat : 29702 (java) S 29686 29686 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475258165 15788482560 29832 33554432000 4194304 4196468 140721262304096 139957525969584 139958660516482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29707] ppid=29686 vsize=15418440 memory=6944656592387989600 CPUtime=0.1 cores=0,2,4,6
/proc/29688/task/29707/stat : 29707 (java) R 29686 29686 28986 0 -1 4202560 22 0 0 0 10 0 0 0 20 0 19 0 475258242 15788482560 29832 33554432000 4194304 4196468 140721262304096 139957512539112 139958301930417 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29708] ppid=29686 vsize=15418440 memory=-6368199152461293614 CPUtime=0.07 cores=0,2,4,6
/proc/29688/task/29708/stat : 29708 (java) S 29686 29686 28986 0 -1 1077944384 24 0 0 0 7 0 0 0 20 0 19 0 475258242 15788482560 29832 33554432000 4194304 4196468 140721262304096 139957513598288 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29709] ppid=29686 vsize=15418440 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/29688/task/29709/stat : 29709 (java) S 29686 29686 28986 0 -1 1077944384 18 0 0 0 15 0 0 0 20 0 19 0 475258242 15788482560 29832 33554432000 4194304 4196468 140721262304096 139957515703504 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29710] ppid=29686 vsize=15418440 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29688/task/29710/stat : 29710 (java) S 29686 29686 28986 0 -1 1077944384 23 0 0 0 7 0 0 0 20 0 19 0 475258243 15788482560 29832 33554432000 4194304 4196468 140721262304096 139957516756048 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
Current children cumulated CPU time: 2.87 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 120780 KiB
[startup+1.11849 s]
/proc/loadavg: 8.09 4.42 2.61 11/237 29710
/proc/meminfo: memFree=11091008/32770624 swapFree=66956676/67108860
[pid=29686] ppid=29683 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29686/stat : 29686 (xcsp3-exec) S 29683 29686 28986 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475258159 115843072 363 33554432000 4194304 5098028 140730184667984 140730184666088 140115042497148 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37638144 140730184676183 140730184676441 140730184676441 140730184679366 0
/proc/29686/statm: 28282 363 304 221 0 87 0
[pid=29688] ppid=29686 vsize=15418440 memory=140288 CPUtime=3.28 cores=0,2,4,6
/proc/29688/stat : 29688 (java) S 29686 29686 28986 0 -1 1077944320 16190 0 0 0 322 6 0 0 20 0 19 0 475258159 15788482560 35072 33554432000 4194304 4196468 140721262304096 140721262286640 139958660505335 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
/proc/29688/statm: 3854610 35072 3487 1 0 3815710 0
[pid=29688/tid=29689] ppid=29686 vsize=15418440 memory=0 CPUtime=0.6 cores=0,2,4,6
/proc/29688/task/29689/stat : 29689 (java) S 29686 29686 28986 0 -1 1077944384 9275 0 0 0 57 3 0 0 20 0 19 0 475258159 15788482560 35072 33554432000 4194304 4196468 140721262304096 139958664746112 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29690] ppid=29686 vsize=15418440 memory=-9034919431248387445 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29690/stat : 29690 (java) S 29686 29686 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475258160 15788482560 35072 33554432000 4194304 4196468 140721262304096 139958252657808 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29691] ppid=29686 vsize=15418440 memory=4947159701124851058 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29691/stat : 29691 (java) S 29686 29686 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475258160 15788482560 35072 33554432000 4194304 4196468 140721262304096 139958251605008 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29692] ppid=29686 vsize=15418440 memory=5450916423962429248 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29692/stat : 29692 (java) S 29686 29686 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475258160 15788482560 35072 33554432000 4194304 4196468 140721262304096 139958250552208 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29693] ppid=29686 vsize=15418440 memory=-7387007932599496084 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29693/stat : 29693 (java) S 29686 29686 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475258160 15788482560 35072 33554432000 4194304 4196468 140721262304096 139958249499408 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29694] ppid=29686 vsize=15418440 memory=280413448700144 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29694/stat : 29694 (java) S 29686 29686 28986 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475258161 15788482560 35072 33554432000 4194304 4196468 140721262304096 139957534390640 139958660516482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29695] ppid=29686 vsize=15418440 memory=7518308122699456616 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29695/stat : 29695 (java) S 29686 29686 28986 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475258162 15788482560 35072 33554432000 4194304 4196468 140721262304096 139957533336608 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29696] ppid=29686 vsize=15418440 memory=7667208389858781541 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29696/stat : 29696 (java) S 29686 29686 28986 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475258162 15788482560 35072 33554432000 4194304 4196468 140721262304096 139957532283760 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29697] ppid=29686 vsize=15418440 memory=7157740794598801513 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29697/stat : 29697 (java) S 29686 29686 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475258164 15788482560 35072 33554432000 4194304 4196468 140721262304096 139957531232080 139958660523931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29698] ppid=29686 vsize=15418440 memory=280413448983716 CPUtime=0.61 cores=0,2,4,6
/proc/29688/task/29698/stat : 29698 (java) R 29686 29686 28986 0 -1 1077944384 1719 0 0 0 61 0 0 0 20 0 19 0 475258164 15788482560 35072 33554432000 4194304 4196468 140721262304096 139957530171568 139958660515541 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29699] ppid=29686 vsize=15418440 memory=280413448847944 CPUtime=0.5 cores=0,2,4,6
/proc/29688/task/29699/stat : 29699 (java) R 29686 29686 28986 0 -1 4202560 1374 0 0 0 50 0 0 0 20 0 19 0 475258164 15788482560 35072 33554432000 4194304 4196468 140721262304096 139957529118944 139958660517270 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29700] ppid=29686 vsize=15418440 memory=33 CPUtime=0.48 cores=0,2,4,6
/proc/29688/task/29700/stat : 29700 (java) S 29686 29686 28986 0 -1 1077944384 2134 0 0 0 48 0 0 0 20 0 19 0 475258164 15788482560 35072 33554432000 4194304 4196468 140721262304096 139957528070736 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29701] ppid=29686 vsize=15418440 memory=288230600314300172 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29701/stat : 29701 (java) S 29686 29686 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475258164 15788482560 35072 33554432000 4194304 4196468 140721262304096 139957527022304 139958660515541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
[pid=29688/tid=29702] ppid=29686 vsize=15418440 memory=16106952818009964 CPUtime=0 cores=0,2,4,6
/proc/29688/task/29702/stat : 29702 (java) S 29686 29686 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475258165 15788482560 35072 33554432000 4194304 4196468 140721262304096 139957525969584 139958660516482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18767872 140721262310363 140721262310538 140721262310538 140721262313423 0
Current children cumulated CPU time: 3.28 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 141740 KiB
Child status: 0
Real time (s): 1.17687
CPU time (s): 3.50218
CPU user time (s): 3.42634
CPU system time (s): 0.075841
CPU usage (%): 297.584
Max. virtual memory (cumulated for all children) (KiB): 15531568
Max. memory (cumulated for all children) (KiB): 141740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.42634
system time used= 0.075841
maximum resident set size= 161584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16895
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1931
involuntary context switches= 124
# summary of solver processes directly reported to runsolver:
# pid: 29686
# total CPU time (s): 3.50218
# total CPU user time (s): 3.42634
# total CPU system time (s): 0.075841
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.029608 second user time and 0.060441 second system time
The end