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 (9423 MiB free)
memory of node 1: 16384 MiB (12360 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395689-1568346020/watcher-4395689-1568346020 -o /tmp/evaluation-result-4395689-1568346020/solver-4395689-1568346020 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568337054-3911 --watchdog 2560 xcsp_picat HOME/instance-4395689-1568346020.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
Current StackSize limit: 8192 KiB
solver pid=6458, runsolver pid=6455
[startup+0.100114 s]*
/proc/loadavg: 2.00 2.03 2.05 3/200 6459
/proc/meminfo: memFree=22277432/32770624 swapFree=66939828/67108860
[pid=6458] ppid=6455 vsize=2031716 memory=33680 CPUtime=0.1 cores=0,2,4,6
/proc/6458/stat : 6458 (xcsp_picat) R 6455 6458 3880 0 -1 4202496 1448 0 0 0 10 0 0 0 20 0 1 0 410516864 2080477184 8420 33554432000 4194304 5870510 140725440338976 140725440336120 4495440 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 15630336 140725440341023 140725440341101 140725440341101 140725440344010 0
/proc/6458/statm: 507929 8420 835 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 33680 KiB
[startup+0.209739 s]*
/proc/loadavg: 2.00 2.03 2.05 3/200 6459
/proc/meminfo: memFree=22256280/32770624 swapFree=66939828/67108860
[pid=6458] ppid=6455 vsize=2039532 memory=56928 CPUtime=0.21 cores=0,2,4,6
/proc/6458/stat : 6458 (xcsp_picat) R 6455 6458 3880 0 -1 4202496 1660 0 0 0 20 1 0 0 20 0 1 0 410516864 2088480768 14232 33554432000 4194304 5870510 140725440338976 140725440338280 4442500 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 15630336 140725440341023 140725440341101 140725440341101 140725440344010 0
/proc/6458/statm: 509883 14232 872 410 0 505356 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2039532 KiB
Current children cumulated memory: 56928 KiB
[startup+0.309742 s]*
/proc/loadavg: 2.00 2.03 2.05 3/200 6459
/proc/meminfo: memFree=22242752/32770624 swapFree=66939828/67108860
[pid=6458] ppid=6455 vsize=2039532 memory=74588 CPUtime=0.31 cores=0,2,4,6
/proc/6458/stat : 6458 (xcsp_picat) R 6455 6458 3880 0 -1 4202496 1940 0 0 0 30 1 0 0 20 0 1 0 410516864 2088480768 18647 33554432000 4194304 5870510 140725440338976 140725440338280 5579232 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 15630336 140725440341023 140725440341101 140725440341101 140725440344010 0
/proc/6458/statm: 509883 18647 921 410 0 505356 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2039532 KiB
Current children cumulated memory: 74588 KiB
[startup+0.700237 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 6459
/proc/meminfo: memFree=22212232/32770624 swapFree=66939828/67108860
[pid=6458] ppid=6455 vsize=2061284 memory=100424 CPUtime=0.7 cores=0,2,4,6
/proc/6458/stat : 6458 (xcsp_picat) R 6455 6458 3880 0 -1 4202496 5989 0 0 0 67 3 0 0 20 0 1 0 410516864 2110754816 25106 33554432000 4194304 5870510 140725440338976 140725440338280 140650426454029 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 15630336 140725440341023 140725440341101 140725440341101 140725440344010 0
/proc/6458/statm: 515321 25106 976 410 0 510794 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 2061284 KiB
Current children cumulated memory: 100424 KiB
[startup+1.50025 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 6459
/proc/meminfo: memFree=22209628/32770624 swapFree=66939828/67108860
[pid=6458] ppid=6455 vsize=2064312 memory=106264 CPUtime=1.49 cores=0,2,4,6
/proc/6458/stat : 6458 (xcsp_picat) R 6455 6458 3880 0 -1 4202496 7142 0 0 0 145 4 0 0 20 0 1 0 410516864 2113855488 26566 33554432000 4194304 5870510 140725440338976 140725440338072 5558417 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 15630336 140725440341023 140725440341101 140725440341101 140725440344010 0
/proc/6458/statm: 516078 26566 976 410 0 511551 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2064312 KiB
Current children cumulated memory: 106264 KiB
[startup+3.10927 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 6460
/proc/meminfo: memFree=22203924/32770624 swapFree=66939828/67108860
[pid=6458] ppid=6455 vsize=2075404 memory=114180 CPUtime=3.1 cores=0,2,4,6
/proc/6458/stat : 6458 (xcsp_picat) R 6455 6458 3880 0 -1 4202496 10399 0 0 0 302 8 0 0 20 0 1 0 410516864 2125213696 28545 33554432000 4194304 5870510 140725440338976 140725440338072 5477456 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 15630336 140725440341023 140725440341101 140725440341101 140725440344010 0
/proc/6458/statm: 518851 28545 976 410 0 514324 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2075404 KiB
Current children cumulated memory: 114180 KiB
[startup+6.3003 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 6460
/proc/meminfo: memFree=21950968/32770624 swapFree=66939828/67108860
[pid=6458] ppid=6455 vsize=2324080 memory=364264 CPUtime=6.29 cores=0,2,4,6
/proc/6458/stat : 6458 (xcsp_picat) R 6455 6458 3880 0 -1 4202496 97823 0 0 0 606 23 0 0 20 0 1 0 410516864 2379857920 91066 33554432000 4194304 5870510 140725440338976 140725440337480 5337520 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 15630336 140725440341023 140725440341101 140725440341101 140725440344010 0
/proc/6458/statm: 581020 91066 985 410 0 576493 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2324080 KiB
Current children cumulated memory: 364264 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 6460
/proc/meminfo: memFree=21975348/32770624 swapFree=66939828/67108860
[pid=6458] ppid=6455 vsize=2304968 memory=336196 CPUtime=12.69 cores=0,2,4,6
/proc/6458/stat : 6458 (xcsp_picat) R 6455 6458 3880 0 -1 4202496 133145 0 0 0 1242 27 0 0 20 0 1 0 410516864 2360287232 84049 33554432000 4194304 5870510 140725440338976 140725440337336 5258783 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 15630336 140725440341023 140725440341101 140725440341101 140725440344010 0
/proc/6458/statm: 576242 84049 1008 410 0 571715 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2304968 KiB
Current children cumulated memory: 336196 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 6467
/proc/meminfo: memFree=21963744/32770624 swapFree=66939828/67108860
[pid=6458] ppid=6455 vsize=2304968 memory=338248 CPUtime=25.49 cores=0,2,4,6
/proc/6458/stat : 6458 (xcsp_picat) R 6455 6458 3880 0 -1 4202496 166802 0 0 0 2519 30 0 0 20 0 1 0 410516864 2360287232 84562 33554432000 4194304 5870510 140725440338976 140725440337336 5267727 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 15630336 140725440341023 140725440341101 140725440341101 140725440344010 0
/proc/6458/statm: 576242 84562 1008 410 0 571715 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2304968 KiB
Current children cumulated memory: 338248 KiB
[startup+51.1096 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 6469
/proc/meminfo: memFree=21950636/32770624 swapFree=66939828/67108860
[pid=6458] ppid=6455 vsize=2355056 memory=350544 CPUtime=51.09 cores=0,2,4,6
/proc/6458/stat : 6458 (xcsp_picat) R 6455 6458 3880 0 -1 4202496 199311 0 0 0 5078 31 0 0 20 0 1 0 410516864 2411577344 87636 33554432000 4194304 5870510 140725440338976 140725440337928 140650432124764 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 15630336 140725440341023 140725440341101 140725440341101 140725440344010 0
/proc/6458/statm: 588764 87636 1009 410 0 584237 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2355056 KiB
Current children cumulated memory: 350544 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 6536
/proc/meminfo: memFree=21657532/32770624 swapFree=66939828/67108860
[pid=6458] ppid=6455 vsize=2315912 memory=357464 CPUtime=102.27 cores=0,2,4,6
/proc/6458/stat : 6458 (xcsp_picat) R 6455 6458 3880 0 -1 4202496 265030 0 0 0 10188 39 0 0 20 0 1 0 410516864 2371493888 89366 33554432000 4194304 5870510 140725440338976 140725440337336 5282578 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 15630336 140725440341023 140725440341101 140725440341101 140725440344010 0
/proc/6458/statm: 578978 89366 1009 410 0 574451 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2315912 KiB
Current children cumulated memory: 357464 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 6540
/proc/meminfo: memFree=21635572/32770624 swapFree=66939828/67108860
[pid=6458] ppid=6455 vsize=2324308 memory=366604 CPUtime=162.24 cores=0,2,4,6
/proc/6458/stat : 6458 (xcsp_picat) R 6455 6458 3880 0 -1 4202496 289566 0 0 0 16167 57 0 0 20 0 1 0 410516864 2380091392 91651 33554432000 4194304 5870510 140725440338976 140725440338088 5288842 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 15630336 140725440341023 140725440341101 140725440341101 140725440344010 0
/proc/6458/statm: 581077 91651 1016 410 0 576550 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 2324308 KiB
Current children cumulated memory: 366604 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 6546
/proc/meminfo: memFree=21593088/32770624 swapFree=66939828/67108860
[pid=6458] ppid=6455 vsize=2377312 memory=390700 CPUtime=222.24 cores=0,2,4,6
/proc/6458/stat : 6458 (xcsp_picat) R 6455 6458 3880 0 -1 4202496 297010 0 0 0 22163 61 0 0 20 0 1 0 410516864 2434367488 97675 33554432000 4194304 5870510 140725440338976 140725440337336 5258758 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 15630336 140725440341023 140725440341101 140725440341101 140725440344010 0
/proc/6458/statm: 594328 97675 1016 410 0 589801 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 2377312 KiB
Current children cumulated memory: 390700 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 6550
/proc/meminfo: memFree=21542736/32770624 swapFree=66939828/67108860
[pid=6458] ppid=6455 vsize=2408248 memory=424492 CPUtime=282.23 cores=0,2,4,6
/proc/6458/stat : 6458 (xcsp_picat) R 6455 6458 3880 0 -1 4202496 308979 0 0 0 28152 71 0 0 20 0 1 0 410516864 2466045952 106123 33554432000 4194304 5870510 140725440338976 140725440337544 5283024 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 15630336 140725440341023 140725440341101 140725440341101 140725440344010 0
/proc/6458/statm: 602062 106123 1016 410 0 597535 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 2408248 KiB
Current children cumulated memory: 424492 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 6554
/proc/meminfo: memFree=21470188/32770624 swapFree=66939828/67108860
[pid=6458] ppid=6455 vsize=2490188 memory=472584 CPUtime=342.23 cores=0,2,4,6
/proc/6458/stat : 6458 (xcsp_picat) R 6455 6458 3880 0 -1 4202496 325947 0 0 0 34138 85 0 0 20 0 1 0 410516864 2549952512 118146 33554432000 4194304 5870510 140725440338976 140725440337336 5262692 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 15630336 140725440341023 140725440341101 140725440341101 140725440344010 0
/proc/6458/statm: 622547 118146 1016 410 0 618020 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 2490188 KiB
Current children cumulated memory: 472584 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 6560
/proc/meminfo: memFree=21575992/32770624 swapFree=66939828/67108860
[pid=6458] ppid=6455 vsize=2412528 memory=421772 CPUtime=402.23 cores=0,2,4,6
/proc/6458/stat : 6458 (xcsp_picat) R 6455 6458 3880 0 -1 4202496 346845 0 0 0 40123 100 0 0 20 0 1 0 410516864 2470428672 105443 33554432000 4194304 5870510 140725440338976 140725440337992 5283106 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 15630336 140725440341023 140725440341101 140725440341101 140725440344010 0
/proc/6458/statm: 603132 105443 1016 410 0 598605 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 2412528 KiB
Current children cumulated memory: 421772 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 6564
/proc/meminfo: memFree=21489828/32770624 swapFree=66939828/67108860
[pid=6458] ppid=6455 vsize=2496240 memory=488328 CPUtime=462.23 cores=0,2,4,6
/proc/6458/stat : 6458 (xcsp_picat) R 6455 6458 3880 0 -1 4202496 350960 0 0 0 46114 109 0 0 20 0 1 0 410516864 2556149760 122082 33554432000 4194304 5870510 140725440338976 140725440337928 5277088 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 15630336 140725440341023 140725440341101 140725440341101 140725440344010 0
/proc/6458/statm: 624060 122082 1016 410 0 619533 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 2496240 KiB
Current children cumulated memory: 488328 KiB
################
# More data... #
################
/proc/6458/statm: 603833 104673 1016 410 0 599306 0
Current children cumulated CPU time: 1602.19 s
Current children cumulated vsize: 2415332 KiB
Current children cumulated memory: 418692 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 6697
/proc/meminfo: memFree=21475656/32770624 swapFree=66939828/67108860
[pid=6458] ppid=6455 vsize=2417200 memory=420956 CPUtime=1662.19 cores=0,2,4,6
/proc/6458/stat : 6458 (xcsp_picat) R 6455 6458 3880 0 -1 4202496 720861 0 0 0 165868 351 0 0 20 0 1 0 410516864 2475212800 105239 33554432000 4194304 5870510 140725440338976 140725440337992 140650432123948 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15630336 140725440341023 140725440341101 140725440341101 140725440344010 0
/proc/6458/statm: 604300 105239 1016 410 0 599773 0
Current children cumulated CPU time: 1662.19 s
Current children cumulated vsize: 2417200 KiB
Current children cumulated memory: 420956 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 6701
/proc/meminfo: memFree=21472268/32770624 swapFree=66939828/67108860
[pid=6458] ppid=6455 vsize=2417200 memory=436496 CPUtime=1722.19 cores=0,2,4,6
/proc/6458/stat : 6458 (xcsp_picat) R 6455 6458 3880 0 -1 4202496 747490 0 0 0 171858 361 0 0 20 0 1 0 410516864 2475212800 109124 33554432000 4194304 5870510 140725440338976 140725440337992 5283106 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15630336 140725440341023 140725440341101 140725440341101 140725440344010 0
/proc/6458/statm: 604300 109124 1016 410 0 599773 0
Current children cumulated CPU time: 1722.19 s
Current children cumulated vsize: 2417200 KiB
Current children cumulated memory: 436496 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 6705
/proc/meminfo: memFree=21455328/32770624 swapFree=66939828/67108860
[pid=6458] ppid=6455 vsize=2419324 memory=429736 CPUtime=1782.19 cores=0,2,4,6
/proc/6458/stat : 6458 (xcsp_picat) R 6455 6458 3880 0 -1 4202496 775698 0 0 0 177847 372 0 0 20 0 1 0 410516864 2477387776 107434 33554432000 4194304 5870510 140725440338976 140725440337992 5262742 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15630336 140725440341023 140725440341101 140725440341101 140725440344010 0
/proc/6458/statm: 604831 107434 1016 410 0 600304 0
Current children cumulated CPU time: 1782.19 s
Current children cumulated vsize: 2419324 KiB
Current children cumulated memory: 429736 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 6719
/proc/meminfo: memFree=21457120/32770624 swapFree=66939828/67108860
[pid=6458] ppid=6455 vsize=2426052 memory=440388 CPUtime=1842.19 cores=0,2,4,6
/proc/6458/stat : 6458 (xcsp_picat) R 6455 6458 3880 0 -1 4202496 805619 0 0 0 183834 385 0 0 20 0 1 0 410516864 2484277248 110097 33554432000 4194304 5870510 140725440338976 140725440337336 5263036 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15630336 140725440341023 140725440341101 140725440341101 140725440344010 0
/proc/6458/statm: 606513 110097 1016 410 0 601986 0
Current children cumulated CPU time: 1842.19 s
Current children cumulated vsize: 2426052 KiB
Current children cumulated memory: 440388 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 6723
/proc/meminfo: memFree=21400404/32770624 swapFree=66939828/67108860
[pid=6458] ppid=6455 vsize=2432660 memory=448640 CPUtime=1902.19 cores=0,2,4,6
/proc/6458/stat : 6458 (xcsp_picat) R 6455 6458 3880 0 -1 4202496 810309 0 0 0 189824 395 0 0 20 0 1 0 410516864 2491043840 112160 33554432000 4194304 5870510 140725440338976 140725440337992 5262802 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15630336 140725440341023 140725440341101 140725440341101 140725440344010 0
/proc/6458/statm: 608165 112160 1016 410 0 603638 0
Current children cumulated CPU time: 1902.19 s
Current children cumulated vsize: 2432660 KiB
Current children cumulated memory: 448640 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 6727
/proc/meminfo: memFree=21368008/32770624 swapFree=66939828/67108860
[pid=6458] ppid=6455 vsize=2432660 memory=458880 CPUtime=1962.18 cores=0,2,4,6
/proc/6458/stat : 6458 (xcsp_picat) R 6455 6458 3880 0 -1 4202496 837727 0 0 0 195815 403 0 0 20 0 1 0 410516864 2491043840 114720 33554432000 4194304 5870510 140725440338976 140725440337992 5281827 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15630336 140725440341023 140725440341101 140725440341101 140725440344010 0
/proc/6458/statm: 608165 114720 1016 410 0 603638 0
Current children cumulated CPU time: 1962.18 s
Current children cumulated vsize: 2432660 KiB
Current children cumulated memory: 458880 KiB
[startup+2022.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/201 6733
/proc/meminfo: memFree=21442748/32770624 swapFree=66939828/67108860
[pid=6458] ppid=6455 vsize=2432660 memory=441292 CPUtime=2022.18 cores=0,2,4,6
/proc/6458/stat : 6458 (xcsp_picat) R 6455 6458 3880 0 -1 4202496 866371 0 0 0 201801 417 0 0 20 0 1 0 410516864 2491043840 110323 33554432000 4194304 5870510 140725440338976 140725440337992 5281763 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15630336 140725440341023 140725440341101 140725440341101 140725440344010 0
/proc/6458/statm: 608165 110323 1016 410 0 603638 0
Current children cumulated CPU time: 2022.18 s
Current children cumulated vsize: 2432660 KiB
Current children cumulated memory: 441292 KiB
[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/200 6737
/proc/meminfo: memFree=21319488/32770624 swapFree=66939828/67108860
[pid=6458] ppid=6455 vsize=2433736 memory=461072 CPUtime=2082.18 cores=0,2,4,6
/proc/6458/stat : 6458 (xcsp_picat) R 6455 6458 3880 0 -1 4202496 871158 0 0 0 207795 423 0 0 20 0 1 0 410516864 2492145664 115268 33554432000 4194304 5870510 140725440338976 140725440337336 5282578 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15630336 140725440341023 140725440341101 140725440341101 140725440344010 0
/proc/6458/statm: 608434 115268 1016 410 0 603907 0
Current children cumulated CPU time: 2082.18 s
Current children cumulated vsize: 2433736 KiB
Current children cumulated memory: 461072 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 6741
/proc/meminfo: memFree=21411360/32770624 swapFree=66939828/67108860
[pid=6458] ppid=6455 vsize=2442180 memory=459356 CPUtime=2142.18 cores=0,2,4,6
/proc/6458/stat : 6458 (xcsp_picat) R 6455 6458 3880 0 -1 4202496 903725 0 0 0 213784 434 0 0 20 0 1 0 410516864 2500792320 114839 33554432000 4194304 5870510 140725440338976 140725440337992 5262639 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15630336 140725440341023 140725440341101 140725440341101 140725440344010 0
/proc/6458/statm: 610545 114839 1016 410 0 606018 0
Current children cumulated CPU time: 2142.18 s
Current children cumulated vsize: 2442180 KiB
Current children cumulated memory: 459356 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 6747
/proc/meminfo: memFree=21400880/32770624 swapFree=66939828/67108860
[pid=6458] ppid=6455 vsize=2442180 memory=469596 CPUtime=2202.18 cores=0,2,4,6
/proc/6458/stat : 6458 (xcsp_picat) R 6455 6458 3880 0 -1 4202496 931993 0 0 0 219772 446 0 0 20 0 1 0 410516864 2500792320 117399 33554432000 4194304 5870510 140725440338976 140725440337992 5282578 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15630336 140725440341023 140725440341101 140725440341101 140725440344010 0
/proc/6458/statm: 610545 117399 1016 410 0 606018 0
Current children cumulated CPU time: 2202.18 s
Current children cumulated vsize: 2442180 KiB
Current children cumulated memory: 469596 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 6752
/proc/meminfo: memFree=21416100/32770624 swapFree=66939828/67108860
[pid=6458] ppid=6455 vsize=2442180 memory=447068 CPUtime=2262.18 cores=0,2,4,6
/proc/6458/stat : 6458 (xcsp_picat) R 6455 6458 3880 0 -1 4202496 937623 0 0 0 225761 457 0 0 20 0 1 0 410516864 2500792320 111767 33554432000 4194304 5870510 140725440338976 140725440337992 5262976 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15630336 140725440341023 140725440341101 140725440341101 140725440344010 0
/proc/6458/statm: 610545 111767 1016 410 0 606018 0
Current children cumulated CPU time: 2262.18 s
Current children cumulated vsize: 2442180 KiB
Current children cumulated memory: 447068 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 6756
/proc/meminfo: memFree=21410560/32770624 swapFree=66939828/67108860
[pid=6458] ppid=6455 vsize=2442180 memory=456464 CPUtime=2322.17 cores=0,2,4,6
/proc/6458/stat : 6458 (xcsp_picat) R 6455 6458 3880 0 -1 4202496 967385 0 0 0 231748 469 0 0 20 0 1 0 410516864 2500792320 114116 33554432000 4194304 5870510 140725440338976 140725440337992 5308364 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15630336 140725440341023 140725440341101 140725440341101 140725440344010 0
/proc/6458/statm: 610545 114116 1016 410 0 606018 0
Current children cumulated CPU time: 2322.17 s
Current children cumulated vsize: 2442180 KiB
Current children cumulated memory: 456464 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 6762
/proc/meminfo: memFree=21416624/32770624 swapFree=66939828/67108860
[pid=6458] ppid=6455 vsize=2442180 memory=465500 CPUtime=2382.17 cores=0,2,4,6
/proc/6458/stat : 6458 (xcsp_picat) R 6455 6458 3880 0 -1 4202496 996488 0 0 0 237739 478 0 0 20 0 1 0 410516864 2500792320 116375 33554432000 4194304 5870510 140725440338976 140725440337992 5272990 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15630336 140725440341023 140725440341101 140725440341101 140725440344010 0
/proc/6458/statm: 610545 116375 1016 410 0 606018 0
Current children cumulated CPU time: 2382.17 s
Current children cumulated vsize: 2442180 KiB
Current children cumulated memory: 465500 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 6762
/proc/meminfo: memFree=21411548/32770624 swapFree=66939828/67108860
[pid=6458] ppid=6455 vsize=2449900 memory=467612 CPUtime=2400.07 cores=0,2,4,6
/proc/6458/stat : 6458 (xcsp_picat) R 6455 6458 3880 0 -1 4202496 1002953 0 0 0 239524 483 0 0 20 0 1 0 410516864 2508697600 116903 33554432000 4194304 5870510 140725440338976 140725440337992 5258758 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15630336 140725440341023 140725440341101 140725440341101 140725440344010 0
/proc/6458/statm: 612475 116903 1016 410 0 607948 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 2449900 KiB
Current children cumulated memory: 467612 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.21 s]
# the end of solver process 6458 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2395.25 s, system=4.8478 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.21
CPU time (s): 2400.1
CPU user time (s): 2395.25
CPU system time (s): 4.8478
CPU usage (%): 99.995
Max. virtual memory (cumulated for all children) (KiB): 2660012
Max. memory (cumulated for all children) (KiB): 674308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.25
system time used= 4.8478
maximum resident set size= 674308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1002953
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= 37
involuntary context switches= 3170
# summary of solver processes directly reported to runsolver:
# pid: 6458
# total CPU time (s): 2400.1
# total CPU user time (s): 2395.25
# total CPU system time (s): 4.8478
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0688 second user time and 17.3775 second system time
The end