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 (5488 MiB free)
memory of node 1: 16384 MiB (8379 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302991-1533998020/watcher-4302991-1533998020 -o /tmp/evaluation-result-4302991-1533998020/solver-4302991-1533998020 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1533989978-12842 --watchdog 2580 xcsp_picat HOME/instance-4302991-1533998020.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=14098, runsolver pid=14095
Current StackSize limit: 8192 KiB
[startup+0.100285 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 14099
/proc/meminfo: memFree=14180748/32770624 swapFree=67108688/67108860
[pid=14098] ppid=14095 vsize=2025744 memory=22364 CPUtime=0.1 cores=1,3,5,7
/proc/14098/stat : 14098 (xcsp_picat) R 14095 14098 12810 0 -1 4202496 1689 0 0 0 10 0 0 0 20 0 1 0 217364851 2074361856 5591 33554432000 4194304 5849708 140722827089920 140722827089224 4538427 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15441920 140722827093174 140722827093252 140722827093252 140722827096010 0
/proc/14098/statm: 506436 5591 595 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 22364 KiB
[startup+0.209701 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 14099
/proc/meminfo: memFree=14172804/32770624 swapFree=67108688/67108860
[pid=14098] ppid=14095 vsize=2025744 memory=30556 CPUtime=0.21 cores=1,3,5,7
/proc/14098/stat : 14098 (xcsp_picat) R 14095 14098 12810 0 -1 4202496 1693 0 0 0 21 0 0 0 20 0 1 0 217364851 2074361856 7639 33554432000 4194304 5849708 140722827089920 140722827089224 4491692 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15441920 140722827093174 140722827093252 140722827093252 140722827096010 0
/proc/14098/statm: 506436 7639 595 405 0 503381 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 30556 KiB
[startup+0.309541 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 14099
/proc/meminfo: memFree=14164612/32770624 swapFree=67108688/67108860
[pid=14098] ppid=14095 vsize=2025744 memory=41024 CPUtime=0.3 cores=1,3,5,7
/proc/14098/stat : 14098 (xcsp_picat) R 14095 14098 12810 0 -1 4202496 1734 0 0 0 30 0 0 0 20 0 1 0 217364851 2074361856 10256 33554432000 4194304 5849708 140722827089920 140722827089224 4548541 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15441920 140722827093174 140722827093252 140722827093252 140722827096010 0
/proc/14098/statm: 506436 10256 610 405 0 503381 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 41024 KiB
[startup+0.700405 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14099
/proc/meminfo: memFree=14124920/32770624 swapFree=67108688/67108860
[pid=14098] ppid=14095 vsize=2100600 memory=115928 CPUtime=0.69 cores=1,3,5,7
/proc/14098/stat : 14098 (xcsp_picat) R 14095 14098 12810 0 -1 4202496 11903 0 0 0 67 2 0 0 20 0 1 0 217364851 2151014400 28982 33554432000 4194304 5849708 140722827089920 140722827089224 4494080 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15441920 140722827093174 140722827093252 140722827093252 140722827096010 0
/proc/14098/statm: 525150 28982 649 405 0 522095 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2100600 KiB
Current children cumulated memory: 115928 KiB
[startup+1.50041 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14099
/proc/meminfo: memFree=14097428/32770624 swapFree=67108688/67108860
[pid=14098] ppid=14095 vsize=2098328 memory=113736 CPUtime=1.49 cores=1,3,5,7
/proc/14098/stat : 14098 (xcsp_picat) R 14095 14098 12810 0 -1 4202496 15771 0 0 0 146 3 0 0 20 0 1 0 217364851 2148687872 28434 33554432000 4194304 5849708 140722827089920 140722827089224 5366468 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15441920 140722827093174 140722827093252 140722827093252 140722827096010 0
/proc/14098/statm: 524582 28434 665 405 0 521527 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2098328 KiB
Current children cumulated memory: 113736 KiB
[startup+3.1094 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14099
/proc/meminfo: memFree=14049928/32770624 swapFree=67108688/67108860
[pid=14098] ppid=14095 vsize=2146384 memory=153788 CPUtime=3.09 cores=1,3,5,7
/proc/14098/stat : 14098 (xcsp_picat) R 14095 14098 12810 0 -1 4202496 28754 0 0 0 304 5 0 0 20 0 1 0 217364851 2197897216 38447 33554432000 4194304 5849708 140722827089920 140722827088792 5416735 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15441920 140722827093174 140722827093252 140722827093252 140722827096010 0
/proc/14098/statm: 536596 38447 672 405 0 533541 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2146384 KiB
Current children cumulated memory: 153788 KiB
[startup+6.30031 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14099
/proc/meminfo: memFree=14038180/32770624 swapFree=67108688/67108860
[pid=14098] ppid=14095 vsize=2152852 memory=165248 CPUtime=6.28 cores=1,3,5,7
/proc/14098/stat : 14098 (xcsp_picat) R 14095 14098 12810 0 -1 4202496 34937 0 0 0 622 6 0 0 20 0 1 0 217364851 2204520448 41312 33554432000 4194304 5849708 140722827089920 140722827087464 5307126 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15441920 140722827093174 140722827093252 140722827093252 140722827096010 0
/proc/14098/statm: 538213 41312 676 405 0 535158 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2152852 KiB
Current children cumulated memory: 165248 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14099
/proc/meminfo: memFree=14053864/32770624 swapFree=67108688/67108860
[pid=14098] ppid=14095 vsize=2134004 memory=149564 CPUtime=12.68 cores=1,3,5,7
/proc/14098/stat : 14098 (xcsp_picat) R 14095 14098 12810 0 -1 4202496 54058 0 0 0 1261 7 0 0 20 0 1 0 217364851 2185220096 37391 33554432000 4194304 5849708 140722827089920 140722827088920 5438125 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15441920 140722827093174 140722827093252 140722827093252 140722827096010 0
/proc/14098/statm: 533501 37391 679 405 0 530446 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2134004 KiB
Current children cumulated memory: 149564 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14099
/proc/meminfo: memFree=14462460/32770624 swapFree=67108688/67108860
[pid=14098] ppid=14095 vsize=2134004 memory=149572 CPUtime=25.48 cores=1,3,5,7
/proc/14098/stat : 14098 (xcsp_picat) R 14095 14098 12810 0 -1 4202496 62300 0 0 0 2540 8 0 0 20 0 1 0 217364851 2185220096 37393 33554432000 4194304 5849708 140722827089920 140722827089080 5307322 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15441920 140722827093174 140722827093252 140722827093252 140722827096010 0
/proc/14098/statm: 533501 37393 681 405 0 530446 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2134004 KiB
Current children cumulated memory: 149572 KiB
[startup+51.109 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14099
/proc/meminfo: memFree=14431268/32770624 swapFree=67108688/67108860
[pid=14098] ppid=14095 vsize=2153312 memory=167592 CPUtime=51.09 cores=1,3,5,7
/proc/14098/stat : 14098 (xcsp_picat) R 14095 14098 12810 0 -1 4202496 78415 0 0 0 5097 12 0 0 20 0 1 0 217364851 2204991488 41898 33554432000 4194304 5849708 140722827089920 140722827088408 4205055 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15441920 140722827093174 140722827093252 140722827093252 140722827096010 0
/proc/14098/statm: 538328 41898 692 405 0 535273 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2153312 KiB
Current children cumulated memory: 167592 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14100
/proc/meminfo: memFree=14423724/32770624 swapFree=67108688/67108860
[pid=14098] ppid=14095 vsize=2153312 memory=167700 CPUtime=102.27 cores=1,3,5,7
/proc/14098/stat : 14098 (xcsp_picat) R 14095 14098 12810 0 -1 4202496 81677 0 0 0 10215 12 0 0 20 0 1 0 217364851 2204991488 41925 33554432000 4194304 5849708 140722827089920 140722827088408 4205087 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15441920 140722827093174 140722827093252 140722827093252 140722827096010 0
/proc/14098/statm: 538328 41925 692 405 0 535273 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2153312 KiB
Current children cumulated memory: 167700 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 14101
/proc/meminfo: memFree=14378816/32770624 swapFree=67108688/67108860
[pid=14098] ppid=14095 vsize=2138500 memory=154264 CPUtime=162.28 cores=1,3,5,7
/proc/14098/stat : 14098 (xcsp_picat) R 14095 14098 12810 0 -1 4202496 99561 0 0 0 16214 14 0 0 20 0 1 0 217364851 2189824000 38566 33554432000 4194304 5849708 140722827089920 140722827088920 5307573 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15441920 140722827093174 140722827093252 140722827093252 140722827096010 0
/proc/14098/statm: 534625 38566 692 405 0 531570 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2138500 KiB
Current children cumulated memory: 154264 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14103
/proc/meminfo: memFree=14279304/32770624 swapFree=67108688/67108860
[pid=14098] ppid=14095 vsize=2142504 memory=158268 CPUtime=222.26 cores=1,3,5,7
/proc/14098/stat : 14098 (xcsp_picat) R 14095 14098 12810 0 -1 4202496 105837 0 0 0 22209 17 0 0 20 0 1 0 217364851 2193924096 39567 33554432000 4194304 5849708 140722827089920 140722827088408 4205101 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15441920 140722827093174 140722827093252 140722827093252 140722827096010 0
/proc/14098/statm: 535626 39567 692 405 0 532571 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 2142504 KiB
Current children cumulated memory: 158268 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14104
/proc/meminfo: memFree=14235056/32770624 swapFree=67108688/67108860
[pid=14098] ppid=14095 vsize=2142504 memory=158268 CPUtime=282.26 cores=1,3,5,7
/proc/14098/stat : 14098 (xcsp_picat) R 14095 14098 12810 0 -1 4202496 108052 0 0 0 28209 17 0 0 20 0 1 0 217364851 2193924096 39567 33554432000 4194304 5849708 140722827089920 140722827088408 4205078 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15441920 140722827093174 140722827093252 140722827093252 140722827096010 0
/proc/14098/statm: 535626 39567 692 405 0 532571 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 2142504 KiB
Current children cumulated memory: 158268 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14105
/proc/meminfo: memFree=14187420/32770624 swapFree=67108688/67108860
[pid=14098] ppid=14095 vsize=2155584 memory=170680 CPUtime=342.25 cores=1,3,5,7
/proc/14098/stat : 14098 (xcsp_picat) R 14095 14098 12810 0 -1 4202496 126289 0 0 0 34203 22 0 0 20 0 1 0 217364851 2207318016 42670 33554432000 4194304 5849708 140722827089920 140722827088408 4205041 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15441920 140722827093174 140722827093252 140722827093252 140722827096010 0
/proc/14098/statm: 538896 42670 692 405 0 535841 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 2155584 KiB
Current children cumulated memory: 170680 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14113
/proc/meminfo: memFree=14185440/32770624 swapFree=67108688/67108860
[pid=14098] ppid=14095 vsize=2155584 memory=170692 CPUtime=402.26 cores=1,3,5,7
/proc/14098/stat : 14098 (xcsp_picat) R 14095 14098 12810 0 -1 4202496 128717 0 0 0 40203 23 0 0 20 0 1 0 217364851 2207318016 42673 33554432000 4194304 5849708 140722827089920 140722827088408 4205041 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15441920 140722827093174 140722827093252 140722827093252 140722827096010 0
/proc/14098/statm: 538896 42673 692 405 0 535841 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 2155584 KiB
Current children cumulated memory: 170692 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14114
/proc/meminfo: memFree=13911208/32770624 swapFree=67108688/67108860
[pid=14098] ppid=14095 vsize=2154288 memory=169640 CPUtime=462.25 cores=1,3,5,7
/proc/14098/stat : 14098 (xcsp_picat) R 14095 14098 12810 0 -1 4202496 145110 0 0 0 46197 28 0 0 20 0 1 0 217364851 2205990912 42410 33554432000 4194304 5849708 140722827089920 140722827088408 4205078 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15441920 140722827093174 140722827093252 140722827093252 140722827096010 0
/proc/14098/statm: 538572 42410 692 405 0 535517 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 2154288 KiB
Current children cumulated memory: 169640 KiB
################
# More data... #
################
/proc/14098/statm: 648141 152858 692 405 0 645086 0
Current children cumulated CPU time: 1722.13 s
Current children cumulated vsize: 2592564 KiB
Current children cumulated memory: 611432 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 14237
/proc/meminfo: memFree=14233372/32770624 swapFree=67108688/67108860
[pid=14098] ppid=14095 vsize=2592564 memory=611432 CPUtime=1782.13 cores=1,3,5,7
/proc/14098/stat : 14098 (xcsp_picat) R 14095 14098 12810 0 -1 4202496 461507 0 0 0 177777 436 0 0 20 0 1 0 217364851 2654785536 152858 33554432000 4194304 5849708 140722827089920 140722827089080 5437714 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15441920 140722827093174 140722827093252 140722827093252 140722827096010 0
/proc/14098/statm: 648141 152858 692 405 0 645086 0
Current children cumulated CPU time: 1782.13 s
Current children cumulated vsize: 2592564 KiB
Current children cumulated memory: 611432 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 14238
/proc/meminfo: memFree=14327852/32770624 swapFree=67108688/67108860
[pid=14098] ppid=14095 vsize=2476296 memory=495164 CPUtime=1842.12 cores=1,3,5,7
/proc/14098/stat : 14098 (xcsp_picat) R 14095 14098 12810 0 -1 4202496 508674 0 0 0 183766 446 0 0 20 0 1 0 217364851 2535727104 123791 33554432000 4194304 5849708 140722827089920 140722827089080 5437714 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15441920 140722827093174 140722827093252 140722827093252 140722827096010 0
/proc/14098/statm: 619074 123791 692 405 0 616019 0
Current children cumulated CPU time: 1842.12 s
Current children cumulated vsize: 2476296 KiB
Current children cumulated memory: 495164 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 14239
/proc/meminfo: memFree=14174580/32770624 swapFree=67108688/67108860
[pid=14098] ppid=14095 vsize=2607368 memory=626236 CPUtime=1902.11 cores=1,3,5,7
/proc/14098/stat : 14098 (xcsp_picat) R 14095 14098 12810 0 -1 4202496 533323 0 0 0 189748 463 0 0 20 0 1 0 217364851 2669944832 156559 33554432000 4194304 5849708 140722827089920 140722827088920 139645749583751 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15441920 140722827093174 140722827093252 140722827093252 140722827096010 0
/proc/14098/statm: 651842 156559 692 405 0 648787 0
Current children cumulated CPU time: 1902.11 s
Current children cumulated vsize: 2607368 KiB
Current children cumulated memory: 626236 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 14240
/proc/meminfo: memFree=14177472/32770624 swapFree=67108688/67108860
[pid=14098] ppid=14095 vsize=2607368 memory=626236 CPUtime=1962.11 cores=1,3,5,7
/proc/14098/stat : 14098 (xcsp_picat) R 14095 14098 12810 0 -1 4202496 560553 0 0 0 195735 476 0 0 20 0 1 0 217364851 2669944832 156559 33554432000 4194304 5849708 140722827089920 140722827088920 5360453 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15441920 140722827093174 140722827093252 140722827093252 140722827096010 0
/proc/14098/statm: 651842 156559 692 405 0 648787 0
Current children cumulated CPU time: 1962.11 s
Current children cumulated vsize: 2607368 KiB
Current children cumulated memory: 626236 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 14241
/proc/meminfo: memFree=14052296/32770624 swapFree=67108688/67108860
[pid=14098] ppid=14095 vsize=2679500 memory=698368 CPUtime=2022.11 cores=1,3,5,7
/proc/14098/stat : 14098 (xcsp_picat) R 14095 14098 12810 0 -1 4202496 604960 0 0 0 201722 489 0 0 20 0 1 0 217364851 2743808000 174592 33554432000 4194304 5849708 140722827089920 140722827088920 5335601 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15441920 140722827093174 140722827093252 140722827093252 140722827096010 0
/proc/14098/statm: 669875 174592 692 405 0 666820 0
Current children cumulated CPU time: 2022.11 s
Current children cumulated vsize: 2679500 KiB
Current children cumulated memory: 698368 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14242
/proc/meminfo: memFree=14065440/32770624 swapFree=67108688/67108860
[pid=14098] ppid=14095 vsize=2679500 memory=698368 CPUtime=2082.11 cores=1,3,5,7
/proc/14098/stat : 14098 (xcsp_picat) R 14095 14098 12810 0 -1 4202496 641916 0 0 0 207711 500 0 0 20 0 1 0 217364851 2743808000 174592 33554432000 4194304 5849708 140722827089920 140722827088920 5438278 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15441920 140722827093174 140722827093252 140722827093252 140722827096010 0
/proc/14098/statm: 669875 174592 692 405 0 666820 0
Current children cumulated CPU time: 2082.11 s
Current children cumulated vsize: 2679500 KiB
Current children cumulated memory: 698368 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14243
/proc/meminfo: memFree=14098948/32770624 swapFree=67108688/67108860
[pid=14098] ppid=14095 vsize=2679500 memory=698368 CPUtime=2142.09 cores=1,3,5,7
/proc/14098/stat : 14098 (xcsp_picat) R 14095 14098 12810 0 -1 4202496 672439 0 0 0 213698 511 0 0 20 0 1 0 217364851 2743808000 174592 33554432000 4194304 5849708 140722827089920 140722827088920 5438273 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15441920 140722827093174 140722827093252 140722827093252 140722827096010 0
/proc/14098/statm: 669875 174592 692 405 0 666820 0
Current children cumulated CPU time: 2142.09 s
Current children cumulated vsize: 2679500 KiB
Current children cumulated memory: 698368 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14252
/proc/meminfo: memFree=14065712/32770624 swapFree=67108688/67108860
[pid=14098] ppid=14095 vsize=2679500 memory=698368 CPUtime=2202.09 cores=1,3,5,7
/proc/14098/stat : 14098 (xcsp_picat) R 14095 14098 12810 0 -1 4202496 689638 0 0 0 219690 519 0 0 20 0 1 0 217364851 2743808000 174592 33554432000 4194304 5849708 140722827089920 140722827088920 139645749583751 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15441920 140722827093174 140722827093252 140722827093252 140722827096010 0
/proc/14098/statm: 669875 174592 692 405 0 666820 0
Current children cumulated CPU time: 2202.09 s
Current children cumulated vsize: 2679500 KiB
Current children cumulated memory: 698368 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14253
/proc/meminfo: memFree=14157620/32770624 swapFree=67108688/67108860
[pid=14098] ppid=14095 vsize=2545444 memory=564352 CPUtime=2262.09 cores=1,3,5,7
/proc/14098/stat : 14098 (xcsp_picat) R 14095 14098 12810 0 -1 4202496 721682 0 0 0 225677 532 0 0 20 0 1 0 217364851 2606534656 141088 33554432000 4194304 5849708 140722827089920 140722827089080 5437592 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15441920 140722827093174 140722827093252 140722827093252 140722827096010 0
/proc/14098/statm: 636361 141088 692 405 0 633306 0
Current children cumulated CPU time: 2262.09 s
Current children cumulated vsize: 2545444 KiB
Current children cumulated memory: 564352 KiB
[startup+2322.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 14254
/proc/meminfo: memFree=14312180/32770624 swapFree=67108688/67108860
[pid=14098] ppid=14095 vsize=2391064 memory=410060 CPUtime=2322.08 cores=1,3,5,7
/proc/14098/stat : 14098 (xcsp_picat) R 14095 14098 12810 0 -1 4202496 783289 0 0 0 231652 556 0 0 20 0 1 0 217364851 2448449536 102515 33554432000 4194304 5849708 140722827089920 140722827088920 5437714 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15441920 140722827093174 140722827093252 140722827093252 140722827096010 0
/proc/14098/statm: 597766 102515 692 405 0 594711 0
Current children cumulated CPU time: 2322.08 s
Current children cumulated vsize: 2391064 KiB
Current children cumulated memory: 410060 KiB
[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 14255
/proc/meminfo: memFree=14312604/32770624 swapFree=67108688/67108860
[pid=14098] ppid=14095 vsize=2391064 memory=410060 CPUtime=2382.08 cores=1,3,5,7
/proc/14098/stat : 14098 (xcsp_picat) R 14095 14098 12810 0 -1 4202496 826081 0 0 0 237637 571 0 0 20 0 1 0 217364851 2448449536 102515 33554432000 4194304 5849708 140722827089920 140722827088920 5437627 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15441920 140722827093174 140722827093252 140722827093252 140722827096010 0
/proc/14098/statm: 597766 102515 692 405 0 594711 0
Current children cumulated CPU time: 2382.08 s
Current children cumulated vsize: 2391064 KiB
Current children cumulated memory: 410060 KiB
[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 14256
/proc/meminfo: memFree=14148044/32770624 swapFree=67108688/67108860
[pid=14098] ppid=14095 vsize=2522136 memory=541132 CPUtime=2442.07 cores=1,3,5,7
/proc/14098/stat : 14098 (xcsp_picat) R 14095 14098 12810 0 -1 4202496 846101 0 0 0 243620 587 0 0 20 0 1 0 217364851 2582667264 135283 33554432000 4194304 5849708 140722827089920 140722827089080 5437714 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15441920 140722827093174 140722827093252 140722827093252 140722827096010 0
/proc/14098/statm: 630534 135283 692 405 0 627479 0
Current children cumulated CPU time: 2442.07 s
Current children cumulated vsize: 2522136 KiB
Current children cumulated memory: 541132 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14257
/proc/meminfo: memFree=14124844/32770624 swapFree=67108688/67108860
[pid=14098] ppid=14095 vsize=2522136 memory=541132 CPUtime=2502.06 cores=1,3,5,7
/proc/14098/stat : 14098 (xcsp_picat) R 14095 14098 12810 0 -1 4202496 867973 0 0 0 249610 596 0 0 20 0 1 0 217364851 2582667264 135283 33554432000 4194304 5849708 140722827089920 140722827088920 5437714 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15441920 140722827093174 140722827093252 140722827093252 140722827096010 0
/proc/14098/statm: 630534 135283 692 405 0 627479 0
Current children cumulated CPU time: 2502.06 s
Current children cumulated vsize: 2522136 KiB
Current children cumulated memory: 541132 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 14257
/proc/meminfo: memFree=14124968/32770624 swapFree=67108688/67108860
[pid=14098] ppid=14095 vsize=2522136 memory=541132 CPUtime=2519.77 cores=1,3,5,7
/proc/14098/stat : 14098 (xcsp_picat) R 14095 14098 12810 0 -1 4202496 877530 0 0 0 251378 599 0 0 20 0 1 0 217364851 2582667264 135283 33554432000 4194304 5849708 140722827089920 140722827088920 5335582 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15441920 140722827093174 140722827093252 140722827093252 140722827096010 0
/proc/14098/statm: 630534 135283 692 405 0 627479 0
Current children cumulated CPU time: 2519.77 s
Current children cumulated vsize: 2522136 KiB
Current children cumulated memory: 541132 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 14098 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.79 s, system=6.01148 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.02
CPU time (s): 2519.8
CPU user time (s): 2513.79
CPU system time (s): 6.01148
CPU usage (%): 99.9911
Max. virtual memory (cumulated for all children) (KiB): 2679500
Max. memory (cumulated for all children) (KiB): 698368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.79
system time used= 6.01148
maximum resident set size= 698368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 877531
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= 6
involuntary context switches= 759
# summary of solver processes directly reported to runsolver:
# pid: 14098
# total CPU time (s): 2519.8
# total CPU user time (s): 2513.79
# total CPU system time (s): 6.01148
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.9683 second user time and 18.6697 second system time
The end