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 (9135 MiB free)
memory of node 1: 16384 MiB (11135 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296033-1532601455/watcher-4296033-1532601455 -o /tmp/evaluation-result-4296033-1532601455/solver-4296033-1532601455 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532598933-5171 --watchdog 2580 xcsp_picat HOME/instance-4296033-1532601455.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5512, runsolver pid=5509
Current StackSize limit: 8192 KiB
[startup+0.100203 s]*
/proc/loadavg: 1.93 2.00 1.95 3/191 5513
/proc/meminfo: memFree=20696312/32770624 swapFree=67108860/67108860
[pid=5512] ppid=5509 vsize=128512 memory=29164 CPUtime=0.1 cores=0,2,4,6
/proc/5512/stat : 5512 (xcsp_picat) R 5509 5512 4275 0 -1 4202496 2045 0 0 0 10 0 0 0 20 0 1 0 77708698 131596288 7291 33554432000 4194304 5849740 140730658759104 140730658759104 4488823 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46628864 140730658763958 140730658764036 140730658764036 140730658766794 0
/proc/5512/statm: 32128 7291 600 405 0 29072 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 128512 KiB
Current children cumulated memory: 29164 KiB
[startup+0.210175 s]*
/proc/loadavg: 1.93 2.00 1.95 3/191 5513
/proc/meminfo: memFree=20673788/32770624 swapFree=67108860/67108860
[pid=5512] ppid=5509 vsize=128512 memory=41452 CPUtime=0.21 cores=0,2,4,6
/proc/5512/stat : 5512 (xcsp_picat) R 5509 5512 4275 0 -1 4202496 2051 0 0 0 21 0 0 0 20 0 1 0 77708698 131596288 10363 33554432000 4194304 5849740 140730658759104 140730658759104 4488846 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46628864 140730658763958 140730658764036 140730658764036 140730658766794 0
/proc/5512/statm: 32128 10363 600 405 0 29072 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 128512 KiB
Current children cumulated memory: 41452 KiB
[startup+0.309981 s]*
/proc/loadavg: 1.93 2.00 1.95 3/191 5513
/proc/meminfo: memFree=20661252/32770624 swapFree=67108860/67108860
[pid=5512] ppid=5509 vsize=128512 memory=53936 CPUtime=0.31 cores=0,2,4,6
/proc/5512/stat : 5512 (xcsp_picat) R 5509 5512 4275 0 -1 4202496 2145 0 0 0 31 0 0 0 20 0 1 0 77708698 131596288 13484 33554432000 4194304 5849740 140730658759104 140730658759104 4587311 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46628864 140730658763958 140730658764036 140730658764036 140730658766794 0
/proc/5512/statm: 32128 13484 627 405 0 29072 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 128512 KiB
Current children cumulated memory: 53936 KiB
[startup+0.700423 s]
/proc/loadavg: 1.93 2.00 1.95 3/191 5513
/proc/meminfo: memFree=20585484/32770624 swapFree=67108860/67108860
[pid=5512] ppid=5509 vsize=146268 memory=90300 CPUtime=0.69 cores=0,2,4,6
/proc/5512/stat : 5512 (xcsp_picat) R 5509 5512 4275 0 -1 4202496 6100 0 0 0 67 2 0 0 20 0 1 0 77708698 149778432 22575 33554432000 4194304 5849740 140730658759104 140730658759104 5249577 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46628864 140730658763958 140730658764036 140730658764036 140730658766794 0
/proc/5512/statm: 36567 22575 664 405 0 33511 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 146268 KiB
Current children cumulated memory: 90300 KiB
[startup+1.50038 s]
/proc/loadavg: 1.93 2.00 1.95 3/191 5513
/proc/meminfo: memFree=20555300/32770624 swapFree=67108860/67108860
[pid=5512] ppid=5509 vsize=200256 memory=140688 CPUtime=1.49 cores=0,2,4,6
/proc/5512/stat : 5512 (xcsp_picat) R 5509 5512 4275 0 -1 4202496 10031 0 0 0 143 6 0 0 20 0 1 0 77708698 205062144 35172 33554432000 4194304 5849740 140730658759104 140730658758216 5378877 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46628864 140730658763958 140730658764036 140730658764036 140730658766794 0
/proc/5512/statm: 50064 35172 729 405 0 47008 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 200256 KiB
Current children cumulated memory: 140688 KiB
[startup+3.10977 s]
/proc/loadavg: 1.93 2.00 1.95 3/191 5513
/proc/meminfo: memFree=20396012/32770624 swapFree=67108860/67108860
[pid=5512] ppid=5509 vsize=308800 memory=253244 CPUtime=3.1 cores=0,2,4,6
/proc/5512/stat : 5512 (xcsp_picat) R 5509 5512 4275 0 -1 4202496 13001 0 0 0 301 9 0 0 20 0 1 0 77708698 316211200 63311 33554432000 4194304 5849740 140730658759104 140730658758216 140163453089472 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46628864 140730658763958 140730658764036 140730658764036 140730658766794 0
/proc/5512/statm: 77200 63311 729 405 0 74144 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 308800 KiB
Current children cumulated memory: 253244 KiB
[startup+6.30042 s]
/proc/loadavg: 2.02 2.02 1.96 3/191 5513
/proc/meminfo: memFree=20395560/32770624 swapFree=67108860/67108860
[pid=5512] ppid=5509 vsize=316184 memory=260396 CPUtime=6.3 cores=0,2,4,6
/proc/5512/stat : 5512 (xcsp_picat) R 5509 5512 4275 0 -1 4202496 34389 0 0 0 620 10 0 0 20 0 1 0 77708698 323772416 65099 33554432000 4194304 5849740 140730658759104 140730658758200 5317510 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46628864 140730658763958 140730658764036 140730658764036 140730658766794 0
/proc/5512/statm: 79046 65099 734 405 0 75990 0
Current children cumulated CPU time: 6.3 s
Current children cumulated vsize: 316184 KiB
Current children cumulated memory: 260396 KiB
[startup+12.7003 s]
/proc/loadavg: 2.02 2.02 1.96 3/191 5513
/proc/meminfo: memFree=20368384/32770624 swapFree=67108860/67108860
[pid=5512] ppid=5509 vsize=321984 memory=266524 CPUtime=12.69 cores=0,2,4,6
/proc/5512/stat : 5512 (xcsp_picat) R 5509 5512 4275 0 -1 4202496 59606 0 0 0 1256 13 0 0 20 0 1 0 77708698 329711616 66631 33554432000 4194304 5849740 140730658759104 140730658757592 4207509 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46628864 140730658763958 140730658764036 140730658764036 140730658766794 0
/proc/5512/statm: 80496 66631 753 405 0 77440 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 321984 KiB
Current children cumulated memory: 266524 KiB
[startup+25.5005 s]
/proc/loadavg: 2.01 2.02 1.96 3/191 5513
/proc/meminfo: memFree=20368256/32770624 swapFree=67108860/67108860
[pid=5512] ppid=5509 vsize=321984 memory=266548 CPUtime=25.49 cores=0,2,4,6
/proc/5512/stat : 5512 (xcsp_picat) R 5509 5512 4275 0 -1 4202496 82164 0 0 0 2535 14 0 0 20 0 1 0 77708698 329711616 66637 33554432000 4194304 5849740 140730658759104 140730658757816 140163453550471 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46628864 140730658763958 140730658764036 140730658764036 140730658766794 0
/proc/5512/statm: 80496 66637 759 405 0 77440 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 321984 KiB
Current children cumulated memory: 266548 KiB
[startup+51.11 s]
/proc/loadavg: 2.01 2.02 1.96 3/191 5513
/proc/meminfo: memFree=20351600/32770624 swapFree=67108860/67108860
[pid=5512] ppid=5509 vsize=331888 memory=274168 CPUtime=51.09 cores=0,2,4,6
/proc/5512/stat : 5512 (xcsp_picat) R 5509 5512 4275 0 -1 4202496 129994 0 0 0 5080 29 0 0 20 0 1 0 77708698 339853312 68542 33554432000 4194304 5849740 140730658759104 140730658757592 5310072 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46628864 140730658763958 140730658764036 140730658764036 140730658766794 0
/proc/5512/statm: 82972 68542 761 405 0 79916 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 331888 KiB
Current children cumulated memory: 274168 KiB
[startup+102.3 s]
/proc/loadavg: 2.13 2.04 1.97 3/191 5514
/proc/meminfo: memFree=20349316/32770624 swapFree=67108860/67108860
[pid=5512] ppid=5509 vsize=332116 memory=276596 CPUtime=102.29 cores=0,2,4,6
/proc/5512/stat : 5512 (xcsp_picat) R 5509 5512 4275 0 -1 4202496 158336 0 0 0 10182 47 0 0 20 0 1 0 77708698 340086784 69149 33554432000 4194304 5849740 140730658759104 140730658758104 5311683 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46628864 140730658763958 140730658764036 140730658764036 140730658766794 0
/proc/5512/statm: 83029 69149 761 405 0 79973 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 332116 KiB
Current children cumulated memory: 276596 KiB
[startup+162.3 s]
/proc/loadavg: 2.05 2.04 1.97 3/192 5523
/proc/meminfo: memFree=20340372/32770624 swapFree=67108860/67108860
[pid=5512] ppid=5509 vsize=332652 memory=277224 CPUtime=162.28 cores=0,2,4,6
/proc/5512/stat : 5512 (xcsp_picat) R 5509 5512 4275 0 -1 4202496 209351 0 0 0 16154 74 0 0 20 0 1 0 77708698 340635648 69306 33554432000 4194304 5849740 140730658759104 140730658757752 5416687 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46628864 140730658763958 140730658764036 140730658764036 140730658766794 0
/proc/5512/statm: 83163 69306 761 405 0 80107 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 332652 KiB
Current children cumulated memory: 277224 KiB
[startup+222.3 s]
/proc/loadavg: 2.17 2.07 1.98 3/192 5524
/proc/meminfo: memFree=20325200/32770624 swapFree=67108860/67108860
[pid=5512] ppid=5509 vsize=336608 memory=281216 CPUtime=222.27 cores=0,2,4,6
/proc/5512/stat : 5512 (xcsp_picat) R 5509 5512 4275 0 -1 4202496 253850 0 0 0 22129 98 0 0 20 0 1 0 77708698 344686592 70304 33554432000 4194304 5849740 140730658759104 140730658757592 4212035 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46628864 140730658763958 140730658764036 140730658764036 140730658766794 0
/proc/5512/statm: 84152 70304 761 405 0 81096 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 336608 KiB
Current children cumulated memory: 281216 KiB
[startup+282.3 s]
/proc/loadavg: 2.41 2.17 2.02 3/191 5525
/proc/meminfo: memFree=20314024/32770624 swapFree=67108860/67108860
[pid=5512] ppid=5509 vsize=347240 memory=291812 CPUtime=282.26 cores=0,2,4,6
/proc/5512/stat : 5512 (xcsp_picat) R 5509 5512 4275 0 -1 4202496 273038 0 0 0 28099 127 0 0 20 0 1 0 77708698 355573760 72953 33554432000 4194304 5849740 140730658759104 140730658758264 140163453550471 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46628864 140730658763958 140730658764036 140730658764036 140730658766794 0
/proc/5512/statm: 86810 72953 761 405 0 83754 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 347240 KiB
Current children cumulated memory: 291812 KiB
[startup+342.3 s]
/proc/loadavg: 2.19 2.15 2.03 3/191 5526
/proc/meminfo: memFree=20320728/32770624 swapFree=67108860/67108860
[pid=5512] ppid=5509 vsize=340396 memory=284868 CPUtime=342.26 cores=0,2,4,6
/proc/5512/stat : 5512 (xcsp_picat) R 5509 5512 4275 0 -1 4202496 279142 0 0 0 34073 153 0 0 20 0 1 0 77708698 348565504 71217 33554432000 4194304 5849740 140730658759104 140730658757592 4211607 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46628864 140730658763958 140730658764036 140730658764036 140730658766794 0
/proc/5512/statm: 85099 71217 761 405 0 82043 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 340396 KiB
Current children cumulated memory: 284868 KiB
[startup+402.3 s]
/proc/loadavg: 2.07 2.13 2.03 3/191 5527
/proc/meminfo: memFree=20309544/32770624 swapFree=67108860/67108860
[pid=5512] ppid=5509 vsize=339408 memory=286836 CPUtime=402.25 cores=0,2,4,6
/proc/5512/stat : 5512 (xcsp_picat) R 5509 5512 4275 0 -1 4202496 290634 0 0 0 40038 187 0 0 20 0 1 0 77708698 347553792 71709 33554432000 4194304 5849740 140730658759104 140730658757592 5310010 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46628864 140730658763958 140730658764036 140730658764036 140730658766794 0
/proc/5512/statm: 84852 71709 761 405 0 81796 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 339408 KiB
Current children cumulated memory: 286836 KiB
[startup+462.3 s]
/proc/loadavg: 2.03 2.10 2.03 3/191 5529
/proc/meminfo: memFree=20308240/32770624 swapFree=67108860/67108860
[pid=5512] ppid=5509 vsize=340500 memory=288152 CPUtime=462.25 cores=0,2,4,6
/proc/5512/stat : 5512 (xcsp_picat) R 5509 5512 4275 0 -1 4202496 308409 0 0 0 46009 216 0 0 20 0 1 0 77708698 348672000 72038 33554432000 4194304 5849740 140730658759104 140730658758104 140163453550471 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46628864 140730658763958 140730658764036 140730658764036 140730658766794 0
/proc/5512/statm: 85125 72038 761 405 0 82069 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 340500 KiB
Current children cumulated memory: 288152 KiB
################
# More data... #
################
/proc/5512/statm: 168334 155215 761 405 0 165278 0
Current children cumulated CPU time: 1722.18 s
Current children cumulated vsize: 673336 KiB
Current children cumulated memory: 620860 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/191 5592
/proc/meminfo: memFree=19952732/32770624 swapFree=67108860/67108860
[pid=5512] ppid=5509 vsize=576248 memory=523772 CPUtime=1782.18 cores=0,2,4,6
/proc/5512/stat : 5512 (xcsp_picat) R 5509 5512 4275 0 -1 4202496 701603 0 0 0 177344 874 0 0 20 0 1 0 77708698 590077952 130943 33554432000 4194304 5849740 140730658759104 140730658757592 4211773 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46628864 140730658763958 140730658764036 140730658764036 140730658766794 0
/proc/5512/statm: 144062 130943 761 405 0 141006 0
Current children cumulated CPU time: 1782.18 s
Current children cumulated vsize: 576248 KiB
Current children cumulated memory: 523772 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/191 5595
/proc/meminfo: memFree=19952132/32770624 swapFree=67108860/67108860
[pid=5512] ppid=5509 vsize=576248 memory=523772 CPUtime=1842.16 cores=0,2,4,6
/proc/5512/stat : 5512 (xcsp_picat) R 5509 5512 4275 0 -1 4202496 725799 0 0 0 183314 902 0 0 20 0 1 0 77708698 590077952 130943 33554432000 4194304 5849740 140730658759104 140730658758104 140163453550471 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46628864 140730658763958 140730658764036 140730658764036 140730658766794 0
/proc/5512/statm: 144062 130943 761 405 0 141006 0
Current children cumulated CPU time: 1842.16 s
Current children cumulated vsize: 576248 KiB
Current children cumulated memory: 523772 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/191 5596
/proc/meminfo: memFree=19531948/32770624 swapFree=67108860/67108860
[pid=5512] ppid=5509 vsize=866764 memory=814216 CPUtime=1902.15 cores=0,2,4,6
/proc/5512/stat : 5512 (xcsp_picat) R 5509 5512 4275 0 -1 4202496 753256 0 0 0 189284 931 0 0 20 0 1 0 77708698 887566336 203554 33554432000 4194304 5849740 140730658759104 140730658758104 5312761 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46628864 140730658763958 140730658764036 140730658764036 140730658766794 0
/proc/5512/statm: 216691 203554 761 405 0 213635 0
Current children cumulated CPU time: 1902.15 s
Current children cumulated vsize: 866764 KiB
Current children cumulated memory: 814216 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/190 5604
/proc/meminfo: memFree=19504228/32770624 swapFree=67108860/67108860
[pid=5512] ppid=5509 vsize=750228 memory=697752 CPUtime=1962.14 cores=0,2,4,6
/proc/5512/stat : 5512 (xcsp_picat) R 5509 5512 4275 0 -1 4202496 759937 0 0 0 195260 954 0 0 20 0 1 0 77708698 768233472 174438 33554432000 4194304 5849740 140730658759104 140730658758104 5437778 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46628864 140730658763958 140730658764036 140730658764036 140730658766794 0
/proc/5512/statm: 187557 174438 761 405 0 184501 0
Current children cumulated CPU time: 1962.14 s
Current children cumulated vsize: 750228 KiB
Current children cumulated memory: 697752 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/191 5606
/proc/meminfo: memFree=19764396/32770624 swapFree=67108860/67108860
[pid=5512] ppid=5509 vsize=646388 memory=593912 CPUtime=2022.14 cores=0,2,4,6
/proc/5512/stat : 5512 (xcsp_picat) R 5509 5512 4275 0 -1 4202496 770642 0 0 0 201239 975 0 0 20 0 1 0 77708698 661901312 148478 33554432000 4194304 5849740 140730658759104 140730658757592 4213572 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46628864 140730658763958 140730658764036 140730658764036 140730658766794 0
/proc/5512/statm: 161597 148478 761 405 0 158541 0
Current children cumulated CPU time: 2022.14 s
Current children cumulated vsize: 646388 KiB
Current children cumulated memory: 593912 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/191 5607
/proc/meminfo: memFree=19759944/32770624 swapFree=67108860/67108860
[pid=5512] ppid=5509 vsize=652120 memory=599604 CPUtime=2082.13 cores=0,2,4,6
/proc/5512/stat : 5512 (xcsp_picat) R 5509 5512 4275 0 -1 4202496 788724 0 0 0 207215 998 0 0 20 0 1 0 77708698 667770880 149901 33554432000 4194304 5849740 140730658759104 140730658758104 5438211 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46628864 140730658763958 140730658764036 140730658764036 140730658766794 0
/proc/5512/statm: 163030 149901 761 405 0 159974 0
Current children cumulated CPU time: 2082.13 s
Current children cumulated vsize: 652120 KiB
Current children cumulated memory: 599604 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/191 5608
/proc/meminfo: memFree=19760532/32770624 swapFree=67108860/67108860
[pid=5512] ppid=5509 vsize=651812 memory=599336 CPUtime=2142.14 cores=0,2,4,6
/proc/5512/stat : 5512 (xcsp_picat) R 5509 5512 4275 0 -1 4202496 802716 0 0 0 213182 1032 0 0 20 0 1 0 77708698 667455488 149834 33554432000 4194304 5849740 140730658759104 140730658758104 140163453550471 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46628864 140730658763958 140730658764036 140730658764036 140730658766794 0
/proc/5512/statm: 162953 149834 761 405 0 159897 0
Current children cumulated CPU time: 2142.14 s
Current children cumulated vsize: 651812 KiB
Current children cumulated memory: 599336 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/191 5609
/proc/meminfo: memFree=19879700/32770624 swapFree=67108860/67108860
[pid=5512] ppid=5509 vsize=560488 memory=507884 CPUtime=2202.13 cores=0,2,4,6
/proc/5512/stat : 5512 (xcsp_picat) R 5509 5512 4275 0 -1 4202496 813126 0 0 0 219158 1055 0 0 20 0 1 0 77708698 573939712 126971 33554432000 4194304 5849740 140730658759104 140730658758104 5311450 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46628864 140730658763958 140730658764036 140730658764036 140730658766794 0
/proc/5512/statm: 140122 126971 761 405 0 137066 0
Current children cumulated CPU time: 2202.13 s
Current children cumulated vsize: 560488 KiB
Current children cumulated memory: 507884 KiB
[startup+2262.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/191 5610
/proc/meminfo: memFree=19874684/32770624 swapFree=67108860/67108860
[pid=5512] ppid=5509 vsize=565200 memory=504980 CPUtime=2262.12 cores=0,2,4,6
/proc/5512/stat : 5512 (xcsp_picat) R 5509 5512 4275 0 -1 4202496 825665 0 0 0 225134 1078 0 0 20 0 1 0 77708698 578764800 126245 33554432000 4194304 5849740 140730658759104 140730658757976 140163453550471 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46628864 140730658763958 140730658764036 140730658764036 140730658766794 0
/proc/5512/statm: 141300 126245 761 405 0 138244 0
Current children cumulated CPU time: 2262.12 s
Current children cumulated vsize: 565200 KiB
Current children cumulated memory: 504980 KiB
[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/190 5611
/proc/meminfo: memFree=19696788/32770624 swapFree=67108860/67108860
[pid=5512] ppid=5509 vsize=704664 memory=641304 CPUtime=2322.12 cores=0,2,4,6
/proc/5512/stat : 5512 (xcsp_picat) R 5509 5512 4275 0 -1 4202496 842900 0 0 0 231100 1112 0 0 20 0 1 0 77708698 721575936 160326 33554432000 4194304 5849740 140730658759104 140730658757976 5313159 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46628864 140730658763958 140730658764036 140730658764036 140730658766794 0
/proc/5512/statm: 176166 160326 761 405 0 173110 0
Current children cumulated CPU time: 2322.12 s
Current children cumulated vsize: 704664 KiB
Current children cumulated memory: 641304 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/190 5612
/proc/meminfo: memFree=19857952/32770624 swapFree=67108860/67108860
[pid=5512] ppid=5509 vsize=580032 memory=516464 CPUtime=2382.12 cores=0,2,4,6
/proc/5512/stat : 5512 (xcsp_picat) R 5509 5512 4275 0 -1 4202496 861691 0 0 0 237062 1150 0 0 20 0 1 0 77708698 593952768 129116 33554432000 4194304 5849740 140730658759104 140730658758104 140163453550471 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46628864 140730658763958 140730658764036 140730658764036 140730658766794 0
/proc/5512/statm: 145008 129116 761 405 0 141952 0
Current children cumulated CPU time: 2382.12 s
Current children cumulated vsize: 580032 KiB
Current children cumulated memory: 516464 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 5613
/proc/meminfo: memFree=19846092/32770624 swapFree=67108860/67108860
[pid=5512] ppid=5509 vsize=580884 memory=517292 CPUtime=2442.12 cores=0,2,4,6
/proc/5512/stat : 5512 (xcsp_picat) R 5509 5512 4275 0 -1 4202496 873351 0 0 0 243039 1173 0 0 20 0 1 0 77708698 594825216 129323 33554432000 4194304 5849740 140730658759104 140730658758264 140163453550471 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46628864 140730658763958 140730658764036 140730658764036 140730658766794 0
/proc/5512/statm: 145221 129323 761 405 0 142165 0
Current children cumulated CPU time: 2442.12 s
Current children cumulated vsize: 580884 KiB
Current children cumulated memory: 517292 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 5615
/proc/meminfo: memFree=19793884/32770624 swapFree=67108860/67108860
[pid=5512] ppid=5509 vsize=621456 memory=560472 CPUtime=2502.11 cores=0,2,4,6
/proc/5512/stat : 5512 (xcsp_picat) R 5509 5512 4275 0 -1 4202496 883232 0 0 0 249005 1206 0 0 20 0 1 0 77708698 636370944 140118 33554432000 4194304 5849740 140730658759104 140730658758104 140163453550471 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46628864 140730658763958 140730658764036 140730658764036 140730658766794 0
/proc/5512/statm: 155364 140118 761 405 0 152308 0
Current children cumulated CPU time: 2502.11 s
Current children cumulated vsize: 621456 KiB
Current children cumulated memory: 560472 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 1.92 2.00 2.04 3/191 5676
/proc/meminfo: memFree=20280596/32770624 swapFree=67108860/67108860
[pid=5512] ppid=5509 vsize=576144 memory=514952 CPUtime=2519.82 cores=0,2,4,6
/proc/5512/stat : 5512 (xcsp_picat) R 5509 5512 4275 0 -1 4202496 883643 0 0 0 250767 1215 0 0 20 0 1 0 77708698 589971456 128738 33554432000 4194304 5849740 140730658759104 140730658758104 140163453550471 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46628864 140730658763958 140730658764036 140730658764036 140730658766794 0
/proc/5512/statm: 144036 128738 761 405 0 140980 0
Current children cumulated CPU time: 2519.82 s
Current children cumulated vsize: 576144 KiB
Current children cumulated memory: 514952 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 5512 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2507.68 s, system=12.1533 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): 2519.83
CPU user time (s): 2507.68
CPU system time (s): 12.1533
CPU usage (%): 99.9927
Max. virtual memory (cumulated for all children) (KiB): 1234528
Max. memory (cumulated for all children) (KiB): 1181856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2507.68
system time used= 12.1533
maximum resident set size= 1181856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 883643
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= 63
involuntary context switches= 3155
# summary of solver processes directly reported to runsolver:
# pid: 5512
# total CPU time (s): 2519.83
# total CPU user time (s): 2507.68
# total CPU system time (s): 12.1533
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.93256 second user time and 19.9104 second system time
The end