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 (5865 MiB free)
memory of node 1: 16384 MiB (6697 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293828-1532372110/watcher-4293828-1532372110 -o /tmp/evaluation-result-4293828-1532372110/solver-4293828-1532372110 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532369589-13985 --watchdog 2580 xcsp_picat HOME/instance-4293828-1532372110.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=14210, runsolver pid=14206
[startup+0.100232 s]*
/proc/loadavg: 2.00 2.01 1.97 4/187 14215
/proc/meminfo: memFree=12825356/32770624 swapFree=67108860/67108860
[pid=14210] ppid=14206 vsize=128392 memory=22008 CPUtime=0.1 cores=0,2,4,6
/proc/14210/stat : 14210 (xcsp_picat) R 14206 14210 13954 0 -1 4202496 2075 0 0 0 10 0 0 0 20 0 1 0 54774170 131473408 5502 33554432000 4194304 5849740 140733178208368 140733178207464 5521444 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44625920 140733178209462 140733178209540 140733178209540 140733178212298 0
/proc/14210/statm: 32098 5502 710 405 0 29042 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 128392 KiB
Current children cumulated memory: 22008 KiB
[startup+0.20964 s]*
/proc/loadavg: 2.00 2.01 1.97 3/187 14215
/proc/meminfo: memFree=12811704/32770624 swapFree=67108860/67108860
[pid=14210] ppid=14206 vsize=129168 memory=22544 CPUtime=0.21 cores=0,2,4,6
/proc/14210/stat : 14210 (xcsp_picat) R 14206 14210 13954 0 -1 4202496 2272 0 0 0 21 0 0 0 20 0 1 0 54774170 132268032 5636 33554432000 4194304 5849740 140733178208368 140733178207464 139628823846791 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44625920 140733178209462 140733178209540 140733178209540 140733178212298 0
/proc/14210/statm: 32292 5636 714 405 0 29236 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 129168 KiB
Current children cumulated memory: 22544 KiB
[startup+0.30914 s]*
/proc/loadavg: 2.00 2.01 1.97 3/187 14215
/proc/meminfo: memFree=12799416/32770624 swapFree=67108860/67108860
[pid=14210] ppid=14206 vsize=129424 memory=22804 CPUtime=0.31 cores=0,2,4,6
/proc/14210/stat : 14210 (xcsp_picat) R 14206 14210 13954 0 -1 4202496 2336 0 0 0 30 1 0 0 20 0 1 0 54774170 132530176 5701 33554432000 4194304 5849740 140733178208368 140733178207464 139628823846791 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44625920 140733178209462 140733178209540 140733178209540 140733178212298 0
/proc/14210/statm: 32356 5701 715 405 0 29300 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 129424 KiB
Current children cumulated memory: 22804 KiB
[startup+0.700344 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 14215
/proc/meminfo: memFree=12747848/32770624 swapFree=67108860/67108860
[pid=14210] ppid=14206 vsize=130448 memory=23832 CPUtime=0.69 cores=0,2,4,6
/proc/14210/stat : 14210 (xcsp_picat) R 14206 14210 13954 0 -1 4202496 2592 0 0 0 68 1 0 0 20 0 1 0 54774170 133578752 5958 33554432000 4194304 5849740 140733178208368 140733178207464 139628823846791 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44625920 140733178209462 140733178209540 140733178209540 140733178212298 0
/proc/14210/statm: 32612 5958 715 405 0 29556 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 130448 KiB
Current children cumulated memory: 23832 KiB
[startup+1.50034 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 14215
/proc/meminfo: memFree=12678840/32770624 swapFree=67108860/67108860
[pid=14210] ppid=14206 vsize=132496 memory=25896 CPUtime=1.49 cores=0,2,4,6
/proc/14210/stat : 14210 (xcsp_picat) R 14206 14210 13954 0 -1 4202496 3104 0 0 0 145 4 0 0 20 0 1 0 54774170 135675904 6474 33554432000 4194304 5849740 140733178208368 140733178207464 139628823846791 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44625920 140733178209462 140733178209540 140733178209540 140733178212298 0
/proc/14210/statm: 33124 6474 715 405 0 30068 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 132496 KiB
Current children cumulated memory: 25896 KiB
[startup+3.10964 s]
/proc/loadavg: 1.84 1.98 1.96 3/187 14215
/proc/meminfo: memFree=12226024/32770624 swapFree=67108860/67108860
[pid=14210] ppid=14206 vsize=140688 memory=34116 CPUtime=3.1 cores=0,2,4,6
/proc/14210/stat : 14210 (xcsp_picat) R 14206 14210 13954 0 -1 4202496 5396 0 0 0 301 9 0 0 20 0 1 0 54774170 144064512 8529 33554432000 4194304 5849740 140733178208368 140733178207464 139628823846791 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44625920 140733178209462 140733178209540 140733178209540 140733178212298 0
/proc/14210/statm: 35172 8529 715 405 0 32116 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 140688 KiB
Current children cumulated memory: 34116 KiB
[startup+6.30041 s]
/proc/loadavg: 1.84 1.98 1.96 4/187 14215
/proc/meminfo: memFree=12412920/32770624 swapFree=67108860/67108860
[pid=14210] ppid=14206 vsize=142588 memory=36136 CPUtime=6.28 cores=0,2,4,6
/proc/14210/stat : 14210 (xcsp_picat) R 14206 14210 13954 0 -1 4202496 10308 0 0 0 615 13 0 0 20 0 1 0 54774170 146010112 9034 33554432000 4194304 5849740 140733178208368 140733178207016 4217874 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44625920 140733178209462 140733178209540 140733178209540 140733178212298 0
/proc/14210/statm: 35647 9034 748 405 0 32591 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 142588 KiB
Current children cumulated memory: 36136 KiB
[startup+12.7004 s]
/proc/loadavg: 1.86 1.98 1.96 4/187 14215
/proc/meminfo: memFree=12381952/32770624 swapFree=67108860/67108860
[pid=14210] ppid=14206 vsize=142512 memory=36208 CPUtime=12.69 cores=0,2,4,6
/proc/14210/stat : 14210 (xcsp_picat) R 14206 14210 13954 0 -1 4202496 13528 0 0 0 1250 19 0 0 20 0 1 0 54774170 145932288 9052 33554432000 4194304 5849740 140733178208368 140733178207368 139628823846791 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44625920 140733178209462 140733178209540 140733178209540 140733178212298 0
/proc/14210/statm: 35628 9052 748 405 0 32572 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 142512 KiB
Current children cumulated memory: 36208 KiB
[startup+25.5004 s]
/proc/loadavg: 1.89 1.98 1.96 4/187 14215
/proc/meminfo: memFree=12295028/32770624 swapFree=67108860/67108860
[pid=14210] ppid=14206 vsize=158884 memory=56980 CPUtime=25.49 cores=0,2,4,6
/proc/14210/stat : 14210 (xcsp_picat) R 14206 14210 13954 0 -1 4202496 20732 0 0 0 2505 44 0 0 20 0 1 0 54774170 162697216 14245 33554432000 4194304 5849740 140733178208368 140733178207368 139628823846791 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44625920 140733178209462 140733178209540 140733178209540 140733178212298 0
/proc/14210/statm: 39721 14245 757 405 0 36665 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 158884 KiB
Current children cumulated memory: 56980 KiB
[startup+51.1096 s]
/proc/loadavg: 1.93 1.99 1.96 4/187 14215
/proc/meminfo: memFree=12160964/32770624 swapFree=67108860/67108860
[pid=14210] ppid=14206 vsize=158884 memory=60120 CPUtime=51.1 cores=0,2,4,6
/proc/14210/stat : 14210 (xcsp_picat) R 14206 14210 13954 0 -1 4202496 26524 0 0 0 5033 77 0 0 20 0 1 0 54774170 162697216 15030 33554432000 4194304 5849740 140733178208368 140733178207368 139628823846791 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44625920 140733178209462 140733178209540 140733178209540 140733178212298 0
/proc/14210/statm: 39721 15030 757 405 0 36665 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 158884 KiB
Current children cumulated memory: 60120 KiB
[startup+102.3 s]
/proc/loadavg: 1.93 1.97 1.95 4/187 14216
/proc/meminfo: memFree=11946596/32770624 swapFree=67108860/67108860
[pid=14210] ppid=14206 vsize=179740 memory=78144 CPUtime=102.29 cores=0,2,4,6
/proc/14210/stat : 14210 (xcsp_picat) R 14206 14210 13954 0 -1 4202496 39184 0 0 0 10100 129 0 0 20 0 1 0 54774170 184053760 19536 33554432000 4194304 5849740 140733178208368 140733178207368 139628823846791 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44625920 140733178209462 140733178209540 140733178209540 140733178212298 0
/proc/14210/statm: 44935 19536 757 405 0 41879 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 179740 KiB
Current children cumulated memory: 78144 KiB
[startup+162.3 s]
/proc/loadavg: 1.97 1.98 1.95 4/187 14217
/proc/meminfo: memFree=11788892/32770624 swapFree=67108860/67108860
[pid=14210] ppid=14206 vsize=181296 memory=82532 CPUtime=162.29 cores=0,2,4,6
/proc/14210/stat : 14210 (xcsp_picat) R 14206 14210 13954 0 -1 4202496 51292 0 0 0 16052 177 0 0 20 0 1 0 54774170 185647104 20633 33554432000 4194304 5849740 140733178208368 140733178207368 5438253 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44625920 140733178209462 140733178209540 140733178209540 140733178212298 0
/proc/14210/statm: 45324 20633 757 405 0 42268 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 181296 KiB
Current children cumulated memory: 82532 KiB
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.95 4/187 14219
/proc/meminfo: memFree=11542300/32770624 swapFree=67108860/67108860
[pid=14210] ppid=14206 vsize=181296 memory=82532 CPUtime=222.29 cores=0,2,4,6
/proc/14210/stat : 14210 (xcsp_picat) R 14206 14210 13954 0 -1 4202496 56902 0 0 0 22007 222 0 0 20 0 1 0 54774170 185647104 20633 33554432000 4194304 5849740 140733178208368 140733178207368 139628823846791 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44625920 140733178209462 140733178209540 140733178209540 140733178212298 0
/proc/14210/statm: 45324 20633 757 405 0 42268 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 181296 KiB
Current children cumulated memory: 82532 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.95 4/187 14220
/proc/meminfo: memFree=11537972/32770624 swapFree=67108860/67108860
[pid=14210] ppid=14206 vsize=186152 memory=87388 CPUtime=282.29 cores=0,2,4,6
/proc/14210/stat : 14210 (xcsp_picat) R 14206 14210 13954 0 -1 4202496 63444 0 0 0 27970 259 0 0 20 0 1 0 54774170 190619648 21847 33554432000 4194304 5849740 140733178208368 140733178207368 5335568 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44625920 140733178209462 140733178209540 140733178209540 140733178212298 0
/proc/14210/statm: 46538 21847 757 405 0 43482 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 186152 KiB
Current children cumulated memory: 87388 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.95 4/189 14230
/proc/meminfo: memFree=11766268/32770624 swapFree=67108860/67108860
[pid=14210] ppid=14206 vsize=220816 memory=121972 CPUtime=342.29 cores=0,2,4,6
/proc/14210/stat : 14210 (xcsp_picat) R 14206 14210 13954 0 -1 4202496 77036 0 0 0 33948 281 0 0 20 0 1 0 54774170 226115584 30493 33554432000 4194304 5849740 140733178208368 140733178207368 139628823846791 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44625920 140733178209462 140733178209540 140733178209540 140733178212298 0
/proc/14210/statm: 55204 30493 757 405 0 52148 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 220816 KiB
Current children cumulated memory: 121972 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.95 4/190 14254
/proc/meminfo: memFree=11452196/32770624 swapFree=67108860/67108860
[pid=14210] ppid=14206 vsize=268464 memory=169700 CPUtime=402.3 cores=0,2,4,6
/proc/14210/stat : 14210 (xcsp_picat) R 14206 14210 13954 0 -1 4202496 88113 0 0 0 39931 299 0 0 20 0 1 0 54774170 274907136 42425 33554432000 4194304 5849740 140733178208368 140733178207240 5362077 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44625920 140733178209462 140733178209540 140733178209540 140733178212298 0
/proc/14210/statm: 67116 42425 757 405 0 64060 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 268464 KiB
Current children cumulated memory: 169700 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.95 4/190 14255
/proc/meminfo: memFree=11716336/32770624 swapFree=67108860/67108860
[pid=14210] ppid=14206 vsize=266992 memory=168156 CPUtime=462.29 cores=0,2,4,6
/proc/14210/stat : 14210 (xcsp_picat) R 14206 14210 13954 0 -1 4202496 105598 0 0 0 45904 325 0 0 20 0 1 0 54774170 273399808 42039 33554432000 4194304 5849740 140733178208368 140733178207368 139628823846791 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44625920 140733178209462 140733178209540 140733178209540 140733178212298 0
/proc/14210/statm: 66748 42039 757 405 0 63692 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 266992 KiB
Current children cumulated memory: 168156 KiB
################
# More data... #
################
/proc/14210/statm: 166473 141782 757 405 0 163417 0
Current children cumulated CPU time: 1722.27 s
Current children cumulated vsize: 665892 KiB
Current children cumulated memory: 567128 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.05 4/188 14293
/proc/meminfo: memFree=11054596/32770624 swapFree=67108860/67108860
[pid=14210] ppid=14206 vsize=665892 memory=567128 CPUtime=1782.28 cores=0,2,4,6
/proc/14210/stat : 14210 (xcsp_picat) R 14206 14210 13954 0 -1 4202496 418815 0 0 0 177611 617 0 0 20 0 1 0 54774170 681873408 141782 33554432000 4194304 5849740 140733178208368 140733178207368 5437698 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44625920 140733178209462 140733178209540 140733178209540 140733178212298 0
/proc/14210/statm: 166473 141782 757 405 0 163417 0
Current children cumulated CPU time: 1782.28 s
Current children cumulated vsize: 665892 KiB
Current children cumulated memory: 567128 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 4/187 14295
/proc/meminfo: memFree=11055348/32770624 swapFree=67108860/67108860
[pid=14210] ppid=14206 vsize=665892 memory=567128 CPUtime=1842.27 cores=0,2,4,6
/proc/14210/stat : 14210 (xcsp_picat) R 14206 14210 13954 0 -1 4202496 439344 0 0 0 183604 623 0 0 20 0 1 0 54774170 681873408 141782 33554432000 4194304 5849740 140733178208368 140733178207368 5437808 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44625920 140733178209462 140733178209540 140733178209540 140733178212298 0
/proc/14210/statm: 166473 141782 757 405 0 163417 0
Current children cumulated CPU time: 1842.27 s
Current children cumulated vsize: 665892 KiB
Current children cumulated memory: 567128 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 4/187 14296
/proc/meminfo: memFree=11055588/32770624 swapFree=67108860/67108860
[pid=14210] ppid=14206 vsize=665892 memory=567128 CPUtime=1902.27 cores=0,2,4,6
/proc/14210/stat : 14210 (xcsp_picat) R 14206 14210 13954 0 -1 4202496 460131 0 0 0 189595 632 0 0 20 0 1 0 54774170 681873408 141782 33554432000 4194304 5849740 140733178208368 140733178207368 5437609 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44625920 140733178209462 140733178209540 140733178209540 140733178212298 0
/proc/14210/statm: 166473 141782 757 405 0 163417 0
Current children cumulated CPU time: 1902.27 s
Current children cumulated vsize: 665892 KiB
Current children cumulated memory: 567128 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 14297
/proc/meminfo: memFree=11055044/32770624 swapFree=67108860/67108860
[pid=14210] ppid=14206 vsize=665892 memory=567128 CPUtime=1962.28 cores=0,2,4,6
/proc/14210/stat : 14210 (xcsp_picat) R 14206 14210 13954 0 -1 4202496 481375 0 0 0 195588 640 0 0 20 0 1 0 54774170 681873408 141782 33554432000 4194304 5849740 140733178208368 140733178207368 139628823846791 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44625920 140733178209462 140733178209540 140733178209540 140733178212298 0
/proc/14210/statm: 166473 141782 757 405 0 163417 0
Current children cumulated CPU time: 1962.28 s
Current children cumulated vsize: 665892 KiB
Current children cumulated memory: 567128 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 14299
/proc/meminfo: memFree=11055044/32770624 swapFree=67108860/67108860
[pid=14210] ppid=14206 vsize=665892 memory=567128 CPUtime=2022.27 cores=0,2,4,6
/proc/14210/stat : 14210 (xcsp_picat) R 14206 14210 13954 0 -1 4202496 500723 0 0 0 201577 650 0 0 20 0 1 0 54774170 681873408 141782 33554432000 4194304 5849740 140733178208368 140733178207368 5438179 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44625920 140733178209462 140733178209540 140733178209540 140733178212298 0
/proc/14210/statm: 166473 141782 757 405 0 163417 0
Current children cumulated CPU time: 2022.27 s
Current children cumulated vsize: 665892 KiB
Current children cumulated memory: 567128 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 14300
/proc/meminfo: memFree=11258936/32770624 swapFree=67108860/67108860
[pid=14210] ppid=14206 vsize=724716 memory=626080 CPUtime=2082.27 cores=0,2,4,6
/proc/14210/stat : 14210 (xcsp_picat) R 14206 14210 13954 0 -1 4202496 531244 0 0 0 207565 662 0 0 20 0 1 0 54774170 742109184 156520 33554432000 4194304 5849740 140733178208368 140733178207368 5437698 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44625920 140733178209462 140733178209540 140733178209540 140733178212298 0
/proc/14210/statm: 181179 156520 757 405 0 178123 0
Current children cumulated CPU time: 2082.27 s
Current children cumulated vsize: 724716 KiB
Current children cumulated memory: 626080 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 14308
/proc/meminfo: memFree=10996792/32770624 swapFree=67108860/67108860
[pid=14210] ppid=14206 vsize=724716 memory=626080 CPUtime=2142.28 cores=0,2,4,6
/proc/14210/stat : 14210 (xcsp_picat) R 14206 14210 13954 0 -1 4202496 568889 0 0 0 213557 671 0 0 20 0 1 0 54774170 742109184 156520 33554432000 4194304 5849740 140733178208368 140733178207368 5335566 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44625920 140733178209462 140733178209540 140733178209540 140733178212298 0
/proc/14210/statm: 181179 156520 757 405 0 178123 0
Current children cumulated CPU time: 2142.28 s
Current children cumulated vsize: 724716 KiB
Current children cumulated memory: 626080 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 14309
/proc/meminfo: memFree=11407676/32770624 swapFree=67108860/67108860
[pid=14210] ppid=14206 vsize=317632 memory=215976 CPUtime=2202.27 cores=0,2,4,6
/proc/14210/stat : 14210 (xcsp_picat) R 14206 14210 13954 0 -1 4202496 592458 0 0 0 219545 682 0 0 20 0 1 0 54774170 325255168 53994 33554432000 4194304 5849740 140733178208368 140733178207368 5335512 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44625920 140733178209462 140733178209540 140733178209540 140733178212298 0
/proc/14210/statm: 79408 53994 757 405 0 76352 0
Current children cumulated CPU time: 2202.27 s
Current children cumulated vsize: 317632 KiB
Current children cumulated memory: 215976 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 14310
/proc/meminfo: memFree=11334216/32770624 swapFree=67108860/67108860
[pid=14210] ppid=14206 vsize=391072 memory=289324 CPUtime=2262.27 cores=0,2,4,6
/proc/14210/stat : 14210 (xcsp_picat) R 14206 14210 13954 0 -1 4202496 613561 0 0 0 225528 699 0 0 20 0 1 0 54774170 400457728 72331 33554432000 4194304 5849740 140733178208368 140733178207368 139628823846791 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44625920 140733178209462 140733178209540 140733178209540 140733178212298 0
/proc/14210/statm: 97768 72331 757 405 0 94712 0
Current children cumulated CPU time: 2262.27 s
Current children cumulated vsize: 391072 KiB
Current children cumulated memory: 289324 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 14311
/proc/meminfo: memFree=11286800/32770624 swapFree=67108860/67108860
[pid=14210] ppid=14206 vsize=438328 memory=336808 CPUtime=2322.27 cores=0,2,4,6
/proc/14210/stat : 14210 (xcsp_picat) R 14206 14210 13954 0 -1 4202496 633414 0 0 0 231514 713 0 0 20 0 1 0 54774170 448847872 84202 33554432000 4194304 5849740 140733178208368 140733178207368 139628823846791 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44625920 140733178209462 140733178209540 140733178209540 140733178212298 0
/proc/14210/statm: 109582 84202 757 405 0 106526 0
Current children cumulated CPU time: 2322.27 s
Current children cumulated vsize: 438328 KiB
Current children cumulated memory: 336808 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14312
/proc/meminfo: memFree=11239252/32770624 swapFree=67108860/67108860
[pid=14210] ppid=14206 vsize=482988 memory=384224 CPUtime=2382.27 cores=0,2,4,6
/proc/14210/stat : 14210 (xcsp_picat) R 14206 14210 13954 0 -1 4202496 651787 0 0 0 237498 729 0 0 20 0 1 0 54774170 494579712 96056 33554432000 4194304 5849740 140733178208368 140733178207368 5392169 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44625920 140733178209462 140733178209540 140733178209540 140733178212298 0
/proc/14210/statm: 120747 96056 757 405 0 117691 0
Current children cumulated CPU time: 2382.27 s
Current children cumulated vsize: 482988 KiB
Current children cumulated memory: 384224 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 14313
/proc/meminfo: memFree=11162980/32770624 swapFree=67108860/67108860
[pid=14210] ppid=14206 vsize=559292 memory=460580 CPUtime=2442.28 cores=0,2,4,6
/proc/14210/stat : 14210 (xcsp_picat) R 14206 14210 13954 0 -1 4202496 680974 0 0 0 243481 747 0 0 20 0 1 0 54774170 572715008 115145 33554432000 4194304 5849740 140733178208368 140733178207368 5335568 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44625920 140733178209462 140733178209540 140733178209540 140733178212298 0
/proc/14210/statm: 139823 115145 757 405 0 136767 0
Current children cumulated CPU time: 2442.28 s
Current children cumulated vsize: 559292 KiB
Current children cumulated memory: 460580 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 14314
/proc/meminfo: memFree=11425168/32770624 swapFree=67108860/67108860
[pid=14210] ppid=14206 vsize=559292 memory=460580 CPUtime=2502.28 cores=0,2,4,6
/proc/14210/stat : 14210 (xcsp_picat) R 14206 14210 13954 0 -1 4202496 693782 0 0 0 249466 762 0 0 20 0 1 0 54774170 572715008 115145 33554432000 4194304 5849740 140733178208368 140733178207368 5339042 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44625920 140733178209462 140733178209540 140733178209540 140733178212298 0
/proc/14210/statm: 139823 115145 757 405 0 136767 0
Current children cumulated CPU time: 2502.28 s
Current children cumulated vsize: 559292 KiB
Current children cumulated memory: 460580 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 4/187 14314
/proc/meminfo: memFree=11387376/32770624 swapFree=67108860/67108860
[pid=14210] ppid=14206 vsize=597020 memory=498308 CPUtime=2519.99 cores=0,2,4,6
/proc/14210/stat : 14210 (xcsp_picat) R 14206 14210 13954 0 -1 4202496 706713 0 0 0 251232 767 0 0 20 0 1 0 54774170 611348480 124577 33554432000 4194304 5849740 140733178208368 140733178207368 5437821 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44625920 140733178209462 140733178209540 140733178209540 140733178212298 0
/proc/14210/statm: 149255 124577 757 405 0 146199 0
Current children cumulated CPU time: 2519.99 s
Current children cumulated vsize: 597020 KiB
Current children cumulated memory: 498308 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 14210 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2512.33 s, system=7.68305 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): 2520.01
CPU user time (s): 2512.33
CPU system time (s): 7.68305
CPU usage (%): 99.9995
Max. virtual memory (cumulated for all children) (KiB): 724716
Max. memory (cumulated for all children) (KiB): 626080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.33
system time used= 7.68305
maximum resident set size= 626080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 706714
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= 44
involuntary context switches= 896
# summary of solver processes directly reported to runsolver:
# pid: 14210
# total CPU time (s): 2520.01
# total CPU user time (s): 2512.33
# total CPU system time (s): 7.68305
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.165 second user time and 18.5567 second system time
The end