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 (9403 MiB free)
memory of node 1: 16384 MiB (11940 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395707-1568348421/watcher-4395707-1568348421 -o /tmp/evaluation-result-4395707-1568348421/solver-4395707-1568348421 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568337054-3911 --watchdog 2560 xcsp_picat HOME/instance-4395707-1568348421.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6823, runsolver pid=6820
Current StackSize limit: 8192 KiB
[startup+0.100359 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 6824
/proc/meminfo: memFree=21826576/32770624 swapFree=66939828/67108860
[pid=6823] ppid=6820 vsize=2031716 memory=37240 CPUtime=0.1 cores=0,2,4,6
/proc/6823/stat : 6823 (xcsp_picat) R 6820 6823 3880 0 -1 4202496 1294 0 0 0 10 0 0 0 20 0 1 0 410757014 2080477184 9310 33554432000 4194304 5870510 140724251360304 140724251359608 4506715 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 24190976 140724251366431 140724251366509 140724251366509 140724251369418 0
/proc/6823/statm: 507929 9310 855 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 37240 KiB
[startup+0.209972 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 6824
/proc/meminfo: memFree=21806080/32770624 swapFree=66939828/67108860
[pid=6823] ppid=6820 vsize=2039532 memory=56400 CPUtime=0.21 cores=0,2,4,6
/proc/6823/stat : 6823 (xcsp_picat) R 6820 6823 3880 0 -1 4202496 1506 0 0 0 21 0 0 0 20 0 1 0 410757014 2088480768 14100 33554432000 4194304 5870510 140724251360304 140724251359608 4433198 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 24190976 140724251366431 140724251366509 140724251366509 140724251369418 0
/proc/6823/statm: 509883 14100 872 410 0 505356 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2039532 KiB
Current children cumulated memory: 56400 KiB
[startup+0.309845 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 6824
/proc/meminfo: memFree=21792676/32770624 swapFree=66939828/67108860
[pid=6823] ppid=6820 vsize=2039532 memory=67672 CPUtime=0.3 cores=0,2,4,6
/proc/6823/stat : 6823 (xcsp_picat) R 6820 6823 3880 0 -1 4202496 1794 0 0 0 30 0 0 0 20 0 1 0 410757014 2088480768 16918 33554432000 4194304 5870510 140724251360304 140724251359608 4493693 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 24190976 140724251366431 140724251366509 140724251366509 140724251369418 0
/proc/6823/statm: 509883 16918 892 410 0 505356 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2039532 KiB
Current children cumulated memory: 67672 KiB
[startup+0.700237 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 6824
/proc/meminfo: memFree=21762156/32770624 swapFree=66939828/67108860
[pid=6823] ppid=6820 vsize=2061228 memory=97780 CPUtime=0.69 cores=0,2,4,6
/proc/6823/stat : 6823 (xcsp_picat) R 6820 6823 3880 0 -1 4202496 5837 0 0 0 67 2 0 0 20 0 1 0 410757014 2110697472 24445 33554432000 4194304 5870510 140724251360304 140724251359464 140529177834352 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 24190976 140724251366431 140724251366509 140724251366509 140724251369418 0
/proc/6823/statm: 515307 24445 975 410 0 510780 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2061228 KiB
Current children cumulated memory: 97780 KiB
[startup+1.50025 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 6824
/proc/meminfo: memFree=21759316/32770624 swapFree=66939828/67108860
[pid=6823] ppid=6820 vsize=2064268 memory=103408 CPUtime=1.49 cores=0,2,4,6
/proc/6823/stat : 6823 (xcsp_picat) R 6820 6823 3880 0 -1 4202496 6888 0 0 0 145 4 0 0 20 0 1 0 410757014 2113810432 25852 33554432000 4194304 5870510 140724251360304 140724251359464 140529177834928 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 24190976 140724251366431 140724251366509 140724251366509 140724251369418 0
/proc/6823/statm: 516067 25852 975 410 0 511540 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2064268 KiB
Current children cumulated memory: 103408 KiB
[startup+3.10966 s]
/proc/loadavg: 2.08 2.03 2.05 3/199 6824
/proc/meminfo: memFree=21743252/32770624 swapFree=66939828/67108860
[pid=6823] ppid=6820 vsize=2075432 memory=111652 CPUtime=3.1 cores=0,2,4,6
/proc/6823/stat : 6823 (xcsp_picat) R 6820 6823 3880 0 -1 4202496 10152 0 0 0 304 6 0 0 20 0 1 0 410757014 2125242368 27913 33554432000 4194304 5870510 140724251360304 140724251359480 140529178283911 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 24190976 140724251366431 140724251366509 140724251366509 140724251369418 0
/proc/6823/statm: 518858 27913 975 410 0 514331 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2075432 KiB
Current children cumulated memory: 111652 KiB
[startup+6.30032 s]
/proc/loadavg: 2.08 2.03 2.05 3/199 6824
/proc/meminfo: memFree=21489428/32770624 swapFree=66939828/67108860
[pid=6823] ppid=6820 vsize=2324084 memory=362880 CPUtime=6.29 cores=0,2,4,6
/proc/6823/stat : 6823 (xcsp_picat) R 6820 6823 3880 0 -1 4202496 98210 0 0 0 607 22 0 0 20 0 1 0 410757014 2379862016 90720 33554432000 4194304 5870510 140724251360304 140724251359480 5337088 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 24190976 140724251366431 140724251366509 140724251366509 140724251369418 0
/proc/6823/statm: 581021 90720 984 410 0 576494 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2324084 KiB
Current children cumulated memory: 362880 KiB
[startup+12.7003 s]
/proc/loadavg: 2.07 2.03 2.05 3/199 6825
/proc/meminfo: memFree=21531472/32770624 swapFree=66939828/67108860
[pid=6823] ppid=6820 vsize=2305004 memory=334472 CPUtime=12.69 cores=0,2,4,6
/proc/6823/stat : 6823 (xcsp_picat) R 6820 6823 3880 0 -1 4202496 128329 0 0 0 1244 25 0 0 20 0 1 0 410757014 2360324096 83618 33554432000 4194304 5870510 140724251360304 140724251358664 5282295 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 24190976 140724251366431 140724251366509 140724251366509 140724251369418 0
/proc/6823/statm: 576251 83618 1007 410 0 571724 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2305004 KiB
Current children cumulated memory: 334472 KiB
[startup+25.5003 s]
/proc/loadavg: 2.06 2.03 2.05 3/200 6835
/proc/meminfo: memFree=21509044/32770624 swapFree=66939828/67108860
[pid=6823] ppid=6820 vsize=2305004 memory=336528 CPUtime=25.48 cores=0,2,4,6
/proc/6823/stat : 6823 (xcsp_picat) R 6820 6823 3880 0 -1 4202496 166941 0 0 0 2520 28 0 0 20 0 1 0 410757014 2360324096 84132 33554432000 4194304 5870510 140724251360304 140724251358664 140529183523311 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 24190976 140724251366431 140724251366509 140724251366509 140724251369418 0
/proc/6823/statm: 576251 84132 1007 410 0 571724 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2305004 KiB
Current children cumulated memory: 336528 KiB
[startup+51.1099 s]
/proc/loadavg: 2.04 2.03 2.05 3/200 6835
/proc/meminfo: memFree=21494292/32770624 swapFree=66939828/67108860
[pid=6823] ppid=6820 vsize=2305004 memory=344732 CPUtime=51.1 cores=0,2,4,6
/proc/6823/stat : 6823 (xcsp_picat) R 6820 6823 3880 0 -1 4202496 198433 0 0 0 5079 31 0 0 20 0 1 0 410757014 2360324096 86183 33554432000 4194304 5870510 140724251360304 140724251359416 5282778 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 24190976 140724251366431 140724251366509 140724251366509 140724251369418 0
/proc/6823/statm: 576251 86183 1008 410 0 571724 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2305004 KiB
Current children cumulated memory: 344732 KiB
[startup+102.3 s]
/proc/loadavg: 2.10 2.05 2.05 3/200 6900
/proc/meminfo: memFree=21647744/32770624 swapFree=66939828/67108860
[pid=6823] ppid=6820 vsize=2314456 memory=354384 CPUtime=102.26 cores=0,2,4,6
/proc/6823/stat : 6823 (xcsp_picat) R 6820 6823 3880 0 -1 4202496 260121 0 0 0 10187 39 0 0 20 0 1 0 410757014 2370002944 88596 33554432000 4194304 5870510 140724251360304 140724251358664 5288933 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 24190976 140724251366431 140724251366509 140724251366509 140724251369418 0
/proc/6823/statm: 578614 88596 1008 410 0 574087 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 2314456 KiB
Current children cumulated memory: 354384 KiB
[startup+162.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/201 6906
/proc/meminfo: memFree=21610748/32770624 swapFree=66939828/67108860
[pid=6823] ppid=6820 vsize=2324344 memory=361300 CPUtime=162.24 cores=0,2,4,6
/proc/6823/stat : 6823 (xcsp_picat) R 6820 6823 3880 0 -1 4202496 289208 0 0 0 16167 57 0 0 20 0 1 0 410757014 2380128256 90325 33554432000 4194304 5870510 140724251360304 140724251359416 140529183523280 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 24190976 140724251366431 140724251366509 140724251366509 140724251369418 0
/proc/6823/statm: 581086 90325 1015 410 0 576559 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 2324344 KiB
Current children cumulated memory: 361300 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/200 6910
/proc/meminfo: memFree=21606732/32770624 swapFree=66939828/67108860
[pid=6823] ppid=6820 vsize=2324344 memory=372824 CPUtime=222.24 cores=0,2,4,6
/proc/6823/stat : 6823 (xcsp_picat) R 6820 6823 3880 0 -1 4202496 292824 0 0 0 22163 61 0 0 20 0 1 0 410757014 2380128256 93206 33554432000 4194304 5870510 140724251360304 140724251359320 5258710 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 24190976 140724251366431 140724251366509 140724251366509 140724251369418 0
/proc/6823/statm: 581086 93206 1015 410 0 576559 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 2324344 KiB
Current children cumulated memory: 372824 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 6915
/proc/meminfo: memFree=21537260/32770624 swapFree=66939828/67108860
[pid=6823] ppid=6820 vsize=2408336 memory=425480 CPUtime=282.22 cores=0,2,4,6
/proc/6823/stat : 6823 (xcsp_picat) R 6820 6823 3880 0 -1 4202496 316982 0 0 0 28151 71 0 0 20 0 1 0 410757014 2466136064 106370 33554432000 4194304 5870510 140724251360304 140724251358792 5282747 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 24190976 140724251366431 140724251366509 140724251366509 140724251369418 0
/proc/6823/statm: 602084 106370 1015 410 0 597557 0
Current children cumulated CPU time: 282.22 s
Current children cumulated vsize: 2408336 KiB
Current children cumulated memory: 425480 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 6922
/proc/meminfo: memFree=21523200/32770624 swapFree=66939828/67108860
[pid=6823] ppid=6820 vsize=2408336 memory=433732 CPUtime=342.22 cores=0,2,4,6
/proc/6823/stat : 6823 (xcsp_picat) R 6820 6823 3880 0 -1 4202496 332158 0 0 0 34139 83 0 0 20 0 1 0 410757014 2466136064 108433 33554432000 4194304 5870510 140724251360304 140724251359320 5262902 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 24190976 140724251366431 140724251366509 140724251366509 140724251369418 0
/proc/6823/statm: 602084 108433 1015 410 0 597557 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 2408336 KiB
Current children cumulated memory: 433732 KiB
[startup+402.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/199 6926
/proc/meminfo: memFree=21496492/32770624 swapFree=66939828/67108860
[pid=6823] ppid=6820 vsize=2408336 memory=435208 CPUtime=402.22 cores=0,2,4,6
/proc/6823/stat : 6823 (xcsp_picat) R 6820 6823 3880 0 -1 4202496 366619 0 0 0 40127 95 0 0 20 0 1 0 410757014 2466136064 108802 33554432000 4194304 5870510 140724251360304 140724251359320 5288765 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 24190976 140724251366431 140724251366509 140724251366509 140724251369418 0
/proc/6823/statm: 602084 108802 1015 410 0 597557 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 2408336 KiB
Current children cumulated memory: 435208 KiB
[startup+462.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/199 6930
/proc/meminfo: memFree=21487416/32770624 swapFree=66939828/67108860
[pid=6823] ppid=6820 vsize=2412996 memory=423928 CPUtime=462.2 cores=0,2,4,6
/proc/6823/stat : 6823 (xcsp_picat) R 6820 6823 3880 0 -1 4202496 381393 0 0 0 46117 103 0 0 20 0 1 0 410757014 2470907904 105982 33554432000 4194304 5870510 140724251360304 140724251359320 5308383 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 24190976 140724251366431 140724251366509 140724251366509 140724251369418 0
/proc/6823/statm: 603249 105982 1015 410 0 598722 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 2412996 KiB
Current children cumulated memory: 423928 KiB
################
# More data... #
################
/proc/6823/statm: 607612 115663 1015 410 0 603085 0
Current children cumulated CPU time: 1602.05 s
Current children cumulated vsize: 2430448 KiB
Current children cumulated memory: 462652 KiB
[startup+1662.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/199 7040
/proc/meminfo: memFree=21433720/32770624 swapFree=66939828/67108860
[pid=6823] ppid=6820 vsize=2430448 memory=458580 CPUtime=1662.04 cores=0,2,4,6
/proc/6823/stat : 6823 (xcsp_picat) R 6820 6823 3880 0 -1 4202496 659662 0 0 0 165889 315 0 0 20 0 1 0 410757014 2488778752 114645 33554432000 4194304 5870510 140724251360304 140724251359320 5282295 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 24190976 140724251366431 140724251366509 140724251366509 140724251369418 0
/proc/6823/statm: 607612 114645 1015 410 0 603085 0
Current children cumulated CPU time: 1662.04 s
Current children cumulated vsize: 2430448 KiB
Current children cumulated memory: 458580 KiB
[startup+1722.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/199 7044
/proc/meminfo: memFree=21440000/32770624 swapFree=66939828/67108860
[pid=6823] ppid=6820 vsize=2430448 memory=441012 CPUtime=1722.04 cores=0,2,4,6
/proc/6823/stat : 6823 (xcsp_picat) R 6820 6823 3880 0 -1 4202496 661995 0 0 0 171881 323 0 0 20 0 1 0 410757014 2488778752 110253 33554432000 4194304 5870510 140724251360304 140724251359320 5283024 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 24190976 140724251366431 140724251366509 140724251366509 140724251369418 0
/proc/6823/statm: 607612 110253 1015 410 0 603085 0
Current children cumulated CPU time: 1722.04 s
Current children cumulated vsize: 2430448 KiB
Current children cumulated memory: 441012 KiB
[startup+1782.3 s]
/proc/loadavg: 2.04 2.07 2.07 3/200 7050
/proc/meminfo: memFree=21410860/32770624 swapFree=66939828/67108860
[pid=6823] ppid=6820 vsize=2430448 memory=463904 CPUtime=1782.03 cores=0,2,4,6
/proc/6823/stat : 6823 (xcsp_picat) R 6820 6823 3880 0 -1 4202496 678248 0 0 0 177871 332 0 0 20 0 1 0 410757014 2488778752 115976 33554432000 4194304 5870510 140724251360304 140724251359320 5308315 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 24190976 140724251366431 140724251366509 140724251366509 140724251369418 0
/proc/6823/statm: 607612 115976 1015 410 0 603085 0
Current children cumulated CPU time: 1782.03 s
Current children cumulated vsize: 2430448 KiB
Current children cumulated memory: 463904 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/201 7063
/proc/meminfo: memFree=21402460/32770624 swapFree=66939828/67108860
[pid=6823] ppid=6820 vsize=2430448 memory=455372 CPUtime=1842.02 cores=0,2,4,6
/proc/6823/stat : 6823 (xcsp_picat) R 6820 6823 3880 0 -1 4202496 693459 0 0 0 183860 342 0 0 20 0 1 0 410757014 2488778752 113843 33554432000 4194304 5870510 140724251360304 140724251359320 5282280 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 24190976 140724251366431 140724251366509 140724251366509 140724251369418 0
/proc/6823/statm: 607612 113843 1015 410 0 603085 0
Current children cumulated CPU time: 1842.02 s
Current children cumulated vsize: 2430448 KiB
Current children cumulated memory: 455372 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.05 2.06 3/201 7067
/proc/meminfo: memFree=21426384/32770624 swapFree=66939828/67108860
[pid=6823] ppid=6820 vsize=2438184 memory=450616 CPUtime=1902.02 cores=0,2,4,6
/proc/6823/stat : 6823 (xcsp_picat) R 6820 6823 3880 0 -1 4202496 699392 0 0 0 189848 354 0 0 20 0 1 0 410757014 2496700416 112654 33554432000 4194304 5870510 140724251360304 140724251359320 5282429 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 24190976 140724251366431 140724251366509 140724251366509 140724251369418 0
/proc/6823/statm: 609546 112654 1015 410 0 605019 0
Current children cumulated CPU time: 1902.02 s
Current children cumulated vsize: 2438184 KiB
Current children cumulated memory: 450616 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/202 7073
/proc/meminfo: memFree=21396856/32770624 swapFree=66939828/67108860
[pid=6823] ppid=6820 vsize=2438184 memory=457608 CPUtime=1962.01 cores=0,2,4,6
/proc/6823/stat : 6823 (xcsp_picat) R 6820 6823 3880 0 -1 4202496 715865 0 0 0 195837 364 0 0 20 0 1 0 410757014 2496700416 114402 33554432000 4194304 5870510 140724251360304 140724251359320 5282001 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 24190976 140724251366431 140724251366509 140724251366509 140724251369418 0
/proc/6823/statm: 609546 114402 1015 410 0 605019 0
Current children cumulated CPU time: 1962.01 s
Current children cumulated vsize: 2438184 KiB
Current children cumulated memory: 457608 KiB
[startup+2022.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/201 7077
/proc/meminfo: memFree=21386268/32770624 swapFree=66939828/67108860
[pid=6823] ppid=6820 vsize=2438184 memory=471944 CPUtime=2022 cores=0,2,4,6
/proc/6823/stat : 6823 (xcsp_picat) R 6820 6823 3880 0 -1 4202496 731590 0 0 0 201824 376 0 0 20 0 1 0 410757014 2496700416 117986 33554432000 4194304 5870510 140724251360304 140724251359320 5288842 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 24190976 140724251366431 140724251366509 140724251366509 140724251369418 0
/proc/6823/statm: 609546 117986 1015 410 0 605019 0
Current children cumulated CPU time: 2022 s
Current children cumulated vsize: 2438184 KiB
Current children cumulated memory: 471944 KiB
[startup+2082.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/201 7081
/proc/meminfo: memFree=21406400/32770624 swapFree=66939828/67108860
[pid=6823] ppid=6820 vsize=2438184 memory=462908 CPUtime=2081.98 cores=0,2,4,6
/proc/6823/stat : 6823 (xcsp_picat) R 6820 6823 3880 0 -1 4202496 736668 0 0 0 207808 390 0 0 20 0 1 0 410757014 2496700416 115727 33554432000 4194304 5870510 140724251360304 140724251359320 5262779 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 24190976 140724251366431 140724251366509 140724251366509 140724251369418 0
/proc/6823/statm: 609546 115727 1015 410 0 605019 0
Current children cumulated CPU time: 2081.98 s
Current children cumulated vsize: 2438184 KiB
Current children cumulated memory: 462908 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/200 7088
/proc/meminfo: memFree=21404416/32770624 swapFree=66939828/67108860
[pid=6823] ppid=6820 vsize=2438184 memory=465800 CPUtime=2141.98 cores=0,2,4,6
/proc/6823/stat : 6823 (xcsp_picat) R 6820 6823 3880 0 -1 4202496 753941 0 0 0 213797 401 0 0 20 0 1 0 410757014 2496700416 116450 33554432000 4194304 5870510 140724251360304 140724251359320 5282505 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 24190976 140724251366431 140724251366509 140724251366509 140724251369418 0
/proc/6823/statm: 609546 116450 1015 410 0 605019 0
Current children cumulated CPU time: 2141.98 s
Current children cumulated vsize: 2438184 KiB
Current children cumulated memory: 465800 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 7092
/proc/meminfo: memFree=21405732/32770624 swapFree=66939828/67108860
[pid=6823] ppid=6820 vsize=2438184 memory=448596 CPUtime=2201.97 cores=0,2,4,6
/proc/6823/stat : 6823 (xcsp_picat) R 6820 6823 3880 0 -1 4202496 771098 0 0 0 219782 415 0 0 20 0 1 0 410757014 2496700416 112149 33554432000 4194304 5870510 140724251360304 140724251359320 5282280 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 24190976 140724251366431 140724251366509 140724251366509 140724251369418 0
/proc/6823/statm: 609546 112149 1015 410 0 605019 0
Current children cumulated CPU time: 2201.97 s
Current children cumulated vsize: 2438184 KiB
Current children cumulated memory: 448596 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 7096
/proc/meminfo: memFree=21389604/32770624 swapFree=66939828/67108860
[pid=6823] ppid=6820 vsize=2438892 memory=456404 CPUtime=2261.96 cores=0,2,4,6
/proc/6823/stat : 6823 (xcsp_picat) R 6820 6823 3880 0 -1 4202496 774929 0 0 0 225772 424 0 0 20 0 1 0 410757014 2497425408 114101 33554432000 4194304 5870510 140724251360304 140724251359320 5282632 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 24190976 140724251366431 140724251366509 140724251366509 140724251369418 0
/proc/6823/statm: 609723 114101 1015 410 0 605196 0
Current children cumulated CPU time: 2261.96 s
Current children cumulated vsize: 2438892 KiB
Current children cumulated memory: 456404 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 7103
/proc/meminfo: memFree=21388996/32770624 swapFree=66939828/67108860
[pid=6823] ppid=6820 vsize=2438892 memory=464596 CPUtime=2321.95 cores=0,2,4,6
/proc/6823/stat : 6823 (xcsp_picat) R 6820 6823 3880 0 -1 4202496 791947 0 0 0 231764 431 0 0 20 0 1 0 410757014 2497425408 116149 33554432000 4194304 5870510 140724251360304 140724251359320 5308341 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 24190976 140724251366431 140724251366509 140724251366509 140724251369418 0
/proc/6823/statm: 609723 116149 1015 410 0 605196 0
Current children cumulated CPU time: 2321.95 s
Current children cumulated vsize: 2438892 KiB
Current children cumulated memory: 464596 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7107
/proc/meminfo: memFree=21369608/32770624 swapFree=66939828/67108860
[pid=6823] ppid=6820 vsize=2439524 memory=456076 CPUtime=2381.94 cores=0,2,4,6
/proc/6823/stat : 6823 (xcsp_picat) R 6820 6823 3880 0 -1 4202496 807446 0 0 0 237754 440 0 0 20 0 1 0 410757014 2498072576 114019 33554432000 4194304 5870510 140724251360304 140724251359320 5308368 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 24190976 140724251366431 140724251366509 140724251366509 140724251369418 0
/proc/6823/statm: 609881 114019 1015 410 0 605354 0
Current children cumulated CPU time: 2381.94 s
Current children cumulated vsize: 2439524 KiB
Current children cumulated memory: 456076 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7107
/proc/meminfo: memFree=21398408/32770624 swapFree=66939828/67108860
[pid=6823] ppid=6820 vsize=2441352 memory=454052 CPUtime=2400.04 cores=0,2,4,6
/proc/6823/stat : 6823 (xcsp_picat) R 6820 6823 3880 0 -1 4202496 810161 0 0 0 239562 442 0 0 20 0 1 0 410757014 2499944448 113513 33554432000 4194304 5870510 140724251360304 140724251359320 5308341 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 24190976 140724251366431 140724251366509 140724251366509 140724251369418 0
/proc/6823/statm: 610338 113513 1015 410 0 605811 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 2441352 KiB
Current children cumulated memory: 454052 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.41 s]
# the end of solver process 6823 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2395.63 s, system=4.43442 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): 2400.41
CPU time (s): 2400.06
CPU user time (s): 2395.63
CPU system time (s): 4.43442
CPU usage (%): 99.9854
Max. virtual memory (cumulated for all children) (KiB): 2649800
Max. memory (cumulated for all children) (KiB): 595976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.63
system time used= 4.43442
maximum resident set size= 608240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 810161
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= 61
involuntary context switches= 2187
# summary of solver processes directly reported to runsolver:
# pid: 6823
# total CPU time (s): 2400.06
# total CPU user time (s): 2395.63
# total CPU system time (s): 4.43442
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0933 second user time and 12.4288 second system time
The end