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 (5842 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-4293836-1532374631/watcher-4293836-1532374631 -o /tmp/evaluation-result-4293836-1532374631/solver-4293836-1532374631 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532369589-13986 --watchdog 2580 xcsp_picat HOME/instance-4293836-1532374631.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=14382, runsolver pid=14379
[startup+0.100543 s]*
/proc/loadavg: 2.00 2.01 2.05 2/182 14383
/proc/meminfo: memFree=12822276/32770624 swapFree=67108860/67108860
[pid=14382] ppid=14379 vsize=128308 memory=21396 CPUtime=0.1 cores=1,3,5,7
/proc/14382/stat : 14382 (xcsp_picat) R 14379 14382 13954 0 -1 4202496 2003 0 0 0 10 0 0 0 20 0 1 0 55026233 131387392 5349 33554432000 4194304 5849740 140727727622432 140727727621544 5606219 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 41390080 140727727625398 140727727625476 140727727625476 140727727628234 0
/proc/14382/statm: 32077 5349 713 405 0 29021 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 128308 KiB
Current children cumulated memory: 21396 KiB
[startup+0.209583 s]*
/proc/loadavg: 2.00 2.01 2.05 2/182 14383
/proc/meminfo: memFree=12820804/32770624 swapFree=67108860/67108860
[pid=14382] ppid=14379 vsize=129724 memory=22716 CPUtime=0.21 cores=1,3,5,7
/proc/14382/stat : 14382 (xcsp_picat) R 14379 14382 13954 0 -1 4202496 2391 0 0 0 20 1 0 0 20 0 1 0 55026233 132837376 5679 33554432000 4194304 5849740 140727727622432 140727727621544 140157821443975 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 41390080 140727727625398 140727727625476 140727727625476 140727727628234 0
/proc/14382/statm: 32431 5679 715 405 0 29375 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 129724 KiB
Current children cumulated memory: 22716 KiB
[startup+0.308855 s]*
/proc/loadavg: 2.00 2.01 2.05 2/182 14383
/proc/meminfo: memFree=12820804/32770624 swapFree=67108860/67108860
[pid=14382] ppid=14379 vsize=129724 memory=22716 CPUtime=0.31 cores=1,3,5,7
/proc/14382/stat : 14382 (xcsp_picat) R 14379 14382 13954 0 -1 4202496 2391 0 0 0 30 1 0 0 20 0 1 0 55026233 132837376 5679 33554432000 4194304 5849740 140727727622432 140727727621544 140157821443975 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 41390080 140727727625398 140727727625476 140727727625476 140727727628234 0
/proc/14382/statm: 32431 5679 715 405 0 29375 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 129724 KiB
Current children cumulated memory: 22716 KiB
[startup+0.700263 s]
/proc/loadavg: 2.00 2.01 2.05 2/182 14383
/proc/meminfo: memFree=12819176/32770624 swapFree=67108860/67108860
[pid=14382] ppid=14379 vsize=130748 memory=23740 CPUtime=0.68 cores=1,3,5,7
/proc/14382/stat : 14382 (xcsp_picat) R 14379 14382 13954 0 -1 4202496 2647 0 0 0 66 2 0 0 20 0 1 0 55026233 133885952 5935 33554432000 4194304 5849740 140727727622432 140727727620936 140157821443975 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 41390080 140727727625398 140727727625476 140727727625476 140727727628234 0
/proc/14382/statm: 32687 5935 715 405 0 29631 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 130748 KiB
Current children cumulated memory: 23740 KiB
[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.05 2/182 14383
/proc/meminfo: memFree=12815348/32770624 swapFree=67108860/67108860
[pid=14382] ppid=14379 vsize=134844 memory=27868 CPUtime=1.49 cores=1,3,5,7
/proc/14382/stat : 14382 (xcsp_picat) R 14379 14382 13954 0 -1 4202496 3671 0 0 0 143 6 0 0 20 0 1 0 55026233 138080256 6967 33554432000 4194304 5849740 140727727622432 140727727620936 140157821443975 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 41390080 140727727625398 140727727625476 140727727625476 140727727628234 0
/proc/14382/statm: 33711 6967 715 405 0 30655 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 134844 KiB
Current children cumulated memory: 27868 KiB
[startup+3.10964 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14436
/proc/meminfo: memFree=12696304/32770624 swapFree=67108860/67108860
[pid=14382] ppid=14379 vsize=140436 memory=33736 CPUtime=3.1 cores=1,3,5,7
/proc/14382/stat : 14382 (xcsp_picat) R 14379 14382 13954 0 -1 4202496 6386 0 0 0 300 10 0 0 20 0 1 0 55026233 143806464 8434 33554432000 4194304 5849740 140727727622432 140727727621528 5355906 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 41390080 140727727625398 140727727625476 140727727625476 140727727628234 0
/proc/14382/statm: 35109 8434 733 405 0 32053 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 140436 KiB
Current children cumulated memory: 33736 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14436
/proc/meminfo: memFree=12576012/32770624 swapFree=67108860/67108860
[pid=14382] ppid=14379 vsize=138280 memory=31580 CPUtime=6.28 cores=1,3,5,7
/proc/14382/stat : 14382 (xcsp_picat) R 14379 14382 13954 0 -1 4202496 10483 0 0 0 610 18 0 0 20 0 1 0 55026233 141598720 7895 33554432000 4194304 5849740 140727727622432 140727727621528 140157821443975 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 41390080 140727727625398 140727727625476 140727727625476 140727727628234 0
/proc/14382/statm: 34570 7895 757 405 0 31514 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 138280 KiB
Current children cumulated memory: 31580 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14436
/proc/meminfo: memFree=12363476/32770624 swapFree=67108860/67108860
[pid=14382] ppid=14379 vsize=150568 memory=39940 CPUtime=12.69 cores=1,3,5,7
/proc/14382/stat : 14382 (xcsp_picat) R 14379 14382 13954 0 -1 4202496 12637 0 0 0 1241 28 0 0 20 0 1 0 55026233 154181632 9985 33554432000 4194304 5849740 140727727622432 140727727621432 140157821443975 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 41390080 140727727625398 140727727625476 140727727625476 140727727628234 0
/proc/14382/statm: 37642 9985 757 405 0 34586 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 150568 KiB
Current children cumulated memory: 39940 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14436
/proc/meminfo: memFree=11871748/32770624 swapFree=67108860/67108860
[pid=14382] ppid=14379 vsize=150904 memory=44204 CPUtime=25.49 cores=1,3,5,7
/proc/14382/stat : 14382 (xcsp_picat) R 14379 14382 13954 0 -1 4202496 18100 0 0 0 2504 45 0 0 20 0 1 0 55026233 154525696 11051 33554432000 4194304 5849740 140727727622432 140727727621432 140157821443975 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 41390080 140727727625398 140727727625476 140727727625476 140727727628234 0
/proc/14382/statm: 37726 11051 757 405 0 34670 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 150904 KiB
Current children cumulated memory: 44204 KiB
[startup+51.1093 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14436
/proc/meminfo: memFree=11464804/32770624 swapFree=67108860/67108860
[pid=14382] ppid=14379 vsize=170988 memory=64152 CPUtime=51.09 cores=1,3,5,7
/proc/14382/stat : 14382 (xcsp_picat) R 14379 14382 13954 0 -1 4202496 20869 0 0 0 5038 71 0 0 20 0 1 0 55026233 175091712 16038 33554432000 4194304 5849740 140727727622432 140727727621304 140157821443975 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 41390080 140727727625398 140727727625476 140727727625476 140727727628234 0
/proc/14382/statm: 42747 16038 757 405 0 39691 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 170988 KiB
Current children cumulated memory: 64152 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14437
/proc/meminfo: memFree=11152416/32770624 swapFree=67108860/67108860
[pid=14382] ppid=14379 vsize=179184 memory=80412 CPUtime=102.27 cores=1,3,5,7
/proc/14382/stat : 14382 (xcsp_picat) R 14379 14382 13954 0 -1 4202496 23571 0 0 0 10113 114 0 0 20 0 1 0 55026233 183484416 20103 33554432000 4194304 5849740 140727727622432 140727727621432 140157821443975 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 41390080 140727727625398 140727727625476 140727727625476 140727727628234 0
/proc/14382/statm: 44796 20103 757 405 0 41740 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 179184 KiB
Current children cumulated memory: 80412 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14438
/proc/meminfo: memFree=10823380/32770624 swapFree=67108860/67108860
[pid=14382] ppid=14379 vsize=180072 memory=81048 CPUtime=162.26 cores=1,3,5,7
/proc/14382/stat : 14382 (xcsp_picat) R 14379 14382 13954 0 -1 4202496 34128 0 0 0 16072 154 0 0 20 0 1 0 55026233 184393728 20262 33554432000 4194304 5849740 140727727622432 140727727621432 140157821443975 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41390080 140727727625398 140727727625476 140727727625476 140727727628234 0
/proc/14382/statm: 45018 20262 757 405 0 41962 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 180072 KiB
Current children cumulated memory: 81048 KiB
[startup+222.3 s]
/proc/loadavg: 1.97 2.00 2.04 3/188 14447
/proc/meminfo: memFree=10675268/32770624 swapFree=67108860/67108860
[pid=14382] ppid=14379 vsize=197772 memory=99000 CPUtime=222.27 cores=1,3,5,7
/proc/14382/stat : 14382 (xcsp_picat) R 14379 14382 13954 0 -1 4202496 44232 0 0 0 22037 190 0 0 20 0 1 0 55026233 202518528 24750 33554432000 4194304 5849740 140727727622432 140727727621432 140157821443975 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41390080 140727727625398 140727727625476 140727727625476 140727727628234 0
/proc/14382/statm: 49443 24750 757 405 0 46387 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 197772 KiB
Current children cumulated memory: 99000 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/188 14448
/proc/meminfo: memFree=10123472/32770624 swapFree=67108860/67108860
[pid=14382] ppid=14379 vsize=223916 memory=125112 CPUtime=282.26 cores=1,3,5,7
/proc/14382/stat : 14382 (xcsp_picat) R 14379 14382 13954 0 -1 4202496 50091 0 0 0 28002 224 0 0 20 0 1 0 55026233 229289984 31278 33554432000 4194304 5849740 140727727622432 140727727621432 140157821443975 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41390080 140727727625398 140727727625476 140727727625476 140727727628234 0
/proc/14382/statm: 55979 31278 757 405 0 52923 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 223916 KiB
Current children cumulated memory: 125112 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 14449
/proc/meminfo: memFree=9860088/32770624 swapFree=67108860/67108860
[pid=14382] ppid=14379 vsize=224996 memory=126188 CPUtime=342.26 cores=1,3,5,7
/proc/14382/stat : 14382 (xcsp_picat) R 14379 14382 13954 0 -1 4202496 64145 0 0 0 33975 251 0 0 20 0 1 0 55026233 230395904 31547 33554432000 4194304 5849740 140727727622432 140727727621432 140157821443975 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41390080 140727727625398 140727727625476 140727727625476 140727727628234 0
/proc/14382/statm: 56249 31547 757 405 0 53193 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 224996 KiB
Current children cumulated memory: 126188 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 14450
/proc/meminfo: memFree=9867068/32770624 swapFree=67108860/67108860
[pid=14382] ppid=14379 vsize=217960 memory=119076 CPUtime=402.27 cores=1,3,5,7
/proc/14382/stat : 14382 (xcsp_picat) R 14379 14382 13954 0 -1 4202496 78195 0 0 0 39942 285 0 0 20 0 1 0 55026233 223191040 29769 33554432000 4194304 5849740 140727727622432 140727727621432 140157821443975 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41390080 140727727625398 140727727625476 140727727625476 140727727628234 0
/proc/14382/statm: 54490 29769 757 405 0 51434 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 217960 KiB
Current children cumulated memory: 119076 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 14451
/proc/meminfo: memFree=10008024/32770624 swapFree=67108860/67108860
[pid=14382] ppid=14379 vsize=269444 memory=170672 CPUtime=462.27 cores=1,3,5,7
/proc/14382/stat : 14382 (xcsp_picat) R 14379 14382 13954 0 -1 4202496 91273 0 0 0 45924 303 0 0 20 0 1 0 55026233 275910656 42668 33554432000 4194304 5849740 140727727622432 140727727621432 5335568 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41390080 140727727625398 140727727625476 140727727625476 140727727628234 0
/proc/14382/statm: 67361 42668 757 405 0 64305 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 269444 KiB
Current children cumulated memory: 170672 KiB
################
# More data... #
################
/proc/14382/statm: 202082 177389 757 405 0 199026 0
Current children cumulated CPU time: 1722.26 s
Current children cumulated vsize: 808328 KiB
Current children cumulated memory: 709556 KiB
[startup+1782.3 s]
/proc/loadavg: 2.02 2.09 2.08 3/187 14513
/proc/meminfo: memFree=9349852/32770624 swapFree=67108860/67108860
[pid=14382] ppid=14379 vsize=358192 memory=259548 CPUtime=1782.26 cores=1,3,5,7
/proc/14382/stat : 14382 (xcsp_picat) R 14379 14382 13954 0 -1 4202496 595110 0 0 0 177633 593 0 0 20 0 1 0 55026233 366788608 64887 33554432000 4194304 5849740 140727727622432 140727727621432 140157821443975 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41390080 140727727625398 140727727625476 140727727625476 140727727628234 0
/proc/14382/statm: 89548 64887 757 405 0 86492 0
Current children cumulated CPU time: 1782.26 s
Current children cumulated vsize: 358192 KiB
Current children cumulated memory: 259548 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.08 2.08 3/187 14514
/proc/meminfo: memFree=9349568/32770624 swapFree=67108860/67108860
[pid=14382] ppid=14379 vsize=391440 memory=292796 CPUtime=1842.25 cores=1,3,5,7
/proc/14382/stat : 14382 (xcsp_picat) R 14379 14382 13954 0 -1 4202496 621793 0 0 0 183620 605 0 0 20 0 1 0 55026233 400834560 73199 33554432000 4194304 5849740 140727727622432 140727727621432 5437564 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41390080 140727727625398 140727727625476 140727727625476 140727727628234 0
/proc/14382/statm: 97860 73199 757 405 0 94804 0
Current children cumulated CPU time: 1842.25 s
Current children cumulated vsize: 391440 KiB
Current children cumulated memory: 292796 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/187 14515
/proc/meminfo: memFree=9338788/32770624 swapFree=67108860/67108860
[pid=14382] ppid=14379 vsize=403264 memory=304620 CPUtime=1902.25 cores=1,3,5,7
/proc/14382/stat : 14382 (xcsp_picat) R 14379 14382 13954 0 -1 4202496 623774 0 0 0 189611 614 0 0 20 0 1 0 55026233 412942336 76155 33554432000 4194304 5849740 140727727622432 140727727621432 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41390080 140727727625398 140727727625476 140727727625476 140727727628234 0
/proc/14382/statm: 100816 76155 757 405 0 97760 0
Current children cumulated CPU time: 1902.25 s
Current children cumulated vsize: 403264 KiB
Current children cumulated memory: 304620 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 14516
/proc/meminfo: memFree=9284116/32770624 swapFree=67108860/67108860
[pid=14382] ppid=14379 vsize=457936 memory=359184 CPUtime=1962.26 cores=1,3,5,7
/proc/14382/stat : 14382 (xcsp_picat) R 14379 14382 13954 0 -1 4202496 649073 0 0 0 195598 628 0 0 20 0 1 0 55026233 468926464 89796 33554432000 4194304 5849740 140727727622432 140727727621432 140157821443975 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41390080 140727727625398 140727727625476 140727727625476 140727727628234 0
/proc/14382/statm: 114484 89796 757 405 0 111428 0
Current children cumulated CPU time: 1962.26 s
Current children cumulated vsize: 457936 KiB
Current children cumulated memory: 359184 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/187 14524
/proc/meminfo: memFree=9283692/32770624 swapFree=67108860/67108860
[pid=14382] ppid=14379 vsize=457936 memory=359292 CPUtime=2022.26 cores=1,3,5,7
/proc/14382/stat : 14382 (xcsp_picat) R 14379 14382 13954 0 -1 4202496 670822 0 0 0 201588 638 0 0 20 0 1 0 55026233 468926464 89823 33554432000 4194304 5849740 140727727622432 140727727621432 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41390080 140727727625398 140727727625476 140727727625476 140727727628234 0
/proc/14382/statm: 114484 89823 757 405 0 111428 0
Current children cumulated CPU time: 2022.26 s
Current children cumulated vsize: 457936 KiB
Current children cumulated memory: 359292 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 14525
/proc/meminfo: memFree=9250408/32770624 swapFree=67108860/67108860
[pid=14382] ppid=14379 vsize=491380 memory=392736 CPUtime=2082.26 cores=1,3,5,7
/proc/14382/stat : 14382 (xcsp_picat) R 14379 14382 13954 0 -1 4202496 691444 0 0 0 207575 651 0 0 20 0 1 0 55026233 503173120 98184 33554432000 4194304 5849740 140727727622432 140727727621304 5395331 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41390080 140727727625398 140727727625476 140727727625476 140727727628234 0
/proc/14382/statm: 122845 98184 757 405 0 119789 0
Current children cumulated CPU time: 2082.26 s
Current children cumulated vsize: 491380 KiB
Current children cumulated memory: 392736 KiB
[startup+2142.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/186 14526
/proc/meminfo: memFree=9137404/32770624 swapFree=67108860/67108860
[pid=14382] ppid=14379 vsize=605656 memory=506884 CPUtime=2142.27 cores=1,3,5,7
/proc/14382/stat : 14382 (xcsp_picat) R 14379 14382 13954 0 -1 4202496 749136 0 0 0 213558 669 0 0 20 0 1 0 55026233 620191744 126721 33554432000 4194304 5849740 140727727622432 140727727621432 140157821443975 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41390080 140727727625398 140727727625476 140727727625476 140727727628234 0
/proc/14382/statm: 151414 126721 757 405 0 148358 0
Current children cumulated CPU time: 2142.27 s
Current children cumulated vsize: 605656 KiB
Current children cumulated memory: 506884 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 14528
/proc/meminfo: memFree=9135116/32770624 swapFree=67108860/67108860
[pid=14382] ppid=14379 vsize=605656 memory=506884 CPUtime=2202.27 cores=1,3,5,7
/proc/14382/stat : 14382 (xcsp_picat) R 14379 14382 13954 0 -1 4202496 796806 0 0 0 219549 678 0 0 20 0 1 0 55026233 620191744 126721 33554432000 4194304 5849740 140727727622432 140727727621432 5437825 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41390080 140727727625398 140727727625476 140727727625476 140727727628234 0
/proc/14382/statm: 151414 126721 757 405 0 148358 0
Current children cumulated CPU time: 2202.27 s
Current children cumulated vsize: 605656 KiB
Current children cumulated memory: 506884 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 14529
/proc/meminfo: memFree=9069712/32770624 swapFree=67108860/67108860
[pid=14382] ppid=14379 vsize=671192 memory=572420 CPUtime=2262.27 cores=1,3,5,7
/proc/14382/stat : 14382 (xcsp_picat) R 14379 14382 13954 0 -1 4202496 841788 0 0 0 225535 692 0 0 20 0 1 0 55026233 687300608 143105 33554432000 4194304 5849740 140727727622432 140727727621432 5437600 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41390080 140727727625398 140727727625476 140727727625476 140727727628234 0
/proc/14382/statm: 167798 143105 757 405 0 164742 0
Current children cumulated CPU time: 2262.27 s
Current children cumulated vsize: 671192 KiB
Current children cumulated memory: 572420 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 14530
/proc/meminfo: memFree=9134840/32770624 swapFree=67108860/67108860
[pid=14382] ppid=14379 vsize=605656 memory=506884 CPUtime=2322.27 cores=1,3,5,7
/proc/14382/stat : 14382 (xcsp_picat) R 14379 14382 13954 0 -1 4202496 888201 0 0 0 231525 702 0 0 20 0 1 0 55026233 620191744 126721 33554432000 4194304 5849740 140727727622432 140727727621304 140157821443975 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41390080 140727727625398 140727727625476 140727727625476 140727727628234 0
/proc/14382/statm: 151414 126721 757 405 0 148358 0
Current children cumulated CPU time: 2322.27 s
Current children cumulated vsize: 605656 KiB
Current children cumulated memory: 506884 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 14531
/proc/meminfo: memFree=9134748/32770624 swapFree=67108860/67108860
[pid=14382] ppid=14379 vsize=605656 memory=506884 CPUtime=2382.27 cores=1,3,5,7
/proc/14382/stat : 14382 (xcsp_picat) R 14379 14382 13954 0 -1 4202496 904723 0 0 0 237520 707 0 0 20 0 1 0 55026233 620191744 126721 33554432000 4194304 5849740 140727727622432 140727727621432 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41390080 140727727625398 140727727625476 140727727625476 140727727628234 0
/proc/14382/statm: 151414 126721 757 405 0 148358 0
Current children cumulated CPU time: 2382.27 s
Current children cumulated vsize: 605656 KiB
Current children cumulated memory: 506884 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14532
/proc/meminfo: memFree=9069908/32770624 swapFree=67108860/67108860
[pid=14382] ppid=14379 vsize=671192 memory=572420 CPUtime=2442.27 cores=1,3,5,7
/proc/14382/stat : 14382 (xcsp_picat) R 14379 14382 13954 0 -1 4202496 959594 0 0 0 243509 718 0 0 20 0 1 0 55026233 687300608 143105 33554432000 4194304 5849740 140727727622432 140727727621432 5335504 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41390080 140727727625398 140727727625476 140727727625476 140727727628234 0
/proc/14382/statm: 167798 143105 757 405 0 164742 0
Current children cumulated CPU time: 2442.27 s
Current children cumulated vsize: 671192 KiB
Current children cumulated memory: 572420 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14533
/proc/meminfo: memFree=9071308/32770624 swapFree=67108860/67108860
[pid=14382] ppid=14379 vsize=671192 memory=572420 CPUtime=2502.27 cores=1,3,5,7
/proc/14382/stat : 14382 (xcsp_picat) R 14379 14382 13954 0 -1 4202496 996014 0 0 0 249501 726 0 0 20 0 1 0 55026233 687300608 143105 33554432000 4194304 5849740 140727727622432 140727727621432 5335579 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41390080 140727727625398 140727727625476 140727727625476 140727727628234 0
/proc/14382/statm: 167798 143105 757 405 0 164742 0
Current children cumulated CPU time: 2502.27 s
Current children cumulated vsize: 671192 KiB
Current children cumulated memory: 572420 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.08 2.03 2.05 3/187 14533
/proc/meminfo: memFree=9071184/32770624 swapFree=67108860/67108860
[pid=14382] ppid=14379 vsize=671192 memory=572420 CPUtime=2519.98 cores=1,3,5,7
/proc/14382/stat : 14382 (xcsp_picat) R 14379 14382 13954 0 -1 4202496 1021082 0 0 0 251268 730 0 0 20 0 1 0 55026233 687300608 143105 33554432000 4194304 5849740 140727727622432 140727727621432 140157821443975 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41390080 140727727625398 140727727625476 140727727625476 140727727628234 0
/proc/14382/statm: 167798 143105 757 405 0 164742 0
Current children cumulated CPU time: 2519.98 s
Current children cumulated vsize: 671192 KiB
Current children cumulated memory: 572420 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 14382 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2512.69 s, system=7.31406 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
CPU user time (s): 2512.69
CPU system time (s): 7.31406
CPU usage (%): 99.9993
Max. virtual memory (cumulated for all children) (KiB): 808328
Max. memory (cumulated for all children) (KiB): 709556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.69
system time used= 7.31407
maximum resident set size= 709556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1021082
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= 73
involuntary context switches= 936
# summary of solver processes directly reported to runsolver:
# pid: 14382
# total CPU time (s): 2520
# total CPU user time (s): 2512.69
# total CPU system time (s): 7.31406
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.1129 second user time and 17.9313 second system time
The end