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 (222 MiB free)
memory of node 1: 16384 MiB (6409 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293860-1532382192/watcher-4293860-1532382192 -o /tmp/evaluation-result-4293860-1532382192/solver-4293860-1532382192 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532369589-13986 --watchdog 2580 xcsp_picat HOME/instance-4293860-1532382192.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=15018, runsolver pid=15015
[startup+0.100854 s]*
/proc/loadavg: 2.00 2.07 2.07 3/188 15019
/proc/meminfo: memFree=6775692/32770624 swapFree=67108860/67108860
[pid=15018] ppid=15015 vsize=111688 memory=17788 CPUtime=0.09 cores=1,3,5,7
/proc/15018/stat : 15018 (xcsp_picat) R 15015 15018 13954 0 -1 4202496 1542 0 0 0 9 0 0 0 20 0 1 0 55782399 114368512 4447 33554432000 4194304 5849740 140737104367424 140737104365928 5606222 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 40665088 140737104372918 140737104372996 140737104372996 140737104375754 0
/proc/15018/statm: 27922 4447 686 405 0 24866 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 17788 KiB
[startup+0.209777 s]*
/proc/loadavg: 2.00 2.07 2.07 3/188 15019
/proc/meminfo: memFree=6775320/32770624 swapFree=67108860/67108860
[pid=15018] ppid=15015 vsize=111820 memory=17788 CPUtime=0.2 cores=1,3,5,7
/proc/15018/stat : 15018 (xcsp_picat) R 15015 15018 13954 0 -1 4202496 1584 0 0 0 20 0 0 0 20 0 1 0 55782399 114503680 4447 33554432000 4194304 5849740 140737104367424 140737104365928 5606222 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 40665088 140737104372918 140737104372996 140737104372996 140737104375754 0
/proc/15018/statm: 27955 4447 686 405 0 24899 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 111820 KiB
Current children cumulated memory: 17788 KiB
[startup+0.308962 s]*
/proc/loadavg: 2.00 2.07 2.07 3/188 15019
/proc/meminfo: memFree=6775320/32770624 swapFree=67108860/67108860
[pid=15018] ppid=15015 vsize=111936 memory=18032 CPUtime=0.3 cores=1,3,5,7
/proc/15018/stat : 15018 (xcsp_picat) R 15015 15018 13954 0 -1 4202496 1596 0 0 0 30 0 0 0 20 0 1 0 55782399 114622464 4508 33554432000 4194304 5849740 140737104367424 140737104365928 5606222 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 40665088 140737104372918 140737104372996 140737104372996 140737104375754 0
/proc/15018/statm: 27984 4508 705 405 0 24928 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 111936 KiB
Current children cumulated memory: 18032 KiB
[startup+0.700277 s]
/proc/loadavg: 2.00 2.07 2.07 3/188 15019
/proc/meminfo: memFree=6774964/32770624 swapFree=67108860/67108860
[pid=15018] ppid=15015 vsize=112372 memory=18460 CPUtime=0.68 cores=1,3,5,7
/proc/15018/stat : 15018 (xcsp_picat) R 15015 15018 13954 0 -1 4202496 1760 0 0 0 68 0 0 0 20 0 1 0 55782399 115068928 4615 33554432000 4194304 5849740 140737104367424 140737104365928 5604768 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 40665088 140737104372918 140737104372996 140737104372996 140737104375754 0
/proc/15018/statm: 28093 4615 707 405 0 25037 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 112372 KiB
Current children cumulated memory: 18460 KiB
[startup+1.50027 s]
/proc/loadavg: 2.00 2.07 2.07 3/188 15019
/proc/meminfo: memFree=6774964/32770624 swapFree=67108860/67108860
[pid=15018] ppid=15015 vsize=112500 memory=18588 CPUtime=1.48 cores=1,3,5,7
/proc/15018/stat : 15018 (xcsp_picat) R 15015 15018 13954 0 -1 4202496 1792 0 0 0 148 0 0 0 20 0 1 0 55782399 115200000 4647 33554432000 4194304 5849740 140737104367424 140737104366664 5471689 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 40665088 140737104372918 140737104372996 140737104372996 140737104375754 0
/proc/15018/statm: 28125 4647 707 405 0 25069 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 112500 KiB
Current children cumulated memory: 18588 KiB
[startup+3.10914 s]
/proc/loadavg: 1.92 2.05 2.07 3/188 15080
/proc/meminfo: memFree=12636180/32770624 swapFree=67108860/67108860
[pid=15018] ppid=15015 vsize=112756 memory=18972 CPUtime=3.09 cores=1,3,5,7
/proc/15018/stat : 15018 (xcsp_picat) R 15015 15018 13954 0 -1 4202496 2004 0 0 0 309 0 0 0 20 0 1 0 55782399 115462144 4743 33554432000 4194304 5849740 140737104367424 140737104366520 140431898275719 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 40665088 140737104372918 140737104372996 140737104372996 140737104375754 0
/proc/15018/statm: 28189 4743 707 405 0 25133 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 112756 KiB
Current children cumulated memory: 18972 KiB
[startup+6.30022 s]
/proc/loadavg: 1.92 2.05 2.07 3/188 15080
/proc/meminfo: memFree=12425852/32770624 swapFree=67108860/67108860
[pid=15018] ppid=15015 vsize=113012 memory=20972 CPUtime=6.29 cores=1,3,5,7
/proc/15018/stat : 15018 (xcsp_picat) R 15015 15018 13954 0 -1 4202496 2267 0 0 0 628 1 0 0 20 0 1 0 55782399 115724288 5243 33554432000 4194304 5849740 140737104367424 140737104366520 5518417 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 40665088 140737104372918 140737104372996 140737104372996 140737104375754 0
/proc/15018/statm: 28253 5243 707 405 0 25197 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 113012 KiB
Current children cumulated memory: 20972 KiB
[startup+12.7002 s]
/proc/loadavg: 1.93 2.05 2.07 3/188 15080
/proc/meminfo: memFree=12110960/32770624 swapFree=67108860/67108860
[pid=15018] ppid=15015 vsize=114036 memory=22020 CPUtime=12.68 cores=1,3,5,7
/proc/15018/stat : 15018 (xcsp_picat) R 15015 15018 13954 0 -1 4202496 2817 0 0 0 1267 1 0 0 20 0 1 0 55782399 116772864 5505 33554432000 4194304 5849740 140737104367424 140737104366520 5605502 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 40665088 140737104372918 140737104372996 140737104372996 140737104375754 0
/proc/15018/statm: 28509 5505 707 405 0 25453 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 114036 KiB
Current children cumulated memory: 22020 KiB
[startup+25.5002 s]
/proc/loadavg: 1.95 2.05 2.07 3/188 15080
/proc/meminfo: memFree=12018192/32770624 swapFree=67108860/67108860
[pid=15018] ppid=15015 vsize=113412 memory=24008 CPUtime=25.48 cores=1,3,5,7
/proc/15018/stat : 15018 (xcsp_picat) R 15015 15018 13954 0 -1 4202496 4421 0 0 0 2546 2 0 0 20 0 1 0 55782399 116133888 6002 33554432000 4194304 5849740 140737104367424 140737104366424 5519824 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 40665088 140737104372918 140737104372996 140737104372996 140737104375754 0
/proc/15018/statm: 28353 6002 749 405 0 25297 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 113412 KiB
Current children cumulated memory: 24008 KiB
[startup+51.1094 s]
/proc/loadavg: 1.96 2.05 2.06 3/188 15080
/proc/meminfo: memFree=11839356/32770624 swapFree=67108860/67108860
[pid=15018] ppid=15015 vsize=127840 memory=38276 CPUtime=51.09 cores=1,3,5,7
/proc/15018/stat : 15018 (xcsp_picat) R 15015 15018 13954 0 -1 4202496 13452 0 0 0 5089 20 0 0 20 0 1 0 55782399 130908160 9569 33554432000 4194304 5849740 140737104367424 140737104366424 140431898275719 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 40665088 140737104372918 140737104372996 140737104372996 140737104375754 0
/proc/15018/statm: 31960 9569 749 405 0 28904 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 127840 KiB
Current children cumulated memory: 38276 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.04 2.06 3/188 15081
/proc/meminfo: memFree=11633900/32770624 swapFree=67108860/67108860
[pid=15018] ppid=15015 vsize=136748 memory=46168 CPUtime=102.27 cores=1,3,5,7
/proc/15018/stat : 15018 (xcsp_picat) R 15015 15018 13954 0 -1 4202496 38309 0 0 0 10169 58 0 0 20 0 1 0 55782399 140029952 11542 33554432000 4194304 5849740 140737104367424 140737104365912 4212035 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 40665088 140737104372918 140737104372996 140737104372996 140737104375754 0
/proc/15018/statm: 34187 11542 749 405 0 31131 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 136748 KiB
Current children cumulated memory: 46168 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.03 2.05 3/187 15082
/proc/meminfo: memFree=11234500/32770624 swapFree=67108860/67108860
[pid=15018] ppid=15015 vsize=142352 memory=53048 CPUtime=162.27 cores=1,3,5,7
/proc/15018/stat : 15018 (xcsp_picat) R 15015 15018 13954 0 -1 4202496 68664 0 0 0 16122 105 0 0 20 0 1 0 55782399 145768448 13262 33554432000 4194304 5849740 140737104367424 140737104366424 140431898275719 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 40665088 140737104372918 140737104372996 140737104372996 140737104375754 0
/proc/15018/statm: 35588 13262 749 405 0 32532 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 142352 KiB
Current children cumulated memory: 53048 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 15083
/proc/meminfo: memFree=11221664/32770624 swapFree=67108860/67108860
[pid=15018] ppid=15015 vsize=155104 memory=65692 CPUtime=222.26 cores=1,3,5,7
/proc/15018/stat : 15018 (xcsp_picat) R 15015 15018 13954 0 -1 4202496 94343 0 0 0 22085 141 0 0 20 0 1 0 55782399 158826496 16423 33554432000 4194304 5849740 140737104367424 140737104366424 140431898275719 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 40665088 140737104372918 140737104372996 140737104372996 140737104375754 0
/proc/15018/statm: 38776 16423 749 405 0 35720 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 155104 KiB
Current children cumulated memory: 65692 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 15084
/proc/meminfo: memFree=10472888/32770624 swapFree=67108860/67108860
[pid=15018] ppid=15015 vsize=159240 memory=69804 CPUtime=282.24 cores=1,3,5,7
/proc/15018/stat : 15018 (xcsp_picat) R 15015 15018 13954 0 -1 4202496 118936 0 0 0 28052 172 0 0 20 0 1 0 55782399 163061760 17451 33554432000 4194304 5849740 140737104367424 140737104366424 140431898275719 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 40665088 140737104372918 140737104372996 140737104372996 140737104375754 0
/proc/15018/statm: 39810 17451 749 405 0 36754 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 159240 KiB
Current children cumulated memory: 69804 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 15085
/proc/meminfo: memFree=10933888/32770624 swapFree=67108860/67108860
[pid=15018] ppid=15015 vsize=222560 memory=133224 CPUtime=342.24 cores=1,3,5,7
/proc/15018/stat : 15018 (xcsp_picat) R 15015 15018 13954 0 -1 4202496 136512 0 0 0 34030 194 0 0 20 0 1 0 55782399 227901440 33306 33554432000 4194304 5849740 140737104367424 140737104366424 140431898275719 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 40665088 140737104372918 140737104372996 140737104372996 140737104375754 0
/proc/15018/statm: 55640 33306 749 405 0 52584 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 222560 KiB
Current children cumulated memory: 133224 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15086
/proc/meminfo: memFree=10978676/32770624 swapFree=67108860/67108860
[pid=15018] ppid=15015 vsize=205508 memory=114044 CPUtime=402.22 cores=1,3,5,7
/proc/15018/stat : 15018 (xcsp_picat) R 15015 15018 13954 0 -1 4202496 164549 0 0 0 40006 216 0 0 20 0 1 0 55782399 210440192 28511 33554432000 4194304 5849740 140737104367424 140737104366296 140431898275719 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 40665088 140737104372918 140737104372996 140737104372996 140737104375754 0
/proc/15018/statm: 51377 28511 749 405 0 48321 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 205508 KiB
Current children cumulated memory: 114044 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 15095
/proc/meminfo: memFree=10932308/32770624 swapFree=67108860/67108860
[pid=15018] ppid=15015 vsize=251680 memory=160476 CPUtime=462.21 cores=1,3,5,7
/proc/15018/stat : 15018 (xcsp_picat) R 15015 15018 13954 0 -1 4202496 179154 0 0 0 45986 235 0 0 20 0 1 0 55782399 257720320 40119 33554432000 4194304 5849740 140737104367424 140737104366424 5437698 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 40665088 140737104372918 140737104372996 140737104372996 140737104375754 0
/proc/15018/statm: 62920 40119 749 405 0 59864 0
Current children cumulated CPU time: 462.21 s
Current children cumulated vsize: 251680 KiB
Current children cumulated memory: 160476 KiB
################
# More data... #
################
/proc/15018/statm: 126382 104048 749 405 0 123326 0
Current children cumulated CPU time: 1722.16 s
Current children cumulated vsize: 505528 KiB
Current children cumulated memory: 416192 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/189 15178
/proc/meminfo: memFree=10660792/32770624 swapFree=67108860/67108860
[pid=15018] ppid=15015 vsize=505528 memory=416192 CPUtime=1782.16 cores=1,3,5,7
/proc/15018/stat : 15018 (xcsp_picat) R 15015 15018 13954 0 -1 4202496 684857 0 0 0 177718 498 0 0 20 0 1 0 55782399 517660672 104048 33554432000 4194304 5849740 140737104367424 140737104366424 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40665088 140737104372918 140737104372996 140737104372996 140737104375754 0
/proc/15018/statm: 126382 104048 749 405 0 123326 0
Current children cumulated CPU time: 1782.16 s
Current children cumulated vsize: 505528 KiB
Current children cumulated memory: 416192 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 15179
/proc/meminfo: memFree=10661268/32770624 swapFree=67108860/67108860
[pid=15018] ppid=15015 vsize=505528 memory=416192 CPUtime=1842.15 cores=1,3,5,7
/proc/15018/stat : 15018 (xcsp_picat) R 15015 15018 13954 0 -1 4202496 728107 0 0 0 183707 508 0 0 20 0 1 0 55782399 517660672 104048 33554432000 4194304 5849740 140737104367424 140737104366424 5437576 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40665088 140737104372918 140737104372996 140737104372996 140737104375754 0
/proc/15018/statm: 126382 104048 749 405 0 123326 0
Current children cumulated CPU time: 1842.15 s
Current children cumulated vsize: 505528 KiB
Current children cumulated memory: 416192 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 15180
/proc/meminfo: memFree=10528160/32770624 swapFree=67108860/67108860
[pid=15018] ppid=15015 vsize=638456 memory=549164 CPUtime=1902.16 cores=1,3,5,7
/proc/15018/stat : 15018 (xcsp_picat) R 15015 15018 13954 0 -1 4202496 781279 0 0 0 189695 521 0 0 20 0 1 0 55782399 653778944 137291 33554432000 4194304 5849740 140737104367424 140737104366424 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40665088 140737104372918 140737104372996 140737104372996 140737104375754 0
/proc/15018/statm: 159614 137291 749 405 0 156558 0
Current children cumulated CPU time: 1902.16 s
Current children cumulated vsize: 638456 KiB
Current children cumulated memory: 549164 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15181
/proc/meminfo: memFree=10463588/32770624 swapFree=67108860/67108860
[pid=15018] ppid=15015 vsize=703992 memory=614700 CPUtime=1962.16 cores=1,3,5,7
/proc/15018/stat : 15018 (xcsp_picat) R 15015 15018 13954 0 -1 4202496 851413 0 0 0 195684 532 0 0 20 0 1 0 55782399 720887808 153675 33554432000 4194304 5849740 140737104367424 140737104366424 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40665088 140737104372918 140737104372996 140737104372996 140737104375754 0
/proc/15018/statm: 175998 153675 749 405 0 172942 0
Current children cumulated CPU time: 1962.16 s
Current children cumulated vsize: 703992 KiB
Current children cumulated memory: 614700 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15182
/proc/meminfo: memFree=10825356/32770624 swapFree=67108860/67108860
[pid=15018] ppid=15015 vsize=342580 memory=253152 CPUtime=2022.16 cores=1,3,5,7
/proc/15018/stat : 15018 (xcsp_picat) R 15015 15018 13954 0 -1 4202496 909746 0 0 0 201668 548 0 0 20 0 1 0 55782399 350801920 63288 33554432000 4194304 5849740 140737104367424 140737104366424 140431898275719 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40665088 140737104372918 140737104372996 140737104372996 140737104375754 0
/proc/15018/statm: 85645 63288 749 405 0 82589 0
Current children cumulated CPU time: 2022.16 s
Current children cumulated vsize: 342580 KiB
Current children cumulated memory: 253152 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15183
/proc/meminfo: memFree=10785000/32770624 swapFree=67108860/67108860
[pid=15018] ppid=15015 vsize=381716 memory=292336 CPUtime=2082.16 cores=1,3,5,7
/proc/15018/stat : 15018 (xcsp_picat) R 15015 15018 13954 0 -1 4202496 939747 0 0 0 207653 563 0 0 20 0 1 0 55782399 390877184 73084 33554432000 4194304 5849740 140737104367424 140737104366584 140431898275719 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40665088 140737104372918 140737104372996 140737104372996 140737104375754 0
/proc/15018/statm: 95429 73084 749 405 0 92373 0
Current children cumulated CPU time: 2082.16 s
Current children cumulated vsize: 381716 KiB
Current children cumulated memory: 292336 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15184
/proc/meminfo: memFree=10784976/32770624 swapFree=67108860/67108860
[pid=15018] ppid=15015 vsize=381716 memory=292380 CPUtime=2142.14 cores=1,3,5,7
/proc/15018/stat : 15018 (xcsp_picat) R 15015 15018 13954 0 -1 4202496 961289 0 0 0 213641 573 0 0 20 0 1 0 55782399 390877184 73095 33554432000 4194304 5849740 140737104367424 140737104366424 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40665088 140737104372918 140737104372996 140737104372996 140737104375754 0
/proc/15018/statm: 95429 73095 749 405 0 92373 0
Current children cumulated CPU time: 2142.14 s
Current children cumulated vsize: 381716 KiB
Current children cumulated memory: 292380 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15185
/proc/meminfo: memFree=10785056/32770624 swapFree=67108860/67108860
[pid=15018] ppid=15015 vsize=381716 memory=292380 CPUtime=2202.12 cores=1,3,5,7
/proc/15018/stat : 15018 (xcsp_picat) R 15015 15018 13954 0 -1 4202496 961455 0 0 0 219631 581 0 0 20 0 1 0 55782399 390877184 73095 33554432000 4194304 5849740 140737104367424 140737104366424 140431898275719 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40665088 140737104372918 140737104372996 140737104372996 140737104375754 0
/proc/15018/statm: 95429 73095 749 405 0 92373 0
Current children cumulated CPU time: 2202.12 s
Current children cumulated vsize: 381716 KiB
Current children cumulated memory: 292380 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 15195
/proc/meminfo: memFree=10770524/32770624 swapFree=67108860/67108860
[pid=15018] ppid=15015 vsize=396076 memory=306740 CPUtime=2262.13 cores=1,3,5,7
/proc/15018/stat : 15018 (xcsp_picat) R 15015 15018 13954 0 -1 4202496 964439 0 0 0 225621 592 0 0 20 0 1 0 55782399 405581824 76685 33554432000 4194304 5849740 140737104367424 140737104366424 5437591 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40665088 140737104372918 140737104372996 140737104372996 140737104375754 0
/proc/15018/statm: 99019 76685 749 405 0 95963 0
Current children cumulated CPU time: 2262.13 s
Current children cumulated vsize: 396076 KiB
Current children cumulated memory: 306740 KiB
[startup+2322.3 s]
/proc/loadavg: 2.48 2.16 2.09 3/189 15196
/proc/meminfo: memFree=10705724/32770624 swapFree=67108860/67108860
[pid=15018] ppid=15015 vsize=460820 memory=371484 CPUtime=2322.13 cores=1,3,5,7
/proc/15018/stat : 15018 (xcsp_picat) R 15015 15018 13954 0 -1 4202496 969730 0 0 0 231611 602 0 0 20 0 1 0 55782399 471879680 92871 33554432000 4194304 5849740 140737104367424 140737104366424 140431898275719 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40665088 140737104372918 140737104372996 140737104372996 140737104375754 0
/proc/15018/statm: 115205 92871 749 405 0 112149 0
Current children cumulated CPU time: 2322.13 s
Current children cumulated vsize: 460820 KiB
Current children cumulated memory: 371484 KiB
[startup+2382.3 s]
/proc/loadavg: 2.18 2.13 2.09 3/189 15197
/proc/meminfo: memFree=10705988/32770624 swapFree=67108860/67108860
[pid=15018] ppid=15015 vsize=460820 memory=371484 CPUtime=2382.12 cores=1,3,5,7
/proc/15018/stat : 15018 (xcsp_picat) R 15015 15018 13954 0 -1 4202496 974532 0 0 0 237602 610 0 0 20 0 1 0 55782399 471879680 92871 33554432000 4194304 5849740 140737104367424 140737104366424 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40665088 140737104372918 140737104372996 140737104372996 140737104375754 0
/proc/15018/statm: 115205 92871 749 405 0 112149 0
Current children cumulated CPU time: 2382.12 s
Current children cumulated vsize: 460820 KiB
Current children cumulated memory: 371484 KiB
[startup+2442.3 s]
/proc/loadavg: 2.06 2.11 2.08 3/189 15198
/proc/meminfo: memFree=10706112/32770624 swapFree=67108860/67108860
[pid=15018] ppid=15015 vsize=460820 memory=371484 CPUtime=2442.13 cores=1,3,5,7
/proc/15018/stat : 15018 (xcsp_picat) R 15015 15018 13954 0 -1 4202496 979198 0 0 0 243592 621 0 0 20 0 1 0 55782399 471879680 92871 33554432000 4194304 5849740 140737104367424 140737104366424 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40665088 140737104372918 140737104372996 140737104372996 140737104375754 0
/proc/15018/statm: 115205 92871 749 405 0 112149 0
Current children cumulated CPU time: 2442.13 s
Current children cumulated vsize: 460820 KiB
Current children cumulated memory: 371484 KiB
[startup+2502.3 s]
/proc/loadavg: 2.02 2.09 2.08 3/189 15199
/proc/meminfo: memFree=10706112/32770624 swapFree=67108860/67108860
[pid=15018] ppid=15015 vsize=460820 memory=371484 CPUtime=2502.13 cores=1,3,5,7
/proc/15018/stat : 15018 (xcsp_picat) R 15015 15018 13954 0 -1 4202496 983713 0 0 0 249584 629 0 0 20 0 1 0 55782399 471879680 92871 33554432000 4194304 5849740 140737104367424 140737104366424 5437620 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40665088 140737104372918 140737104372996 140737104372996 140737104375754 0
/proc/15018/statm: 115205 92871 749 405 0 112149 0
Current children cumulated CPU time: 2502.13 s
Current children cumulated vsize: 460820 KiB
Current children cumulated memory: 371484 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.02 2.08 2.07 3/188 15200
/proc/meminfo: memFree=10706120/32770624 swapFree=67108860/67108860
[pid=15018] ppid=15015 vsize=460820 memory=371484 CPUtime=2519.84 cores=1,3,5,7
/proc/15018/stat : 15018 (xcsp_picat) R 15015 15018 13954 0 -1 4202496 987441 0 0 0 251353 631 0 0 20 0 1 0 55782399 471879680 92871 33554432000 4194304 5849740 140737104367424 140737104366424 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 40665088 140737104372918 140737104372996 140737104372996 140737104375754 0
/proc/15018/statm: 115205 92871 749 405 0 112149 0
Current children cumulated CPU time: 2519.84 s
Current children cumulated vsize: 460820 KiB
Current children cumulated memory: 371484 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 15018 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.53 s, system=6.31874 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.85
CPU user time (s): 2513.53
CPU system time (s): 6.31874
CPU usage (%): 99.9936
Max. virtual memory (cumulated for all children) (KiB): 703992
Max. memory (cumulated for all children) (KiB): 614700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.53
system time used= 6.31874
maximum resident set size= 614700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 987441
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= 81
involuntary context switches= 1283
# summary of solver processes directly reported to runsolver:
# pid: 15018
# total CPU time (s): 2519.85
# total CPU user time (s): 2513.53
# total CPU system time (s): 6.31874
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1032 second user time and 18.9757 second system time
The end