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 (11134 MiB free)
memory of node 1: 16384 MiB (13112 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309466-1534293327/watcher-4309466-1534293327 -o /tmp/evaluation-result-4309466-1534293327/solver-4309466-1534293327 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534293327-697 --watchdog 2580 xcsp_picat HOME/instance-4309466-1534293327.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=727, runsolver pid=724
Current StackSize limit: 8192 KiB
[startup+0.100113 s]*
/proc/loadavg: 0.75 1.08 1.30 5/191 728
/proc/meminfo: memFree=24789780/32770624 swapFree=67108856/67108860
[pid=727] ppid=724 vsize=2033560 memory=27488 CPUtime=0.1 cores=1,3,5,7
/proc/727/stat : 727 (xcsp_picat) R 724 727 665 0 -1 4202496 1915 0 0 0 10 0 0 0 20 0 1 0 246895860 2082365440 6872 33554432000 4194304 5849940 140722329229408 140722329228712 4587207 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17035264 140722329236662 140722329236740 140722329236740 140722329239498 0
/proc/727/statm: 508390 6872 638 405 0 505334 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 27488 KiB
[startup+0.209653 s]*
/proc/loadavg: 0.75 1.08 1.30 3/191 728
/proc/meminfo: memFree=24768684/32770624 swapFree=67108856/67108860
[pid=727] ppid=724 vsize=2033712 memory=48712 CPUtime=0.21 cores=1,3,5,7
/proc/727/stat : 727 (xcsp_picat) R 724 727 665 0 -1 4202496 2112 0 0 0 20 1 0 0 20 0 1 0 246895860 2082521088 12178 33554432000 4194304 5849940 140722329229408 140722329228712 5472182 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17035264 140722329236662 140722329236740 140722329236740 140722329239498 0
/proc/727/statm: 508428 12178 731 405 0 505372 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2033712 KiB
Current children cumulated memory: 48712 KiB
[startup+0.309582 s]*
/proc/loadavg: 0.75 1.08 1.30 3/191 728
/proc/meminfo: memFree=24766824/32770624 swapFree=67108856/67108860
[pid=727] ppid=724 vsize=2033712 memory=48712 CPUtime=0.31 cores=1,3,5,7
/proc/727/stat : 727 (xcsp_picat) R 724 727 665 0 -1 4202496 2116 0 0 0 30 1 0 0 20 0 1 0 246895860 2082521088 12178 33554432000 4194304 5849940 140722329229408 140722329228712 140118187495303 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17035264 140722329236662 140722329236740 140722329236740 140722329239498 0
/proc/727/statm: 508428 12178 731 405 0 505372 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2033712 KiB
Current children cumulated memory: 48712 KiB
[startup+0.700258 s]
/proc/loadavg: 0.75 1.08 1.30 3/191 728
/proc/meminfo: memFree=24766824/32770624 swapFree=67108856/67108860
[pid=727] ppid=724 vsize=2037320 memory=52212 CPUtime=0.69 cores=1,3,5,7
/proc/727/stat : 727 (xcsp_picat) R 724 727 665 0 -1 4202496 3052 0 0 0 65 4 0 0 20 0 1 0 246895860 2086215680 13053 33554432000 4194304 5849940 140722329229408 140722329228712 5462423 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17035264 140722329236662 140722329236740 140722329236740 140722329239498 0
/proc/727/statm: 509330 13053 735 405 0 506274 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2037320 KiB
Current children cumulated memory: 52212 KiB
[startup+1.50023 s]
/proc/loadavg: 0.75 1.08 1.30 3/191 728
/proc/meminfo: memFree=24762732/32770624 swapFree=67108856/67108860
[pid=727] ppid=724 vsize=2037576 memory=52464 CPUtime=1.49 cores=1,3,5,7
/proc/727/stat : 727 (xcsp_picat) R 724 727 665 0 -1 4202496 3116 0 0 0 145 4 0 0 20 0 1 0 246895860 2086477824 13116 33554432000 4194304 5849940 140722329229408 140722329228648 140118187495303 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17035264 140722329236662 140722329236740 140722329236740 140722329239498 0
/proc/727/statm: 509394 13116 735 405 0 506338 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2037576 KiB
Current children cumulated memory: 52464 KiB
[startup+3.10906 s]
/proc/loadavg: 0.75 1.08 1.30 3/191 728
/proc/meminfo: memFree=24757600/32770624 swapFree=67108856/67108860
[pid=727] ppid=724 vsize=2037576 memory=52720 CPUtime=3.1 cores=1,3,5,7
/proc/727/stat : 727 (xcsp_picat) R 724 727 665 0 -1 4202496 3518 0 0 0 305 5 0 0 20 0 1 0 246895860 2086477824 13180 33554432000 4194304 5849940 140722329229408 140722329228648 140118187495303 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17035264 140722329236662 140722329236740 140722329236740 140722329239498 0
/proc/727/statm: 509394 13180 735 405 0 506338 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2037576 KiB
Current children cumulated memory: 52720 KiB
[startup+6.30031 s]
/proc/loadavg: 0.93 1.11 1.31 3/191 728
/proc/meminfo: memFree=24754864/32770624 swapFree=67108856/67108860
[pid=727] ppid=724 vsize=2048208 memory=61576 CPUtime=6.29 cores=1,3,5,7
/proc/727/stat : 727 (xcsp_picat) R 724 727 665 0 -1 4202496 11520 0 0 0 620 9 0 0 20 0 1 0 246895860 2097364992 15394 33554432000 4194304 5849940 140722329229408 140722329227656 5355621 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17035264 140722329236662 140722329236740 140722329236740 140722329239498 0
/proc/727/statm: 512052 15394 754 405 0 508996 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2048208 KiB
Current children cumulated memory: 61576 KiB
[startup+12.7002 s]
/proc/loadavg: 1.10 1.14 1.32 4/191 728
/proc/meminfo: memFree=24752924/32770624 swapFree=67108856/67108860
[pid=727] ppid=724 vsize=2038708 memory=53188 CPUtime=12.69 cores=1,3,5,7
/proc/727/stat : 727 (xcsp_picat) R 724 727 665 0 -1 4202496 15328 0 0 0 1252 17 0 0 20 0 1 0 246895860 2087636992 13297 33554432000 4194304 5849940 140722329229408 140722329228568 5521635 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17035264 140722329236662 140722329236740 140722329236740 140722329239498 0
/proc/727/statm: 509677 13297 776 405 0 506621 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2038708 KiB
Current children cumulated memory: 53188 KiB
[startup+25.5002 s]
/proc/loadavg: 1.39 1.20 1.34 3/191 728
/proc/meminfo: memFree=24739140/32770624 swapFree=67108856/67108860
[pid=727] ppid=724 vsize=2048352 memory=63536 CPUtime=25.49 cores=1,3,5,7
/proc/727/stat : 727 (xcsp_picat) R 724 727 665 0 -1 4202496 18491 0 0 0 2520 29 0 0 20 0 1 0 246895860 2097512448 15884 33554432000 4194304 5849940 140722329229408 140722329227896 5308592 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17035264 140722329236662 140722329236740 140722329236740 140722329239498 0
/proc/727/statm: 512088 15884 776 405 0 509032 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2048352 KiB
Current children cumulated memory: 63536 KiB
[startup+51.1002 s]*
/proc/loadavg: 1.94 1.36 1.39 3/191 728
/proc/meminfo: memFree=24729388/32770624 swapFree=67108856/67108860
[pid=727] ppid=724 vsize=2057312 memory=72496 CPUtime=51.09 cores=1,3,5,7
/proc/727/stat : 727 (xcsp_picat) R 724 727 665 0 -1 4202496 23407 0 0 0 5048 61 0 0 20 0 1 0 246895860 2106687488 18124 33554432000 4194304 5849940 140722329229408 140722329228408 4224090 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17035264 140722329236662 140722329236740 140722329236740 140722329239498 0
/proc/727/statm: 514328 18124 776 405 0 511272 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2057312 KiB
Current children cumulated memory: 72496 KiB
[startup+102.3 s]
/proc/loadavg: 2.57 1.61 1.47 3/191 729
/proc/meminfo: memFree=24698036/32770624 swapFree=67108856/67108860
[pid=727] ppid=724 vsize=2069956 memory=85076 CPUtime=102.28 cores=1,3,5,7
/proc/727/stat : 727 (xcsp_picat) R 724 727 665 0 -1 4202496 32485 0 0 0 10110 118 0 0 20 0 1 0 246895860 2119634944 21269 33554432000 4194304 5849940 140722329229408 140722329228408 140118187495303 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17035264 140722329236662 140722329236740 140722329236740 140722329239498 0
/proc/727/statm: 517489 21269 776 405 0 514433 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2069956 KiB
Current children cumulated memory: 85076 KiB
[startup+162.3 s]
/proc/loadavg: 2.21 1.68 1.51 3/191 730
/proc/meminfo: memFree=24682352/32770624 swapFree=67108856/67108860
[pid=727] ppid=724 vsize=2081044 memory=96192 CPUtime=162.29 cores=1,3,5,7
/proc/727/stat : 727 (xcsp_picat) R 724 727 665 0 -1 4202496 49395 0 0 0 16049 180 0 0 20 0 1 0 246895860 2130989056 24048 33554432000 4194304 5849940 140722329229408 140722329228408 140118187495303 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17035264 140722329236662 140722329236740 140722329236740 140722329239498 0
/proc/727/statm: 520261 24048 776 405 0 517205 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2081044 KiB
Current children cumulated memory: 96192 KiB
[startup+222.3 s]
/proc/loadavg: 2.08 1.74 1.53 3/191 731
/proc/meminfo: memFree=24668412/32770624 swapFree=67108856/67108860
[pid=727] ppid=724 vsize=2091260 memory=106236 CPUtime=222.29 cores=1,3,5,7
/proc/727/stat : 727 (xcsp_picat) R 724 727 665 0 -1 4202496 65965 0 0 0 21991 238 0 0 20 0 1 0 246895860 2141450240 26559 33554432000 4194304 5849940 140722329229408 140722329228408 140118187495303 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17035264 140722329236662 140722329236740 140722329236740 140722329239498 0
/proc/727/statm: 522815 26559 776 405 0 519759 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2091260 KiB
Current children cumulated memory: 106236 KiB
[startup+282.3 s]
/proc/loadavg: 2.03 1.79 1.56 4/192 740
/proc/meminfo: memFree=24660844/32770624 swapFree=67108856/67108860
[pid=727] ppid=724 vsize=2091260 memory=106444 CPUtime=282.28 cores=1,3,5,7
/proc/727/stat : 727 (xcsp_picat) R 724 727 665 0 -1 4202496 95209 0 0 0 27944 284 0 0 20 0 1 0 246895860 2141450240 26611 33554432000 4194304 5849940 140722329229408 140722329228568 140118187495303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 17035264 140722329236662 140722329236740 140722329236740 140722329239498 0
/proc/727/statm: 522815 26611 776 405 0 519759 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2091260 KiB
Current children cumulated memory: 106444 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 1.83 1.59 3/192 742
/proc/meminfo: memFree=24658768/32770624 swapFree=67108856/67108860
[pid=727] ppid=724 vsize=2091260 memory=106444 CPUtime=342.27 cores=1,3,5,7
/proc/727/stat : 727 (xcsp_picat) R 724 727 665 0 -1 4202496 105621 0 0 0 33891 336 0 0 20 0 1 0 246895860 2141450240 26611 33554432000 4194304 5849940 140722329229408 140722329227896 5437906 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 17035264 140722329236662 140722329236740 140722329236740 140722329239498 0
/proc/727/statm: 522815 26611 776 405 0 519759 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 2091260 KiB
Current children cumulated memory: 106444 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.86 1.62 4/192 743
/proc/meminfo: memFree=24592728/32770624 swapFree=67108856/67108860
[pid=727] ppid=724 vsize=2104304 memory=119488 CPUtime=402.28 cores=1,3,5,7
/proc/727/stat : 727 (xcsp_picat) R 724 727 665 0 -1 4202496 118424 0 0 0 39842 386 0 0 20 0 1 0 246895860 2154807296 29872 33554432000 4194304 5849940 140722329229408 140722329228408 5313082 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 17035264 140722329236662 140722329236740 140722329236740 140722329239498 0
/proc/727/statm: 526076 29872 776 405 0 523020 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 2104304 KiB
Current children cumulated memory: 119488 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.88 1.64 3/192 744
/proc/meminfo: memFree=24625144/32770624 swapFree=67108856/67108860
[pid=727] ppid=724 vsize=2088796 memory=104108 CPUtime=462.27 cores=1,3,5,7
/proc/727/stat : 727 (xcsp_picat) R 724 727 665 0 -1 4202496 134047 0 0 0 45787 440 0 0 20 0 1 0 246895860 2138927104 26027 33554432000 4194304 5849940 140722329229408 140722329228408 5437906 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 17035264 140722329236662 140722329236740 140722329236740 140722329239498 0
/proc/727/statm: 522199 26027 776 405 0 519143 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2088796 KiB
Current children cumulated memory: 104108 KiB
################
# More data... #
################
/proc/727/statm: 541640 46614 776 405 0 538584 0
Current children cumulated CPU time: 1782.26 s
Current children cumulated vsize: 2166560 KiB
Current children cumulated memory: 186456 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/191 808
/proc/meminfo: memFree=24351140/32770624 swapFree=67108856/67108860
[pid=727] ppid=724 vsize=2183408 memory=203200 CPUtime=1842.26 cores=1,3,5,7
/proc/727/stat : 727 (xcsp_picat) R 724 727 665 0 -1 4202496 325652 0 0 0 182751 1475 0 0 20 0 1 0 246895860 2235809792 50800 33554432000 4194304 5849940 140722329229408 140722329228408 140118187495303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 17035264 140722329236662 140722329236740 140722329236740 140722329239498 0
/proc/727/statm: 545852 50800 776 405 0 542796 0
Current children cumulated CPU time: 1842.26 s
Current children cumulated vsize: 2183408 KiB
Current children cumulated memory: 203200 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/192 810
/proc/meminfo: memFree=24313612/32770624 swapFree=67108856/67108860
[pid=727] ppid=724 vsize=2183864 memory=203524 CPUtime=1902.26 cores=1,3,5,7
/proc/727/stat : 727 (xcsp_picat) R 724 727 665 0 -1 4202496 332309 0 0 0 188711 1515 0 0 20 0 1 0 246895860 2236276736 50881 33554432000 4194304 5849940 140722329229408 140722329228408 140118187495303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 17035264 140722329236662 140722329236740 140722329236740 140722329239498 0
/proc/727/statm: 545966 50881 776 405 0 542910 0
Current children cumulated CPU time: 1902.26 s
Current children cumulated vsize: 2183864 KiB
Current children cumulated memory: 203524 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/192 811
/proc/meminfo: memFree=24330108/32770624 swapFree=67108856/67108860
[pid=727] ppid=724 vsize=2166024 memory=185924 CPUtime=1962.26 cores=1,3,5,7
/proc/727/stat : 727 (xcsp_picat) R 724 727 665 0 -1 4202496 345017 0 0 0 194676 1550 0 0 20 0 1 0 246895860 2218008576 46481 33554432000 4194304 5849940 140722329229408 140722329228408 5438400 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 17035264 140722329236662 140722329236740 140722329236740 140722329239498 0
/proc/727/statm: 541506 46481 776 405 0 538450 0
Current children cumulated CPU time: 1962.26 s
Current children cumulated vsize: 2166024 KiB
Current children cumulated memory: 185924 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/192 812
/proc/meminfo: memFree=24314236/32770624 swapFree=67108856/67108860
[pid=727] ppid=724 vsize=2182408 memory=202308 CPUtime=2022.26 cores=1,3,5,7
/proc/727/stat : 727 (xcsp_picat) R 724 727 665 0 -1 4202496 346060 0 0 0 200643 1583 0 0 20 0 1 0 246895860 2234785792 50577 33554432000 4194304 5849940 140722329229408 140722329228408 140118187495303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 17035264 140722329236662 140722329236740 140722329236740 140722329239498 0
/proc/727/statm: 545602 50577 776 405 0 542546 0
Current children cumulated CPU time: 2022.26 s
Current children cumulated vsize: 2182408 KiB
Current children cumulated memory: 202308 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/192 818
/proc/meminfo: memFree=24374680/32770624 swapFree=67108856/67108860
[pid=727] ppid=724 vsize=2154528 memory=174556 CPUtime=2082.26 cores=1,3,5,7
/proc/727/stat : 727 (xcsp_picat) R 724 727 665 0 -1 4202496 357638 0 0 0 206604 1622 0 0 20 0 1 0 246895860 2206236672 43639 33554432000 4194304 5849940 140722329229408 140722329228408 5437906 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 17035264 140722329236662 140722329236740 140722329236740 140722329239498 0
/proc/727/statm: 538632 43639 776 405 0 535576 0
Current children cumulated CPU time: 2082.26 s
Current children cumulated vsize: 2154528 KiB
Current children cumulated memory: 174556 KiB
[startup+2142.3 s]
/proc/loadavg: 2.03 2.01 1.95 3/192 819
/proc/meminfo: memFree=24367632/32770624 swapFree=67108856/67108860
[pid=727] ppid=724 vsize=2163228 memory=183072 CPUtime=2142.26 cores=1,3,5,7
/proc/727/stat : 727 (xcsp_picat) R 724 727 665 0 -1 4202496 358779 0 0 0 212567 1659 0 0 20 0 1 0 246895860 2215145472 45768 33554432000 4194304 5849940 140722329229408 140722329228408 140118187495303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 17035264 140722329236662 140722329236740 140722329236740 140722329239498 0
/proc/727/statm: 540807 45768 776 405 0 537751 0
Current children cumulated CPU time: 2142.26 s
Current children cumulated vsize: 2163228 KiB
Current children cumulated memory: 183072 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/191 820
/proc/meminfo: memFree=24367384/32770624 swapFree=67108856/67108860
[pid=727] ppid=724 vsize=2163228 memory=183128 CPUtime=2202.25 cores=1,3,5,7
/proc/727/stat : 727 (xcsp_picat) R 724 727 665 0 -1 4202496 367306 0 0 0 218529 1696 0 0 20 0 1 0 246895860 2215145472 45782 33554432000 4194304 5849940 140722329229408 140722329228408 140118187495303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 17035264 140722329236662 140722329236740 140722329236740 140722329239498 0
/proc/727/statm: 540807 45782 776 405 0 537751 0
Current children cumulated CPU time: 2202.25 s
Current children cumulated vsize: 2163228 KiB
Current children cumulated memory: 183128 KiB
[startup+2262.3 s]
/proc/loadavg: 1.93 2.00 1.95 3/191 821
/proc/meminfo: memFree=24295716/32770624 swapFree=67108856/67108860
[pid=727] ppid=724 vsize=2169944 memory=189828 CPUtime=2262.25 cores=1,3,5,7
/proc/727/stat : 727 (xcsp_picat) R 724 727 665 0 -1 4202496 368754 0 0 0 224496 1729 0 0 20 0 1 0 246895860 2222022656 47457 33554432000 4194304 5849940 140722329229408 140722329228408 140118187495303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 17035264 140722329236662 140722329236740 140722329236740 140722329239498 0
/proc/727/statm: 542486 47457 776 405 0 539430 0
Current children cumulated CPU time: 2262.25 s
Current children cumulated vsize: 2169944 KiB
Current children cumulated memory: 189828 KiB
[startup+2322.3 s]
/proc/loadavg: 1.97 2.00 1.95 3/191 822
/proc/meminfo: memFree=24290292/32770624 swapFree=67108856/67108860
[pid=727] ppid=724 vsize=2175584 memory=195320 CPUtime=2322.26 cores=1,3,5,7
/proc/727/stat : 727 (xcsp_picat) R 724 727 665 0 -1 4202496 389348 0 0 0 230454 1772 0 0 20 0 1 0 246895860 2227798016 48830 33554432000 4194304 5849940 140722329229408 140722329228408 5437772 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 17035264 140722329236662 140722329236740 140722329236740 140722329239498 0
/proc/727/statm: 543896 48830 776 405 0 540840 0
Current children cumulated CPU time: 2322.26 s
Current children cumulated vsize: 2175584 KiB
Current children cumulated memory: 195320 KiB
[startup+2382.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/191 823
/proc/meminfo: memFree=24303204/32770624 swapFree=67108856/67108860
[pid=727] ppid=724 vsize=2162284 memory=182184 CPUtime=2382.25 cores=1,3,5,7
/proc/727/stat : 727 (xcsp_picat) R 724 727 665 0 -1 4202496 395608 0 0 0 236415 1810 0 0 20 0 1 0 246895860 2214178816 45546 33554432000 4194304 5849940 140722329229408 140722329228408 140118187495303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 17035264 140722329236662 140722329236740 140722329236740 140722329239498 0
/proc/727/statm: 540571 45546 776 405 0 537515 0
Current children cumulated CPU time: 2382.25 s
Current children cumulated vsize: 2162284 KiB
Current children cumulated memory: 182184 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/192 825
/proc/meminfo: memFree=24201924/32770624 swapFree=67108856/67108860
[pid=727] ppid=724 vsize=2263484 memory=283312 CPUtime=2442.25 cores=1,3,5,7
/proc/727/stat : 727 (xcsp_picat) R 724 727 665 0 -1 4202496 407714 0 0 0 242376 1849 0 0 20 0 1 0 246895860 2317807616 70828 33554432000 4194304 5849940 140722329229408 140722329228408 140118187495303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 17035264 140722329236662 140722329236740 140722329236740 140722329239498 0
/proc/727/statm: 565871 70828 776 405 0 562815 0
Current children cumulated CPU time: 2442.25 s
Current children cumulated vsize: 2263484 KiB
Current children cumulated memory: 283312 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/192 826
/proc/meminfo: memFree=24124828/32770624 swapFree=67108856/67108860
[pid=727] ppid=724 vsize=2340732 memory=360440 CPUtime=2502.26 cores=1,3,5,7
/proc/727/stat : 727 (xcsp_picat) R 724 727 665 0 -1 4202496 413517 0 0 0 248347 1879 0 0 20 0 1 0 246895860 2396909568 90110 33554432000 4194304 5849940 140722329229408 140722329228408 140118187495303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 17035264 140722329236662 140722329236740 140722329236740 140722329239498 0
/proc/727/statm: 585183 90110 776 405 0 582127 0
Current children cumulated CPU time: 2502.26 s
Current children cumulated vsize: 2340732 KiB
Current children cumulated memory: 360440 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.00 1.95 3/192 826
/proc/meminfo: memFree=24256216/32770624 swapFree=67108856/67108860
[pid=727] ppid=724 vsize=2209576 memory=229476 CPUtime=2519.96 cores=1,3,5,7
/proc/727/stat : 727 (xcsp_picat) R 724 727 665 0 -1 4202496 425275 0 0 0 250107 1889 0 0 20 0 1 0 246895860 2262605824 57369 33554432000 4194304 5849940 140722329229408 140722329228408 5438453 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 17035264 140722329236662 140722329236740 140722329236740 140722329239498 0
/proc/727/statm: 552394 57369 776 405 0 549338 0
Current children cumulated CPU time: 2519.96 s
Current children cumulated vsize: 2209576 KiB
Current children cumulated memory: 229476 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 727 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2501.07 s, system=18.8978 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520 s]
/proc/loadavg: 2.00 2.00 1.95 3/192 826
/proc/meminfo: memFree=24256216/32770624 swapFree=67108856/67108860
[pid=727] ppid=724 vsize=2209576 memory=229476 CPUtime=2519.96 cores=1,3,5,7
/proc/727/stat : 727 (xcsp_picat) R 724 727 665 0 -1 4202496 425275 0 0 0 250107 1889 0 0 20 0 1 0 246895860 2262605824 57369 33554432000 4194304 5849940 140722329229408 140722329228408 5438453 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 17035264 140722329236662 140722329236740 140722329236740 140722329239498 0
/proc/727/statm: 552394 57369 776 405 0 549338 0
Current children cumulated CPU time: 2519.96 s
Current children cumulated vsize: 2209576 KiB
Current children cumulated memory: 229476 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.01
CPU time (s): 2519.97
CPU user time (s): 2501.07
CPU system time (s): 18.8978
CPU usage (%): 99.9985
Max. virtual memory (cumulated for all children) (KiB): 2340732
Max. memory (cumulated for all children) (KiB): 360440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2501.07
system time used= 18.8978
maximum resident set size= 360440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 425275
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= 10
involuntary context switches= 1346
# summary of solver processes directly reported to runsolver:
# pid: 727
# total CPU time (s): 2519.97
# total CPU user time (s): 2501.07
# total CPU system time (s): 18.8978
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.95663 second user time and 18.1209 second system time
The end