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 (4447 MiB free)
memory of node 1: 16384 MiB (13114 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309358-1534309816/watcher-4309358-1534309816 -o /tmp/evaluation-result-4309358-1534309816/solver-4309358-1534309816 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534293327-697 --watchdog 2580 xcsp_picat HOME/instance-4309358-1534309816.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=3203, runsolver pid=3200
Current StackSize limit: 8192 KiB
[startup+0.10084 s]*
/proc/loadavg: 1.97 1.99 2.03 3/190 3204
/proc/meminfo: memFree=17961592/32770624 swapFree=67108856/67108860
[pid=3203] ppid=3200 vsize=2027540 memory=24436 CPUtime=0.1 cores=1,3,5,7
/proc/3203/stat : 3203 (xcsp_picat) R 3200 3203 665 0 -1 4202496 1781 0 0 0 10 0 0 0 20 0 1 0 248544811 2076200960 6109 33554432000 4194304 5849940 140723082452720 140723082451416 139837880833952 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34254848 140723082458294 140723082458372 140723082458372 140723082461130 0
/proc/3203/statm: 506885 6109 663 405 0 503829 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2027540 KiB
Current children cumulated memory: 24436 KiB
[startup+0.209977 s]*
/proc/loadavg: 1.97 1.99 2.03 3/190 3204
/proc/meminfo: memFree=17960180/32770624 swapFree=67108856/67108860
[pid=3203] ppid=3200 vsize=2028564 memory=25492 CPUtime=0.21 cores=1,3,5,7
/proc/3203/stat : 3203 (xcsp_picat) R 3200 3203 665 0 -1 4202496 2041 0 0 0 21 0 0 0 20 0 1 0 248544811 2077249536 6373 33554432000 4194304 5849940 140723082452720 140723082451416 5302390 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34254848 140723082458294 140723082458372 140723082458372 140723082461130 0
/proc/3203/statm: 507141 6373 667 405 0 504085 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2028564 KiB
Current children cumulated memory: 25492 KiB
[startup+0.309106 s]*
/proc/loadavg: 1.97 1.99 2.03 3/190 3204
/proc/meminfo: memFree=17960180/32770624 swapFree=67108856/67108860
[pid=3203] ppid=3200 vsize=2028564 memory=25492 CPUtime=0.31 cores=1,3,5,7
/proc/3203/stat : 3203 (xcsp_picat) R 3200 3203 665 0 -1 4202496 2044 0 0 0 31 0 0 0 20 0 1 0 248544811 2077249536 6373 33554432000 4194304 5849940 140723082452720 140723082451416 5359256 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34254848 140723082458294 140723082458372 140723082458372 140723082461130 0
/proc/3203/statm: 507141 6373 667 405 0 504085 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2028564 KiB
Current children cumulated memory: 25492 KiB
[startup+0.700285 s]
/proc/loadavg: 1.97 1.99 2.03 3/190 3204
/proc/meminfo: memFree=17959372/32770624 swapFree=67108856/67108860
[pid=3203] ppid=3200 vsize=2028684 memory=25744 CPUtime=0.69 cores=1,3,5,7
/proc/3203/stat : 3203 (xcsp_picat) R 3200 3203 665 0 -1 4202496 2873 0 0 0 68 1 0 0 20 0 1 0 248544811 2077372416 6436 33554432000 4194304 5849940 140723082452720 140723082451720 139837881245575 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34254848 140723082458294 140723082458372 140723082458372 140723082461130 0
/proc/3203/statm: 507171 6436 674 405 0 504115 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2028684 KiB
Current children cumulated memory: 25744 KiB
[startup+1.50028 s]
/proc/loadavg: 1.97 1.99 2.03 3/190 3204
/proc/meminfo: memFree=17959152/32770624 swapFree=67108856/67108860
[pid=3203] ppid=3200 vsize=2031116 memory=27852 CPUtime=1.49 cores=1,3,5,7
/proc/3203/stat : 3203 (xcsp_picat) R 3200 3203 665 0 -1 4202496 3418 0 0 0 147 2 0 0 20 0 1 0 248544811 2079862784 6963 33554432000 4194304 5849940 140723082452720 140723082451720 139837881245575 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34254848 140723082458294 140723082458372 140723082458372 140723082461130 0
/proc/3203/statm: 507779 6963 682 405 0 504723 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2031116 KiB
Current children cumulated memory: 27852 KiB
[startup+3.1094 s]
/proc/loadavg: 1.97 1.99 2.03 3/190 3204
/proc/meminfo: memFree=17957180/32770624 swapFree=67108856/67108860
[pid=3203] ppid=3200 vsize=2031620 memory=28720 CPUtime=3.1 cores=1,3,5,7
/proc/3203/stat : 3203 (xcsp_picat) R 3200 3203 665 0 -1 4202496 4676 0 0 0 306 4 0 0 20 0 1 0 248544811 2080378880 7180 33554432000 4194304 5849940 140723082452720 140723082451720 139837881245575 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34254848 140723082458294 140723082458372 140723082458372 140723082461130 0
/proc/3203/statm: 507905 7180 682 405 0 504849 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2031620 KiB
Current children cumulated memory: 28720 KiB
[startup+6.30027 s]
/proc/loadavg: 1.97 1.99 2.03 3/190 3204
/proc/meminfo: memFree=17953508/32770624 swapFree=67108856/67108860
[pid=3203] ppid=3200 vsize=2034608 memory=31708 CPUtime=6.29 cores=1,3,5,7
/proc/3203/stat : 3203 (xcsp_picat) R 3200 3203 665 0 -1 4202496 7135 0 0 0 620 9 0 0 20 0 1 0 248544811 2083438592 7927 33554432000 4194304 5849940 140723082452720 140723082451720 139837881245575 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34254848 140723082458294 140723082458372 140723082458372 140723082461130 0
/proc/3203/statm: 508652 7927 682 405 0 505596 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2034608 KiB
Current children cumulated memory: 31708 KiB
[startup+12.7003 s]
/proc/loadavg: 1.97 1.99 2.03 3/190 3204
/proc/meminfo: memFree=17950832/32770624 swapFree=67108856/67108860
[pid=3203] ppid=3200 vsize=2035036 memory=32048 CPUtime=12.68 cores=1,3,5,7
/proc/3203/stat : 3203 (xcsp_picat) R 3200 3203 665 0 -1 4202496 11425 0 0 0 1254 14 0 0 20 0 1 0 248544811 2083876864 8012 33554432000 4194304 5849940 140723082452720 140723082451720 139837881245575 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34254848 140723082458294 140723082458372 140723082458372 140723082461130 0
/proc/3203/statm: 508759 8012 682 405 0 505703 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2035036 KiB
Current children cumulated memory: 32048 KiB
[startup+25.5003 s]
/proc/loadavg: 1.98 1.99 2.03 3/190 3204
/proc/meminfo: memFree=17951916/32770624 swapFree=67108856/67108860
[pid=3203] ppid=3200 vsize=2037812 memory=34848 CPUtime=25.49 cores=1,3,5,7
/proc/3203/stat : 3203 (xcsp_picat) R 3200 3203 665 0 -1 4202496 23463 0 0 0 2521 28 0 0 20 0 1 0 248544811 2086719488 8712 33554432000 4194304 5849940 140723082452720 140723082451720 139837881245575 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34254848 140723082458294 140723082458372 140723082458372 140723082461130 0
/proc/3203/statm: 509453 8712 682 405 0 506397 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2037812 KiB
Current children cumulated memory: 34848 KiB
[startup+51.1096 s]
/proc/loadavg: 1.99 1.99 2.03 3/190 3204
/proc/meminfo: memFree=17947792/32770624 swapFree=67108856/67108860
[pid=3203] ppid=3200 vsize=2040412 memory=37424 CPUtime=51.1 cores=1,3,5,7
/proc/3203/stat : 3203 (xcsp_picat) R 3200 3203 665 0 -1 4202496 40040 0 0 0 5059 51 0 0 20 0 1 0 248544811 2089381888 9356 33554432000 4194304 5849940 140723082452720 140723082451880 139837881245575 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34254848 140723082458294 140723082458372 140723082458372 140723082461130 0
/proc/3203/statm: 510103 9356 682 405 0 507047 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2040412 KiB
Current children cumulated memory: 37424 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/190 3205
/proc/meminfo: memFree=17941932/32770624 swapFree=67108856/67108860
[pid=3203] ppid=3200 vsize=2046448 memory=43544 CPUtime=102.29 cores=1,3,5,7
/proc/3203/stat : 3203 (xcsp_picat) R 3200 3203 665 0 -1 4202496 69802 0 0 0 10141 88 0 0 20 0 1 0 248544811 2095562752 10886 33554432000 4194304 5849940 140723082452720 140723082451720 139837881245575 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34254848 140723082458294 140723082458372 140723082458372 140723082461130 0
/proc/3203/statm: 511612 10886 682 405 0 508556 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2046448 KiB
Current children cumulated memory: 43544 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/192 3208
/proc/meminfo: memFree=17916244/32770624 swapFree=67108856/67108860
[pid=3203] ppid=3200 vsize=2070912 memory=68100 CPUtime=162.29 cores=1,3,5,7
/proc/3203/stat : 3203 (xcsp_picat) R 3200 3203 665 0 -1 4202496 100003 0 0 0 16104 125 0 0 20 0 1 0 248544811 2120613888 17025 33554432000 4194304 5849940 140723082452720 140723082451592 139837881245575 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34254848 140723082458294 140723082458372 140723082458372 140723082461130 0
/proc/3203/statm: 517728 17025 682 405 0 514672 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2070912 KiB
Current children cumulated memory: 68100 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/192 3209
/proc/meminfo: memFree=17888672/32770624 swapFree=67108856/67108860
[pid=3203] ppid=3200 vsize=2069424 memory=66340 CPUtime=222.28 cores=1,3,5,7
/proc/3203/stat : 3203 (xcsp_picat) R 3200 3203 665 0 -1 4202496 123879 0 0 0 22073 155 0 0 20 0 1 0 248544811 2119090176 16585 33554432000 4194304 5849940 140723082452720 140723082451720 139837881245575 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34254848 140723082458294 140723082458372 140723082458372 140723082461130 0
/proc/3203/statm: 517356 16585 682 405 0 514300 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2069424 KiB
Current children cumulated memory: 66340 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/192 3210
/proc/meminfo: memFree=17893416/32770624 swapFree=67108856/67108860
[pid=3203] ppid=3200 vsize=2092988 memory=90088 CPUtime=282.28 cores=1,3,5,7
/proc/3203/stat : 3203 (xcsp_picat) R 3200 3203 665 0 -1 4202496 138634 0 0 0 28052 176 0 0 20 0 1 0 248544811 2143219712 22522 33554432000 4194304 5849940 140723082452720 140723082451720 139837881245575 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34254848 140723082458294 140723082458372 140723082458372 140723082461130 0
/proc/3203/statm: 523247 22522 682 405 0 520191 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2092988 KiB
Current children cumulated memory: 90088 KiB
[startup+342.3 s]
/proc/loadavg: 2.07 2.01 2.05 3/192 3211
/proc/meminfo: memFree=17835004/32770624 swapFree=67108856/67108860
[pid=3203] ppid=3200 vsize=2151452 memory=148552 CPUtime=342.28 cores=1,3,5,7
/proc/3203/stat : 3203 (xcsp_picat) R 3200 3203 665 0 -1 4202496 161814 0 0 0 34036 192 0 0 20 0 1 0 248544811 2203086848 37138 33554432000 4194304 5849940 140723082452720 140723082451720 5437906 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34254848 140723082458294 140723082458372 140723082458372 140723082461130 0
/proc/3203/statm: 537863 37138 682 405 0 534807 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2151452 KiB
Current children cumulated memory: 148552 KiB
[startup+402.3 s]
/proc/loadavg: 2.03 2.01 2.05 3/192 3212
/proc/meminfo: memFree=17897800/32770624 swapFree=67108856/67108860
[pid=3203] ppid=3200 vsize=2089740 memory=86224 CPUtime=402.28 cores=1,3,5,7
/proc/3203/stat : 3203 (xcsp_picat) R 3200 3203 665 0 -1 4202496 170098 0 0 0 40016 212 0 0 20 0 1 0 248544811 2139893760 21556 33554432000 4194304 5849940 140723082452720 140723082451720 139837881245575 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34254848 140723082458294 140723082458372 140723082458372 140723082461130 0
/proc/3203/statm: 522435 21556 682 405 0 519379 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 2089740 KiB
Current children cumulated memory: 86224 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/190 3213
/proc/meminfo: memFree=17837972/32770624 swapFree=67108856/67108860
[pid=3203] ppid=3200 vsize=2148760 memory=145860 CPUtime=462.27 cores=1,3,5,7
/proc/3203/stat : 3203 (xcsp_picat) R 3200 3203 665 0 -1 4202496 189058 0 0 0 45996 231 0 0 20 0 1 0 248544811 2200330240 36465 33554432000 4194304 5849940 140723082452720 140723082451720 5335720 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34254848 140723082458294 140723082458372 140723082458372 140723082461130 0
/proc/3203/statm: 537190 36465 682 405 0 534134 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2148760 KiB
Current children cumulated memory: 145860 KiB
################
# More data... #
################
/proc/3203/statm: 575655 74930 682 405 0 572599 0
Current children cumulated CPU time: 1722.27 s
Current children cumulated vsize: 2302620 KiB
Current children cumulated memory: 299720 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 3257
/proc/meminfo: memFree=17685304/32770624 swapFree=67108856/67108860
[pid=3203] ppid=3200 vsize=2302620 memory=299720 CPUtime=1782.27 cores=1,3,5,7
/proc/3203/stat : 3203 (xcsp_picat) R 3200 3203 665 0 -1 4202496 501389 0 0 0 177738 489 0 0 20 0 1 0 248544811 2357882880 74930 33554432000 4194304 5849940 140723082452720 140723082451720 139837881245575 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34254848 140723082458294 140723082458372 140723082458372 140723082461130 0
/proc/3203/statm: 575655 74930 682 405 0 572599 0
Current children cumulated CPU time: 1782.27 s
Current children cumulated vsize: 2302620 KiB
Current children cumulated memory: 299720 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 3265
/proc/meminfo: memFree=17684076/32770624 swapFree=67108856/67108860
[pid=3203] ppid=3200 vsize=2302620 memory=299720 CPUtime=1842.27 cores=1,3,5,7
/proc/3203/stat : 3203 (xcsp_picat) R 3200 3203 665 0 -1 4202496 528159 0 0 0 183730 497 0 0 20 0 1 0 248544811 2357882880 74930 33554432000 4194304 5849940 140723082452720 140723082451720 5437906 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34254848 140723082458294 140723082458372 140723082458372 140723082461130 0
/proc/3203/statm: 575655 74930 682 405 0 572599 0
Current children cumulated CPU time: 1842.27 s
Current children cumulated vsize: 2302620 KiB
Current children cumulated memory: 299720 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 3327
/proc/meminfo: memFree=24466492/32770624 swapFree=67108856/67108860
[pid=3203] ppid=3200 vsize=2302620 memory=299720 CPUtime=1902.26 cores=1,3,5,7
/proc/3203/stat : 3203 (xcsp_picat) R 3200 3203 665 0 -1 4202496 554972 0 0 0 189721 505 0 0 20 0 1 0 248544811 2357882880 74930 33554432000 4194304 5849940 140723082452720 140723082451720 139837881245575 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34254848 140723082458294 140723082458372 140723082458372 140723082461130 0
/proc/3203/statm: 575655 74930 682 405 0 572599 0
Current children cumulated CPU time: 1902.26 s
Current children cumulated vsize: 2302620 KiB
Current children cumulated memory: 299720 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 3328
/proc/meminfo: memFree=24399176/32770624 swapFree=67108856/67108860
[pid=3203] ppid=3200 vsize=2369352 memory=366216 CPUtime=1962.24 cores=1,3,5,7
/proc/3203/stat : 3203 (xcsp_picat) R 3200 3203 665 0 -1 4202496 579497 0 0 0 195706 518 0 0 20 0 1 0 248544811 2426216448 91554 33554432000 4194304 5849940 140723082452720 140723082451720 5437906 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34254848 140723082458294 140723082458372 140723082458372 140723082461130 0
/proc/3203/statm: 592338 91554 682 405 0 589282 0
Current children cumulated CPU time: 1962.24 s
Current children cumulated vsize: 2369352 KiB
Current children cumulated memory: 366216 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 3329
/proc/meminfo: memFree=24391408/32770624 swapFree=67108856/67108860
[pid=3203] ppid=3200 vsize=2369352 memory=370280 CPUtime=2022.23 cores=1,3,5,7
/proc/3203/stat : 3203 (xcsp_picat) R 3200 3203 665 0 -1 4202496 600094 0 0 0 201696 527 0 0 20 0 1 0 248544811 2426216448 92570 33554432000 4194304 5849940 140723082452720 140723082451720 139837881245575 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34254848 140723082458294 140723082458372 140723082458372 140723082461130 0
/proc/3203/statm: 592338 92570 682 405 0 589282 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 2369352 KiB
Current children cumulated memory: 370280 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 3330
/proc/meminfo: memFree=24382304/32770624 swapFree=67108856/67108860
[pid=3203] ppid=3200 vsize=2369352 memory=371804 CPUtime=2082.22 cores=1,3,5,7
/proc/3203/stat : 3203 (xcsp_picat) R 3200 3203 665 0 -1 4202496 620277 0 0 0 207685 537 0 0 20 0 1 0 248544811 2426216448 92951 33554432000 4194304 5849940 140723082452720 140723082451720 139837881245575 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34254848 140723082458294 140723082458372 140723082458372 140723082461130 0
/proc/3203/statm: 592338 92951 682 405 0 589282 0
Current children cumulated CPU time: 2082.22 s
Current children cumulated vsize: 2369352 KiB
Current children cumulated memory: 371804 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 3331
/proc/meminfo: memFree=24374272/32770624 swapFree=67108856/67108860
[pid=3203] ppid=3200 vsize=2369352 memory=371804 CPUtime=2142.23 cores=1,3,5,7
/proc/3203/stat : 3203 (xcsp_picat) R 3200 3203 665 0 -1 4202496 639832 0 0 0 213676 547 0 0 20 0 1 0 248544811 2426216448 92951 33554432000 4194304 5849940 140723082452720 140723082451720 139837881245575 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34254848 140723082458294 140723082458372 140723082458372 140723082461130 0
/proc/3203/statm: 592338 92951 682 405 0 589282 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 2369352 KiB
Current children cumulated memory: 371804 KiB
[startup+2202.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/190 3456
/proc/meminfo: memFree=24411884/32770624 swapFree=67108856/67108860
[pid=3203] ppid=3200 vsize=2369352 memory=371804 CPUtime=2202.23 cores=1,3,5,7
/proc/3203/stat : 3203 (xcsp_picat) R 3200 3203 665 0 -1 4202496 660161 0 0 0 219667 556 0 0 20 0 1 0 248544811 2426216448 92951 33554432000 4194304 5849940 140723082452720 140723082451720 139837881245575 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34254848 140723082458294 140723082458372 140723082458372 140723082461130 0
/proc/3203/statm: 592338 92951 682 405 0 589282 0
Current children cumulated CPU time: 2202.23 s
Current children cumulated vsize: 2369352 KiB
Current children cumulated memory: 371804 KiB
[startup+2262.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/190 3457
/proc/meminfo: memFree=24369372/32770624 swapFree=67108856/67108860
[pid=3203] ppid=3200 vsize=2392232 memory=394684 CPUtime=2262.23 cores=1,3,5,7
/proc/3203/stat : 3203 (xcsp_picat) R 3200 3203 665 0 -1 4202496 687162 0 0 0 225659 564 0 0 20 0 1 0 248544811 2449645568 98671 33554432000 4194304 5849940 140723082452720 140723082451720 5437906 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34254848 140723082458294 140723082458372 140723082458372 140723082461130 0
/proc/3203/statm: 598058 98671 682 405 0 595002 0
Current children cumulated CPU time: 2262.23 s
Current children cumulated vsize: 2392232 KiB
Current children cumulated memory: 394684 KiB
[startup+2322.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/190 3458
/proc/meminfo: memFree=24371564/32770624 swapFree=67108856/67108860
[pid=3203] ppid=3200 vsize=2392232 memory=394684 CPUtime=2322.23 cores=1,3,5,7
/proc/3203/stat : 3203 (xcsp_picat) R 3200 3203 665 0 -1 4202496 694676 0 0 0 231652 571 0 0 20 0 1 0 248544811 2449645568 98671 33554432000 4194304 5849940 140723082452720 140723082451720 5437906 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34254848 140723082458294 140723082458372 140723082458372 140723082461130 0
/proc/3203/statm: 598058 98671 682 405 0 595002 0
Current children cumulated CPU time: 2322.23 s
Current children cumulated vsize: 2392232 KiB
Current children cumulated memory: 394684 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 3459
/proc/meminfo: memFree=24329732/32770624 swapFree=67108856/67108860
[pid=3203] ppid=3200 vsize=2392232 memory=394684 CPUtime=2382.22 cores=1,3,5,7
/proc/3203/stat : 3203 (xcsp_picat) R 3200 3203 665 0 -1 4202496 741370 0 0 0 237642 580 0 0 20 0 1 0 248544811 2449645568 98671 33554432000 4194304 5849940 140723082452720 140723082451720 5437906 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34254848 140723082458294 140723082458372 140723082458372 140723082461130 0
/proc/3203/statm: 598058 98671 682 405 0 595002 0
Current children cumulated CPU time: 2382.22 s
Current children cumulated vsize: 2392232 KiB
Current children cumulated memory: 394684 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 3467
/proc/meminfo: memFree=24355112/32770624 swapFree=67108856/67108860
[pid=3203] ppid=3200 vsize=2392232 memory=394684 CPUtime=2442.23 cores=1,3,5,7
/proc/3203/stat : 3203 (xcsp_picat) R 3200 3203 665 0 -1 4202496 779975 0 0 0 243632 591 0 0 20 0 1 0 248544811 2449645568 98671 33554432000 4194304 5849940 140723082452720 140723082451720 139837881245575 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34254848 140723082458294 140723082458372 140723082458372 140723082461130 0
/proc/3203/statm: 598058 98671 682 405 0 595002 0
Current children cumulated CPU time: 2442.23 s
Current children cumulated vsize: 2392232 KiB
Current children cumulated memory: 394684 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 3468
/proc/meminfo: memFree=24262268/32770624 swapFree=67108856/67108860
[pid=3203] ppid=3200 vsize=2457768 memory=460092 CPUtime=2502.23 cores=1,3,5,7
/proc/3203/stat : 3203 (xcsp_picat) R 3200 3203 665 0 -1 4202496 788859 0 0 0 249622 601 0 0 20 0 1 0 248544811 2516754432 115023 33554432000 4194304 5849940 140723082452720 140723082451720 5437906 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34254848 140723082458294 140723082458372 140723082458372 140723082461130 0
/proc/3203/statm: 614442 115023 682 405 0 611386 0
Current children cumulated CPU time: 2502.23 s
Current children cumulated vsize: 2457768 KiB
Current children cumulated memory: 460092 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/190 3469
/proc/meminfo: memFree=24440360/32770624 swapFree=67108856/67108860
[pid=3203] ppid=3200 vsize=2296808 memory=299260 CPUtime=2519.94 cores=1,3,5,7
/proc/3203/stat : 3203 (xcsp_picat) R 3200 3203 665 0 -1 4202496 810572 0 0 0 251385 609 0 0 20 0 1 0 248544811 2351931392 74815 33554432000 4194304 5849940 140723082452720 140723082451720 5437784 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34254848 140723082458294 140723082458372 140723082458372 140723082461130 0
/proc/3203/statm: 574202 74815 682 405 0 571146 0
Current children cumulated CPU time: 2519.94 s
Current children cumulated vsize: 2296808 KiB
Current children cumulated memory: 299260 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 3203 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.85 s, system=6.10294 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.96
CPU user time (s): 2513.85
CPU system time (s): 6.10294
CPU usage (%): 99.9976
Max. virtual memory (cumulated for all children) (KiB): 2457768
Max. memory (cumulated for all children) (KiB): 460152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.86
system time used= 6.10294
maximum resident set size= 460220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 810572
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= 46
involuntary context switches= 948
# summary of solver processes directly reported to runsolver:
# pid: 3203
# total CPU time (s): 2519.96
# total CPU user time (s): 2513.85
# total CPU system time (s): 6.10294
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.59148 second user time and 19.6297 second system time
The end