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 (9147 MiB free)
memory of node 1: 16384 MiB (10551 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295767-1532575044/watcher-4295767-1532575044 -o /tmp/evaluation-result-4295767-1532575044/solver-4295767-1532575044 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532562373-32761 --watchdog 2580 xcsp_picat HOME/instance-4295767-1532575044.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=1760, runsolver pid=1757
[startup+0.100216 s]*
/proc/loadavg: 2.11 2.04 2.05 3/191 1761
/proc/meminfo: memFree=20139892/32770624 swapFree=67108860/67108860
[pid=1760] ppid=1757 vsize=136552 memory=35348 CPUtime=0.09 cores=0,2,4,6
/proc/1760/stat : 1760 (xcsp_picat) R 1757 1760 32730 0 -1 4202496 2574 0 0 0 9 0 0 0 20 0 1 0 75067654 139829248 8837 33554432000 4194304 5849740 140729238162448 140729238162448 4562772 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 17281024 140729238164662 140729238164740 140729238164740 140729238167498 0
/proc/1760/statm: 34138 8837 653 405 0 31082 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 136552 KiB
Current children cumulated memory: 35348 KiB
[startup+0.210041 s]*
/proc/loadavg: 2.11 2.04 2.05 3/191 1761
/proc/meminfo: memFree=20129008/32770624 swapFree=67108860/67108860
[pid=1760] ppid=1757 vsize=140016 memory=46384 CPUtime=0.21 cores=0,2,4,6
/proc/1760/stat : 1760 (xcsp_picat) R 1757 1760 32730 0 -1 4202496 4256 0 0 0 20 1 0 0 20 0 1 0 75067654 143376384 11596 33554432000 4194304 5849740 140729238162448 140729238161416 139999030839200 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 17281024 140729238164662 140729238164740 140729238164740 140729238167498 0
/proc/1760/statm: 35004 11596 656 405 0 31948 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 140016 KiB
Current children cumulated memory: 46384 KiB
[startup+0.310376 s]*
/proc/loadavg: 2.11 2.04 2.05 3/191 1761
/proc/meminfo: memFree=20113008/32770624 swapFree=67108860/67108860
[pid=1760] ppid=1757 vsize=156064 memory=62392 CPUtime=0.31 cores=0,2,4,6
/proc/1760/stat : 1760 (xcsp_picat) R 1757 1760 32730 0 -1 4202496 6167 0 0 0 30 1 0 0 20 0 1 0 75067654 159809536 15598 33554432000 4194304 5849740 140729238162448 140729238161416 4501250 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 17281024 140729238164662 140729238164740 140729238164740 140729238167498 0
/proc/1760/statm: 39016 15598 716 405 0 35960 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 156064 KiB
Current children cumulated memory: 62392 KiB
[startup+0.700439 s]
/proc/loadavg: 2.11 2.04 2.05 3/191 1761
/proc/meminfo: memFree=20088544/32770624 swapFree=67108860/67108860
[pid=1760] ppid=1757 vsize=213408 memory=119532 CPUtime=0.69 cores=0,2,4,6
/proc/1760/stat : 1760 (xcsp_picat) R 1757 1760 32730 0 -1 4202496 7728 0 0 0 67 2 0 0 20 0 1 0 75067654 218529792 29883 33554432000 4194304 5849740 140729238162448 140729238161416 4467496 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 17281024 140729238164662 140729238164740 140729238164740 140729238167498 0
/proc/1760/statm: 53352 29883 716 405 0 50296 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 213408 KiB
Current children cumulated memory: 119532 KiB
[startup+1.50033 s]
/proc/loadavg: 2.11 2.04 2.05 3/191 1761
/proc/meminfo: memFree=20052492/32770624 swapFree=67108860/67108860
[pid=1760] ppid=1757 vsize=215968 memory=122700 CPUtime=1.49 cores=0,2,4,6
/proc/1760/stat : 1760 (xcsp_picat) R 1757 1760 32730 0 -1 4202496 8463 0 0 0 147 2 0 0 20 0 1 0 75067654 221151232 30675 33554432000 4194304 5849740 140729238162448 140729238161320 5375264 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 17281024 140729238164662 140729238164740 140729238164740 140729238167498 0
/proc/1760/statm: 53992 30675 726 405 0 50936 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 215968 KiB
Current children cumulated memory: 122700 KiB
[startup+3.10976 s]
/proc/loadavg: 2.11 2.04 2.05 3/191 1761
/proc/meminfo: memFree=20052228/32770624 swapFree=67108860/67108860
[pid=1760] ppid=1757 vsize=215968 memory=122736 CPUtime=3.1 cores=0,2,4,6
/proc/1760/stat : 1760 (xcsp_picat) R 1757 1760 32730 0 -1 4202496 16869 0 0 0 307 3 0 0 20 0 1 0 75067654 221151232 30684 33554432000 4194304 5849740 140729238162448 140729238161320 5310832 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 17281024 140729238164662 140729238164740 140729238164740 140729238167498 0
/proc/1760/statm: 53992 30684 735 405 0 50936 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 215968 KiB
Current children cumulated memory: 122736 KiB
[startup+6.30024 s]
/proc/loadavg: 2.10 2.04 2.05 3/191 1761
/proc/meminfo: memFree=20048416/32770624 swapFree=67108860/67108860
[pid=1760] ppid=1757 vsize=219328 memory=126044 CPUtime=6.29 cores=0,2,4,6
/proc/1760/stat : 1760 (xcsp_picat) R 1757 1760 32730 0 -1 4202496 31430 0 0 0 624 5 0 0 20 0 1 0 75067654 224591872 31511 33554432000 4194304 5849740 140729238162448 140729238161096 4211654 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 17281024 140729238164662 140729238164740 140729238164740 140729238167498 0
/proc/1760/statm: 54832 31511 742 405 0 51776 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 219328 KiB
Current children cumulated memory: 126044 KiB
[startup+12.7003 s]
/proc/loadavg: 2.09 2.04 2.05 3/191 1761
/proc/meminfo: memFree=20048416/32770624 swapFree=67108860/67108860
[pid=1760] ppid=1757 vsize=219328 memory=126076 CPUtime=12.68 cores=0,2,4,6
/proc/1760/stat : 1760 (xcsp_picat) R 1757 1760 32730 0 -1 4202496 41877 0 0 0 1262 6 0 0 20 0 1 0 75067654 224591872 31519 33554432000 4194304 5849740 140729238162448 140729238161448 5437607 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 17281024 140729238164662 140729238164740 140729238164740 140729238167498 0
/proc/1760/statm: 54832 31519 749 405 0 51776 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 219328 KiB
Current children cumulated memory: 126076 KiB
[startup+25.5003 s]
/proc/loadavg: 2.07 2.04 2.05 3/191 1761
/proc/meminfo: memFree=19978000/32770624 swapFree=67108860/67108860
[pid=1760] ppid=1757 vsize=289708 memory=196544 CPUtime=25.49 cores=0,2,4,6
/proc/1760/stat : 1760 (xcsp_picat) R 1757 1760 32730 0 -1 4202496 81986 0 0 0 2532 17 0 0 20 0 1 0 75067654 296660992 49136 33554432000 4194304 5849740 140729238162448 140729238161448 5307653 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 17281024 140729238164662 140729238164740 140729238164740 140729238167498 0
/proc/1760/statm: 72427 49136 751 405 0 69371 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 289708 KiB
Current children cumulated memory: 196544 KiB
[startup+51.1097 s]
/proc/loadavg: 2.05 2.04 2.05 3/191 1761
/proc/meminfo: memFree=19961216/32770624 swapFree=67108860/67108860
[pid=1760] ppid=1757 vsize=309432 memory=214148 CPUtime=51.1 cores=0,2,4,6
/proc/1760/stat : 1760 (xcsp_picat) R 1757 1760 32730 0 -1 4202496 103754 0 0 0 5080 30 0 0 20 0 1 0 75067654 316858368 53537 33554432000 4194304 5849740 140729238162448 140729238160936 5340205 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 17281024 140729238164662 140729238164740 140729238164740 140729238167498 0
/proc/1760/statm: 77358 53537 751 405 0 74302 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 309432 KiB
Current children cumulated memory: 214148 KiB
[startup+102.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/191 1822
/proc/meminfo: memFree=19429340/32770624 swapFree=67108860/67108860
[pid=1760] ppid=1757 vsize=247584 memory=154420 CPUtime=102.28 cores=0,2,4,6
/proc/1760/stat : 1760 (xcsp_picat) R 1757 1760 32730 0 -1 4202496 119339 0 0 0 10173 55 0 0 20 0 1 0 75067654 253526016 38605 33554432000 4194304 5849740 140729238162448 140729238161096 139999031250823 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 17281024 140729238164662 140729238164740 140729238164740 140729238167498 0
/proc/1760/statm: 61896 38605 751 405 0 58840 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 247584 KiB
Current children cumulated memory: 154420 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/192 1831
/proc/meminfo: memFree=19448436/32770624 swapFree=67108860/67108860
[pid=1760] ppid=1757 vsize=247584 memory=162112 CPUtime=162.28 cores=0,2,4,6
/proc/1760/stat : 1760 (xcsp_picat) R 1757 1760 32730 0 -1 4202496 120267 0 0 0 16149 79 0 0 20 0 1 0 75067654 253526016 40528 33554432000 4194304 5849740 140729238162448 140729238161448 139999031250823 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 17281024 140729238164662 140729238164740 140729238164740 140729238167498 0
/proc/1760/statm: 61896 40528 751 405 0 58840 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 247584 KiB
Current children cumulated memory: 162112 KiB
[startup+222.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/192 1832
/proc/meminfo: memFree=18923632/32770624 swapFree=67108860/67108860
[pid=1760] ppid=1757 vsize=247584 memory=162112 CPUtime=222.28 cores=0,2,4,6
/proc/1760/stat : 1760 (xcsp_picat) R 1757 1760 32730 0 -1 4202496 121357 0 0 0 22124 104 0 0 20 0 1 0 75067654 253526016 40528 33554432000 4194304 5849740 140729238162448 140729238161608 139999031250823 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 17281024 140729238164662 140729238164740 140729238164740 140729238167498 0
/proc/1760/statm: 61896 40528 751 405 0 58840 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 247584 KiB
Current children cumulated memory: 162112 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/191 1833
/proc/meminfo: memFree=19413960/32770624 swapFree=67108860/67108860
[pid=1760] ppid=1757 vsize=261800 memory=168592 CPUtime=282.27 cores=0,2,4,6
/proc/1760/stat : 1760 (xcsp_picat) R 1757 1760 32730 0 -1 4202496 122587 0 0 0 28102 125 0 0 20 0 1 0 75067654 268083200 42148 33554432000 4194304 5849740 140729238162448 140729238161448 5335579 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 17281024 140729238164662 140729238164740 140729238164740 140729238167498 0
/proc/1760/statm: 65450 42148 751 405 0 62394 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 261800 KiB
Current children cumulated memory: 168592 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/191 1834
/proc/meminfo: memFree=19430396/32770624 swapFree=67108860/67108860
[pid=1760] ppid=1757 vsize=272280 memory=178832 CPUtime=342.28 cores=0,2,4,6
/proc/1760/stat : 1760 (xcsp_picat) R 1757 1760 32730 0 -1 4202496 124810 0 0 0 34081 147 0 0 20 0 1 0 75067654 278814720 44708 33554432000 4194304 5849740 140729238162448 140729238161448 5438330 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 17281024 140729238164662 140729238164740 140729238164740 140729238167498 0
/proc/1760/statm: 68070 44708 751 405 0 65014 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 272280 KiB
Current children cumulated memory: 178832 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 1835
/proc/meminfo: memFree=19422056/32770624 swapFree=67108860/67108860
[pid=1760] ppid=1757 vsize=272944 memory=187224 CPUtime=402.28 cores=0,2,4,6
/proc/1760/stat : 1760 (xcsp_picat) R 1757 1760 32730 0 -1 4202496 127181 0 0 0 40064 164 0 0 20 0 1 0 75067654 279494656 46806 33554432000 4194304 5849740 140729238162448 140729238161448 5397364 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 17281024 140729238164662 140729238164740 140729238164740 140729238167498 0
/proc/1760/statm: 68236 46806 751 405 0 65180 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 272944 KiB
Current children cumulated memory: 187224 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 1837
/proc/meminfo: memFree=19411540/32770624 swapFree=67108860/67108860
[pid=1760] ppid=1757 vsize=280804 memory=195096 CPUtime=462.27 cores=0,2,4,6
/proc/1760/stat : 1760 (xcsp_picat) R 1757 1760 32730 0 -1 4202496 130264 0 0 0 46047 180 0 0 20 0 1 0 75067654 287543296 48774 33554432000 4194304 5849740 140729238162448 140729238161448 5437839 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 17281024 140729238164662 140729238164740 140729238164740 140729238167498 0
/proc/1760/statm: 70201 48774 751 405 0 67145 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 280804 KiB
Current children cumulated memory: 195096 KiB
################
# More data... #
################
/proc/1760/statm: 101871 80504 752 405 0 98815 0
Current children cumulated CPU time: 1722.26 s
Current children cumulated vsize: 407484 KiB
Current children cumulated memory: 322016 KiB
[startup+1782.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/191 1883
/proc/meminfo: memFree=19206652/32770624 swapFree=67108860/67108860
[pid=1760] ppid=1757 vsize=407484 memory=322016 CPUtime=1782.26 cores=0,2,4,6
/proc/1760/stat : 1760 (xcsp_picat) R 1757 1760 32730 0 -1 4202496 346148 0 0 0 177668 558 0 0 20 0 1 0 75067654 417263616 80504 33554432000 4194304 5849740 140729238162448 140729238161448 5437631 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 17281024 140729238164662 140729238164740 140729238164740 140729238167498 0
/proc/1760/statm: 101871 80504 752 405 0 98815 0
Current children cumulated CPU time: 1782.26 s
Current children cumulated vsize: 407484 KiB
Current children cumulated memory: 322016 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/191 1884
/proc/meminfo: memFree=19206508/32770624 swapFree=67108860/67108860
[pid=1760] ppid=1757 vsize=407484 memory=322016 CPUtime=1842.26 cores=0,2,4,6
/proc/1760/stat : 1760 (xcsp_picat) R 1757 1760 32730 0 -1 4202496 351025 0 0 0 183647 579 0 0 20 0 1 0 75067654 417263616 80504 33554432000 4194304 5849740 140729238162448 140729238161448 5438368 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 17281024 140729238164662 140729238164740 140729238164740 140729238167498 0
/proc/1760/statm: 101871 80504 752 405 0 98815 0
Current children cumulated CPU time: 1842.26 s
Current children cumulated vsize: 407484 KiB
Current children cumulated memory: 322016 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/191 1885
/proc/meminfo: memFree=19206484/32770624 swapFree=67108860/67108860
[pid=1760] ppid=1757 vsize=407484 memory=322016 CPUtime=1902.26 cores=0,2,4,6
/proc/1760/stat : 1760 (xcsp_picat) R 1757 1760 32730 0 -1 4202496 354353 0 0 0 189630 596 0 0 20 0 1 0 75067654 417263616 80504 33554432000 4194304 5849740 140729238162448 140729238161448 139999031250823 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 17281024 140729238164662 140729238164740 140729238164740 140729238167498 0
/proc/1760/statm: 101871 80504 752 405 0 98815 0
Current children cumulated CPU time: 1902.26 s
Current children cumulated vsize: 407484 KiB
Current children cumulated memory: 322016 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 1893
/proc/meminfo: memFree=19205060/32770624 swapFree=67108860/67108860
[pid=1760] ppid=1757 vsize=407484 memory=322016 CPUtime=1962.26 cores=0,2,4,6
/proc/1760/stat : 1760 (xcsp_picat) R 1757 1760 32730 0 -1 4202496 357681 0 0 0 195615 611 0 0 20 0 1 0 75067654 417263616 80504 33554432000 4194304 5849740 140729238162448 140729238161448 5353813 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 17281024 140729238164662 140729238164740 140729238164740 140729238167498 0
/proc/1760/statm: 101871 80504 752 405 0 98815 0
Current children cumulated CPU time: 1962.26 s
Current children cumulated vsize: 407484 KiB
Current children cumulated memory: 322016 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 1894
/proc/meminfo: memFree=19251544/32770624 swapFree=67108860/67108860
[pid=1760] ppid=1757 vsize=360632 memory=275292 CPUtime=2022.26 cores=0,2,4,6
/proc/1760/stat : 1760 (xcsp_picat) R 1757 1760 32730 0 -1 4202496 363852 0 0 0 201602 624 0 0 20 0 1 0 75067654 369287168 68823 33554432000 4194304 5849740 140729238162448 140729238161448 5437600 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 17281024 140729238164662 140729238164740 140729238164740 140729238167498 0
/proc/1760/statm: 90158 68823 752 405 0 87102 0
Current children cumulated CPU time: 2022.26 s
Current children cumulated vsize: 360632 KiB
Current children cumulated memory: 275292 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 1895
/proc/meminfo: memFree=19236096/32770624 swapFree=67108860/67108860
[pid=1760] ppid=1757 vsize=377016 memory=291548 CPUtime=2082.26 cores=0,2,4,6
/proc/1760/stat : 1760 (xcsp_picat) R 1757 1760 32730 0 -1 4202496 369931 0 0 0 207587 639 0 0 20 0 1 0 75067654 386064384 72887 33554432000 4194304 5849740 140729238162448 140729238161448 139999031250823 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 17281024 140729238164662 140729238164740 140729238164740 140729238167498 0
/proc/1760/statm: 94254 72887 752 405 0 91198 0
Current children cumulated CPU time: 2082.26 s
Current children cumulated vsize: 377016 KiB
Current children cumulated memory: 291548 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 1897
/proc/meminfo: memFree=19253044/32770624 swapFree=67108860/67108860
[pid=1760] ppid=1757 vsize=360636 memory=275296 CPUtime=2142.25 cores=0,2,4,6
/proc/1760/stat : 1760 (xcsp_picat) R 1757 1760 32730 0 -1 4202496 374895 0 0 0 213572 653 0 0 20 0 1 0 75067654 369291264 68824 33554432000 4194304 5849740 140729238162448 140729238161608 5437600 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 17281024 140729238164662 140729238164740 140729238164740 140729238167498 0
/proc/1760/statm: 90159 68824 752 405 0 87103 0
Current children cumulated CPU time: 2142.25 s
Current children cumulated vsize: 360636 KiB
Current children cumulated memory: 275296 KiB
[startup+2202.3 s]
/proc/loadavg: 2.16 2.05 2.06 3/191 1898
/proc/meminfo: memFree=19191052/32770624 swapFree=67108860/67108860
[pid=1760] ppid=1757 vsize=423488 memory=338020 CPUtime=2202.26 cores=0,2,4,6
/proc/1760/stat : 1760 (xcsp_picat) R 1757 1760 32730 0 -1 4202496 383408 0 0 0 219552 674 0 0 20 0 1 0 75067654 433651712 84505 33554432000 4194304 5849740 140729238162448 140729238161448 5438245 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 17281024 140729238164662 140729238164740 140729238164740 140729238167498 0
/proc/1760/statm: 105872 84505 752 405 0 102816 0
Current children cumulated CPU time: 2202.26 s
Current children cumulated vsize: 423488 KiB
Current children cumulated memory: 338020 KiB
[startup+2262.3 s]
/proc/loadavg: 2.41 2.16 2.09 3/191 1900
/proc/meminfo: memFree=19299220/32770624 swapFree=67108860/67108860
[pid=1760] ppid=1757 vsize=314336 memory=228996 CPUtime=2262.26 cores=0,2,4,6
/proc/1760/stat : 1760 (xcsp_picat) R 1757 1760 32730 0 -1 4202496 389283 0 0 0 225536 690 0 0 20 0 1 0 75067654 321880064 57249 33554432000 4194304 5849740 140729238162448 140729238161448 5438266 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 17281024 140729238164662 140729238164740 140729238164740 140729238167498 0
/proc/1760/statm: 78584 57249 752 405 0 75528 0
Current children cumulated CPU time: 2262.26 s
Current children cumulated vsize: 314336 KiB
Current children cumulated memory: 228996 KiB
[startup+2322.3 s]
/proc/loadavg: 2.15 2.13 2.09 3/192 1902
/proc/meminfo: memFree=19243232/32770624 swapFree=67108860/67108860
[pid=1760] ppid=1757 vsize=370624 memory=285156 CPUtime=2322.26 cores=0,2,4,6
/proc/1760/stat : 1760 (xcsp_picat) R 1757 1760 32730 0 -1 4202496 392850 0 0 0 231523 703 0 0 20 0 1 0 75067654 379518976 71289 33554432000 4194304 5849740 140729238162448 140729238161608 5437611 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 17281024 140729238164662 140729238164740 140729238164740 140729238167498 0
/proc/1760/statm: 92656 71289 752 405 0 89600 0
Current children cumulated CPU time: 2322.26 s
Current children cumulated vsize: 370624 KiB
Current children cumulated memory: 285156 KiB
[startup+2382.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/192 1903
/proc/meminfo: memFree=19195768/32770624 swapFree=67108860/67108860
[pid=1760] ppid=1757 vsize=418548 memory=333080 CPUtime=2382.25 cores=0,2,4,6
/proc/1760/stat : 1760 (xcsp_picat) R 1757 1760 32730 0 -1 4202496 397292 0 0 0 237507 718 0 0 20 0 1 0 75067654 428593152 83270 33554432000 4194304 5849740 140729238162448 140729238161448 5312874 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 17281024 140729238164662 140729238164740 140729238164740 140729238167498 0
/proc/1760/statm: 104637 83270 752 405 0 101581 0
Current children cumulated CPU time: 2382.25 s
Current children cumulated vsize: 418548 KiB
Current children cumulated memory: 333080 KiB
[startup+2442.3 s]
/proc/loadavg: 2.02 2.09 2.08 3/192 1905
/proc/meminfo: memFree=19168480/32770624 swapFree=67108860/67108860
[pid=1760] ppid=1757 vsize=446180 memory=360712 CPUtime=2442.25 cores=0,2,4,6
/proc/1760/stat : 1760 (xcsp_picat) R 1757 1760 32730 0 -1 4202496 404493 0 0 0 243492 733 0 0 20 0 1 0 75067654 456888320 90178 33554432000 4194304 5849740 140729238162448 140729238161448 5438192 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 17281024 140729238164662 140729238164740 140729238164740 140729238167498 0
/proc/1760/statm: 111545 90178 752 405 0 108489 0
Current children cumulated CPU time: 2442.25 s
Current children cumulated vsize: 446180 KiB
Current children cumulated memory: 360712 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/191 1906
/proc/meminfo: memFree=19148464/32770624 swapFree=67108860/67108860
[pid=1760] ppid=1757 vsize=464540 memory=379072 CPUtime=2502.25 cores=0,2,4,6
/proc/1760/stat : 1760 (xcsp_picat) R 1757 1760 32730 0 -1 4202496 410438 0 0 0 249479 746 0 0 20 0 1 0 75067654 475688960 94768 33554432000 4194304 5849740 140729238162448 140729238161448 5438075 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 17281024 140729238164662 140729238164740 140729238164740 140729238167498 0
/proc/1760/statm: 116135 94768 752 405 0 113079 0
Current children cumulated CPU time: 2502.25 s
Current children cumulated vsize: 464540 KiB
Current children cumulated memory: 379072 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.01 2.07 2.07 3/191 1907
/proc/meminfo: memFree=19172036/32770624 swapFree=67108860/67108860
[pid=1760] ppid=1757 vsize=440056 memory=354588 CPUtime=2519.96 cores=0,2,4,6
/proc/1760/stat : 1760 (xcsp_picat) R 1757 1760 32730 0 -1 4202496 411246 0 0 0 251246 750 0 0 20 0 1 0 75067654 450617344 88647 33554432000 4194304 5849740 140729238162448 140729238161448 139999031250823 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 17281024 140729238164662 140729238164740 140729238164740 140729238167498 0
/proc/1760/statm: 110014 88647 752 405 0 106958 0
Current children cumulated CPU time: 2519.96 s
Current children cumulated vsize: 440056 KiB
Current children cumulated memory: 354588 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 1760 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2512.46 s, system=7.51193 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.98
CPU user time (s): 2512.46
CPU system time (s): 7.51193
CPU usage (%): 99.9986
Max. virtual memory (cumulated for all children) (KiB): 502628
Max. memory (cumulated for all children) (KiB): 417160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.46
system time used= 7.51193
maximum resident set size= 417160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 411246
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= 23
involuntary context switches= 951
# summary of solver processes directly reported to runsolver:
# pid: 1760
# total CPU time (s): 2519.98
# total CPU user time (s): 2512.46
# total CPU system time (s): 7.51193
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4307 second user time and 17.9776 second system time
The end