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 (12643 MiB free)
memory of node 1: 16384 MiB (10730 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407755-1569512421/watcher-4407755-1569512421 -o /var/tmp/evaluation-result-4407755-1569512421/solver-4407755-1569512421 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node126-1569509603-1618 --watchdog 2560 xcsp_picat HOME/instance-4407755-1569512421.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
solver pid=2433, runsolver pid=2430
Current StackSize limit: 8192 KiB
[startup+0.100214 s]*
/proc/loadavg: 2.00 2.01 1.91 3/199 2434
/proc/meminfo: memFree=23913788/32770624 swapFree=66997700/67108860
[pid=2433] ppid=2430 vsize=2038456 memory=23428 CPUtime=0.1 cores=0,2,4,6
/proc/2433/stat : 2433 (xcsp_picat) R 2430 2433 1583 0 -1 4202496 4207 0 0 0 10 0 0 0 20 0 1 0 527509800 2087378944 5857 33554432000 4194304 5870510 140725710246752 140725710243896 5298815 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 18472960 140725710251015 140725710251097 140725710251097 140725710254022 0
/proc/2433/statm: 509614 5857 884 410 0 505087 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2038456 KiB
Current children cumulated memory: 23428 KiB
[startup+0.209905 s]*
/proc/loadavg: 2.00 2.01 1.91 3/199 2434
/proc/meminfo: memFree=23912784/32770624 swapFree=66997700/67108860
[pid=2433] ppid=2430 vsize=2040132 memory=25008 CPUtime=0.21 cores=0,2,4,6
/proc/2433/stat : 2433 (xcsp_picat) R 2430 2433 1583 0 -1 4202496 4619 0 0 0 21 0 0 0 20 0 1 0 527509800 2089095168 6252 33554432000 4194304 5870510 140725710246752 140725710243896 5298780 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 18472960 140725710251015 140725710251097 140725710251097 140725710254022 0
/proc/2433/statm: 510033 6252 885 410 0 505506 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2040132 KiB
Current children cumulated memory: 25008 KiB
[startup+0.309359 s]*
/proc/loadavg: 2.00 2.01 1.91 3/199 2434
/proc/meminfo: memFree=23909620/32770624 swapFree=66997700/67108860
[pid=2433] ppid=2430 vsize=2042852 memory=28224 CPUtime=0.31 cores=0,2,4,6
/proc/2433/stat : 2433 (xcsp_picat) R 2430 2433 1583 0 -1 4202496 4893 0 0 0 31 0 0 0 20 0 1 0 527509800 2091880448 7056 33554432000 4194304 5870510 140725710246752 140725710243896 5275277 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 18472960 140725710251015 140725710251097 140725710251097 140725710254022 0
/proc/2433/statm: 510713 7056 885 410 0 506186 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2042852 KiB
Current children cumulated memory: 28224 KiB
[startup+0.700417 s]
/proc/loadavg: 2.00 2.01 1.91 3/199 2434
/proc/meminfo: memFree=23904408/32770624 swapFree=66997700/67108860
[pid=2433] ppid=2430 vsize=2047272 memory=32104 CPUtime=0.69 cores=0,2,4,6
/proc/2433/stat : 2433 (xcsp_picat) R 2430 2433 1583 0 -1 4202496 5412 0 0 0 69 0 0 0 20 0 1 0 527509800 2096406528 8026 33554432000 4194304 5870510 140725710246752 140725710245704 140477917194156 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 18472960 140725710251015 140725710251097 140725710251097 140725710254022 0
/proc/2433/statm: 511818 8026 885 410 0 507291 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2047272 KiB
Current children cumulated memory: 32104 KiB
[startup+1.50043 s]
/proc/loadavg: 2.00 2.01 1.91 3/199 2434
/proc/meminfo: memFree=23888088/32770624 swapFree=66997700/67108860
[pid=2433] ppid=2430 vsize=2055140 memory=39280 CPUtime=1.49 cores=0,2,4,6
/proc/2433/stat : 2433 (xcsp_picat) R 2430 2433 1583 0 -1 4202496 6148 0 0 0 149 0 0 0 20 0 1 0 527509800 2104463360 9820 33554432000 4194304 5870510 140725710246752 140725710245704 5282767 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 18472960 140725710251015 140725710251097 140725710251097 140725710254022 0
/proc/2433/statm: 513785 9820 886 410 0 509258 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2055140 KiB
Current children cumulated memory: 39280 KiB
[startup+3.10968 s]
/proc/loadavg: 2.00 2.01 1.91 3/199 2435
/proc/meminfo: memFree=23872356/32770624 swapFree=66997700/67108860
[pid=2433] ppid=2430 vsize=2067580 memory=46300 CPUtime=3.1 cores=0,2,4,6
/proc/2433/stat : 2433 (xcsp_picat) R 2430 2433 1583 0 -1 4202496 12574 0 0 0 308 2 0 0 20 0 1 0 527509800 2117201920 11575 33554432000 4194304 5870510 140725710246752 140725710245112 5282597 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 18472960 140725710251015 140725710251097 140725710251097 140725710254022 0
/proc/2433/statm: 516895 11575 886 410 0 512368 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2067580 KiB
Current children cumulated memory: 46300 KiB
[startup+6.30042 s]
/proc/loadavg: 2.00 2.01 1.91 3/199 2435
/proc/meminfo: memFree=24132352/32770624 swapFree=66997700/67108860
[pid=2433] ppid=2430 vsize=2136692 memory=86212 CPUtime=6.29 cores=0,2,4,6
/proc/2433/stat : 2433 (xcsp_picat) R 2430 2433 1583 0 -1 4202496 15736 0 0 0 625 4 0 0 20 0 1 0 527509800 2187972608 21553 33554432000 4194304 5870510 140725710246752 140725710245192 5262639 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 18472960 140725710251015 140725710251097 140725710251097 140725710254022 0
/proc/2433/statm: 534173 21553 886 410 0 529646 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2136692 KiB
Current children cumulated memory: 86212 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 1.91 3/199 2435
/proc/meminfo: memFree=24035480/32770624 swapFree=66997700/67108860
[pid=2433] ppid=2430 vsize=2099252 memory=84480 CPUtime=12.69 cores=0,2,4,6
/proc/2433/stat : 2433 (xcsp_picat) R 2430 2433 1583 0 -1 4202496 19663 0 0 0 1264 5 0 0 20 0 1 0 527509800 2149634048 21120 33554432000 4194304 5870510 140725710246752 140725710245192 5282747 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 18472960 140725710251015 140725710251097 140725710251097 140725710254022 0
/proc/2433/statm: 524813 21120 886 410 0 520286 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2099252 KiB
Current children cumulated memory: 84480 KiB
[startup+25.5005 s]
/proc/loadavg: 2.00 2.01 1.91 3/199 2442
/proc/meminfo: memFree=23934276/32770624 swapFree=66997700/67108860
[pid=2433] ppid=2430 vsize=2148572 memory=118296 CPUtime=25.49 cores=0,2,4,6
/proc/2433/stat : 2433 (xcsp_picat) R 2430 2433 1583 0 -1 4202496 24844 0 0 0 2540 9 0 0 20 0 1 0 527509800 2200137728 29574 33554432000 4194304 5870510 140725710246752 140725710245192 5274777 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 18472960 140725710251015 140725710251097 140725710251097 140725710254022 0
/proc/2433/statm: 537143 29574 886 410 0 532616 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2148572 KiB
Current children cumulated memory: 118296 KiB
[startup+51.1097 s]
/proc/loadavg: 2.00 2.01 1.92 3/199 2444
/proc/meminfo: memFree=23877680/32770624 swapFree=66997700/67108860
[pid=2433] ppid=2430 vsize=2099252 memory=84480 CPUtime=51.09 cores=0,2,4,6
/proc/2433/stat : 2433 (xcsp_picat) R 2430 2433 1583 0 -1 4202496 29084 0 0 0 5095 14 0 0 20 0 1 0 527509800 2149634048 21120 33554432000 4194304 5870510 140725710246752 140725710245192 5282721 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 18472960 140725710251015 140725710251097 140725710251097 140725710254022 0
/proc/2433/statm: 524813 21120 886 410 0 520286 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2099252 KiB
Current children cumulated memory: 84480 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/200 2449
/proc/meminfo: memFree=24016584/32770624 swapFree=66997700/67108860
[pid=2433] ppid=2430 vsize=2148572 memory=124444 CPUtime=102.28 cores=0,2,4,6
/proc/2433/stat : 2433 (xcsp_picat) R 2430 2433 1583 0 -1 4202496 36325 0 0 0 10203 25 0 0 20 0 1 0 527509800 2200137728 31111 33554432000 4194304 5870510 140725710246752 140725710245192 5278132 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 18472960 140725710251015 140725710251097 140725710251097 140725710254022 0
/proc/2433/statm: 537143 31111 886 410 0 532616 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2148572 KiB
Current children cumulated memory: 124444 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/200 2453
/proc/meminfo: memFree=23975788/32770624 swapFree=66997700/67108860
[pid=2433] ppid=2430 vsize=2136760 memory=121956 CPUtime=162.27 cores=0,2,4,6
/proc/2433/stat : 2433 (xcsp_picat) R 2430 2433 1583 0 -1 4202496 47253 0 0 0 16187 40 0 0 20 0 1 0 527509800 2188042240 30489 33554432000 4194304 5870510 140725710246752 140725710245320 5282747 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 18472960 140725710251015 140725710251097 140725710251097 140725710254022 0
/proc/2433/statm: 534190 30489 886 410 0 529663 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2136760 KiB
Current children cumulated memory: 121956 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/200 2459
/proc/meminfo: memFree=23999880/32770624 swapFree=66997700/67108860
[pid=2433] ppid=2430 vsize=2155568 memory=140796 CPUtime=222.26 cores=0,2,4,6
/proc/2433/stat : 2433 (xcsp_picat) R 2430 2433 1583 0 -1 4202496 59009 0 0 0 22172 54 0 0 20 0 1 0 527509800 2207301632 35199 33554432000 4194304 5870510 140725710246752 140725710245768 5282680 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 18472960 140725710251015 140725710251097 140725710251097 140725710254022 0
/proc/2433/statm: 538892 35199 886 410 0 534365 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 2155568 KiB
Current children cumulated memory: 140796 KiB
[startup+282.3 s]
/proc/loadavg: 1.95 2.00 1.93 3/200 2463
/proc/meminfo: memFree=23887428/32770624 swapFree=66997700/67108860
[pid=2433] ppid=2430 vsize=2167788 memory=153016 CPUtime=282.26 cores=0,2,4,6
/proc/2433/stat : 2433 (xcsp_picat) R 2430 2433 1583 0 -1 4202496 67754 0 0 0 28157 69 0 0 20 0 1 0 527509800 2219814912 38254 33554432000 4194304 5870510 140725710246752 140725710245768 5262639 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18472960 140725710251015 140725710251097 140725710251097 140725710254022 0
/proc/2433/statm: 541947 38254 886 410 0 537420 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 2167788 KiB
Current children cumulated memory: 153016 KiB
[startup+342.3 s]
/proc/loadavg: 2.04 2.01 1.95 3/200 2467
/proc/meminfo: memFree=23746788/32770624 swapFree=66997700/67108860
[pid=2433] ppid=2430 vsize=2186464 memory=171692 CPUtime=342.25 cores=0,2,4,6
/proc/2433/stat : 2433 (xcsp_picat) R 2430 2433 1583 0 -1 4202496 80500 0 0 0 34141 84 0 0 20 0 1 0 527509800 2238939136 42923 33554432000 4194304 5870510 140725710246752 140725710245768 5283106 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18472960 140725710251015 140725710251097 140725710251097 140725710254022 0
/proc/2433/statm: 546616 42923 886 410 0 542089 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 2186464 KiB
Current children cumulated memory: 171692 KiB
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/199 2473
/proc/meminfo: memFree=23658852/32770624 swapFree=66997700/67108860
[pid=2433] ppid=2430 vsize=2199264 memory=184492 CPUtime=402.26 cores=0,2,4,6
/proc/2433/stat : 2433 (xcsp_picat) R 2430 2433 1583 0 -1 4202496 87761 0 0 0 40132 94 0 0 20 0 1 0 527509800 2252046336 46123 33554432000 4194304 5870510 140725710246752 140725710245768 5282759 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18472960 140725710251015 140725710251097 140725710251097 140725710254022 0
/proc/2433/statm: 549816 46123 886 410 0 545289 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 2199264 KiB
Current children cumulated memory: 184492 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/199 2477
/proc/meminfo: memFree=23438720/32770624 swapFree=66997700/67108860
[pid=2433] ppid=2430 vsize=2199264 memory=184492 CPUtime=462.26 cores=0,2,4,6
/proc/2433/stat : 2433 (xcsp_picat) R 2430 2433 1583 0 -1 4202496 90269 0 0 0 46132 94 0 0 20 0 1 0 527509800 2252046336 46123 33554432000 4194304 5870510 140725710246752 140725710245768 5282747 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18472960 140725710251015 140725710251097 140725710251097 140725710254022 0
/proc/2433/statm: 549816 46123 886 410 0 545289 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 2199264 KiB
Current children cumulated memory: 184492 KiB
################
# More data... #
################
/proc/2433/statm: 585475 82641 886 410 0 580948 0
Current children cumulated CPU time: 1662.27 s
Current children cumulated vsize: 2341900 KiB
Current children cumulated memory: 330564 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.02 3/199 2637
/proc/meminfo: memFree=23185876/32770624 swapFree=66997700/67108860
[pid=2433] ppid=2430 vsize=2341900 memory=330564 CPUtime=1722.27 cores=0,2,4,6
/proc/2433/stat : 2433 (xcsp_picat) R 2430 2433 1583 0 -1 4202496 304494 0 0 0 171865 362 0 0 20 0 1 0 527509800 2398105600 82641 33554432000 4194304 5870510 140725710246752 140725710245768 5262639 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18472960 140725710251015 140725710251097 140725710251097 140725710254022 0
/proc/2433/statm: 585475 82641 886 410 0 580948 0
Current children cumulated CPU time: 1722.27 s
Current children cumulated vsize: 2341900 KiB
Current children cumulated memory: 330564 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/199 2641
/proc/meminfo: memFree=23045564/32770624 swapFree=66997700/67108860
[pid=2433] ppid=2430 vsize=2341900 memory=330564 CPUtime=1782.27 cores=0,2,4,6
/proc/2433/stat : 2433 (xcsp_picat) R 2430 2433 1583 0 -1 4202496 309519 0 0 0 177857 370 0 0 20 0 1 0 527509800 2398105600 82641 33554432000 4194304 5870510 140725710246752 140725710245768 5282747 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18472960 140725710251015 140725710251097 140725710251097 140725710254022 0
/proc/2433/statm: 585475 82641 886 410 0 580948 0
Current children cumulated CPU time: 1782.27 s
Current children cumulated vsize: 2341900 KiB
Current children cumulated memory: 330564 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/200 2655
/proc/meminfo: memFree=22924732/32770624 swapFree=66997700/67108860
[pid=2433] ppid=2430 vsize=2341900 memory=330564 CPUtime=1842.27 cores=0,2,4,6
/proc/2433/stat : 2433 (xcsp_picat) R 2430 2433 1583 0 -1 4202496 317490 0 0 0 183844 383 0 0 20 0 1 0 527509800 2398105600 82641 33554432000 4194304 5870510 140725710246752 140725710245768 5283102 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18472960 140725710251015 140725710251097 140725710251097 140725710254022 0
/proc/2433/statm: 585475 82641 886 410 0 580948 0
Current children cumulated CPU time: 1842.27 s
Current children cumulated vsize: 2341900 KiB
Current children cumulated memory: 330564 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/200 2659
/proc/meminfo: memFree=23367668/32770624 swapFree=66997700/67108860
[pid=2433] ppid=2430 vsize=2341900 memory=330564 CPUtime=1902.27 cores=0,2,4,6
/proc/2433/stat : 2433 (xcsp_picat) R 2430 2433 1583 0 -1 4202496 323126 0 0 0 189836 391 0 0 20 0 1 0 527509800 2398105600 82641 33554432000 4194304 5870510 140725710246752 140725710245768 5274503 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18472960 140725710251015 140725710251097 140725710251097 140725710254022 0
/proc/2433/statm: 585475 82641 886 410 0 580948 0
Current children cumulated CPU time: 1902.27 s
Current children cumulated vsize: 2341900 KiB
Current children cumulated memory: 330564 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/200 2663
/proc/meminfo: memFree=23840320/32770624 swapFree=66997700/67108860
[pid=2433] ppid=2430 vsize=2341900 memory=330564 CPUtime=1962.27 cores=0,2,4,6
/proc/2433/stat : 2433 (xcsp_picat) R 2430 2433 1583 0 -1 4202496 329686 0 0 0 195826 401 0 0 20 0 1 0 527509800 2398105600 82641 33554432000 4194304 5870510 140725710246752 140725710245768 5282736 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18472960 140725710251015 140725710251097 140725710251097 140725710254022 0
/proc/2433/statm: 585475 82641 886 410 0 580948 0
Current children cumulated CPU time: 1962.27 s
Current children cumulated vsize: 2341900 KiB
Current children cumulated memory: 330564 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/200 2669
/proc/meminfo: memFree=23745644/32770624 swapFree=66997700/67108860
[pid=2433] ppid=2430 vsize=2342548 memory=331156 CPUtime=2022.28 cores=0,2,4,6
/proc/2433/stat : 2433 (xcsp_picat) R 2430 2433 1583 0 -1 4202496 334651 0 0 0 201820 408 0 0 20 0 1 0 527509800 2398769152 82789 33554432000 4194304 5870510 140725710246752 140725710245768 5278096 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18472960 140725710251015 140725710251097 140725710251097 140725710254022 0
/proc/2433/statm: 585637 82789 886 410 0 581110 0
Current children cumulated CPU time: 2022.28 s
Current children cumulated vsize: 2342548 KiB
Current children cumulated memory: 331156 KiB
[startup+2082.3 s]
/proc/loadavg: 1.47 1.87 1.97 2/193 2718
/proc/meminfo: memFree=24894744/32770624 swapFree=66997700/67108860
[pid=2433] ppid=2430 vsize=2342884 memory=331576 CPUtime=2082.27 cores=0,2,4,6
/proc/2433/stat : 2433 (xcsp_picat) R 2430 2433 1583 0 -1 4202496 339078 0 0 0 207813 414 0 0 20 0 1 0 527509800 2399113216 82894 33554432000 4194304 5870510 140725710246752 140725710245768 5282505 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18472960 140725710251015 140725710251097 140725710251097 140725710254022 0
/proc/2433/statm: 585721 82894 886 410 0 581194 0
Current children cumulated CPU time: 2082.27 s
Current children cumulated vsize: 2342884 KiB
Current children cumulated memory: 331576 KiB
[startup+2142.3 s]
/proc/loadavg: 1.17 1.71 1.91 2/192 2722
/proc/meminfo: memFree=24894296/32770624 swapFree=66997700/67108860
[pid=2433] ppid=2430 vsize=2343432 memory=332040 CPUtime=2142.27 cores=0,2,4,6
/proc/2433/stat : 2433 (xcsp_picat) R 2430 2433 1583 0 -1 4202496 345515 0 0 0 213804 423 0 0 20 0 1 0 527509800 2399674368 83010 33554432000 4194304 5870510 140725710246752 140725710245768 5283064 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18472960 140725710251015 140725710251097 140725710251097 140725710254022 0
/proc/2433/statm: 585858 83010 886 410 0 581331 0
Current children cumulated CPU time: 2142.27 s
Current children cumulated vsize: 2343432 KiB
Current children cumulated memory: 332040 KiB
[startup+2202.3 s]
/proc/loadavg: 1.06 1.58 1.85 2/192 2728
/proc/meminfo: memFree=24894160/32770624 swapFree=66997700/67108860
[pid=2433] ppid=2430 vsize=2343728 memory=332392 CPUtime=2202.28 cores=0,2,4,6
/proc/2433/stat : 2433 (xcsp_picat) R 2430 2433 1583 0 -1 4202496 352001 0 0 0 219795 433 0 0 20 0 1 0 527509800 2399977472 83098 33554432000 4194304 5870510 140725710246752 140725710245768 5282759 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18472960 140725710251015 140725710251097 140725710251097 140725710254022 0
/proc/2433/statm: 585932 83098 886 410 0 581405 0
Current children cumulated CPU time: 2202.28 s
Current children cumulated vsize: 2343728 KiB
Current children cumulated memory: 332392 KiB
[startup+2262.3 s]
/proc/loadavg: 1.02 1.48 1.80 2/192 2732
/proc/meminfo: memFree=24893612/32770624 swapFree=66997700/67108860
[pid=2433] ppid=2430 vsize=2343952 memory=332560 CPUtime=2262.28 cores=0,2,4,6
/proc/2433/stat : 2433 (xcsp_picat) R 2430 2433 1583 0 -1 4202496 357122 0 0 0 225789 439 0 0 20 0 1 0 527509800 2400206848 83140 33554432000 4194304 5870510 140725710246752 140725710245768 5282736 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18472960 140725710251015 140725710251097 140725710251097 140725710254022 0
/proc/2433/statm: 585988 83140 886 410 0 581461 0
Current children cumulated CPU time: 2262.28 s
Current children cumulated vsize: 2343952 KiB
Current children cumulated memory: 332560 KiB
[startup+2322.3 s]
/proc/loadavg: 1.01 1.39 1.75 2/192 2736
/proc/meminfo: memFree=24882308/32770624 swapFree=66997700/67108860
[pid=2433] ppid=2430 vsize=2374580 memory=344572 CPUtime=2322.28 cores=0,2,4,6
/proc/2433/stat : 2433 (xcsp_picat) R 2430 2433 1583 0 -1 4202496 360615 0 0 0 231784 444 0 0 20 0 1 0 527509800 2431569920 86143 33554432000 4194304 5870510 140725710246752 140725710245768 5283221 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18472960 140725710251015 140725710251097 140725710251097 140725710254022 0
/proc/2433/statm: 593645 86143 886 410 0 589118 0
Current children cumulated CPU time: 2322.28 s
Current children cumulated vsize: 2374580 KiB
Current children cumulated memory: 344572 KiB
[startup+2382.3 s]
/proc/loadavg: 1.00 1.32 1.70 2/192 2742
/proc/meminfo: memFree=24848796/32770624 swapFree=66997700/67108860
[pid=2433] ppid=2430 vsize=2374580 memory=344572 CPUtime=2382.28 cores=0,2,4,6
/proc/2433/stat : 2433 (xcsp_picat) R 2430 2433 1583 0 -1 4202496 369378 0 0 0 237772 456 0 0 20 0 1 0 527509800 2431569920 86143 33554432000 4194304 5870510 140725710246752 140725710245192 5283083 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18472960 140725710251015 140725710251097 140725710251097 140725710254022 0
/proc/2433/statm: 593645 86143 886 410 0 589118 0
Current children cumulated CPU time: 2382.28 s
Current children cumulated vsize: 2374580 KiB
Current children cumulated memory: 344572 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.11 s]
/proc/loadavg: 1.00 1.30 1.69 2/192 2743
/proc/meminfo: memFree=24882208/32770624 swapFree=66997700/67108860
[pid=2433] ppid=2430 vsize=2374580 memory=344572 CPUtime=2400.09 cores=0,2,4,6
/proc/2433/stat : 2433 (xcsp_picat) R 2430 2433 1583 0 -1 4202496 372708 0 0 0 239550 459 0 0 20 0 1 0 527509800 2431569920 86143 33554432000 4194304 5870510 140725710246752 140725710245768 5282759 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18472960 140725710251015 140725710251097 140725710251097 140725710254022 0
/proc/2433/statm: 593645 86143 886 410 0 589118 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 2374580 KiB
Current children cumulated memory: 344572 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.11 s]
# the end of solver process 2433 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2395.51 s, system=4.59498 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.11 s]
/proc/loadavg: 1.00 1.30 1.69 2/192 2743
/proc/meminfo: memFree=24882208/32770624 swapFree=66997700/67108860
[pid=2433] ppid=2430 vsize=2374580 memory=344572 CPUtime=2400.09 cores=0,2,4,6
/proc/2433/stat : 2433 (xcsp_picat) R 2430 2433 1583 0 -1 4202496 372708 0 0 0 239550 459 0 0 20 0 1 0 527509800 2431569920 86143 33554432000 4194304 5870510 140725710246752 140725710245768 5282759 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18472960 140725710251015 140725710251097 140725710251097 140725710254022 0
/proc/2433/statm: 593645 86143 886 410 0 589118 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 2374580 KiB
Current children cumulated memory: 344572 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.11
CPU time (s): 2400.1
CPU user time (s): 2395.51
CPU system time (s): 4.59498
CPU usage (%): 99.9995
Max. virtual memory (cumulated for all children) (KiB): 2423900
Max. memory (cumulated for all children) (KiB): 382488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.51
system time used= 4.59498
maximum resident set size= 382488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 372708
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 1039
# summary of solver processes directly reported to runsolver:
# pid: 2433
# total CPU time (s): 2400.1
# total CPU user time (s): 2395.51
# total CPU system time (s): 4.59498
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4912 second user time and 16.5246 second system time
The end