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 (11554 MiB free)
memory of node 1: 16384 MiB (12377 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405841-1569399468/watcher-4405841-1569399468 -o /var/tmp/evaluation-result-4405841-1569399468/solver-4405841-1569399468 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node124-1569396629-4888 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1563985591 HOME/instance-4405841-1569399468.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
solver pid=5816, runsolver pid=5813
Current StackSize limit: 8192 KiB
[startup+0.100124 s]*
/proc/loadavg: 2.00 1.92 1.66 4/229 5832
/proc/meminfo: memFree=24490472/32770624 swapFree=66976792/67108860
[pid=5816] ppid=5813 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5816/stat : 5816 (xcsp3-exec) S 5813 5816 4857 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 515886842 115843072 364 33554432000 4194304 5098028 140727262426672 140727262424776 140085163332220 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36696064 140727262434134 140727262434393 140727262434393 140727262437318 0
/proc/5816/statm: 28282 364 305 221 0 87 0
[pid=5818] ppid=5816 vsize=15144776 memory=28692 CPUtime=0.13 cores=0,2,4,6
/proc/5818/stat : 5818 (java) S 5816 5816 4857 0 -1 1077944320 5609 0 0 0 12 1 0 0 20 0 15 0 515886842 15508250624 7173 33554432000 4194304 4196468 140734465457552 140734465440096 140580508020471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
/proc/5818/statm: 3786194 7173 3124 1 0 3748377 0
[pid=5818/tid=5819] ppid=5816 vsize=15144776 memory=8331559939614151515 CPUtime=0.09 cores=0,2,4,6
/proc/5818/task/5819/stat : 5819 (java) R 5816 5816 4857 0 -1 4202560 3548 0 0 0 9 0 0 0 20 0 15 0 515886842 15508250624 7239 33554432000 4194304 4196468 140734465457552 140580512253536 140580492100958 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5820] ppid=5816 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5820/stat : 5820 (java) S 5816 5816 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515886843 15508250624 7239 33554432000 4194304 4196468 140734465457552 140580460641168 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5821] ppid=5816 vsize=15144776 memory=140331276904064 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5821/stat : 5821 (java) S 5816 5816 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515886843 15508250624 7239 33554432000 4194304 4196468 140734465457552 140580459588368 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5822] ppid=5816 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5822/stat : 5822 (java) S 5816 5816 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515886843 15508250624 7239 33554432000 4194304 4196468 140734465457552 140580458536080 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5823] ppid=5816 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5823/stat : 5823 (java) S 5816 5816 4857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515886843 15508250624 7239 33554432000 4194304 4196468 140734465457552 140580457483280 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5824] ppid=5816 vsize=15144776 memory=140331276904064 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5824/stat : 5824 (java) S 5816 5816 4857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515886845 15508250624 7239 33554432000 4194304 4196468 140734465457552 140579381934192 140580508031618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5825] ppid=5816 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5825/stat : 5825 (java) S 5816 5816 4857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515886845 15508250624 7239 33554432000 4194304 4196468 140734465457552 140579312755488 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5826] ppid=5816 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5826/stat : 5826 (java) S 5816 5816 4857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515886845 15508250624 7239 33554432000 4194304 4196468 140734465457552 140579311703152 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5827] ppid=5816 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5827/stat : 5827 (java) S 5816 5816 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515886848 15508250624 7239 33554432000 4194304 4196468 140734465457552 140579310651472 140580508039067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5828] ppid=5816 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5828/stat : 5828 (java) R 5816 5816 4857 0 -1 4202560 340 0 0 0 0 0 0 0 20 0 15 0 515886848 15508250624 7239 33554432000 4194304 4196468 140734465457552 140579309598528 140580485853328 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5829] ppid=5816 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5829/stat : 5829 (java) R 5816 5816 4857 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 515886848 15508250624 7239 33554432000 4194304 4196468 140734465457552 140579308546640 140580508030677 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5830] ppid=5816 vsize=15144776 memory=140331276904064 CPUtime=0.01 cores=0,2,4,6
/proc/5818/task/5830/stat : 5830 (java) R 5816 5816 4857 0 -1 4202560 335 0 0 0 1 0 0 0 20 0 15 0 515886848 15508250624 7239 33554432000 4194304 4196468 140734465457552 140579307494256 140580508032406 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5831] ppid=5816 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5831/stat : 5831 (java) S 5816 5816 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515886848 15508250624 7239 33554432000 4194304 4196468 140734465457552 140579306441696 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5832] ppid=5816 vsize=15144776 memory=140331276904064 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5832/stat : 5832 (java) S 5816 5816 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515886848 15508250624 7239 33554432000 4194304 4196468 140734465457552 140579305388464 140580508031618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30148 KiB
[startup+0.210794 s]*
/proc/loadavg: 2.00 1.92 1.66 3/229 5832
/proc/meminfo: memFree=24463544/32770624 swapFree=66976792/67108860
[pid=5816] ppid=5813 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5816/stat : 5816 (xcsp3-exec) S 5813 5816 4857 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 515886842 115843072 364 33554432000 4194304 5098028 140727262426672 140727262424776 140085163332220 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36696064 140727262434134 140727262434393 140727262434393 140727262437318 0
/proc/5816/statm: 28282 364 305 221 0 87 0
[pid=5818] ppid=5816 vsize=15144776 memory=40972 CPUtime=0.35 cores=0,2,4,6
/proc/5818/stat : 5818 (java) S 5816 5816 4857 0 -1 1077944320 9471 0 0 0 32 3 0 0 20 0 15 0 515886842 15508250624 10243 33554432000 4194304 4196468 140734465457552 140734465440096 140580508020471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
/proc/5818/statm: 3786194 10243 3311 1 0 3748377 0
[pid=5818/tid=5819] ppid=5816 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/5818/task/5819/stat : 5819 (java) R 5816 5816 4857 0 -1 4202560 6579 0 0 0 18 1 0 0 20 0 15 0 515886842 15508250624 10243 33554432000 4194304 4196468 140734465457552 140580512253920 140580508032406 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5820] ppid=5816 vsize=15144776 memory=1965946 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5820/stat : 5820 (java) S 5816 5816 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515886843 15508250624 10243 33554432000 4194304 4196468 140734465457552 140580460641168 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5821] ppid=5816 vsize=15144776 memory=288370707428615808 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5821/stat : 5821 (java) S 5816 5816 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515886843 15508250624 10243 33554432000 4194304 4196468 140734465457552 140580459588368 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5822] ppid=5816 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5822/stat : 5822 (java) S 5816 5816 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515886843 15508250624 10243 33554432000 4194304 4196468 140734465457552 140580458536080 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5823] ppid=5816 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5823/stat : 5823 (java) S 5816 5816 4857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515886843 15508250624 10243 33554432000 4194304 4196468 140734465457552 140580457483280 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5824] ppid=5816 vsize=15144776 memory=140331276904064 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5824/stat : 5824 (java) S 5816 5816 4857 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515886845 15508250624 10243 33554432000 4194304 4196468 140734465457552 140579381934192 140580508031618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5825] ppid=5816 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5825/stat : 5825 (java) S 5816 5816 4857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515886845 15508250624 10243 33554432000 4194304 4196468 140734465457552 140579312755488 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5826] ppid=5816 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5826/stat : 5826 (java) S 5816 5816 4857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515886845 15508250624 10243 33554432000 4194304 4196468 140734465457552 140579311703152 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5827] ppid=5816 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5827/stat : 5827 (java) S 5816 5816 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515886848 15508250624 10243 33554432000 4194304 4196468 140734465457552 140579310651472 140580508039067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5828] ppid=5816 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5818/task/5828/stat : 5828 (java) S 5816 5816 4857 0 -1 1077944384 437 0 0 0 2 0 0 0 20 0 15 0 515886848 15508250624 10243 33554432000 4194304 4196468 140734465457552 140579309599344 140580508031618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5829] ppid=5816 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/5818/task/5829/stat : 5829 (java) S 5816 5816 4857 0 -1 1077944384 378 0 0 0 2 0 0 0 20 0 15 0 515886848 15508250624 10243 33554432000 4194304 4196468 140734465457552 140579308546544 140580508031618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5830] ppid=5816 vsize=15144776 memory=140331276904064 CPUtime=0.08 cores=0,2,4,6
/proc/5818/task/5830/stat : 5830 (java) R 5816 5816 4857 0 -1 4202560 771 0 0 0 8 0 0 0 20 0 15 0 515886848 15508250624 10243 33554432000 4194304 4196468 140734465457552 140579307494256 140580508032406 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5831] ppid=5816 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5831/stat : 5831 (java) S 5816 5816 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515886848 15508250624 10243 33554432000 4194304 4196468 140734465457552 140579306441696 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5832] ppid=5816 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5832/stat : 5832 (java) S 5816 5816 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515886848 15508250624 10243 33554432000 4194304 4196468 140734465457552 140579305388464 140580508031618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42428 KiB
[startup+0.582774 s]*
/proc/loadavg: 2.00 1.92 1.66 6/229 5833
/proc/meminfo: memFree=24442148/32770624 swapFree=66976792/67108860
[pid=5816] ppid=5813 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5816/stat : 5816 (xcsp3-exec) S 5813 5816 4857 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 515886842 115843072 364 33554432000 4194304 5098028 140727262426672 140727262424776 140085163332220 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36696064 140727262434134 140727262434393 140727262434393 140727262437318 0
/proc/5816/statm: 28282 364 305 221 0 87 0
[pid=5818] ppid=5816 vsize=15151156 memory=78816 CPUtime=1.43 cores=0,2,4,6
/proc/5818/stat : 5818 (java) S 5816 5816 4857 0 -1 1077944320 13911 0 0 0 138 5 0 0 20 0 15 0 515886842 15514783744 19704 33554432000 4194304 4196468 140734465457552 140734465440096 140580508020471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
/proc/5818/statm: 3787789 19704 3437 1 0 3748889 0
[pid=5818/tid=5819] ppid=5816 vsize=15151156 memory=8112282956445269571 CPUtime=0.56 cores=0,2,4,6
/proc/5818/task/5819/stat : 5819 (java) R 5816 5816 4857 0 -1 4202560 8279 0 0 0 54 2 0 0 20 0 15 0 515886842 15514783744 19704 33554432000 4194304 4196468 140734465457552 140580512253904 140580138100642 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5820] ppid=5816 vsize=15151156 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5820/stat : 5820 (java) S 5816 5816 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515886843 15514783744 19704 33554432000 4194304 4196468 140734465457552 140580460641168 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5821] ppid=5816 vsize=15151156 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5821/stat : 5821 (java) S 5816 5816 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515886843 15514783744 19704 33554432000 4194304 4196468 140734465457552 140580459588368 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5822] ppid=5816 vsize=15151156 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5822/stat : 5822 (java) S 5816 5816 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515886843 15514783744 19704 33554432000 4194304 4196468 140734465457552 140580458536080 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5823] ppid=5816 vsize=15151156 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5823/stat : 5823 (java) S 5816 5816 4857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515886843 15514783744 19704 33554432000 4194304 4196468 140734465457552 140580457483280 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5824] ppid=5816 vsize=15151156 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5824/stat : 5824 (java) S 5816 5816 4857 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515886845 15514783744 19704 33554432000 4194304 4196468 140734465457552 140579381934192 140580508031618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5825] ppid=5816 vsize=15151156 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5825/stat : 5825 (java) S 5816 5816 4857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515886845 15514783744 19704 33554432000 4194304 4196468 140734465457552 140579312755488 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5826] ppid=5816 vsize=15151156 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5826/stat : 5826 (java) S 5816 5816 4857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515886845 15514783744 19704 33554432000 4194304 4196468 140734465457552 140579311703152 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5827] ppid=5816 vsize=15151156 memory=-8412656567168561567 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5827/stat : 5827 (java) S 5816 5816 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515886848 15514783744 19704 33554432000 4194304 4196468 140734465457552 140579310651472 140580508039067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5828] ppid=5816 vsize=15151156 memory=-7384621950708166502 CPUtime=0.25 cores=0,2,4,6
/proc/5818/task/5828/stat : 5828 (java) R 5816 5816 4857 0 -1 4202560 1419 0 0 0 25 0 0 0 20 0 15 0 515886848 15514783744 19704 33554432000 4194304 4196468 140734465457552 140579309580360 140580485795794 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5829] ppid=5816 vsize=15151156 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/5818/task/5829/stat : 5829 (java) R 5816 5816 4857 0 -1 4202560 1246 0 0 0 25 0 0 0 20 0 15 0 515886848 15514783744 19704 33554432000 4194304 4196468 140734465457552 140579308532512 140580489564160 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5830] ppid=5816 vsize=15151156 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/5818/task/5830/stat : 5830 (java) R 5816 5816 4857 0 -1 1077944384 1660 0 0 0 31 0 0 0 20 0 15 0 515886848 15514783744 19704 33554432000 4194304 4196468 140734465457552 140579307494256 140580508031618 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5831] ppid=5816 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5831/stat : 5831 (java) S 5816 5816 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515886848 15514783744 19704 33554432000 4194304 4196468 140734465457552 140579306441696 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5832] ppid=5816 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5832/stat : 5832 (java) S 5816 5816 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515886848 15514783744 19704 33554432000 4194304 4196468 140734465457552 140579305388464 140580508031618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 80272 KiB
[startup+0.710631 s]*
/proc/loadavg: 2.00 1.92 1.66 5/229 5833
/proc/meminfo: memFree=24410448/32770624 swapFree=66976792/67108860
[pid=5816] ppid=5813 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5816/stat : 5816 (xcsp3-exec) S 5813 5816 4857 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 515886842 115843072 364 33554432000 4194304 5098028 140727262426672 140727262424776 140085163332220 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36696064 140727262434134 140727262434393 140727262434393 140727262437318 0
/proc/5816/statm: 28282 364 305 221 0 87 0
[pid=5818] ppid=5816 vsize=15151156 memory=112448 CPUtime=1.86 cores=0,2,4,6
/proc/5818/stat : 5818 (java) S 5816 5816 4857 0 -1 1077944320 15683 0 0 0 180 6 0 0 20 0 15 0 515886842 15514783744 28112 33554432000 4194304 4196468 140734465457552 140734465440096 140580508020471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
/proc/5818/statm: 3787789 28112 3449 1 0 3748889 0
[pid=5818/tid=5819] ppid=5816 vsize=15151156 memory=8112282956445269571 CPUtime=0.69 cores=0,2,4,6
/proc/5818/task/5819/stat : 5819 (java) R 5816 5816 4857 0 -1 4202560 8293 0 0 0 66 3 0 0 20 0 15 0 515886842 15514783744 28125 33554432000 4194304 4196468 140734465457552 140580512253560 140580134877840 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5820] ppid=5816 vsize=15151156 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5820/stat : 5820 (java) S 5816 5816 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515886843 15514783744 28125 33554432000 4194304 4196468 140734465457552 140580460641168 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5821] ppid=5816 vsize=15151156 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5821/stat : 5821 (java) S 5816 5816 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515886843 15514783744 28125 33554432000 4194304 4196468 140734465457552 140580459588368 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5822] ppid=5816 vsize=15151156 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5822/stat : 5822 (java) S 5816 5816 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515886843 15514783744 28125 33554432000 4194304 4196468 140734465457552 140580458536080 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5823] ppid=5816 vsize=15151156 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5823/stat : 5823 (java) S 5816 5816 4857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515886843 15514783744 28125 33554432000 4194304 4196468 140734465457552 140580457483280 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5824] ppid=5816 vsize=15151156 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5824/stat : 5824 (java) S 5816 5816 4857 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515886845 15514783744 28125 33554432000 4194304 4196468 140734465457552 140579381934192 140580508031618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5825] ppid=5816 vsize=15151156 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5825/stat : 5825 (java) S 5816 5816 4857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515886845 15514783744 28125 33554432000 4194304 4196468 140734465457552 140579312755488 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5826] ppid=5816 vsize=15151156 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5826/stat : 5826 (java) S 5816 5816 4857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515886845 15514783744 28125 33554432000 4194304 4196468 140734465457552 140579311703152 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5827] ppid=5816 vsize=15151156 memory=-8412656567168561567 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5827/stat : 5827 (java) S 5816 5816 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515886848 15514783744 28125 33554432000 4194304 4196468 140734465457552 140579310651472 140580508039067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5828] ppid=5816 vsize=15151156 memory=-7384621950708166502 CPUtime=0.39 cores=0,2,4,6
/proc/5818/task/5828/stat : 5828 (java) R 5816 5816 4857 0 -1 4202560 1888 0 0 0 38 1 0 0 20 0 15 0 515886848 15514783744 28125 33554432000 4194304 4196468 140734465457552 140579309587904 140580486436256 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5829] ppid=5816 vsize=15151156 memory=0 CPUtime=0.38 cores=0,2,4,6
/proc/5818/task/5829/stat : 5829 (java) R 5816 5816 4857 0 -1 4202560 1571 0 0 0 38 0 0 0 20 0 15 0 515886848 15514783744 28125 33554432000 4194304 4196468 140734465457552 140579308536224 140580492266512 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5830] ppid=5816 vsize=15151156 memory=0 CPUtime=0.37 cores=0,2,4,6
/proc/5818/task/5830/stat : 5830 (java) R 5816 5816 4857 0 -1 1077944384 2624 0 0 0 36 1 0 0 20 0 15 0 515886848 15514783744 28125 33554432000 4194304 4196468 140734465457552 140579307494256 140580508031618 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5831] ppid=5816 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5831/stat : 5831 (java) S 5816 5816 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515886848 15514783744 28125 33554432000 4194304 4196468 140734465457552 140579306441696 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5832] ppid=5816 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5832/stat : 5832 (java) S 5816 5816 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515886848 15514783744 28125 33554432000 4194304 4196468 140734465457552 140579305388464 140580508031618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
Current children cumulated CPU time: 1.86 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 113904 KiB
[startup+0.914739 s]
# the end of solver process 5816 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.41689 s, system=0.081469 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.812762 s]
/proc/loadavg: 2.00 1.92 1.66 5/229 5833
/proc/meminfo: memFree=24410448/32770624 swapFree=66976792/67108860
[pid=5816] ppid=5813 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5816/stat : 5816 (xcsp3-exec) S 5813 5816 4857 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 515886842 115843072 364 33554432000 4194304 5098028 140727262426672 140727262424776 140085163332220 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36696064 140727262434134 140727262434393 140727262434393 140727262437318 0
/proc/5816/statm: 28282 364 305 221 0 87 0
[pid=5818] ppid=5816 vsize=15151156 memory=121992 CPUtime=2.21 cores=0,2,4,6
/proc/5818/stat : 5818 (java) S 5816 5816 4857 0 -1 1077944320 16035 0 0 0 214 7 0 0 20 0 15 0 515886842 15514783744 30498 33554432000 4194304 4196468 140734465457552 140734465440096 140580508020471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
/proc/5818/statm: 3787789 30498 3453 1 0 3748889 0
[pid=5818/tid=5819] ppid=5816 vsize=15151156 memory=16104758104557987 CPUtime=0.78 cores=0,2,4,6
/proc/5818/task/5819/stat : 5819 (java) R 5816 5816 4857 0 -1 4202560 8412 0 0 0 75 3 0 0 20 0 15 0 515886842 15514783744 30498 33554432000 4194304 4196468 140734465457552 140580512255168 140580134846585 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5820] ppid=5816 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5820/stat : 5820 (java) S 5816 5816 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515886843 15514783744 30498 33554432000 4194304 4196468 140734465457552 140580460641168 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5821] ppid=5816 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5821/stat : 5821 (java) S 5816 5816 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515886843 15514783744 30498 33554432000 4194304 4196468 140734465457552 140580459588368 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5822] ppid=5816 vsize=15151156 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5822/stat : 5822 (java) S 5816 5816 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515886843 15514783744 30498 33554432000 4194304 4196468 140734465457552 140580458536080 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5823] ppid=5816 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5823/stat : 5823 (java) S 5816 5816 4857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515886843 15514783744 30498 33554432000 4194304 4196468 140734465457552 140580457483280 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5824] ppid=5816 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5824/stat : 5824 (java) S 5816 5816 4857 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515886845 15514783744 30498 33554432000 4194304 4196468 140734465457552 140579381934192 140580508031618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5825] ppid=5816 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5825/stat : 5825 (java) S 5816 5816 4857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515886845 15514783744 30498 33554432000 4194304 4196468 140734465457552 140579312755488 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5826] ppid=5816 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5826/stat : 5826 (java) S 5816 5816 4857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515886845 15514783744 30498 33554432000 4194304 4196468 140734465457552 140579311703152 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5827] ppid=5816 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5827/stat : 5827 (java) S 5816 5816 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515886848 15514783744 30498 33554432000 4194304 4196468 140734465457552 140579310651472 140580508039067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5828] ppid=5816 vsize=15151156 memory=0 CPUtime=0.48 cores=0,2,4,6
/proc/5818/task/5828/stat : 5828 (java) R 5816 5816 4857 0 -1 4202560 1934 0 0 0 47 1 0 0 20 0 15 0 515886848 15514783744 30498 33554432000 4194304 4196468 140734465457552 140579309590992 140580487733630 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5829] ppid=5816 vsize=15151156 memory=0 CPUtime=0.47 cores=0,2,4,6
/proc/5818/task/5829/stat : 5829 (java) R 5816 5816 4857 0 -1 4202560 1631 0 0 0 47 0 0 0 20 0 15 0 515886848 15514783744 30498 33554432000 4194304 4196468 140734465457552 140579308536656 140580491980349 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5830] ppid=5816 vsize=15151156 memory=0 CPUtime=0.43 cores=0,2,4,6
/proc/5818/task/5830/stat : 5830 (java) R 5816 5816 4857 0 -1 1077944384 2750 0 0 0 42 1 0 0 20 0 15 0 515886848 15514783744 30498 33554432000 4194304 4196468 140734465457552 140579307489984 140580508030677 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5831] ppid=5816 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5831/stat : 5831 (java) S 5816 5816 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515886848 15514783744 30498 33554432000 4194304 4196468 140734465457552 140579306441696 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5832] ppid=5816 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5832/stat : 5832 (java) S 5816 5816 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515886848 15514783744 30498 33554432000 4194304 4196468 140734465457552 140579305388464 140580508031618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
Current children cumulated CPU time: 2.21 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 123448 KiB
[startup+0.900748 s]
/proc/loadavg: 2.00 1.92 1.66 5/229 5833
/proc/meminfo: memFree=24410448/32770624 swapFree=66976792/67108860
[pid=5816] ppid=5813 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5816/stat : 5816 (xcsp3-exec) S 5813 5816 4857 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 515886842 115843072 364 33554432000 4194304 5098028 140727262426672 140727262424776 140085163332220 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36696064 140727262434134 140727262434393 140727262434393 140727262437318 0
/proc/5816/statm: 28282 364 305 221 0 87 0
[pid=5818] ppid=5816 vsize=15151156 memory=131544 CPUtime=2.48 cores=0,2,4,6
/proc/5818/stat : 5818 (java) S 5816 5816 4857 0 -1 1077944320 16817 0 0 0 241 7 0 0 20 0 14 0 515886842 15514783744 32886 33554432000 4194304 4196468 140734465457552 140734465440096 140580508020471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
/proc/5818/statm: 3787789 32886 3465 1 0 3748889 0
[pid=5818/tid=5819] ppid=5816 vsize=15151156 memory=33 CPUtime=0.87 cores=0,2,4,6
/proc/5818/task/5819/stat : 5819 (java) S 5816 5816 4857 0 -1 1077944384 9032 0 0 0 83 4 0 0 20 0 14 0 515886842 15514783744 32886 33554432000 4194304 4196468 140734465457552 140580512263312 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5820] ppid=5816 vsize=15151156 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5820/stat : 5820 (java) S 5816 5816 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 515886843 15514783744 32886 33554432000 4194304 4196468 140734465457552 140580460641168 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5821] ppid=5816 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5821/stat : 5821 (java) S 5816 5816 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 515886843 15514783744 32886 33554432000 4194304 4196468 140734465457552 140580459588368 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5822] ppid=5816 vsize=15151156 memory=1660 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5822/stat : 5822 (java) S 5816 5816 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 515886843 15514783744 32886 33554432000 4194304 4196468 140734465457552 140580458536080 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5823] ppid=5816 vsize=15151156 memory=66528 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5823/stat : 5823 (java) S 5816 5816 4857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 515886843 15514783744 32886 33554432000 4194304 4196468 140734465457552 140580457483280 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5824] ppid=5816 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5824/stat : 5824 (java) S 5816 5816 4857 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 14 0 515886845 15514783744 32886 33554432000 4194304 4196468 140734465457552 140579381934400 140580508031618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5825] ppid=5816 vsize=15151156 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5825/stat : 5825 (java) S 5816 5816 4857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 515886845 15514783744 32886 33554432000 4194304 4196468 140734465457552 140579312755488 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5826] ppid=5816 vsize=15151156 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5826/stat : 5826 (java) S 5816 5816 4857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 515886845 15514783744 32886 33554432000 4194304 4196468 140734465457552 140579311703152 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5827] ppid=5816 vsize=15151156 memory=580 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5827/stat : 5827 (java) S 5816 5816 4857 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 14 0 515886848 15514783744 32886 33554432000 4194304 4196468 140734465457552 140579310651120 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5828] ppid=5816 vsize=15151156 memory=1716 CPUtime=0.54 cores=0,2,4,6
/proc/5818/task/5828/stat : 5828 (java) S 5816 5816 4857 0 -1 1077944384 1961 0 0 0 53 1 0 0 20 0 14 0 515886848 15514783744 32886 33554432000 4194304 4196468 140734465457552 140579309579584 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5829] ppid=5816 vsize=15151156 memory=10604 CPUtime=0.54 cores=0,2,4,6
/proc/5818/task/5829/stat : 5829 (java) R 5816 5816 4857 0 -1 4202560 1665 0 0 0 54 0 0 0 20 0 14 0 515886848 15514783744 32886 33554432000 4194304 4196468 140734465457552 140579308532640 140580493130312 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5830] ppid=5816 vsize=15151156 memory=3636 CPUtime=0.49 cores=0,2,4,6
/proc/5818/task/5830/stat : 5830 (java) S 5816 5816 4857 0 -1 1077944384 2849 0 0 0 48 1 0 0 20 0 14 0 515886848 15514783744 32886 33554432000 4194304 4196468 140734465457552 140579307494256 140580508031618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
[pid=5818/tid=5831] ppid=5816 vsize=15151156 memory=776 CPUtime=0 cores=0,2,4,6
/proc/5818/task/5831/stat : 5831 (java) S 5816 5816 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 515886848 15514783744 32886 33554432000 4194304 4196468 140734465457552 140579306441696 140580508030677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140734465463259 140734465463434 140734465463434 140734465466319 0
Current children cumulated CPU time: 2.48 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 133000 KiB
Child status: 0
Real time (s): 0.914783
CPU time (s): 2.49836
CPU user time (s): 2.41689
CPU system time (s): 0.081469
CPU usage (%): 273.11
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 133000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.41689
system time used= 0.081469
maximum resident set size= 131916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17378
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= 1590
involuntary context switches= 20
# summary of solver processes directly reported to runsolver:
# pid: 5816
# total CPU time (s): 2.49836
# total CPU user time (s): 2.41689
# total CPU system time (s): 0.081469
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.03167 second user time and 0.045105 second system time
The end