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 (6186 MiB free)
memory of node 1: 16384 MiB (9106 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309318-1534312433/watcher-4309318-1534312433 -o /tmp/evaluation-result-4309318-1534312433/solver-4309318-1534312433 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534294082-5448 --watchdog 2580 xcsp_picat HOME/instance-4309318-1534312433.xml
running on 4 cores: 1,3,5,7
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=8134, runsolver pid=8131
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 8135
/proc/meminfo: memFree=15649144/32770624 swapFree=67108504/67108860
[pid=8134] ppid=8131 vsize=2026652 memory=13936 CPUtime=0.1 cores=1,3,5,7
/proc/8134/stat : 8134 (xcsp_picat) R 8131 8134 5416 0 -1 4202496 1598 0 0 0 10 0 0 0 20 0 1 0 248806517 2075291648 3484 33554432000 4194304 5849940 140728683662480 140728683662480 5308637 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28020736 140728683664566 140728683664644 140728683664644 140728683667402 0
/proc/8134/statm: 506663 3484 719 405 0 503607 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2026652 KiB
Current children cumulated memory: 13936 KiB
[startup+0.209668 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 8135
/proc/meminfo: memFree=15649144/32770624 swapFree=67108504/67108860
[pid=8134] ppid=8131 vsize=2026652 memory=13936 CPUtime=0.21 cores=1,3,5,7
/proc/8134/stat : 8134 (xcsp_picat) R 8131 8134 5416 0 -1 4202496 1602 0 0 0 21 0 0 0 20 0 1 0 248806517 2075291648 3484 33554432000 4194304 5849940 140728683662480 140728683662480 140247421128583 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28020736 140728683664566 140728683664644 140728683664644 140728683667402 0
/proc/8134/statm: 506663 3484 719 405 0 503607 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2026652 KiB
Current children cumulated memory: 13936 KiB
[startup+0.308891 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 8135
/proc/meminfo: memFree=15648772/32770624 swapFree=67108504/67108860
[pid=8134] ppid=8131 vsize=2026800 memory=13936 CPUtime=0.3 cores=1,3,5,7
/proc/8134/stat : 8134 (xcsp_picat) R 8131 8134 5416 0 -1 4202496 1641 0 0 0 30 0 0 0 20 0 1 0 248806517 2075443200 3484 33554432000 4194304 5849940 140728683662480 140728683662480 5396106 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28020736 140728683664566 140728683664644 140728683664644 140728683667402 0
/proc/8134/statm: 506700 3484 719 405 0 503644 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2026800 KiB
Current children cumulated memory: 13936 KiB
[startup+0.700272 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8135
/proc/meminfo: memFree=15648096/32770624 swapFree=67108504/67108860
[pid=8134] ppid=8131 vsize=2027940 memory=15236 CPUtime=0.69 cores=1,3,5,7
/proc/8134/stat : 8134 (xcsp_picat) R 8131 8134 5416 0 -1 4202496 2031 0 0 0 68 1 0 0 20 0 1 0 248806517 2076610560 3809 33554432000 4194304 5849940 140728683662480 140728683661480 140247421128583 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28020736 140728683664566 140728683664644 140728683664644 140728683667402 0
/proc/8134/statm: 506985 3809 732 405 0 503929 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2027940 KiB
Current children cumulated memory: 15236 KiB
[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8135
/proc/meminfo: memFree=15647196/32770624 swapFree=67108504/67108860
[pid=8134] ppid=8131 vsize=2028068 memory=15308 CPUtime=1.49 cores=1,3,5,7
/proc/8134/stat : 8134 (xcsp_picat) R 8131 8134 5416 0 -1 4202496 2859 0 0 0 146 3 0 0 20 0 1 0 248806517 2076741632 3827 33554432000 4194304 5849940 140728683662480 140728683661480 140247421128583 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28020736 140728683664566 140728683664644 140728683664644 140728683667402 0
/proc/8134/statm: 507017 3827 732 405 0 503961 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2028068 KiB
Current children cumulated memory: 15308 KiB
[startup+3.10927 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8135
/proc/meminfo: memFree=15645604/32770624 swapFree=67108504/67108860
[pid=8134] ppid=8131 vsize=2030312 memory=17724 CPUtime=3.1 cores=1,3,5,7
/proc/8134/stat : 8134 (xcsp_picat) R 8131 8134 5416 0 -1 4202496 5219 0 0 0 304 6 0 0 20 0 1 0 248806517 2079039488 4431 33554432000 4194304 5849940 140728683662480 140728683661480 140247421128583 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28020736 140728683664566 140728683664644 140728683664644 140728683667402 0
/proc/8134/statm: 507578 4431 732 405 0 504522 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2030312 KiB
Current children cumulated memory: 17724 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8135
/proc/meminfo: memFree=15642056/32770624 swapFree=67108504/67108860
[pid=8134] ppid=8131 vsize=2033720 memory=20988 CPUtime=6.29 cores=1,3,5,7
/proc/8134/stat : 8134 (xcsp_picat) R 8131 8134 5416 0 -1 4202496 8647 0 0 0 621 8 0 0 20 0 1 0 248806517 2082529280 5247 33554432000 4194304 5849940 140728683662480 140728683661480 140247421128583 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28020736 140728683664566 140728683664644 140728683664644 140728683667402 0
/proc/8134/statm: 508430 5247 732 405 0 505374 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2033720 KiB
Current children cumulated memory: 20988 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8135
/proc/meminfo: memFree=15627740/32770624 swapFree=67108504/67108860
[pid=8134] ppid=8131 vsize=2040404 memory=27476 CPUtime=12.69 cores=1,3,5,7
/proc/8134/stat : 8134 (xcsp_picat) R 8131 8134 5416 0 -1 4202496 15659 0 0 0 1255 14 0 0 20 0 1 0 248806517 2089373696 6869 33554432000 4194304 5849940 140728683662480 140728683661480 140247421128583 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28020736 140728683664566 140728683664644 140728683664644 140728683667402 0
/proc/8134/statm: 510101 6869 732 405 0 507045 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2040404 KiB
Current children cumulated memory: 27476 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8135
/proc/meminfo: memFree=15608408/32770624 swapFree=67108504/67108860
[pid=8134] ppid=8131 vsize=2046888 memory=34172 CPUtime=25.5 cores=1,3,5,7
/proc/8134/stat : 8134 (xcsp_picat) R 8131 8134 5416 0 -1 4202496 27322 0 0 0 2528 22 0 0 20 0 1 0 248806517 2096013312 8543 33554432000 4194304 5849940 140728683662480 140728683661480 140247421128583 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28020736 140728683664566 140728683664644 140728683664644 140728683667402 0
/proc/8134/statm: 511722 8543 732 405 0 508666 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 2046888 KiB
Current children cumulated memory: 34172 KiB
[startup+51.1096 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8135
/proc/meminfo: memFree=15600764/32770624 swapFree=67108504/67108860
[pid=8134] ppid=8131 vsize=2051680 memory=37280 CPUtime=51.11 cores=1,3,5,7
/proc/8134/stat : 8134 (xcsp_picat) R 8131 8134 5416 0 -1 4202496 37647 0 0 0 5064 47 0 0 20 0 1 0 248806517 2100920320 9320 33554432000 4194304 5849940 140728683662480 140728683661480 140247421128583 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28020736 140728683664566 140728683664644 140728683664644 140728683667402 0
/proc/8134/statm: 512920 9320 745 405 0 509864 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 2051680 KiB
Current children cumulated memory: 37280 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8259
/proc/meminfo: memFree=15629448/32770624 swapFree=67108504/67108860
[pid=8134] ppid=8131 vsize=2054888 memory=45516 CPUtime=102.3 cores=1,3,5,7
/proc/8134/stat : 8134 (xcsp_picat) R 8131 8134 5416 0 -1 4202496 53889 0 0 0 10144 86 0 0 20 0 1 0 248806517 2104205312 11379 33554432000 4194304 5849940 140728683662480 140728683661480 140247421128583 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28020736 140728683664566 140728683664644 140728683664644 140728683667402 0
/proc/8134/statm: 513722 11379 745 405 0 510666 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 2054888 KiB
Current children cumulated memory: 45516 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8384
/proc/meminfo: memFree=15395452/32770624 swapFree=67108504/67108860
[pid=8134] ppid=8131 vsize=2095260 memory=87712 CPUtime=162.31 cores=1,3,5,7
/proc/8134/stat : 8134 (xcsp_picat) R 8131 8134 5416 0 -1 4202496 60134 0 0 0 16116 115 0 0 20 0 1 0 248806517 2145546240 21928 33554432000 4194304 5849940 140728683662480 140728683661480 140247421128583 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28020736 140728683664566 140728683664644 140728683664644 140728683667402 0
/proc/8134/statm: 523815 21928 745 405 0 520759 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 2095260 KiB
Current children cumulated memory: 87712 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8385
/proc/meminfo: memFree=15344956/32770624 swapFree=67108504/67108860
[pid=8134] ppid=8131 vsize=2128032 memory=120380 CPUtime=222.31 cores=1,3,5,7
/proc/8134/stat : 8134 (xcsp_picat) R 8131 8134 5416 0 -1 4202496 60730 0 0 0 22097 134 0 0 20 0 1 0 248806517 2179104768 30095 33554432000 4194304 5849940 140728683662480 140728683661480 140247421128583 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28020736 140728683664566 140728683664644 140728683664644 140728683667402 0
/proc/8134/statm: 532008 30095 745 405 0 528952 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 2128032 KiB
Current children cumulated memory: 120380 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8387
/proc/meminfo: memFree=15324428/32770624 swapFree=67108504/67108860
[pid=8134] ppid=8131 vsize=2111648 memory=104100 CPUtime=282.31 cores=1,3,5,7
/proc/8134/stat : 8134 (xcsp_picat) R 8131 8134 5416 0 -1 4202496 63433 0 0 0 28081 150 0 0 20 0 1 0 248806517 2162327552 26025 33554432000 4194304 5849940 140728683662480 140728683661640 140247421128583 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28020736 140728683664566 140728683664644 140728683664644 140728683667402 0
/proc/8134/statm: 527912 26025 745 405 0 524856 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 2111648 KiB
Current children cumulated memory: 104100 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8388
/proc/meminfo: memFree=15301232/32770624 swapFree=67108504/67108860
[pid=8134] ppid=8131 vsize=2148248 memory=140524 CPUtime=342.33 cores=1,3,5,7
/proc/8134/stat : 8134 (xcsp_picat) R 8131 8134 5416 0 -1 4202496 68108 0 0 0 34068 165 0 0 20 0 1 0 248806517 2199805952 35131 33554432000 4194304 5849940 140728683662480 140728683661640 5313106 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28020736 140728683664566 140728683664644 140728683664644 140728683667402 0
/proc/8134/statm: 537062 35131 745 405 0 534006 0
Current children cumulated CPU time: 342.33 s
Current children cumulated vsize: 2148248 KiB
Current children cumulated memory: 140524 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8397
/proc/meminfo: memFree=15387656/32770624 swapFree=67108504/67108860
[pid=8134] ppid=8131 vsize=2073088 memory=65532 CPUtime=402.34 cores=1,3,5,7
/proc/8134/stat : 8134 (xcsp_picat) R 8131 8134 5416 0 -1 4202496 70787 0 0 0 40034 200 0 0 20 0 1 0 248806517 2122842112 16383 33554432000 4194304 5849940 140728683662480 140728683661640 140247421128583 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28020736 140728683664566 140728683664644 140728683664644 140728683667402 0
/proc/8134/statm: 518272 16383 745 405 0 515216 0
Current children cumulated CPU time: 402.34 s
Current children cumulated vsize: 2073088 KiB
Current children cumulated memory: 65532 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 8421
/proc/meminfo: memFree=15311124/32770624 swapFree=67108504/67108860
[pid=8134] ppid=8131 vsize=2103900 memory=96328 CPUtime=462.34 cores=1,3,5,7
/proc/8134/stat : 8134 (xcsp_picat) R 8131 8134 5416 0 -1 4202496 71847 0 0 0 46007 227 0 0 20 0 1 0 248806517 2154393600 24082 33554432000 4194304 5849940 140728683662480 140728683661480 140247421128583 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28020736 140728683664566 140728683664644 140728683664644 140728683667402 0
/proc/8134/statm: 525975 24082 745 405 0 522919 0
Current children cumulated CPU time: 462.34 s
Current children cumulated vsize: 2103900 KiB
Current children cumulated memory: 96328 KiB
################
# More data... #
################
/proc/8134/statm: 543221 41334 745 405 0 540165 0
Current children cumulated CPU time: 1782.5 s
Current children cumulated vsize: 2172884 KiB
Current children cumulated memory: 165336 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8459
/proc/meminfo: memFree=15000836/32770624 swapFree=67108504/67108860
[pid=8134] ppid=8131 vsize=2172884 memory=165104 CPUtime=1842.51 cores=1,3,5,7
/proc/8134/stat : 8134 (xcsp_picat) R 8131 8134 5416 0 -1 4202496 179988 0 0 0 183687 564 0 0 20 0 1 0 248806517 2225033216 41276 33554432000 4194304 5849940 140728683662480 140728683661480 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28020736 140728683664566 140728683664644 140728683664644 140728683667402 0
/proc/8134/statm: 543221 41276 745 405 0 540165 0
Current children cumulated CPU time: 1842.51 s
Current children cumulated vsize: 2172884 KiB
Current children cumulated memory: 165104 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8461
/proc/meminfo: memFree=14936512/32770624 swapFree=67108504/67108860
[pid=8134] ppid=8131 vsize=2206004 memory=198408 CPUtime=1902.52 cores=1,3,5,7
/proc/8134/stat : 8134 (xcsp_picat) R 8131 8134 5416 0 -1 4202496 181193 0 0 0 189676 576 0 0 20 0 1 0 248806517 2258948096 49602 33554432000 4194304 5849940 140728683662480 140728683661480 5437808 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28020736 140728683664566 140728683664644 140728683664644 140728683667402 0
/proc/8134/statm: 551501 49602 745 405 0 548445 0
Current children cumulated CPU time: 1902.52 s
Current children cumulated vsize: 2206004 KiB
Current children cumulated memory: 198408 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8462
/proc/meminfo: memFree=14817440/32770624 swapFree=67108504/67108860
[pid=8134] ppid=8131 vsize=2251700 memory=244152 CPUtime=1962.52 cores=1,3,5,7
/proc/8134/stat : 8134 (xcsp_picat) R 8131 8134 5416 0 -1 4202496 190624 0 0 0 195664 588 0 0 20 0 1 0 248806517 2305740800 61038 33554432000 4194304 5849940 140728683662480 140728683661480 140247421128583 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28020736 140728683664566 140728683664644 140728683664644 140728683667402 0
/proc/8134/statm: 562925 61038 745 405 0 559869 0
Current children cumulated CPU time: 1962.52 s
Current children cumulated vsize: 2251700 KiB
Current children cumulated memory: 244152 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8463
/proc/meminfo: memFree=14688092/32770624 swapFree=67108504/67108860
[pid=8134] ppid=8131 vsize=2245808 memory=238224 CPUtime=2022.54 cores=1,3,5,7
/proc/8134/stat : 8134 (xcsp_picat) R 8131 8134 5416 0 -1 4202496 193307 0 0 0 201644 610 0 0 20 0 1 0 248806517 2299707392 59556 33554432000 4194304 5849940 140728683662480 140728683661480 5392841 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28020736 140728683664566 140728683664644 140728683664644 140728683667402 0
/proc/8134/statm: 561452 59556 745 405 0 558396 0
Current children cumulated CPU time: 2022.54 s
Current children cumulated vsize: 2245808 KiB
Current children cumulated memory: 238224 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8465
/proc/meminfo: memFree=14627408/32770624 swapFree=67108504/67108860
[pid=8134] ppid=8131 vsize=2242660 memory=234880 CPUtime=2082.54 cores=1,3,5,7
/proc/8134/stat : 8134 (xcsp_picat) R 8131 8134 5416 0 -1 4202496 195953 0 0 0 207631 623 0 0 20 0 1 0 248806517 2296483840 58720 33554432000 4194304 5849940 140728683662480 140728683661480 5437768 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28020736 140728683664566 140728683664644 140728683664644 140728683667402 0
/proc/8134/statm: 560665 58720 745 405 0 557609 0
Current children cumulated CPU time: 2082.54 s
Current children cumulated vsize: 2242660 KiB
Current children cumulated memory: 234880 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8466
/proc/meminfo: memFree=14594424/32770624 swapFree=67108504/67108860
[pid=8134] ppid=8131 vsize=2275428 memory=267616 CPUtime=2142.55 cores=1,3,5,7
/proc/8134/stat : 8134 (xcsp_picat) R 8131 8134 5416 0 -1 4202496 197007 0 0 0 213620 635 0 0 20 0 1 0 248806517 2330038272 66904 33554432000 4194304 5849940 140728683662480 140728683661480 140247421128583 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28020736 140728683664566 140728683664644 140728683664644 140728683667402 0
/proc/8134/statm: 568857 66904 745 405 0 565801 0
Current children cumulated CPU time: 2142.55 s
Current children cumulated vsize: 2275428 KiB
Current children cumulated memory: 267616 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8475
/proc/meminfo: memFree=14483736/32770624 swapFree=67108504/67108860
[pid=8134] ppid=8131 vsize=2275428 memory=267880 CPUtime=2202.56 cores=1,3,5,7
/proc/8134/stat : 8134 (xcsp_picat) R 8131 8134 5416 0 -1 4202496 210031 0 0 0 219610 646 0 0 20 0 1 0 248806517 2330038272 66970 33554432000 4194304 5849940 140728683662480 140728683661640 5437928 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28020736 140728683664566 140728683664644 140728683664644 140728683667402 0
/proc/8134/statm: 568857 66970 745 405 0 565801 0
Current children cumulated CPU time: 2202.56 s
Current children cumulated vsize: 2275428 KiB
Current children cumulated memory: 267880 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 8477
/proc/meminfo: memFree=14433960/32770624 swapFree=67108504/67108860
[pid=8134] ppid=8131 vsize=2325376 memory=317708 CPUtime=2262.56 cores=1,3,5,7
/proc/8134/stat : 8134 (xcsp_picat) R 8131 8134 5416 0 -1 4202496 214684 0 0 0 225600 656 0 0 20 0 1 0 248806517 2381185024 79427 33554432000 4194304 5849940 140728683662480 140728683661480 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28020736 140728683664566 140728683664644 140728683664644 140728683667402 0
/proc/8134/statm: 581344 79427 745 405 0 578288 0
Current children cumulated CPU time: 2262.56 s
Current children cumulated vsize: 2325376 KiB
Current children cumulated memory: 317708 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 8478
/proc/meminfo: memFree=14429628/32770624 swapFree=67108504/67108860
[pid=8134] ppid=8131 vsize=2329636 memory=322088 CPUtime=2322.57 cores=1,3,5,7
/proc/8134/stat : 8134 (xcsp_picat) R 8131 8134 5416 0 -1 4202496 215898 0 0 0 231591 666 0 0 20 0 1 0 248806517 2385547264 80522 33554432000 4194304 5849940 140728683662480 140728683661480 5438720 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28020736 140728683664566 140728683664644 140728683664644 140728683667402 0
/proc/8134/statm: 582409 80522 745 405 0 579353 0
Current children cumulated CPU time: 2322.57 s
Current children cumulated vsize: 2329636 KiB
Current children cumulated memory: 322088 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 8479
/proc/meminfo: memFree=14429700/32770624 swapFree=67108504/67108860
[pid=8134] ppid=8131 vsize=2329636 memory=322088 CPUtime=2382.58 cores=1,3,5,7
/proc/8134/stat : 8134 (xcsp_picat) R 8131 8134 5416 0 -1 4202496 215921 0 0 0 237584 674 0 0 20 0 1 0 248806517 2385547264 80522 33554432000 4194304 5849940 140728683662480 140728683661480 140247421128583 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28020736 140728683664566 140728683664644 140728683664644 140728683667402 0
/proc/8134/statm: 582409 80522 745 405 0 579353 0
Current children cumulated CPU time: 2382.58 s
Current children cumulated vsize: 2329636 KiB
Current children cumulated memory: 322088 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 8480
/proc/meminfo: memFree=14319892/32770624 swapFree=67108504/67108860
[pid=8134] ppid=8131 vsize=2270292 memory=262744 CPUtime=2442.58 cores=1,3,5,7
/proc/8134/stat : 8134 (xcsp_picat) R 8131 8134 5416 0 -1 4202496 241316 0 0 0 243573 685 0 0 20 0 1 0 248806517 2324779008 65686 33554432000 4194304 5849940 140728683662480 140728683661480 5437917 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28020736 140728683664566 140728683664644 140728683664644 140728683667402 0
/proc/8134/statm: 567573 65686 745 405 0 564517 0
Current children cumulated CPU time: 2442.58 s
Current children cumulated vsize: 2270292 KiB
Current children cumulated memory: 262744 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8481
/proc/meminfo: memFree=14280508/32770624 swapFree=67108504/67108860
[pid=8134] ppid=8131 vsize=2270292 memory=262744 CPUtime=2502.59 cores=1,3,5,7
/proc/8134/stat : 8134 (xcsp_picat) R 8131 8134 5416 0 -1 4202496 241383 0 0 0 249561 698 0 0 20 0 1 0 248806517 2324779008 65686 33554432000 4194304 5849940 140728683662480 140728683661480 140247421128583 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28020736 140728683664566 140728683664644 140728683664644 140728683667402 0
/proc/8134/statm: 567573 65686 745 405 0 564517 0
Current children cumulated CPU time: 2502.59 s
Current children cumulated vsize: 2270292 KiB
Current children cumulated memory: 262744 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8482
/proc/meminfo: memFree=14280160/32770624 swapFree=67108504/67108860
[pid=8134] ppid=8131 vsize=2270292 memory=262744 CPUtime=2520 cores=1,3,5,7
/proc/8134/stat : 8134 (xcsp_picat) R 8131 8134 5416 0 -1 4202496 253332 0 0 0 251295 705 0 0 20 0 1 0 248806517 2324779008 65686 33554432000 4194304 5849940 140728683662480 140728683661480 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28020736 140728683664566 140728683664644 140728683664644 140728683667402 0
/proc/8134/statm: 567573 65686 745 405 0 564517 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 2270292 KiB
Current children cumulated memory: 262744 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.71 s]
# the end of solver process 8134 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2512.96 s, system=7.05987 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8482
/proc/meminfo: memFree=14280160/32770624 swapFree=67108504/67108860
[pid=8134] ppid=8131 vsize=2270292 memory=262744 CPUtime=2520 cores=1,3,5,7
/proc/8134/stat : 8134 (xcsp_picat) R 8131 8134 5416 0 -1 4202496 253332 0 0 0 251295 705 0 0 20 0 1 0 248806517 2324779008 65686 33554432000 4194304 5849940 140728683662480 140728683661480 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28020736 140728683664566 140728683664644 140728683664644 140728683667402 0
/proc/8134/statm: 567573 65686 745 405 0 564517 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 2270292 KiB
Current children cumulated memory: 262744 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2519.71
CPU time (s): 2520.01
CPU user time (s): 2512.96
CPU system time (s): 7.05987
CPU usage (%): 100.012
Max. virtual memory (cumulated for all children) (KiB): 2329636
Max. memory (cumulated for all children) (KiB): 322088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.96
system time used= 7.05987
maximum resident set size= 322088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 253333
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= 8
involuntary context switches= 795
# summary of solver processes directly reported to runsolver:
# pid: 8134
# total CPU time (s): 2520.01
# total CPU user time (s): 2512.96
# total CPU system time (s): 7.05987
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.041 second user time and 18.7867 second system time
The end