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 (6856 MiB free)
memory of node 1: 16384 MiB (11109 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309525-1534300800/watcher-4309525-1534300800 -o /tmp/evaluation-result-4309525-1534300800/solver-4309525-1534300800 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534293054-21341 --watchdog 2580 xcsp_picat HOME/instance-4309525-1534300800.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
solver pid=22293, runsolver pid=22290
Current StackSize limit: 8192 KiB
[startup+0.100168 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 22294
/proc/meminfo: memFree=18382844/32770624 swapFree=67108792/67108860
[pid=22293] ppid=22290 vsize=2028808 memory=17056 CPUtime=0.1 cores=1,3,5,7
/proc/22293/stat : 22293 (xcsp_picat) R 22290 22293 21309 0 -1 4202496 2970 0 0 0 10 0 0 0 20 0 1 0 247643253 2077499392 4264 33554432000 4194304 5849940 140720637583136 140720637583136 5361948 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 43507712 140720637584566 140720637584644 140720637584644 140720637587402 0
/proc/22293/statm: 507202 4264 669 405 0 504146 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2028808 KiB
Current children cumulated memory: 17056 KiB
[startup+0.20966 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 22294
/proc/meminfo: memFree=18382500/32770624 swapFree=67108792/67108860
[pid=22293] ppid=22290 vsize=2029564 memory=17480 CPUtime=0.2 cores=1,3,5,7
/proc/22293/stat : 22293 (xcsp_picat) R 22290 22293 21309 0 -1 4202496 3147 0 0 0 20 0 0 0 20 0 1 0 247643253 2078273536 4370 33554432000 4194304 5849940 140720637583136 140720637581624 5309842 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 43507712 140720637584566 140720637584644 140720637584644 140720637587402 0
/proc/22293/statm: 507391 4370 678 405 0 504335 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2029564 KiB
Current children cumulated memory: 17480 KiB
[startup+0.308949 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 22294
/proc/meminfo: memFree=18382500/32770624 swapFree=67108792/67108860
[pid=22293] ppid=22290 vsize=2029564 memory=17480 CPUtime=0.3 cores=1,3,5,7
/proc/22293/stat : 22293 (xcsp_picat) R 22290 22293 21309 0 -1 4202496 3147 0 0 0 30 0 0 0 20 0 1 0 247643253 2078273536 4370 33554432000 4194304 5849940 140720637583136 140720637581624 5309062 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 43507712 140720637584566 140720637584644 140720637584644 140720637587402 0
/proc/22293/statm: 507391 4370 678 405 0 504335 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2029564 KiB
Current children cumulated memory: 17480 KiB
[startup+0.700308 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22294
/proc/meminfo: memFree=18382500/32770624 swapFree=67108792/67108860
[pid=22293] ppid=22290 vsize=2029876 memory=17912 CPUtime=0.69 cores=1,3,5,7
/proc/22293/stat : 22293 (xcsp_picat) R 22290 22293 21309 0 -1 4202496 3968 0 0 0 69 0 0 0 20 0 1 0 247643253 2078593024 4478 33554432000 4194304 5849940 140720637583136 140720637581624 4225486 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 43507712 140720637584566 140720637584644 140720637584644 140720637587402 0
/proc/22293/statm: 507469 4478 692 405 0 504413 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2029876 KiB
Current children cumulated memory: 17912 KiB
[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22294
/proc/meminfo: memFree=18382128/32770624 swapFree=67108792/67108860
[pid=22293] ppid=22290 vsize=2029876 memory=18068 CPUtime=1.49 cores=1,3,5,7
/proc/22293/stat : 22293 (xcsp_picat) R 22290 22293 21309 0 -1 4202496 4985 0 0 0 148 1 0 0 20 0 1 0 247643253 2078593024 4517 33554432000 4194304 5849940 140720637583136 140720637582136 5309859 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 43507712 140720637584566 140720637584644 140720637584644 140720637587402 0
/proc/22293/statm: 507469 4517 692 405 0 504413 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2029876 KiB
Current children cumulated memory: 18068 KiB
[startup+3.10929 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22301
/proc/meminfo: memFree=18380592/32770624 swapFree=67108792/67108860
[pid=22293] ppid=22290 vsize=2030176 memory=18200 CPUtime=3.09 cores=1,3,5,7
/proc/22293/stat : 22293 (xcsp_picat) R 22290 22293 21309 0 -1 4202496 6881 0 0 0 308 1 0 0 20 0 1 0 247643253 2078900224 4550 33554432000 4194304 5849940 140720637583136 140720637582008 140019206512519 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 43507712 140720637584566 140720637584644 140720637584644 140720637587402 0
/proc/22293/statm: 507544 4550 694 405 0 504488 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2030176 KiB
Current children cumulated memory: 18200 KiB
[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22301
/proc/meminfo: memFree=18378060/32770624 swapFree=67108792/67108860
[pid=22293] ppid=22290 vsize=2032920 memory=21156 CPUtime=6.29 cores=1,3,5,7
/proc/22293/stat : 22293 (xcsp_picat) R 22290 22293 21309 0 -1 4202496 10081 0 0 0 623 6 0 0 20 0 1 0 247643253 2081710080 5289 33554432000 4194304 5849940 140720637583136 140720637582136 5308485 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 43507712 140720637584566 140720637584644 140720637584644 140720637587402 0
/proc/22293/statm: 508230 5289 694 405 0 505174 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2032920 KiB
Current children cumulated memory: 21156 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22301
/proc/meminfo: memFree=18371252/32770624 swapFree=67108792/67108860
[pid=22293] ppid=22290 vsize=2042792 memory=30840 CPUtime=12.69 cores=1,3,5,7
/proc/22293/stat : 22293 (xcsp_picat) R 22290 22293 21309 0 -1 4202496 17362 0 0 0 1255 14 0 0 20 0 1 0 247643253 2091819008 7710 33554432000 4194304 5849940 140720637583136 140720637582136 140019206512519 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 43507712 140720637584566 140720637584644 140720637584644 140720637587402 0
/proc/22293/statm: 510698 7710 694 405 0 507642 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2042792 KiB
Current children cumulated memory: 30840 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22301
/proc/meminfo: memFree=18365544/32770624 swapFree=67108792/67108860
[pid=22293] ppid=22290 vsize=2042016 memory=30008 CPUtime=25.48 cores=1,3,5,7
/proc/22293/stat : 22293 (xcsp_picat) R 22290 22293 21309 0 -1 4202496 32081 0 0 0 2520 28 0 0 20 0 1 0 247643253 2091024384 7502 33554432000 4194304 5849940 140720637583136 140720637582136 140019206512519 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 43507712 140720637584566 140720637584644 140720637584644 140720637587402 0
/proc/22293/statm: 510504 7502 694 405 0 507448 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2042016 KiB
Current children cumulated memory: 30008 KiB
[startup+51.1096 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22301
/proc/meminfo: memFree=18341548/32770624 swapFree=67108792/67108860
[pid=22293] ppid=22290 vsize=2068408 memory=56528 CPUtime=51.09 cores=1,3,5,7
/proc/22293/stat : 22293 (xcsp_picat) R 22290 22293 21309 0 -1 4202496 64261 0 0 0 5049 60 0 0 20 0 1 0 247643253 2118049792 14132 33554432000 4194304 5849940 140720637583136 140720637582136 5312771 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 43507712 140720637584566 140720637584644 140720637584644 140720637587402 0
/proc/22293/statm: 517102 14132 694 405 0 514046 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2068408 KiB
Current children cumulated memory: 56528 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22302
/proc/meminfo: memFree=18352248/32770624 swapFree=67108792/67108860
[pid=22293] ppid=22290 vsize=2059808 memory=47916 CPUtime=102.28 cores=1,3,5,7
/proc/22293/stat : 22293 (xcsp_picat) R 22290 22293 21309 0 -1 4202496 99376 0 0 0 10110 118 0 0 20 0 1 0 247643253 2109243392 11979 33554432000 4194304 5849940 140720637583136 140720637582136 140019206512519 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 43507712 140720637584566 140720637584644 140720637584644 140720637587402 0
/proc/22293/statm: 514952 11979 694 405 0 511896 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2059808 KiB
Current children cumulated memory: 47916 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22303
/proc/meminfo: memFree=18265608/32770624 swapFree=67108792/67108860
[pid=22293] ppid=22290 vsize=2145596 memory=133792 CPUtime=162.28 cores=1,3,5,7
/proc/22293/stat : 22293 (xcsp_picat) R 22290 22293 21309 0 -1 4202496 148718 0 0 0 16056 172 0 0 20 0 1 0 247643253 2197090304 33448 33554432000 4194304 5849940 140720637583136 140720637582136 140019206512519 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 43507712 140720637584566 140720637584644 140720637584644 140720637587402 0
/proc/22293/statm: 536399 33448 694 405 0 533343 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2145596 KiB
Current children cumulated memory: 133792 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22304
/proc/meminfo: memFree=18235100/32770624 swapFree=67108792/67108860
[pid=22293] ppid=22290 vsize=2175692 memory=163776 CPUtime=222.28 cores=1,3,5,7
/proc/22293/stat : 22293 (xcsp_picat) R 22290 22293 21309 0 -1 4202496 166428 0 0 0 22022 206 0 0 20 0 1 0 247643253 2227908608 40944 33554432000 4194304 5849940 140720637583136 140720637582136 140019206512519 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 43507712 140720637584566 140720637584644 140720637584644 140720637587402 0
/proc/22293/statm: 543923 40944 694 405 0 540867 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2175692 KiB
Current children cumulated memory: 163776 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22305
/proc/meminfo: memFree=18241124/32770624 swapFree=67108792/67108860
[pid=22293] ppid=22290 vsize=2185452 memory=173536 CPUtime=282.28 cores=1,3,5,7
/proc/22293/stat : 22293 (xcsp_picat) R 22290 22293 21309 0 -1 4202496 211716 0 0 0 27987 241 0 0 20 0 1 0 247643253 2237902848 43384 33554432000 4194304 5849940 140720637583136 140720637582136 140019206512519 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 43507712 140720637584566 140720637584644 140720637584644 140720637587402 0
/proc/22293/statm: 546363 43384 694 405 0 543307 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2185452 KiB
Current children cumulated memory: 173536 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22306
/proc/meminfo: memFree=18149900/32770624 swapFree=67108792/67108860
[pid=22293] ppid=22290 vsize=2259316 memory=247300 CPUtime=342.27 cores=1,3,5,7
/proc/22293/stat : 22293 (xcsp_picat) R 22290 22293 21309 0 -1 4202496 219363 0 0 0 33967 260 0 0 20 0 1 0 247643253 2313539584 61825 33554432000 4194304 5849940 140720637583136 140720637582008 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 43507712 140720637584566 140720637584644 140720637584644 140720637587402 0
/proc/22293/statm: 564829 61825 694 405 0 561773 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 2259316 KiB
Current children cumulated memory: 247300 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22307
/proc/meminfo: memFree=18088068/32770624 swapFree=67108792/67108860
[pid=22293] ppid=22290 vsize=2320380 memory=308616 CPUtime=402.27 cores=1,3,5,7
/proc/22293/stat : 22293 (xcsp_picat) R 22290 22293 21309 0 -1 4202496 247545 0 0 0 39947 280 0 0 20 0 1 0 247643253 2376069120 77154 33554432000 4194304 5849940 140720637583136 140720637582136 140019206512519 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 43507712 140720637584566 140720637584644 140720637584644 140720637587402 0
/proc/22293/statm: 580095 77154 694 405 0 577039 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2320380 KiB
Current children cumulated memory: 308616 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22308
/proc/meminfo: memFree=18200156/32770624 swapFree=67108792/67108860
[pid=22293] ppid=22290 vsize=2209384 memory=197444 CPUtime=462.27 cores=1,3,5,7
/proc/22293/stat : 22293 (xcsp_picat) R 22290 22293 21309 0 -1 4202496 267413 0 0 0 45925 302 0 0 20 0 1 0 247643253 2262409216 49361 33554432000 4194304 5849940 140720637583136 140720637582136 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 43507712 140720637584566 140720637584644 140720637584644 140720637587402 0
/proc/22293/statm: 552346 49361 694 405 0 549290 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2209384 KiB
Current children cumulated memory: 197444 KiB
################
# More data... #
################
/proc/22293/statm: 613330 111392 694 405 0 610274 0
Current children cumulated CPU time: 1722.17 s
Current children cumulated vsize: 2453320 KiB
Current children cumulated memory: 445568 KiB
[startup+1782.3 s]
/proc/loadavg: 2.38 2.15 2.09 3/187 22433
/proc/meminfo: memFree=17480708/32770624 swapFree=67108792/67108860
[pid=22293] ppid=22290 vsize=2476224 memory=468472 CPUtime=1782.17 cores=1,3,5,7
/proc/22293/stat : 22293 (xcsp_picat) R 22290 22293 21309 0 -1 4202496 1143837 0 0 0 177568 649 0 0 20 0 1 0 247643253 2535653376 117118 33554432000 4194304 5849940 140720637583136 140720637582136 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 43507712 140720637584566 140720637584644 140720637584644 140720637587402 0
/proc/22293/statm: 619056 117118 694 405 0 616000 0
Current children cumulated CPU time: 1782.17 s
Current children cumulated vsize: 2476224 KiB
Current children cumulated memory: 468472 KiB
[startup+1842.3 s]
/proc/loadavg: 2.14 2.12 2.09 3/188 22442
/proc/meminfo: memFree=17452116/32770624 swapFree=67108792/67108860
[pid=22293] ppid=22290 vsize=2504864 memory=497112 CPUtime=1842.17 cores=1,3,5,7
/proc/22293/stat : 22293 (xcsp_picat) R 22290 22293 21309 0 -1 4202496 1167109 0 0 0 183554 663 0 0 20 0 1 0 247643253 2564980736 124278 33554432000 4194304 5849940 140720637583136 140720637582296 5437894 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 43507712 140720637584566 140720637584644 140720637584644 140720637587402 0
/proc/22293/statm: 626216 124278 694 405 0 623160 0
Current children cumulated CPU time: 1842.17 s
Current children cumulated vsize: 2504864 KiB
Current children cumulated memory: 497112 KiB
[startup+1902.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/188 22443
/proc/meminfo: memFree=17264216/32770624 swapFree=67108792/67108860
[pid=22293] ppid=22290 vsize=2659076 memory=651324 CPUtime=1902.17 cores=1,3,5,7
/proc/22293/stat : 22293 (xcsp_picat) R 22290 22293 21309 0 -1 4202496 1227329 0 0 0 189534 683 0 0 20 0 1 0 247643253 2722893824 162831 33554432000 4194304 5849940 140720637583136 140720637582136 5437903 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 43507712 140720637584566 140720637584644 140720637584644 140720637587402 0
/proc/22293/statm: 664769 162831 694 405 0 661713 0
Current children cumulated CPU time: 1902.17 s
Current children cumulated vsize: 2659076 KiB
Current children cumulated memory: 651324 KiB
[startup+1962.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/188 22444
/proc/meminfo: memFree=17156864/32770624 swapFree=67108792/67108860
[pid=22293] ppid=22290 vsize=2659076 memory=651324 CPUtime=1962.16 cores=1,3,5,7
/proc/22293/stat : 22293 (xcsp_picat) R 22290 22293 21309 0 -1 4202496 1267959 0 0 0 195523 693 0 0 20 0 1 0 247643253 2722893824 162831 33554432000 4194304 5849940 140720637583136 140720637582136 5438489 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 43507712 140720637584566 140720637584644 140720637584644 140720637587402 0
/proc/22293/statm: 664769 162831 694 405 0 661713 0
Current children cumulated CPU time: 1962.16 s
Current children cumulated vsize: 2659076 KiB
Current children cumulated memory: 651324 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/188 22445
/proc/meminfo: memFree=17156244/32770624 swapFree=67108792/67108860
[pid=22293] ppid=22290 vsize=2659076 memory=651324 CPUtime=2022.16 cores=1,3,5,7
/proc/22293/stat : 22293 (xcsp_picat) R 22290 22293 21309 0 -1 4202496 1299128 0 0 0 201509 707 0 0 20 0 1 0 247643253 2722893824 162831 33554432000 4194304 5849940 140720637583136 140720637582136 5335776 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 43507712 140720637584566 140720637584644 140720637584644 140720637587402 0
/proc/22293/statm: 664769 162831 694 405 0 661713 0
Current children cumulated CPU time: 2022.16 s
Current children cumulated vsize: 2659076 KiB
Current children cumulated memory: 651324 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/188 22446
/proc/meminfo: memFree=17025920/32770624 swapFree=67108792/67108860
[pid=22293] ppid=22290 vsize=2724612 memory=716860 CPUtime=2082.16 cores=1,3,5,7
/proc/22293/stat : 22293 (xcsp_picat) R 22290 22293 21309 0 -1 4202496 1359182 0 0 0 207497 719 0 0 20 0 1 0 247643253 2790002688 179215 33554432000 4194304 5849940 140720637583136 140720637582136 5335776 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 43507712 140720637584566 140720637584644 140720637584644 140720637587402 0
/proc/22293/statm: 681153 179215 694 405 0 678097 0
Current children cumulated CPU time: 2082.16 s
Current children cumulated vsize: 2724612 KiB
Current children cumulated memory: 716860 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/187 22447
/proc/meminfo: memFree=16848156/32770624 swapFree=67108792/67108860
[pid=22293] ppid=22290 vsize=2869580 memory=861828 CPUtime=2142.15 cores=1,3,5,7
/proc/22293/stat : 22293 (xcsp_picat) R 22290 22293 21309 0 -1 4202496 1433246 0 0 0 213479 736 0 0 20 0 1 0 247643253 2938449920 215457 33554432000 4194304 5849940 140720637583136 140720637582136 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 43507712 140720637584566 140720637584644 140720637584644 140720637587402 0
/proc/22293/statm: 717395 215457 694 405 0 714339 0
Current children cumulated CPU time: 2142.15 s
Current children cumulated vsize: 2869580 KiB
Current children cumulated memory: 861828 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 22448
/proc/meminfo: memFree=17199708/32770624 swapFree=67108792/67108860
[pid=22293] ppid=22290 vsize=2891124 memory=883136 CPUtime=2202.15 cores=1,3,5,7
/proc/22293/stat : 22293 (xcsp_picat) R 22290 22293 21309 0 -1 4202496 1434657 0 0 0 219465 750 0 0 20 0 1 0 247643253 2960510976 220784 33554432000 4194304 5849940 140720637583136 140720637582136 5437824 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 43507712 140720637584566 140720637584644 140720637584644 140720637587402 0
/proc/22293/statm: 722781 220784 694 405 0 719725 0
Current children cumulated CPU time: 2202.15 s
Current children cumulated vsize: 2891124 KiB
Current children cumulated memory: 883136 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 22449
/proc/meminfo: memFree=16956800/32770624 swapFree=67108792/67108860
[pid=22293] ppid=22290 vsize=3078272 memory=1070520 CPUtime=2262.16 cores=1,3,5,7
/proc/22293/stat : 22293 (xcsp_picat) R 22290 22293 21309 0 -1 4202496 1511982 0 0 0 225437 779 0 0 20 0 1 0 247643253 3152150528 267630 33554432000 4194304 5849940 140720637583136 140720637582136 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 43507712 140720637584566 140720637584644 140720637584644 140720637587402 0
/proc/22293/statm: 769568 267630 694 405 0 766512 0
Current children cumulated CPU time: 2262.16 s
Current children cumulated vsize: 3078272 KiB
Current children cumulated memory: 1070520 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 22450
/proc/meminfo: memFree=16912244/32770624 swapFree=67108792/67108860
[pid=22293] ppid=22290 vsize=3078272 memory=1070520 CPUtime=2322.15 cores=1,3,5,7
/proc/22293/stat : 22293 (xcsp_picat) R 22290 22293 21309 0 -1 4202496 1595447 0 0 0 231425 790 0 0 20 0 1 0 247643253 3152150528 267630 33554432000 4194304 5849940 140720637583136 140720637582296 140019206512519 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 43507712 140720637584566 140720637584644 140720637584644 140720637587402 0
/proc/22293/statm: 769568 267630 694 405 0 766512 0
Current children cumulated CPU time: 2322.15 s
Current children cumulated vsize: 3078272 KiB
Current children cumulated memory: 1070520 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 22451
/proc/meminfo: memFree=16729544/32770624 swapFree=67108792/67108860
[pid=22293] ppid=22290 vsize=3078272 memory=1070520 CPUtime=2382.15 cores=1,3,5,7
/proc/22293/stat : 22293 (xcsp_picat) R 22290 22293 21309 0 -1 4202496 1668263 0 0 0 237413 802 0 0 20 0 1 0 247643253 3152150528 267630 33554432000 4194304 5849940 140720637583136 140720637582136 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 43507712 140720637584566 140720637584644 140720637584644 140720637587402 0
/proc/22293/statm: 769568 267630 694 405 0 766512 0
Current children cumulated CPU time: 2382.15 s
Current children cumulated vsize: 3078272 KiB
Current children cumulated memory: 1070520 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 22459
/proc/meminfo: memFree=16626080/32770624 swapFree=67108792/67108860
[pid=22293] ppid=22290 vsize=3078272 memory=1070520 CPUtime=2442.15 cores=1,3,5,7
/proc/22293/stat : 22293 (xcsp_picat) R 22290 22293 21309 0 -1 4202496 1751808 0 0 0 243396 819 0 0 20 0 1 0 247643253 3152150528 267630 33554432000 4194304 5849940 140720637583136 140720637582136 5438438 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 43507712 140720637584566 140720637584644 140720637584644 140720637587402 0
/proc/22293/statm: 769568 267630 694 405 0 766512 0
Current children cumulated CPU time: 2442.15 s
Current children cumulated vsize: 3078272 KiB
Current children cumulated memory: 1070520 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22460
/proc/meminfo: memFree=16373016/32770624 swapFree=67108792/67108860
[pid=22293] ppid=22290 vsize=3078272 memory=1070520 CPUtime=2502.15 cores=1,3,5,7
/proc/22293/stat : 22293 (xcsp_picat) R 22290 22293 21309 0 -1 4202496 1842330 0 0 0 249384 831 0 0 20 0 1 0 247643253 3152150528 267630 33554432000 4194304 5849940 140720637583136 140720637582136 5438470 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 43507712 140720637584566 140720637584644 140720637584644 140720637587402 0
/proc/22293/statm: 769568 267630 694 405 0 766512 0
Current children cumulated CPU time: 2502.15 s
Current children cumulated vsize: 3078272 KiB
Current children cumulated memory: 1070520 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 22460
/proc/meminfo: memFree=16404976/32770624 swapFree=67108792/67108860
[pid=22293] ppid=22290 vsize=3078272 memory=1070520 CPUtime=2519.86 cores=1,3,5,7
/proc/22293/stat : 22293 (xcsp_picat) R 22290 22293 21309 0 -1 4202496 1853199 0 0 0 251153 833 0 0 20 0 1 0 247643253 3152150528 267630 33554432000 4194304 5849940 140720637583136 140720637582136 5437819 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 43507712 140720637584566 140720637584644 140720637584644 140720637587402 0
/proc/22293/statm: 769568 267630 694 405 0 766512 0
Current children cumulated CPU time: 2519.86 s
Current children cumulated vsize: 3078272 KiB
Current children cumulated memory: 1070520 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 22293 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2511.53 s, system=8.35969 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.04
CPU time (s): 2519.89
CPU user time (s): 2511.53
CPU system time (s): 8.35969
CPU usage (%): 99.9943
Max. virtual memory (cumulated for all children) (KiB): 3078272
Max. memory (cumulated for all children) (KiB): 1070520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.53
system time used= 8.35969
maximum resident set size= 1070520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1853200
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= 93
involuntary context switches= 1095
# summary of solver processes directly reported to runsolver:
# pid: 22293
# total CPU time (s): 2519.89
# total CPU user time (s): 2511.53
# total CPU system time (s): 8.35969
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2873 second user time and 18.046 second system time
The end