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 (9133 MiB free)
memory of node 1: 16384 MiB (11126 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296049-1532603975/watcher-4296049-1532603975 -o /tmp/evaluation-result-4296049-1532603975/solver-4296049-1532603975 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532598933-5171 --watchdog 2580 xcsp_picat HOME/instance-4296049-1532603975.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
Current StackSize limit: 8192 KiB
solver pid=5736, runsolver pid=5733
[startup+0.100214 s]*
/proc/loadavg: 1.92 2.00 2.04 3/191 5737
/proc/meminfo: memFree=20686728/32770624 swapFree=67108860/67108860
[pid=5736] ppid=5733 vsize=128512 memory=30364 CPUtime=0.1 cores=0,2,4,6
/proc/5736/stat : 5736 (xcsp_picat) R 5733 5736 4275 0 -1 4202496 2357 0 0 0 10 0 0 0 20 0 1 0 77960753 131596288 7591 33554432000 4194304 5849740 140725715123136 140725715122456 4458032 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 21917696 140725715129526 140725715129604 140725715129604 140725715132362 0
/proc/5736/statm: 32128 7591 597 405 0 29072 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 128512 KiB
Current children cumulated memory: 30364 KiB
[startup+0.209917 s]*
/proc/loadavg: 1.92 2.00 2.04 3/191 5737
/proc/meminfo: memFree=20665684/32770624 swapFree=67108860/67108860
[pid=5736] ppid=5733 vsize=128512 memory=40604 CPUtime=0.21 cores=0,2,4,6
/proc/5736/stat : 5736 (xcsp_picat) R 5733 5736 4275 0 -1 4202496 2362 0 0 0 21 0 0 0 20 0 1 0 77960753 131596288 10151 33554432000 4194304 5849740 140725715123136 140725715122440 4488834 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 21917696 140725715129526 140725715129604 140725715129604 140725715132362 0
/proc/5736/statm: 32128 10151 597 405 0 29072 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 128512 KiB
Current children cumulated memory: 40604 KiB
[startup+0.309972 s]*
/proc/loadavg: 1.92 2.00 2.04 3/191 5737
/proc/meminfo: memFree=20651348/32770624 swapFree=67108860/67108860
[pid=5736] ppid=5733 vsize=128512 memory=55136 CPUtime=0.31 cores=0,2,4,6
/proc/5736/stat : 5736 (xcsp_picat) R 5733 5736 4275 0 -1 4202496 2456 0 0 0 31 0 0 0 20 0 1 0 77960753 131596288 13784 33554432000 4194304 5849740 140725715123136 140725715122440 4488915 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 21917696 140725715129526 140725715129604 140725715129604 140725715132362 0
/proc/5736/statm: 32128 13784 627 405 0 29072 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 128512 KiB
Current children cumulated memory: 55136 KiB
[startup+0.700442 s]
/proc/loadavg: 1.92 2.00 2.04 3/191 5737
/proc/meminfo: memFree=20573344/32770624 swapFree=67108860/67108860
[pid=5736] ppid=5733 vsize=146260 memory=93152 CPUtime=0.69 cores=0,2,4,6
/proc/5736/stat : 5736 (xcsp_picat) R 5733 5736 4275 0 -1 4202496 5588 0 0 0 67 2 0 0 20 0 1 0 77960753 149770240 23288 33554432000 4194304 5849740 140725715123136 140725715122104 5251173 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 21917696 140725715129526 140725715129604 140725715129604 140725715132362 0
/proc/5736/statm: 36565 23288 664 405 0 33509 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 146260 KiB
Current children cumulated memory: 93152 KiB
[startup+1.50043 s]
/proc/loadavg: 1.92 2.00 2.04 3/191 5737
/proc/meminfo: memFree=20542132/32770624 swapFree=67108860/67108860
[pid=5736] ppid=5733 vsize=199164 memory=145148 CPUtime=1.5 cores=0,2,4,6
/proc/5736/stat : 5736 (xcsp_picat) R 5733 5736 4275 0 -1 4202496 9921 0 0 0 144 6 0 0 20 0 1 0 77960753 203943936 36287 33554432000 4194304 5849740 140725715123136 140725715121832 5379589 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 21917696 140725715129526 140725715129604 140725715129604 140725715132362 0
/proc/5736/statm: 49791 36287 729 405 0 46735 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 199164 KiB
Current children cumulated memory: 145148 KiB
[startup+3.10952 s]
/proc/loadavg: 1.92 2.00 2.04 3/191 5737
/proc/meminfo: memFree=20385764/32770624 swapFree=67108860/67108860
[pid=5736] ppid=5733 vsize=305660 memory=252964 CPUtime=3.1 cores=0,2,4,6
/proc/5736/stat : 5736 (xcsp_picat) R 5733 5736 4275 0 -1 4202496 12247 0 0 0 303 7 0 0 20 0 1 0 77960753 312995840 63241 33554432000 4194304 5849740 140725715123136 140725715122232 5521452 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 21917696 140725715129526 140725715129604 140725715129604 140725715132362 0
/proc/5736/statm: 76415 63241 729 405 0 73359 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 305660 KiB
Current children cumulated memory: 252964 KiB
[startup+6.30032 s]
/proc/loadavg: 2.01 2.01 2.05 3/191 5737
/proc/meminfo: memFree=20354896/32770624 swapFree=67108860/67108860
[pid=5736] ppid=5733 vsize=327248 memory=266216 CPUtime=6.29 cores=0,2,4,6
/proc/5736/stat : 5736 (xcsp_picat) R 5733 5736 4275 0 -1 4202496 55588 0 0 0 619 10 0 0 20 0 1 0 77960753 335101952 66554 33554432000 4194304 5849740 140725715123136 140725715121784 5375176 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 21917696 140725715129526 140725715129604 140725715129604 140725715132362 0
/proc/5736/statm: 81812 66554 748 405 0 78756 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 327248 KiB
Current children cumulated memory: 266216 KiB
[startup+12.7002 s]
/proc/loadavg: 2.01 2.01 2.05 3/191 5737
/proc/meminfo: memFree=20356376/32770624 swapFree=67108860/67108860
[pid=5736] ppid=5733 vsize=327248 memory=274520 CPUtime=12.69 cores=0,2,4,6
/proc/5736/stat : 5736 (xcsp_picat) R 5733 5736 4275 0 -1 4202496 78101 0 0 0 1256 13 0 0 20 0 1 0 77960753 335101952 68630 33554432000 4194304 5849740 140725715123136 140725715121624 5307110 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 21917696 140725715129526 140725715129604 140725715129604 140725715132362 0
/proc/5736/statm: 81812 68630 757 405 0 78756 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 327248 KiB
Current children cumulated memory: 274520 KiB
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.05 3/191 5737
/proc/meminfo: memFree=20368492/32770624 swapFree=67108860/67108860
[pid=5736] ppid=5733 vsize=306636 memory=253980 CPUtime=25.49 cores=0,2,4,6
/proc/5736/stat : 5736 (xcsp_picat) R 5733 5736 4275 0 -1 4202496 120127 0 0 0 2533 16 0 0 20 0 1 0 77960753 313995264 63495 33554432000 4194304 5849740 140725715123136 140725715122136 5438093 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 21917696 140725715129526 140725715129604 140725715129604 140725715132362 0
/proc/5736/statm: 76659 63495 761 405 0 73603 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 306636 KiB
Current children cumulated memory: 253980 KiB
[startup+51.1096 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 5744
/proc/meminfo: memFree=20339312/32770624 swapFree=67108860/67108860
[pid=5736] ppid=5733 vsize=331600 memory=278632 CPUtime=51.09 cores=0,2,4,6
/proc/5736/stat : 5736 (xcsp_picat) R 5733 5736 4275 0 -1 4202496 150854 0 0 0 5079 30 0 0 20 0 1 0 77960753 339558400 69658 33554432000 4194304 5849740 140725715123136 140725715121624 5308448 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 21917696 140725715129526 140725715129604 140725715129604 140725715132362 0
/proc/5736/statm: 82900 69658 761 405 0 79844 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 331600 KiB
Current children cumulated memory: 278632 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 5745
/proc/meminfo: memFree=20336468/32770624 swapFree=67108860/67108860
[pid=5736] ppid=5733 vsize=334328 memory=279864 CPUtime=102.29 cores=0,2,4,6
/proc/5736/stat : 5736 (xcsp_picat) R 5733 5736 4275 0 -1 4202496 202893 0 0 0 10176 53 0 0 20 0 1 0 77960753 342351872 69966 33554432000 4194304 5849740 140725715123136 140725715122136 5311410 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 21917696 140725715129526 140725715129604 140725715129604 140725715132362 0
/proc/5736/statm: 83582 69966 761 405 0 80526 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 334328 KiB
Current children cumulated memory: 279864 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 5746
/proc/meminfo: memFree=20315260/32770624 swapFree=67108860/67108860
[pid=5736] ppid=5733 vsize=346360 memory=293796 CPUtime=162.29 cores=0,2,4,6
/proc/5736/stat : 5736 (xcsp_picat) R 5733 5736 4275 0 -1 4202496 259014 0 0 0 16148 81 0 0 20 0 1 0 77960753 354672640 73449 33554432000 4194304 5849740 140725715123136 140725715121384 5437808 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 21917696 140725715129526 140725715129604 140725715129604 140725715132362 0
/proc/5736/statm: 86590 73449 761 405 0 83534 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 346360 KiB
Current children cumulated memory: 293796 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 5747
/proc/meminfo: memFree=20268132/32770624 swapFree=67108860/67108860
[pid=5736] ppid=5733 vsize=454820 memory=331876 CPUtime=222.28 cores=0,2,4,6
/proc/5736/stat : 5736 (xcsp_picat) R 5733 5736 4275 0 -1 4202496 318526 0 0 0 22120 108 0 0 20 0 1 0 77960753 465735680 82969 33554432000 4194304 5849740 140725715123136 140725715122136 5359130 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 21917696 140725715129526 140725715129604 140725715129604 140725715132362 0
/proc/5736/statm: 113705 82969 761 405 0 110649 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 454820 KiB
Current children cumulated memory: 331876 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 5748
/proc/meminfo: memFree=20274860/32770624 swapFree=67108860/67108860
[pid=5736] ppid=5733 vsize=394056 memory=333812 CPUtime=282.27 cores=0,2,4,6
/proc/5736/stat : 5736 (xcsp_picat) R 5733 5736 4275 0 -1 4202496 324155 0 0 0 28091 136 0 0 20 0 1 0 77960753 403513344 83453 33554432000 4194304 5849740 140725715123136 140725715122136 5437591 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 21917696 140725715129526 140725715129604 140725715129604 140725715132362 0
/proc/5736/statm: 98514 83453 761 405 0 95458 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 394056 KiB
Current children cumulated memory: 333812 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 5750
/proc/meminfo: memFree=20293740/32770624 swapFree=67108860/67108860
[pid=5736] ppid=5733 vsize=358648 memory=306152 CPUtime=342.27 cores=0,2,4,6
/proc/5736/stat : 5736 (xcsp_picat) R 5733 5736 4275 0 -1 4202496 331490 0 0 0 34067 160 0 0 20 0 1 0 77960753 367255552 76538 33554432000 4194304 5849740 140725715123136 140725715122136 139751306133383 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 21917696 140725715129526 140725715129604 140725715129604 140725715132362 0
/proc/5736/statm: 89662 76538 761 405 0 86606 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 358648 KiB
Current children cumulated memory: 306152 KiB
[startup+402.3 s]
/proc/loadavg: 2.49 2.15 2.09 3/190 5751
/proc/meminfo: memFree=20164512/32770624 swapFree=67108860/67108860
[pid=5736] ppid=5733 vsize=483892 memory=433888 CPUtime=402.27 cores=0,2,4,6
/proc/5736/stat : 5736 (xcsp_picat) R 5733 5736 4275 0 -1 4202496 350366 0 0 0 40041 186 0 0 20 0 1 0 77960753 495505408 108472 33554432000 4194304 5849740 140725715123136 140725715122136 5437720 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 21917696 140725715129526 140725715129604 140725715129604 140725715132362 0
/proc/5736/statm: 120973 108472 761 405 0 117917 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 483892 KiB
Current children cumulated memory: 433888 KiB
[startup+462.3 s]
/proc/loadavg: 2.18 2.12 2.08 3/190 5752
/proc/meminfo: memFree=20272672/32770624 swapFree=67108860/67108860
[pid=5736] ppid=5733 vsize=373820 memory=323736 CPUtime=462.26 cores=0,2,4,6
/proc/5736/stat : 5736 (xcsp_picat) R 5733 5736 4275 0 -1 4202496 362849 0 0 0 46013 213 0 0 20 0 1 0 77960753 382791680 80934 33554432000 4194304 5849740 140725715123136 140725715122136 139751306133383 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 21917696 140725715129526 140725715129604 140725715129604 140725715132362 0
/proc/5736/statm: 93455 80934 761 405 0 90399 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 373820 KiB
Current children cumulated memory: 323736 KiB
################
# More data... #
################
/proc/5736/statm: 143060 130585 761 405 0 140004 0
Current children cumulated CPU time: 1722.22 s
Current children cumulated vsize: 572240 KiB
Current children cumulated memory: 522340 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 5795
/proc/meminfo: memFree=20056632/32770624 swapFree=67108860/67108860
[pid=5736] ppid=5733 vsize=582732 memory=532572 CPUtime=1782.22 cores=0,2,4,6
/proc/5736/stat : 5736 (xcsp_picat) R 5733 5736 4275 0 -1 4202496 636007 0 0 0 177355 867 0 0 20 0 1 0 77960753 596717568 133143 33554432000 4194304 5849740 140725715123136 140725715122136 139751306133383 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 21917696 140725715129526 140725715129604 140725715129604 140725715132362 0
/proc/5736/statm: 145683 133143 761 405 0 142627 0
Current children cumulated CPU time: 1782.22 s
Current children cumulated vsize: 582732 KiB
Current children cumulated memory: 532572 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 5805
/proc/meminfo: memFree=20024060/32770624 swapFree=67108860/67108860
[pid=5736] ppid=5733 vsize=607228 memory=557200 CPUtime=1842.21 cores=0,2,4,6
/proc/5736/stat : 5736 (xcsp_picat) R 5733 5736 4275 0 -1 4202496 645299 0 0 0 183319 902 0 0 20 0 1 0 77960753 621801472 139300 33554432000 4194304 5849740 140725715123136 140725715122136 5387232 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 21917696 140725715129526 140725715129604 140725715129604 140725715132362 0
/proc/5736/statm: 151807 139300 761 405 0 148751 0
Current children cumulated CPU time: 1842.21 s
Current children cumulated vsize: 607228 KiB
Current children cumulated memory: 557200 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 5806
/proc/meminfo: memFree=20037020/32770624 swapFree=67108860/67108860
[pid=5736] ppid=5733 vsize=595380 memory=545320 CPUtime=1902.22 cores=0,2,4,6
/proc/5736/stat : 5736 (xcsp_picat) R 5733 5736 4275 0 -1 4202496 655176 0 0 0 189293 929 0 0 20 0 1 0 77960753 609669120 136330 33554432000 4194304 5849740 140725715123136 140725715122296 139751306133383 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 21917696 140725715129526 140725715129604 140725715129604 140725715132362 0
/proc/5736/statm: 148845 136330 761 405 0 145789 0
Current children cumulated CPU time: 1902.22 s
Current children cumulated vsize: 595380 KiB
Current children cumulated memory: 545320 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 5807
/proc/meminfo: memFree=20025300/32770624 swapFree=67108860/67108860
[pid=5736] ppid=5733 vsize=606812 memory=556784 CPUtime=1962.22 cores=0,2,4,6
/proc/5736/stat : 5736 (xcsp_picat) R 5733 5736 4275 0 -1 4202496 667175 0 0 0 195264 958 0 0 20 0 1 0 77960753 621375488 139196 33554432000 4194304 5849740 140725715123136 140725715122296 5437467 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 21917696 140725715129526 140725715129604 140725715129604 140725715132362 0
/proc/5736/statm: 151703 139196 761 405 0 148647 0
Current children cumulated CPU time: 1962.22 s
Current children cumulated vsize: 606812 KiB
Current children cumulated memory: 556784 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 5809
/proc/meminfo: memFree=19855364/32770624 swapFree=67108860/67108860
[pid=5736] ppid=5733 vsize=776404 memory=726180 CPUtime=2022.21 cores=0,2,4,6
/proc/5736/stat : 5736 (xcsp_picat) R 5733 5736 4275 0 -1 4202496 679499 0 0 0 201235 986 0 0 20 0 1 0 77960753 795037696 181545 33554432000 4194304 5849740 140725715123136 140725715122296 5413317 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 21917696 140725715129526 140725715129604 140725715129604 140725715132362 0
/proc/5736/statm: 194101 181545 761 405 0 191045 0
Current children cumulated CPU time: 2022.21 s
Current children cumulated vsize: 776404 KiB
Current children cumulated memory: 726180 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 5810
/proc/meminfo: memFree=19996132/32770624 swapFree=67108860/67108860
[pid=5736] ppid=5733 vsize=635744 memory=585616 CPUtime=2082.21 cores=0,2,4,6
/proc/5736/stat : 5736 (xcsp_picat) R 5733 5736 4275 0 -1 4202496 698278 0 0 0 207210 1011 0 0 20 0 1 0 77960753 651001856 146404 33554432000 4194304 5849740 140725715123136 140725715122008 5312592 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 21917696 140725715129526 140725715129604 140725715129604 140725715132362 0
/proc/5736/statm: 158936 146404 761 405 0 155880 0
Current children cumulated CPU time: 2082.21 s
Current children cumulated vsize: 635744 KiB
Current children cumulated memory: 585616 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 5812
/proc/meminfo: memFree=20041616/32770624 swapFree=67108860/67108860
[pid=5736] ppid=5733 vsize=589332 memory=539304 CPUtime=2142.21 cores=0,2,4,6
/proc/5736/stat : 5736 (xcsp_picat) R 5733 5736 4275 0 -1 4202496 711815 0 0 0 213186 1035 0 0 20 0 1 0 77960753 603475968 134826 33554432000 4194304 5849740 140725715123136 140725715122296 5437698 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 21917696 140725715129526 140725715129604 140725715129604 140725715132362 0
/proc/5736/statm: 147333 134826 761 405 0 144277 0
Current children cumulated CPU time: 2142.21 s
Current children cumulated vsize: 589332 KiB
Current children cumulated memory: 539304 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 5814
/proc/meminfo: memFree=20071864/32770624 swapFree=67108860/67108860
[pid=5736] ppid=5733 vsize=551376 memory=501296 CPUtime=2202.21 cores=0,2,4,6
/proc/5736/stat : 5736 (xcsp_picat) R 5733 5736 4275 0 -1 4202496 717003 0 0 0 219162 1059 0 0 20 0 1 0 77960753 564609024 125324 33554432000 4194304 5849740 140725715123136 140725715122136 5321214 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 21917696 140725715129526 140725715129604 140725715129604 140725715132362 0
/proc/5736/statm: 137844 125324 761 405 0 134788 0
Current children cumulated CPU time: 2202.21 s
Current children cumulated vsize: 551376 KiB
Current children cumulated memory: 501296 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 5815
/proc/meminfo: memFree=20014628/32770624 swapFree=67108860/67108860
[pid=5736] ppid=5733 vsize=603404 memory=553140 CPUtime=2262.21 cores=0,2,4,6
/proc/5736/stat : 5736 (xcsp_picat) R 5733 5736 4275 0 -1 4202496 728414 0 0 0 225132 1089 0 0 20 0 1 0 77960753 617885696 138285 33554432000 4194304 5849740 140725715123136 140725715122296 139751306133383 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 21917696 140725715129526 140725715129604 140725715129604 140725715132362 0
/proc/5736/statm: 150851 138285 761 405 0 147795 0
Current children cumulated CPU time: 2262.21 s
Current children cumulated vsize: 603404 KiB
Current children cumulated memory: 553140 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 5817
/proc/meminfo: memFree=19976172/32770624 swapFree=67108860/67108860
[pid=5736] ppid=5733 vsize=655788 memory=591636 CPUtime=2322.21 cores=0,2,4,6
/proc/5736/stat : 5736 (xcsp_picat) R 5733 5736 4275 0 -1 4202496 741343 0 0 0 231109 1112 0 0 20 0 1 0 77960753 671526912 147909 33554432000 4194304 5849740 140725715123136 140725715122008 5392615 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 21917696 140725715129526 140725715129604 140725715129604 140725715132362 0
/proc/5736/statm: 163947 147909 761 405 0 160891 0
Current children cumulated CPU time: 2322.21 s
Current children cumulated vsize: 655788 KiB
Current children cumulated memory: 591636 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 5818
/proc/meminfo: memFree=19950896/32770624 swapFree=67108860/67108860
[pid=5736] ppid=5733 vsize=666132 memory=616104 CPUtime=2382.21 cores=0,2,4,6
/proc/5736/stat : 5736 (xcsp_picat) R 5733 5736 4275 0 -1 4202496 752481 0 0 0 237088 1133 0 0 20 0 1 0 77960753 682119168 154026 33554432000 4194304 5849740 140725715123136 140725715122008 5438072 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 21917696 140725715129526 140725715129604 140725715129604 140725715132362 0
/proc/5736/statm: 166533 154026 761 405 0 163477 0
Current children cumulated CPU time: 2382.21 s
Current children cumulated vsize: 666132 KiB
Current children cumulated memory: 616104 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 5826
/proc/meminfo: memFree=19939432/32770624 swapFree=67108860/67108860
[pid=5736] ppid=5733 vsize=677628 memory=627384 CPUtime=2442.2 cores=0,2,4,6
/proc/5736/stat : 5736 (xcsp_picat) R 5733 5736 4275 0 -1 4202496 759879 0 0 0 243059 1161 0 0 20 0 1 0 77960753 693891072 156846 33554432000 4194304 5849740 140725715123136 140725715122136 5437611 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 21917696 140725715129526 140725715129604 140725715129604 140725715132362 0
/proc/5736/statm: 169407 156846 761 405 0 166351 0
Current children cumulated CPU time: 2442.2 s
Current children cumulated vsize: 677628 KiB
Current children cumulated memory: 627384 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 5850
/proc/meminfo: memFree=19913292/32770624 swapFree=67108860/67108860
[pid=5736] ppid=5733 vsize=703812 memory=653672 CPUtime=2502.2 cores=0,2,4,6
/proc/5736/stat : 5736 (xcsp_picat) R 5733 5736 4275 0 -1 4202496 783013 0 0 0 249029 1191 0 0 20 0 1 0 77960753 720703488 163418 33554432000 4194304 5849740 140725715123136 140725715122136 5437576 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 21917696 140725715129526 140725715129604 140725715129604 140725715132362 0
/proc/5736/statm: 175953 163418 761 405 0 172897 0
Current children cumulated CPU time: 2502.2 s
Current children cumulated vsize: 703812 KiB
Current children cumulated memory: 653672 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 1.92 2.00 2.04 3/191 5911
/proc/meminfo: memFree=20112016/32770624 swapFree=67108860/67108860
[pid=5736] ppid=5733 vsize=732520 memory=682416 CPUtime=2519.91 cores=0,2,4,6
/proc/5736/stat : 5736 (xcsp_picat) R 5733 5736 4275 0 -1 4202496 783997 0 0 0 250796 1195 0 0 20 0 1 0 77960753 750100480 170604 33554432000 4194304 5849740 140725715123136 140725715122136 5437698 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 21917696 140725715129526 140725715129604 140725715129604 140725715132362 0
/proc/5736/statm: 183130 170604 761 405 0 180074 0
Current children cumulated CPU time: 2519.91 s
Current children cumulated vsize: 732520 KiB
Current children cumulated memory: 682416 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 5736 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2507.97 s, system=11.9618 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.02
CPU time (s): 2519.93
CPU user time (s): 2507.97
CPU system time (s): 11.9618
CPU usage (%): 99.9964
Max. virtual memory (cumulated for all children) (KiB): 855748
Max. memory (cumulated for all children) (KiB): 805528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2507.97
system time used= 11.9618
maximum resident set size= 805528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 783997
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= 66
involuntary context switches= 1043
# summary of solver processes directly reported to runsolver:
# pid: 5736
# total CPU time (s): 2519.93
# total CPU user time (s): 2507.97
# total CPU system time (s): 11.9618
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.60228 second user time and 18.4861 second system time
The end