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 (4249 MiB free)
memory of node 1: 16384 MiB (11608 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293151-1532307442/watcher-4293151-1532307442 -o /tmp/evaluation-result-4293151-1532307442/solver-4293151-1532307442 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532296553-30442 --watchdog 2580 xcsp_picat HOME/instance-4293151-1532307442.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
Current StackSize limit: 8192 KiB
solver pid=32566, runsolver pid=32563
[startup+0.100405 s]*
/proc/loadavg: 1.93 2.00 2.04 3/187 32567
/proc/meminfo: memFree=16222584/32770624 swapFree=67108860/67108860
[pid=32566] ppid=32563 vsize=113764 memory=19024 CPUtime=0.09 cores=1,3,5,7
/proc/32566/stat : 32566 (xcsp_picat) R 32563 32566 30410 0 -1 4202496 2028 0 0 0 9 0 0 0 20 0 1 0 48307382 116494336 4756 33554432000 4194304 5849740 140737364037824 140737364037000 140629291644832 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24981504 140737364042934 140737364043012 140737364043012 140737364045770 0
/proc/32566/statm: 28441 4756 721 405 0 25385 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 113764 KiB
Current children cumulated memory: 19024 KiB
[startup+0.209555 s]*
/proc/loadavg: 1.93 2.00 2.04 3/187 32567
/proc/meminfo: memFree=16221872/32770624 swapFree=67108860/67108860
[pid=32566] ppid=32563 vsize=115380 memory=20212 CPUtime=0.2 cores=1,3,5,7
/proc/32566/stat : 32566 (xcsp_picat) R 32563 32566 30410 0 -1 4202496 2388 0 0 0 20 0 0 0 20 0 1 0 48307382 118149120 5053 33554432000 4194304 5849740 140737364037824 140737364037000 5355977 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24981504 140737364042934 140737364043012 140737364043012 140737364045770 0
/proc/32566/statm: 28845 5053 725 405 0 25789 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 115380 KiB
Current children cumulated memory: 20212 KiB
[startup+0.308994 s]*
/proc/loadavg: 1.93 2.00 2.04 3/187 32567
/proc/meminfo: memFree=16221128/32770624 swapFree=67108860/67108860
[pid=32566] ppid=32563 vsize=115120 memory=20444 CPUtime=0.3 cores=1,3,5,7
/proc/32566/stat : 32566 (xcsp_picat) R 32563 32566 30410 0 -1 4202496 2461 0 0 0 30 0 0 0 20 0 1 0 48307382 117882880 5111 33554432000 4194304 5849740 140737364037824 140737364037000 5308868 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24981504 140737364042934 140737364043012 140737364043012 140737364045770 0
/proc/32566/statm: 28780 5111 731 405 0 25724 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 115120 KiB
Current children cumulated memory: 20444 KiB
[startup+0.700272 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 32567
/proc/meminfo: memFree=16221128/32770624 swapFree=67108860/67108860
[pid=32566] ppid=32563 vsize=115120 memory=20444 CPUtime=0.68 cores=1,3,5,7
/proc/32566/stat : 32566 (xcsp_picat) R 32563 32566 30410 0 -1 4202496 2462 0 0 0 68 0 0 0 20 0 1 0 48307382 117882880 5111 33554432000 4194304 5849740 140737364037824 140737364037000 5326208 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24981504 140737364042934 140737364043012 140737364043012 140737364045770 0
/proc/32566/statm: 28780 5111 731 405 0 25724 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 115120 KiB
Current children cumulated memory: 20444 KiB
[startup+1.50029 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 32567
/proc/meminfo: memFree=16221388/32770624 swapFree=67108860/67108860
[pid=32566] ppid=32563 vsize=115680 memory=20884 CPUtime=1.49 cores=1,3,5,7
/proc/32566/stat : 32566 (xcsp_picat) R 32563 32566 30410 0 -1 4202496 2925 0 0 0 146 3 0 0 20 0 1 0 48307382 118456320 5221 33554432000 4194304 5849740 140737364037824 140737364037000 140629292056455 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24981504 140737364042934 140737364043012 140737364043012 140737364045770 0
/proc/32566/statm: 28920 5221 739 405 0 25864 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 115680 KiB
Current children cumulated memory: 20884 KiB
[startup+3.10924 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 32567
/proc/meminfo: memFree=16201672/32770624 swapFree=67108860/67108860
[pid=32566] ppid=32563 vsize=118780 memory=24136 CPUtime=3.1 cores=1,3,5,7
/proc/32566/stat : 32566 (xcsp_picat) R 32563 32566 30410 0 -1 4202496 4868 0 0 0 303 7 0 0 20 0 1 0 48307382 121630720 6034 33554432000 4194304 5849740 140737364037824 140737364036824 140629292056455 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24981504 140737364042934 140737364043012 140737364043012 140737364045770 0
/proc/32566/statm: 29695 6034 739 405 0 26639 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 118780 KiB
Current children cumulated memory: 24136 KiB
[startup+6.30028 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 32567
/proc/meminfo: memFree=16200000/32770624 swapFree=67108860/67108860
[pid=32566] ppid=32563 vsize=119276 memory=24532 CPUtime=6.29 cores=1,3,5,7
/proc/32566/stat : 32566 (xcsp_picat) R 32563 32566 30410 0 -1 4202496 9285 0 0 0 616 13 0 0 20 0 1 0 48307382 122138624 6133 33554432000 4194304 5849740 140737364037824 140737364036824 140629292056455 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24981504 140737364042934 140737364043012 140737364043012 140737364045770 0
/proc/32566/statm: 29819 6133 739 405 0 26763 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 119276 KiB
Current children cumulated memory: 24532 KiB
[startup+12.7003 s]
/proc/loadavg: 1.94 2.00 2.04 3/187 32567
/proc/meminfo: memFree=16196712/32770624 swapFree=67108860/67108860
[pid=32566] ppid=32563 vsize=123652 memory=28920 CPUtime=12.69 cores=1,3,5,7
/proc/32566/stat : 32566 (xcsp_picat) R 32563 32566 30410 0 -1 4202496 16850 0 0 0 1246 23 0 0 20 0 1 0 48307382 126619648 7230 33554432000 4194304 5849740 140737364037824 140737364036696 140629292056455 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24981504 140737364042934 140737364043012 140737364043012 140737364045770 0
/proc/32566/statm: 30913 7230 739 405 0 27857 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 123652 KiB
Current children cumulated memory: 28920 KiB
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/187 32567
/proc/meminfo: memFree=16212472/32770624 swapFree=67108860/67108860
[pid=32566] ppid=32563 vsize=123436 memory=28840 CPUtime=25.48 cores=1,3,5,7
/proc/32566/stat : 32566 (xcsp_picat) R 32563 32566 30410 0 -1 4202496 31261 0 0 0 2506 42 0 0 20 0 1 0 48307382 126398464 7210 33554432000 4194304 5849740 140737364037824 140737364036824 140629292056455 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24981504 140737364042934 140737364043012 140737364043012 140737364045770 0
/proc/32566/statm: 30859 7210 739 405 0 27803 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 123436 KiB
Current children cumulated memory: 28840 KiB
[startup+51.1094 s]
/proc/loadavg: 1.97 2.00 2.04 3/187 32568
/proc/meminfo: memFree=16186828/32770624 swapFree=67108860/67108860
[pid=32566] ppid=32563 vsize=129080 memory=34296 CPUtime=51.1 cores=1,3,5,7
/proc/32566/stat : 32566 (xcsp_picat) R 32563 32566 30410 0 -1 4202496 52305 0 0 0 5031 79 0 0 20 0 1 0 48307382 132177920 8574 33554432000 4194304 5849740 140737364037824 140737364036824 140629292056455 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24981504 140737364042934 140737364043012 140737364043012 140737364045770 0
/proc/32566/statm: 32270 8574 739 405 0 29214 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 129080 KiB
Current children cumulated memory: 34296 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 32569
/proc/meminfo: memFree=16177876/32770624 swapFree=67108860/67108860
[pid=32566] ppid=32563 vsize=141468 memory=49836 CPUtime=102.29 cores=1,3,5,7
/proc/32566/stat : 32566 (xcsp_picat) R 32563 32566 30410 0 -1 4202496 85275 0 0 0 10093 136 0 0 20 0 1 0 48307382 144863232 12459 33554432000 4194304 5849740 140737364037824 140737364036824 5312805 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24981504 140737364042934 140737364043012 140737364043012 140737364045770 0
/proc/32566/statm: 35367 12459 739 405 0 32311 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 141468 KiB
Current children cumulated memory: 49836 KiB
[startup+162.3 s]
/proc/loadavg: 2.05 2.01 2.05 3/187 32577
/proc/meminfo: memFree=16159752/32770624 swapFree=67108860/67108860
[pid=32566] ppid=32563 vsize=144232 memory=52680 CPUtime=162.29 cores=1,3,5,7
/proc/32566/stat : 32566 (xcsp_picat) R 32563 32566 30410 0 -1 4202496 124315 0 0 0 16038 191 0 0 20 0 1 0 48307382 147693568 13170 33554432000 4194304 5849740 140737364037824 140737364036824 140629292056455 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24981504 140737364042934 140737364043012 140737364043012 140737364045770 0
/proc/32566/statm: 36058 13170 739 405 0 33002 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 144232 KiB
Current children cumulated memory: 52680 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/188 32600
/proc/meminfo: memFree=16175916/32770624 swapFree=67108860/67108860
[pid=32566] ppid=32563 vsize=141500 memory=50044 CPUtime=222.3 cores=1,3,5,7
/proc/32566/stat : 32566 (xcsp_picat) R 32563 32566 30410 0 -1 4202496 156857 0 0 0 21987 243 0 0 20 0 1 0 48307382 144896000 12511 33554432000 4194304 5849740 140737364037824 140737364036824 140629292056455 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24981504 140737364042934 140737364043012 140737364043012 140737364045770 0
/proc/32566/statm: 35375 12511 739 405 0 32319 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 141500 KiB
Current children cumulated memory: 50044 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/188 32601
/proc/meminfo: memFree=16154176/32770624 swapFree=67108860/67108860
[pid=32566] ppid=32563 vsize=146808 memory=55116 CPUtime=282.3 cores=1,3,5,7
/proc/32566/stat : 32566 (xcsp_picat) R 32563 32566 30410 0 -1 4202496 182314 0 0 0 27935 295 0 0 20 0 1 0 48307382 150331392 13779 33554432000 4194304 5849740 140737364037824 140737364036824 5437698 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24981504 140737364042934 140737364043012 140737364043012 140737364045770 0
/proc/32566/statm: 36702 13779 739 405 0 33646 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 146808 KiB
Current children cumulated memory: 55116 KiB
[startup+342.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 32602
/proc/meminfo: memFree=16150636/32770624 swapFree=67108860/67108860
[pid=32566] ppid=32563 vsize=166452 memory=74784 CPUtime=342.3 cores=1,3,5,7
/proc/32566/stat : 32566 (xcsp_picat) R 32563 32566 30410 0 -1 4202496 201178 0 0 0 33902 328 0 0 20 0 1 0 48307382 170446848 18696 33554432000 4194304 5849740 140737364037824 140737364036824 5437668 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24981504 140737364042934 140737364043012 140737364043012 140737364045770 0
/proc/32566/statm: 41613 18696 739 405 0 38557 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 166452 KiB
Current children cumulated memory: 74784 KiB
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 32603
/proc/meminfo: memFree=16092596/32770624 swapFree=67108860/67108860
[pid=32566] ppid=32563 vsize=204816 memory=113308 CPUtime=402.3 cores=1,3,5,7
/proc/32566/stat : 32566 (xcsp_picat) R 32563 32566 30410 0 -1 4202496 207186 0 0 0 39873 357 0 0 20 0 1 0 48307382 209731584 28327 33554432000 4194304 5849740 140737364037824 140737364036824 5437698 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24981504 140737364042934 140737364043012 140737364043012 140737364045770 0
/proc/32566/statm: 51204 28327 739 405 0 48148 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 204816 KiB
Current children cumulated memory: 113308 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 32604
/proc/meminfo: memFree=16102648/32770624 swapFree=67108860/67108860
[pid=32566] ppid=32563 vsize=200308 memory=108860 CPUtime=462.31 cores=1,3,5,7
/proc/32566/stat : 32566 (xcsp_picat) R 32563 32566 30410 0 -1 4202496 221991 0 0 0 45854 377 0 0 20 0 1 0 48307382 205115392 27215 33554432000 4194304 5849740 140737364037824 140737364036824 5437808 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24981504 140737364042934 140737364043012 140737364043012 140737364045770 0
/proc/32566/statm: 50077 27215 739 405 0 47021 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 200308 KiB
Current children cumulated memory: 108860 KiB
################
# More data... #
################
/proc/32566/statm: 112683 89821 739 405 0 109627 0
Current children cumulated CPU time: 1722.32 s
Current children cumulated vsize: 450732 KiB
Current children cumulated memory: 359284 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.08 2.08 4/187 32684
/proc/meminfo: memFree=15633240/32770624 swapFree=67108860/67108860
[pid=32566] ppid=32563 vsize=381960 memory=290512 CPUtime=1782.31 cores=1,3,5,7
/proc/32566/stat : 32566 (xcsp_picat) R 32563 32566 30410 0 -1 4202496 436857 0 0 0 177546 685 0 0 20 0 1 0 48307382 391127040 72628 33554432000 4194304 5849740 140737364037824 140737364036824 5437600 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24981504 140737364042934 140737364043012 140737364043012 140737364045770 0
/proc/32566/statm: 95490 72628 739 405 0 92434 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 381960 KiB
Current children cumulated memory: 290512 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.07 2.08 3/187 32686
/proc/meminfo: memFree=15613336/32770624 swapFree=67108860/67108860
[pid=32566] ppid=32563 vsize=400832 memory=309384 CPUtime=1842.32 cores=1,3,5,7
/proc/32566/stat : 32566 (xcsp_picat) R 32563 32566 30410 0 -1 4202496 440365 0 0 0 183529 703 0 0 20 0 1 0 48307382 410451968 77346 33554432000 4194304 5849740 140737364037824 140737364036824 5437839 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24981504 140737364042934 140737364043012 140737364043012 140737364045770 0
/proc/32566/statm: 100208 77346 739 405 0 97152 0
Current children cumulated CPU time: 1842.32 s
Current children cumulated vsize: 400832 KiB
Current children cumulated memory: 309384 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/187 32687
/proc/meminfo: memFree=15609912/32770624 swapFree=67108860/67108860
[pid=32566] ppid=32563 vsize=403544 memory=312096 CPUtime=1902.33 cores=1,3,5,7
/proc/32566/stat : 32566 (xcsp_picat) R 32563 32566 30410 0 -1 4202496 443696 0 0 0 189516 717 0 0 20 0 1 0 48307382 413229056 78024 33554432000 4194304 5849740 140737364037824 140737364036824 5437698 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24981504 140737364042934 140737364043012 140737364043012 140737364045770 0
/proc/32566/statm: 100886 78024 739 405 0 97830 0
Current children cumulated CPU time: 1902.33 s
Current children cumulated vsize: 403544 KiB
Current children cumulated memory: 312096 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/188 32696
/proc/meminfo: memFree=15637996/32770624 swapFree=67108860/67108860
[pid=32566] ppid=32563 vsize=441292 memory=349844 CPUtime=1962.33 cores=1,3,5,7
/proc/32566/stat : 32566 (xcsp_picat) R 32563 32566 30410 0 -1 4202496 448451 0 0 0 195502 731 0 0 20 0 1 0 48307382 451883008 87461 33554432000 4194304 5849740 140737364037824 140737364036824 5335568 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24981504 140737364042934 140737364043012 140737364043012 140737364045770 0
/proc/32566/statm: 110323 87461 739 405 0 107267 0
Current children cumulated CPU time: 1962.33 s
Current children cumulated vsize: 441292 KiB
Current children cumulated memory: 349844 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/188 32697
/proc/meminfo: memFree=15550864/32770624 swapFree=67108860/67108860
[pid=32566] ppid=32563 vsize=509868 memory=418420 CPUtime=2022.33 cores=1,3,5,7
/proc/32566/stat : 32566 (xcsp_picat) R 32563 32566 30410 0 -1 4202496 468097 0 0 0 201489 744 0 0 20 0 1 0 48307382 522104832 104605 33554432000 4194304 5849740 140737364037824 140737364036824 5437732 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24981504 140737364042934 140737364043012 140737364043012 140737364045770 0
/proc/32566/statm: 127467 104605 739 405 0 124411 0
Current children cumulated CPU time: 2022.33 s
Current children cumulated vsize: 509868 KiB
Current children cumulated memory: 418420 KiB
[startup+2082.3 s]
/proc/loadavg: 2.04 2.04 2.06 3/188 32698
/proc/meminfo: memFree=15473344/32770624 swapFree=67108860/67108860
[pid=32566] ppid=32563 vsize=509868 memory=418420 CPUtime=2082.34 cores=1,3,5,7
/proc/32566/stat : 32566 (xcsp_picat) R 32563 32566 30410 0 -1 4202496 475431 0 0 0 207483 751 0 0 20 0 1 0 48307382 522104832 104605 33554432000 4194304 5849740 140737364037824 140737364036824 5437698 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24981504 140737364042934 140737364043012 140737364043012 140737364045770 0
/proc/32566/statm: 127467 104605 739 405 0 124411 0
Current children cumulated CPU time: 2082.34 s
Current children cumulated vsize: 509868 KiB
Current children cumulated memory: 418420 KiB
[startup+2142.3 s]
/proc/loadavg: 2.09 2.05 2.06 3/188 32699
/proc/meminfo: memFree=15566532/32770624 swapFree=67108860/67108860
[pid=32566] ppid=32563 vsize=509868 memory=418420 CPUtime=2142.34 cores=1,3,5,7
/proc/32566/stat : 32566 (xcsp_picat) R 32563 32566 30410 0 -1 4202496 498958 0 0 0 213474 760 0 0 20 0 1 0 48307382 522104832 104605 33554432000 4194304 5849740 140737364037824 140737364036824 5437808 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24981504 140737364042934 140737364043012 140737364043012 140737364045770 0
/proc/32566/statm: 127467 104605 739 405 0 124411 0
Current children cumulated CPU time: 2142.34 s
Current children cumulated vsize: 509868 KiB
Current children cumulated memory: 418420 KiB
[startup+2202.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/188 32700
/proc/meminfo: memFree=15554144/32770624 swapFree=67108860/67108860
[pid=32566] ppid=32563 vsize=509868 memory=418420 CPUtime=2202.34 cores=1,3,5,7
/proc/32566/stat : 32566 (xcsp_picat) R 32563 32566 30410 0 -1 4202496 513062 0 0 0 219465 769 0 0 20 0 1 0 48307382 522104832 104605 33554432000 4194304 5849740 140737364037824 140737364036824 5437698 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24981504 140737364042934 140737364043012 140737364043012 140737364045770 0
/proc/32566/statm: 127467 104605 739 405 0 124411 0
Current children cumulated CPU time: 2202.34 s
Current children cumulated vsize: 509868 KiB
Current children cumulated memory: 418420 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 32701
/proc/meminfo: memFree=15554220/32770624 swapFree=67108860/67108860
[pid=32566] ppid=32563 vsize=509868 memory=418420 CPUtime=2262.33 cores=1,3,5,7
/proc/32566/stat : 32566 (xcsp_picat) R 32563 32566 30410 0 -1 4202496 523734 0 0 0 225457 776 0 0 20 0 1 0 48307382 522104832 104605 33554432000 4194304 5849740 140737364037824 140737364036824 5437698 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24981504 140737364042934 140737364043012 140737364043012 140737364045770 0
/proc/32566/statm: 127467 104605 739 405 0 124411 0
Current children cumulated CPU time: 2262.33 s
Current children cumulated vsize: 509868 KiB
Current children cumulated memory: 418420 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 32762
/proc/meminfo: memFree=14883920/32770624 swapFree=67108860/67108860
[pid=32566] ppid=32563 vsize=509868 memory=418420 CPUtime=2322.34 cores=1,3,5,7
/proc/32566/stat : 32566 (xcsp_picat) R 32563 32566 30410 0 -1 4202496 533314 0 0 0 231449 785 0 0 20 0 1 0 48307382 522104832 104605 33554432000 4194304 5849740 140737364037824 140737364036824 5335568 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24981504 140737364042934 140737364043012 140737364043012 140737364045770 0
/proc/32566/statm: 127467 104605 739 405 0 124411 0
Current children cumulated CPU time: 2322.34 s
Current children cumulated vsize: 509868 KiB
Current children cumulated memory: 418420 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 32763
/proc/meminfo: memFree=15014156/32770624 swapFree=67108860/67108860
[pid=32566] ppid=32563 vsize=517532 memory=426084 CPUtime=2382.34 cores=1,3,5,7
/proc/32566/stat : 32566 (xcsp_picat) R 32563 32566 30410 0 -1 4202496 542721 0 0 0 237440 794 0 0 20 0 1 0 48307382 529952768 106521 33554432000 4194304 5849740 140737364037824 140737364036824 5437698 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24981504 140737364042934 140737364043012 140737364043012 140737364045770 0
/proc/32566/statm: 129383 106521 739 405 0 126327 0
Current children cumulated CPU time: 2382.34 s
Current children cumulated vsize: 517532 KiB
Current children cumulated memory: 426084 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 32764
/proc/meminfo: memFree=15014036/32770624 swapFree=67108860/67108860
[pid=32566] ppid=32563 vsize=517532 memory=426084 CPUtime=2442.33 cores=1,3,5,7
/proc/32566/stat : 32566 (xcsp_picat) R 32563 32566 30410 0 -1 4202496 544692 0 0 0 243433 800 0 0 20 0 1 0 48307382 529952768 106521 33554432000 4194304 5849740 140737364037824 140737364036984 5437698 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24981504 140737364042934 140737364043012 140737364043012 140737364045770 0
/proc/32566/statm: 129383 106521 739 405 0 126327 0
Current children cumulated CPU time: 2442.33 s
Current children cumulated vsize: 517532 KiB
Current children cumulated memory: 426084 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32765
/proc/meminfo: memFree=15012476/32770624 swapFree=67108860/67108860
[pid=32566] ppid=32563 vsize=517532 memory=426084 CPUtime=2502.34 cores=1,3,5,7
/proc/32566/stat : 32566 (xcsp_picat) R 32563 32566 30410 0 -1 4202496 545540 0 0 0 249427 807 0 0 20 0 1 0 48307382 529952768 106521 33554432000 4194304 5849740 140737364037824 140737364036824 5437698 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24981504 140737364042934 140737364043012 140737364043012 140737364045770 0
/proc/32566/statm: 129383 106521 739 405 0 126327 0
Current children cumulated CPU time: 2502.34 s
Current children cumulated vsize: 517532 KiB
Current children cumulated memory: 426084 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 32766
/proc/meminfo: memFree=15012440/32770624 swapFree=67108860/67108860
[pid=32566] ppid=32563 vsize=517532 memory=426084 CPUtime=2520.05 cores=1,3,5,7
/proc/32566/stat : 32566 (xcsp_picat) R 32563 32566 30410 0 -1 4202496 546637 0 0 0 251196 809 0 0 20 0 1 0 48307382 529952768 106521 33554432000 4194304 5849740 140737364037824 140737364036824 5437720 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24981504 140737364042934 140737364043012 140737364043012 140737364045770 0
/proc/32566/statm: 129383 106521 739 405 0 126327 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 517532 KiB
Current children cumulated memory: 426084 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 32566 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2511.97 s, system=8.0955 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.01
CPU time (s): 2520.06
CPU user time (s): 2511.97
CPU system time (s): 8.0955
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 517532
Max. memory (cumulated for all children) (KiB): 426084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.97
system time used= 8.0955
maximum resident set size= 426084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 546638
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= 174
involuntary context switches= 789
# summary of solver processes directly reported to runsolver:
# pid: 32566
# total CPU time (s): 2520.06
# total CPU user time (s): 2511.97
# total CPU system time (s): 8.0955
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.94769 second user time and 18.6053 second system time
The end