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 (8901 MiB free)
memory of node 1: 16384 MiB (9984 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309505-1534295561/watcher-4309505-1534295561 -o /tmp/evaluation-result-4309505-1534295561/solver-4309505-1534295561 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534293040-16588 --watchdog 2580 xcsp_picat HOME/instance-4309505-1534295561.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=16834, runsolver pid=16831
[startup+0.100202 s]*
/proc/loadavg: 2.01 2.02 1.96 4/188 16835
/proc/meminfo: memFree=19294084/32770624 swapFree=67108860/67108860
[pid=16834] ppid=16831 vsize=2025744 memory=32312 CPUtime=0.1 cores=0,2,4,6
/proc/16834/stat : 16834 (xcsp_picat) R 16831 16834 16557 0 -1 4202496 1645 0 0 0 10 0 0 0 20 0 1 0 247119259 2074361856 8078 33554432000 4194304 5849940 140727210154384 140727210153688 4572157 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 25378816 140727210161334 140727210161412 140727210161412 140727210164170 0
/proc/16834/statm: 506436 8078 622 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 32312 KiB
[startup+0.210231 s]*
/proc/loadavg: 2.01 2.02 1.96 3/188 16835
/proc/meminfo: memFree=19253812/32770624 swapFree=67108860/67108860
[pid=16834] ppid=16831 vsize=2025744 memory=51500 CPUtime=0.21 cores=0,2,4,6
/proc/16834/stat : 16834 (xcsp_picat) R 16831 16834 16557 0 -1 4202496 1837 0 0 0 20 1 0 0 20 0 1 0 247119259 2074361856 12875 33554432000 4194304 5849940 140727210154384 140727210153688 4572157 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 25378816 140727210161334 140727210161412 140727210161412 140727210164170 0
/proc/16834/statm: 506436 12875 622 405 0 503380 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 51500 KiB
[startup+0.309669 s]*
/proc/loadavg: 2.01 2.02 1.96 3/188 16835
/proc/meminfo: memFree=19218252/32770624 swapFree=67108860/67108860
[pid=16834] ppid=16831 vsize=2025744 memory=70688 CPUtime=0.31 cores=0,2,4,6
/proc/16834/stat : 16834 (xcsp_picat) R 16831 16834 16557 0 -1 4202496 1997 0 0 0 30 1 0 0 20 0 1 0 247119259 2074361856 17672 33554432000 4194304 5849940 140727210154384 140727210153688 4840255 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 25378816 140727210161334 140727210161412 140727210161412 140727210164170 0
/proc/16834/statm: 506436 17672 622 405 0 503380 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 70688 KiB
[startup+0.700442 s]
/proc/loadavg: 2.01 2.02 1.96 3/188 16835
/proc/meminfo: memFree=19148496/32770624 swapFree=67108860/67108860
[pid=16834] ppid=16831 vsize=2025744 memory=134176 CPUtime=0.69 cores=0,2,4,6
/proc/16834/stat : 16834 (xcsp_picat) R 16831 16834 16557 0 -1 4202496 2028 0 0 0 67 2 0 0 20 0 1 0 247119259 2074361856 33544 33554432000 4194304 5849940 140727210154384 140727210153688 4454556 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 25378816 140727210161334 140727210161412 140727210161412 140727210164170 0
/proc/16834/statm: 506436 33544 622 405 0 503380 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 134176 KiB
[startup+1.50043 s]
/proc/loadavg: 2.01 2.02 1.96 3/188 16835
/proc/meminfo: memFree=18974292/32770624 swapFree=67108860/67108860
[pid=16834] ppid=16831 vsize=2025744 memory=277632 CPUtime=1.49 cores=0,2,4,6
/proc/16834/stat : 16834 (xcsp_picat) R 16831 16834 16557 0 -1 4202496 2103 0 0 0 145 4 0 0 20 0 1 0 247119259 2074361856 69408 33554432000 4194304 5849940 140727210154384 140727210153688 4488232 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 25378816 140727210161334 140727210161412 140727210161412 140727210164170 0
/proc/16834/statm: 506436 69408 626 405 0 503380 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 277632 KiB
[startup+3.10957 s]
/proc/loadavg: 1.92 2.00 1.95 3/188 16835
/proc/meminfo: memFree=18236704/32770624 swapFree=67108860/67108860
[pid=16834] ppid=16831 vsize=2025744 memory=570496 CPUtime=3.1 cores=0,2,4,6
/proc/16834/stat : 16834 (xcsp_picat) R 16831 16834 16557 0 -1 4202496 2391 0 0 0 301 9 0 0 20 0 1 0 247119259 2074361856 142624 33554432000 4194304 5849940 140727210154384 140727210153688 4488566 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 25378816 140727210161334 140727210161412 140727210161412 140727210164170 0
/proc/16834/statm: 506436 142624 626 405 0 503380 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 570496 KiB
[startup+6.30044 s]
/proc/loadavg: 1.92 2.00 1.95 3/188 16835
/proc/meminfo: memFree=17000324/32770624 swapFree=67108860/67108860
[pid=16834] ppid=16831 vsize=2056996 memory=1146584 CPUtime=6.29 cores=0,2,4,6
/proc/16834/stat : 16834 (xcsp_picat) R 16831 16834 16557 0 -1 4202496 3550 0 0 0 610 19 0 0 20 0 1 0 247119259 2106363904 286646 33554432000 4194304 5849940 140727210154384 140727210153688 4488915 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 25378816 140727210161334 140727210161412 140727210161412 140727210164170 0
/proc/16834/statm: 514249 286646 626 405 0 511193 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2056996 KiB
Current children cumulated memory: 1146584 KiB
[startup+12.7004 s]
/proc/loadavg: 1.94 2.00 1.95 3/188 16835
/proc/meminfo: memFree=15823248/32770624 swapFree=67108860/67108860
[pid=16834] ppid=16831 vsize=2528848 memory=2370028 CPUtime=12.69 cores=0,2,4,6
/proc/16834/stat : 16834 (xcsp_picat) R 16831 16834 16557 0 -1 4202496 9030 0 0 0 1231 38 0 0 20 0 1 0 247119259 2589540352 592507 33554432000 4194304 5849940 140727210154384 140727210153704 4507582 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 25378816 140727210161334 140727210161412 140727210161412 140727210164170 0
/proc/16834/statm: 632212 592507 656 405 0 629156 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2528848 KiB
Current children cumulated memory: 2370028 KiB
[startup+25.5004 s]
/proc/loadavg: 1.95 2.00 1.95 3/188 16835
/proc/meminfo: memFree=13344536/32770624 swapFree=67108860/67108860
[pid=16834] ppid=16831 vsize=5622888 memory=4652424 CPUtime=25.49 cores=0,2,4,6
/proc/16834/stat : 16834 (xcsp_picat) R 16831 16834 16557 0 -1 4202496 15550 0 0 0 2444 105 0 0 20 0 1 0 247119259 5757837312 1163106 33554432000 4194304 5849940 140727210154384 140727210153672 4548541 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 25378816 140727210161334 140727210161412 140727210161412 140727210164170 0
/proc/16834/statm: 1405722 1163106 657 405 0 1402666 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 5622888 KiB
Current children cumulated memory: 4652424 KiB
[startup+51.1098 s]
/proc/loadavg: 1.96 2.00 1.95 3/188 16835
/proc/meminfo: memFree=5733516/32770624 swapFree=67108860/67108860
[pid=16834] ppid=16831 vsize=12192976 memory=12040832 CPUtime=51.1 cores=0,2,4,6
/proc/16834/stat : 16834 (xcsp_picat) R 16831 16834 16557 0 -1 4202496 23651 0 0 0 4858 252 0 0 20 0 1 0 247119259 12485607424 3010208 33554432000 4194304 5849940 140727210154384 140727210153384 5269656 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 25378816 140727210161334 140727210161412 140727210161412 140727210164170 0
/proc/16834/statm: 3048244 3010208 658 405 0 3045188 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 12192976 KiB
Current children cumulated memory: 12040832 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/188 16836
/proc/meminfo: memFree=11105092/32770624 swapFree=67108860/67108860
[pid=16834] ppid=16831 vsize=8328712 memory=6774044 CPUtime=102.29 cores=0,2,4,6
/proc/16834/stat : 16834 (xcsp_picat) R 16831 16834 16557 0 -1 4202496 38224 0 0 0 9684 545 0 0 20 0 1 0 247119259 8528601088 1693511 33554432000 4194304 5849940 140727210154384 140727210153352 5249712 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 25378816 140727210161334 140727210161412 140727210161412 140727210164170 0
/proc/16834/statm: 2082178 1693511 658 405 0 2079122 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 8328712 KiB
Current children cumulated memory: 6774044 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/188 16837
/proc/meminfo: memFree=5592192/32770624 swapFree=67108860/67108860
[pid=16834] ppid=16831 vsize=12315044 memory=12163752 CPUtime=162.29 cores=0,2,4,6
/proc/16834/stat : 16834 (xcsp_picat) R 16831 16834 16557 0 -1 4202496 58503 0 0 0 15248 981 0 0 20 0 1 0 247119259 12610605056 3040938 33554432000 4194304 5849940 140727210154384 140727210153384 5260547 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 25378816 140727210161334 140727210161412 140727210161412 140727210164170 0
/proc/16834/statm: 3078761 3040938 658 405 0 3075705 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 12315044 KiB
Current children cumulated memory: 12163752 KiB
[startup+222.3 s]
/proc/loadavg: 2.03 2.00 1.96 3/188 16902
/proc/meminfo: memFree=11275948/32770624 swapFree=67108860/67108860
[pid=16834] ppid=16831 vsize=8411724 memory=8142900 CPUtime=222.28 cores=0,2,4,6
/proc/16834/stat : 16834 (xcsp_picat) R 16831 16834 16557 0 -1 4202496 79441 0 0 0 20908 1320 0 0 20 0 1 0 247119259 8613605376 2035725 33554432000 4194304 5849940 140727210154384 140727210153352 5250945 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 25378816 140727210161334 140727210161412 140727210161412 140727210164170 0
/proc/16834/statm: 2102931 2035725 658 405 0 2099875 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 8411724 KiB
Current children cumulated memory: 8142900 KiB
[startup+282.3 s]
/proc/loadavg: 1.97 1.99 1.95 3/188 17088
/proc/meminfo: memFree=7018156/32770624 swapFree=67108860/67108860
[pid=16834] ppid=16831 vsize=12437112 memory=12287316 CPUtime=282.29 cores=0,2,4,6
/proc/16834/stat : 16834 (xcsp_picat) R 16831 16834 16557 0 -1 4202496 100474 0 0 0 26607 1622 0 0 20 0 1 0 247119259 12735602688 3071829 33554432000 4194304 5849940 140727210154384 140727210153384 5269659 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 25378816 140727210161334 140727210161412 140727210161412 140727210164170 0
/proc/16834/statm: 3109278 3071829 658 405 0 3106222 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 12437112 KiB
Current children cumulated memory: 12287316 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 1.99 1.95 3/188 17089
/proc/meminfo: memFree=6932704/32770624 swapFree=67108860/67108860
[pid=16834] ppid=16831 vsize=12510356 memory=12360856 CPUtime=342.29 cores=0,2,4,6
/proc/16834/stat : 16834 (xcsp_picat) R 16831 16834 16557 0 -1 4202496 120309 0 0 0 32249 1980 0 0 20 0 1 0 247119259 12810604544 3090214 33554432000 4194304 5849940 140727210154384 140727210153352 5260600 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 25378816 140727210161334 140727210161412 140727210161412 140727210164170 0
/proc/16834/statm: 3127589 3090214 658 405 0 3124533 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 12510356 KiB
Current children cumulated memory: 12360856 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/188 17090
/proc/meminfo: memFree=13208148/32770624 swapFree=67108860/67108860
[pid=16834] ppid=16831 vsize=8544536 memory=6202012 CPUtime=402.28 cores=0,2,4,6
/proc/16834/stat : 16834 (xcsp_picat) R 16831 16834 16557 0 -1 4202496 136380 0 0 0 37969 2259 0 0 20 0 1 0 247119259 8749604864 1550503 33554432000 4194304 5849940 140727210154384 140727210153352 5249665 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 25378816 140727210161334 140727210161412 140727210161412 140727210164170 0
/proc/16834/statm: 2136134 1550503 658 405 0 2133078 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 8544536 KiB
Current children cumulated memory: 6202012 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/188 17096
/proc/meminfo: memFree=6799860/32770624 swapFree=67108860/67108860
[pid=16834] ppid=16831 vsize=12632424 memory=12482956 CPUtime=462.27 cores=0,2,4,6
/proc/16834/stat : 16834 (xcsp_picat) R 16831 16834 16557 0 -1 4202496 155553 0 0 0 43616 2611 0 0 20 0 1 0 247119259 12935602176 3120739 33554432000 4194304 5849940 140727210154384 140727210153384 5260600 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 25378816 140727210161334 140727210161412 140727210161412 140727210164170 0
/proc/16834/statm: 3158106 3120739 658 405 0 3155050 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 12632424 KiB
Current children cumulated memory: 12482956 KiB
################
# More data... #
################
/proc/16834/statm: 3463283 3425889 658 405 0 3460227 0
Current children cumulated CPU time: 1722.24 s
Current children cumulated vsize: 13853132 KiB
Current children cumulated memory: 13703556 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 17130
/proc/meminfo: memFree=11152788/32770624 swapFree=67108860/67108860
[pid=16834] ppid=16831 vsize=9457616 memory=7925680 CPUtime=1782.24 cores=0,2,4,6
/proc/16834/stat : 16834 (xcsp_picat) R 16831 16834 16557 0 -1 4202496 532118 0 0 0 168564 9660 0 0 20 0 1 0 247119259 9684598784 1981420 33554432000 4194304 5849940 140727210154384 140727210153352 5249712 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 25378816 140727210161334 140727210161412 140727210161412 140727210164170 0
/proc/16834/statm: 2364404 1981420 658 405 0 2361348 0
Current children cumulated CPU time: 1782.24 s
Current children cumulated vsize: 9457616 KiB
Current children cumulated memory: 7925680 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 17131
/proc/meminfo: memFree=6748432/32770624 swapFree=67108860/67108860
[pid=16834] ppid=16831 vsize=13975200 memory=13112220 CPUtime=1842.24 cores=0,2,4,6
/proc/16834/stat : 16834 (xcsp_picat) R 16831 16834 16557 0 -1 4202496 550410 0 0 0 174174 10050 0 0 20 0 1 0 247119259 14310604800 3278055 33554432000 4194304 5849940 140727210154384 140727210153384 5269297 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 25378816 140727210161334 140727210161412 140727210161412 140727210164170 0
/proc/16834/statm: 3493800 3278055 658 405 0 3490744 0
Current children cumulated CPU time: 1842.24 s
Current children cumulated vsize: 13975200 KiB
Current children cumulated memory: 13112220 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 17132
/proc/meminfo: memFree=5091856/32770624 swapFree=67108860/67108860
[pid=16834] ppid=16831 vsize=14024028 memory=13872772 CPUtime=1902.24 cores=0,2,4,6
/proc/16834/stat : 16834 (xcsp_picat) R 16831 16834 16557 0 -1 4202496 568400 0 0 0 179837 10387 0 0 20 0 1 0 247119259 14360604672 3468193 33554432000 4194304 5849940 140727210154384 140727210153384 5260393 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 25378816 140727210161334 140727210161412 140727210161412 140727210164170 0
/proc/16834/statm: 3506007 3468193 658 405 0 3502951 0
Current children cumulated CPU time: 1902.24 s
Current children cumulated vsize: 14024028 KiB
Current children cumulated memory: 13872772 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 17133
/proc/meminfo: memFree=5119480/32770624 swapFree=67108860/67108860
[pid=16834] ppid=16831 vsize=14072856 memory=13924712 CPUtime=1962.24 cores=0,2,4,6
/proc/16834/stat : 16834 (xcsp_picat) R 16831 16834 16557 0 -1 4202496 583571 0 0 0 185564 10660 0 0 20 0 1 0 247119259 14410604544 3481178 33554432000 4194304 5849940 140727210154384 140727210153384 5269689 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 25378816 140727210161334 140727210161412 140727210161412 140727210164170 0
/proc/16834/statm: 3518214 3481178 658 405 0 3515158 0
Current children cumulated CPU time: 1962.24 s
Current children cumulated vsize: 14072856 KiB
Current children cumulated memory: 13924712 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 17134
/proc/meminfo: memFree=11593068/32770624 swapFree=67108860/67108860
[pid=16834] ppid=16831 vsize=9607036 memory=7621728 CPUtime=2022.24 cores=0,2,4,6
/proc/16834/stat : 16834 (xcsp_picat) R 16831 16834 16557 0 -1 4202496 600332 0 0 0 191251 10973 0 0 20 0 1 0 247119259 9837604864 1905432 33554432000 4194304 5849940 140727210154384 140727210153352 5251285 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 25378816 140727210161334 140727210161412 140727210161412 140727210164170 0
/proc/16834/statm: 2401759 1905432 658 405 0 2398703 0
Current children cumulated CPU time: 2022.24 s
Current children cumulated vsize: 9607036 KiB
Current children cumulated memory: 7621728 KiB
[startup+2082.3 s]
/proc/loadavg: 2.05 2.03 1.98 3/188 17135
/proc/meminfo: memFree=9757008/32770624 swapFree=67108860/67108860
[pid=16834] ppid=16831 vsize=9640236 memory=9473316 CPUtime=2082.23 cores=0,2,4,6
/proc/16834/stat : 16834 (xcsp_picat) R 16831 16834 16557 0 -1 4202496 618157 0 0 0 196888 11335 0 0 20 0 1 0 247119259 9871601664 2368329 33554432000 4194304 5849940 140727210154384 140727210153352 5249712 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 25378816 140727210161334 140727210161412 140727210161412 140727210164170 0
/proc/16834/statm: 2410059 2368329 658 405 0 2407003 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 9640236 KiB
Current children cumulated memory: 9473316 KiB
[startup+2142.3 s]
/proc/loadavg: 2.02 2.02 1.98 3/188 17136
/proc/meminfo: memFree=4994064/32770624 swapFree=67108860/67108860
[pid=16834] ppid=16831 vsize=14243756 memory=14094468 CPUtime=2142.23 cores=0,2,4,6
/proc/16834/stat : 16834 (xcsp_picat) R 16831 16834 16557 0 -1 4202496 640485 0 0 0 202449 11774 0 0 20 0 1 0 247119259 14585606144 3523617 33554432000 4194304 5849940 140727210154384 140727210153384 5260600 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 25378816 140727210161334 140727210161412 140727210161412 140727210164170 0
/proc/16834/statm: 3560939 3523617 658 405 0 3557883 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 14243756 KiB
Current children cumulated memory: 14094468 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/188 17137
/proc/meminfo: memFree=4920712/32770624 swapFree=67108860/67108860
[pid=16834] ppid=16831 vsize=14292588 memory=14142296 CPUtime=2202.23 cores=0,2,4,6
/proc/16834/stat : 16834 (xcsp_picat) R 16831 16834 16557 0 -1 4202496 659778 0 0 0 208107 12116 0 0 20 0 1 0 247119259 14635610112 3535574 33554432000 4194304 5849940 140727210154384 140727210153384 5257310 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 25378816 140727210161334 140727210161412 140727210161412 140727210164170 0
/proc/16834/statm: 3573147 3535574 658 405 0 3570091 0
Current children cumulated CPU time: 2202.23 s
Current children cumulated vsize: 14292588 KiB
Current children cumulated memory: 14142296 KiB
[startup+2262.3 s]
/proc/loadavg: 2.13 2.04 1.99 3/188 17185
/proc/meminfo: memFree=4870424/32770624 swapFree=67108860/67108860
[pid=16834] ppid=16831 vsize=14341412 memory=14190148 CPUtime=2262.22 cores=0,2,4,6
/proc/16834/stat : 16834 (xcsp_picat) R 16831 16834 16557 0 -1 4202496 680689 0 0 0 213747 12475 0 0 20 0 1 0 247119259 14685605888 3547537 33554432000 4194304 5849940 140727210154384 140727210153384 5267356 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 25378816 140727210161334 140727210161412 140727210161412 140727210164170 0
/proc/16834/statm: 3585353 3547537 658 405 0 3582297 0
Current children cumulated CPU time: 2262.22 s
Current children cumulated vsize: 14341412 KiB
Current children cumulated memory: 14190148 KiB
[startup+2322.3 s]
/proc/loadavg: 2.53 2.16 2.04 3/188 17186
/proc/meminfo: memFree=12545652/32770624 swapFree=67108860/67108860
[pid=16834] ppid=16831 vsize=9789648 memory=6635448 CPUtime=2322.22 cores=0,2,4,6
/proc/16834/stat : 16834 (xcsp_picat) R 16831 16834 16557 0 -1 4202496 702324 0 0 0 219401 12821 0 0 20 0 1 0 247119259 10024599552 1658862 33554432000 4194304 5849940 140727210154384 140727210153352 5249712 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 25378816 140727210161334 140727210161412 140727210161412 140727210164170 0
/proc/16834/statm: 2447412 1658862 658 405 0 2444356 0
Current children cumulated CPU time: 2322.22 s
Current children cumulated vsize: 9789648 KiB
Current children cumulated memory: 6635448 KiB
[startup+2382.3 s]
/proc/loadavg: 2.23 2.15 2.04 3/188 17187
/proc/meminfo: memFree=10804916/32770624 swapFree=67108860/67108860
[pid=16834] ppid=16831 vsize=9822856 memory=8323216 CPUtime=2382.22 cores=0,2,4,6
/proc/16834/stat : 16834 (xcsp_picat) R 16831 16834 16557 0 -1 4202496 722453 0 0 0 225072 13150 0 0 20 0 1 0 247119259 10058604544 2080804 33554432000 4194304 5849940 140727210154384 140727210153352 5249712 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 25378816 140727210161334 140727210161412 140727210161412 140727210164170 0
/proc/16834/statm: 2455714 2080804 658 405 0 2452658 0
Current children cumulated CPU time: 2382.22 s
Current children cumulated vsize: 9822856 KiB
Current children cumulated memory: 8323216 KiB
[startup+2442.3 s]
/proc/loadavg: 2.08 2.12 2.04 3/188 17188
/proc/meminfo: memFree=9253536/32770624 swapFree=67108860/67108860
[pid=16834] ppid=16831 vsize=9856060 memory=9721632 CPUtime=2442.22 cores=0,2,4,6
/proc/16834/stat : 16834 (xcsp_picat) R 16831 16834 16557 0 -1 4202496 742144 0 0 0 230741 13481 0 0 20 0 1 0 247119259 10092605440 2430408 33554432000 4194304 5849940 140727210154384 140727210153352 5262261 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 25378816 140727210161334 140727210161412 140727210161412 140727210164170 0
/proc/16834/statm: 2464015 2430408 658 405 0 2460959 0
Current children cumulated CPU time: 2442.22 s
Current children cumulated vsize: 9856060 KiB
Current children cumulated memory: 9721632 KiB
[startup+2502.3 s]
/proc/loadavg: 2.03 2.10 2.04 3/188 17189
/proc/meminfo: memFree=4483988/32770624 swapFree=67108860/67108860
[pid=16834] ppid=16831 vsize=14561136 memory=14411292 CPUtime=2502.22 cores=0,2,4,6
/proc/16834/stat : 16834 (xcsp_picat) R 16831 16834 16557 0 -1 4202496 763161 0 0 0 236337 13885 0 0 20 0 1 0 247119259 14910603264 3602823 33554432000 4194304 5849940 140727210154384 140727210153384 5260600 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 25378816 140727210161334 140727210161412 140727210161412 140727210164170 0
/proc/16834/statm: 3640284 3602823 658 405 0 3637228 0
Current children cumulated CPU time: 2502.22 s
Current children cumulated vsize: 14561136 KiB
Current children cumulated memory: 14411292 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.02 2.09 2.04 3/188 17189
/proc/meminfo: memFree=11184596/32770624 swapFree=67108860/67108860
[pid=16834] ppid=16831 vsize=9905860 memory=7728020 CPUtime=2519.93 cores=0,2,4,6
/proc/16834/stat : 16834 (xcsp_picat) R 16831 16834 16557 0 -1 4202496 768263 0 0 0 238042 13951 0 0 20 0 1 0 247119259 10143600640 1932005 33554432000 4194304 5849940 140727210154384 140727210153352 5251224 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 25378816 140727210161334 140727210161412 140727210161412 140727210164170 0
/proc/16834/statm: 2476465 1932005 658 405 0 2473409 0
Current children cumulated CPU time: 2519.93 s
Current children cumulated vsize: 9905860 KiB
Current children cumulated memory: 7728020 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 16834 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2380.42 s, system=139.542 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.97
CPU user time (s): 2380.42
CPU system time (s): 139.542
CPU usage (%): 99.9971
Max. virtual memory (cumulated for all children) (KiB): 14561136
Max. memory (cumulated for all children) (KiB): 14411300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2380.42
system time used= 139.542
maximum resident set size= 14411300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 768263
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= 4
involuntary context switches= 1892
# summary of solver processes directly reported to runsolver:
# pid: 16834
# total CPU time (s): 2519.97
# total CPU user time (s): 2380.42
# total CPU system time (s): 139.542
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6878 second user time and 11.3097 second system time
The end