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 (13090 MiB free)
memory of node 1: 16384 MiB (13401 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309472-1534293911/watcher-4309472-1534293911 -o /tmp/evaluation-result-4309472-1534293911/solver-4309472-1534293911 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534293911-23504 --watchdog 2580 xcsp_picat HOME/instance-4309472-1534293911.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
solver pid=23534, runsolver pid=23527
Current StackSize limit: 8192 KiB
[startup+0.100116 s]*
/proc/loadavg: 0.53 0.73 1.07 4/187 23535
/proc/meminfo: memFree=27066492/32770624 swapFree=67108804/67108860
[pid=23534] ppid=23527 vsize=2025744 memory=39008 CPUtime=0.1 cores=0,2,4,6
/proc/23534/stat : 23534 (xcsp_picat) R 23527 23534 23473 0 -1 4202496 1751 0 0 0 10 0 0 0 20 0 1 0 246954269 2074361856 9752 33554432000 4194304 5849940 140733374761216 140733374761216 4475189 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26931200 140733374764214 140733374764292 140733374764292 140733374767050 0
/proc/23534/statm: 506436 9752 594 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 39008 KiB
[startup+0.209908 s]*
/proc/loadavg: 0.53 0.73 1.07 4/187 23535
/proc/meminfo: memFree=27025532/32770624 swapFree=67108804/67108860
[pid=23534] ppid=23527 vsize=2025744 memory=65632 CPUtime=0.21 cores=0,2,4,6
/proc/23534/stat : 23534 (xcsp_picat) R 23527 23534 23473 0 -1 4202496 1764 0 0 0 21 0 0 0 20 0 1 0 246954269 2074361856 16408 33554432000 4194304 5849940 140733374761216 140733374761216 4844987 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26931200 140733374764214 140733374764292 140733374764292 140733374767050 0
/proc/23534/statm: 506436 16408 594 405 0 503380 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 65632 KiB
[startup+0.309798 s]*
/proc/loadavg: 0.53 0.73 1.07 4/187 23535
/proc/meminfo: memFree=27000956/32770624 swapFree=67108804/67108860
[pid=23534] ppid=23527 vsize=2025744 memory=90208 CPUtime=0.31 cores=0,2,4,6
/proc/23534/stat : 23534 (xcsp_picat) R 23527 23534 23473 0 -1 4202496 1776 0 0 0 30 1 0 0 20 0 1 0 246954269 2074361856 22552 33554432000 4194304 5849940 140733374761216 140733374761216 4500649 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26931200 140733374764214 140733374764292 140733374764292 140733374767050 0
/proc/23534/statm: 506436 22552 594 405 0 503380 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 90208 KiB
[startup+0.700372 s]
/proc/loadavg: 0.53 0.73 1.07 4/187 23535
/proc/meminfo: memFree=26952736/32770624 swapFree=67108804/67108860
[pid=23534] ppid=23527 vsize=2025744 memory=160092 CPUtime=0.69 cores=0,2,4,6
/proc/23534/stat : 23534 (xcsp_picat) R 23527 23534 23473 0 -1 4202496 1848 0 0 0 67 2 0 0 20 0 1 0 246954269 2074361856 40023 33554432000 4194304 5849940 140733374761216 140733374761216 4657719 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26931200 140733374764214 140733374764292 140733374764292 140733374767050 0
/proc/23534/statm: 506436 40023 628 405 0 503380 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 160092 KiB
[startup+1.50044 s]
/proc/loadavg: 0.53 0.73 1.07 5/187 23535
/proc/meminfo: memFree=26881292/32770624 swapFree=67108804/67108860
[pid=23534] ppid=23527 vsize=2033560 memory=263424 CPUtime=1.49 cores=0,2,4,6
/proc/23534/stat : 23534 (xcsp_picat) R 23527 23534 23473 0 -1 4202496 2143 0 0 0 145 4 0 0 20 0 1 0 246954269 2082365440 65856 33554432000 4194304 5849940 140733374761216 140733374760520 4489778 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26931200 140733374764214 140733374764292 140733374764292 140733374767050 0
/proc/23534/statm: 508390 65856 634 405 0 505334 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 263424 KiB
[startup+3.10968 s]
/proc/loadavg: 0.65 0.75 1.07 5/187 23535
/proc/meminfo: memFree=26548944/32770624 swapFree=67108804/67108860
[pid=23534] ppid=23527 vsize=2216596 memory=535568 CPUtime=3.1 cores=0,2,4,6
/proc/23534/stat : 23534 (xcsp_picat) R 23527 23534 23473 0 -1 4202496 3977 0 0 0 300 10 0 0 20 0 1 0 246954269 2269794304 133892 33554432000 4194304 5849940 140733374761216 140733374760520 4490931 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26931200 140733374764214 140733374764292 140733374764292 140733374767050 0
/proc/23534/statm: 554149 133892 676 405 0 551093 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2216596 KiB
Current children cumulated memory: 535568 KiB
[startup+6.30034 s]
/proc/loadavg: 0.65 0.75 1.07 4/187 23535
/proc/meminfo: memFree=26442800/32770624 swapFree=67108804/67108860
[pid=23534] ppid=23527 vsize=2235388 memory=635820 CPUtime=6.29 cores=0,2,4,6
/proc/23534/stat : 23534 (xcsp_picat) R 23527 23534 23473 0 -1 4202496 7525 0 0 0 597 32 0 0 20 0 1 0 246954269 2289037312 158955 33554432000 4194304 5849940 140733374761216 140733374760328 140385717059463 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26931200 140733374764214 140733374764292 140733374764292 140733374767050 0
/proc/23534/statm: 558847 158955 740 405 0 555791 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2235388 KiB
Current children cumulated memory: 635820 KiB
[startup+12.7003 s]
/proc/loadavg: 0.85 0.79 1.08 4/187 23535
/proc/meminfo: memFree=26363828/32770624 swapFree=67108804/67108860
[pid=23534] ppid=23527 vsize=2313212 memory=713884 CPUtime=12.7 cores=0,2,4,6
/proc/23534/stat : 23534 (xcsp_picat) R 23527 23534 23473 0 -1 4202496 11530 0 0 0 1233 37 0 0 20 0 1 0 246954269 2368729088 178471 33554432000 4194304 5849940 140733374761216 140733374760456 5472131 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26931200 140733374764214 140733374764292 140733374764292 140733374767050 0
/proc/23534/statm: 578303 178471 740 405 0 575247 0
Current children cumulated CPU time: 12.7 s
Current children cumulated vsize: 2313212 KiB
Current children cumulated memory: 713884 KiB
[startup+25.5003 s]
/proc/loadavg: 1.03 0.83 1.09 4/187 23535
/proc/meminfo: memFree=26356872/32770624 swapFree=67108804/67108860
[pid=23534] ppid=23527 vsize=2313212 memory=713884 CPUtime=25.49 cores=0,2,4,6
/proc/23534/stat : 23534 (xcsp_picat) R 23527 23534 23473 0 -1 4202496 12173 0 0 0 2508 41 0 0 20 0 1 0 246954269 2368729088 178471 33554432000 4194304 5849940 140733374761216 140733374760312 140385716609034 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26931200 140733374764214 140733374764292 140733374764292 140733374767050 0
/proc/23534/statm: 578303 178471 740 405 0 575247 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2313212 KiB
Current children cumulated memory: 713884 KiB
[startup+51.1092 s]
/proc/loadavg: 1.36 0.93 1.11 4/187 23535
/proc/meminfo: memFree=26318824/32770624 swapFree=67108804/67108860
[pid=23534] ppid=23527 vsize=2345984 memory=746656 CPUtime=51.11 cores=0,2,4,6
/proc/23534/stat : 23534 (xcsp_picat) R 23527 23534 23473 0 -1 4202496 13753 0 0 0 5064 47 0 0 20 0 1 0 246954269 2402287616 186664 33554432000 4194304 5849940 140733374761216 140733374760312 5472014 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26931200 140733374764214 140733374764292 140733374764292 140733374767050 0
/proc/23534/statm: 586496 186664 740 405 0 583440 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 2345984 KiB
Current children cumulated memory: 746656 KiB
[startup+102.3 s]
/proc/loadavg: 1.74 1.11 1.16 4/187 23536
/proc/meminfo: memFree=26309228/32770624 swapFree=67108804/67108860
[pid=23534] ppid=23527 vsize=2345984 memory=746656 CPUtime=102.3 cores=0,2,4,6
/proc/23534/stat : 23534 (xcsp_picat) R 23527 23534 23473 0 -1 4202496 14476 0 0 0 10177 53 0 0 20 0 1 0 246954269 2402287616 186664 33554432000 4194304 5849940 140733374761216 140733374760312 5521670 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26931200 140733374764214 140733374764292 140733374764292 140733374767050 0
/proc/23534/statm: 586496 186664 740 405 0 583440 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 2345984 KiB
Current children cumulated memory: 746656 KiB
[startup+162.3 s]
/proc/loadavg: 1.91 1.27 1.22 4/187 23537
/proc/meminfo: memFree=26144020/32770624 swapFree=67108804/67108860
[pid=23534] ppid=23527 vsize=2495844 memory=896740 CPUtime=162.3 cores=0,2,4,6
/proc/23534/stat : 23534 (xcsp_picat) R 23527 23534 23473 0 -1 4202496 52808 0 0 0 16168 62 0 0 20 0 1 0 246954269 2555744256 224185 33554432000 4194304 5849940 140733374761216 140733374760216 5312806 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26931200 140733374764214 140733374764292 140733374764292 140733374767050 0
/proc/23534/statm: 623961 224185 773 405 0 620905 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2495844 KiB
Current children cumulated memory: 896740 KiB
[startup+222.3 s]
/proc/loadavg: 1.97 1.40 1.27 4/187 23538
/proc/meminfo: memFree=26132140/32770624 swapFree=67108804/67108860
[pid=23534] ppid=23527 vsize=2501368 memory=902272 CPUtime=222.31 cores=0,2,4,6
/proc/23534/stat : 23534 (xcsp_picat) R 23527 23534 23473 0 -1 4202496 76957 0 0 0 22164 67 0 0 20 0 1 0 246954269 2561400832 225568 33554432000 4194304 5849940 140733374761216 140733374759704 5308629 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26931200 140733374764214 140733374764292 140733374764292 140733374767050 0
/proc/23534/statm: 625342 225568 773 405 0 622286 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 2501368 KiB
Current children cumulated memory: 902272 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.51 1.31 4/187 23539
/proc/meminfo: memFree=26180376/32770624 swapFree=67108804/67108860
[pid=23534] ppid=23527 vsize=2461448 memory=862352 CPUtime=282.31 cores=0,2,4,6
/proc/23534/stat : 23534 (xcsp_picat) R 23527 23534 23473 0 -1 4202496 101774 0 0 0 28160 71 0 0 20 0 1 0 246954269 2520522752 215588 33554432000 4194304 5849940 140733374761216 140733374760216 5339651 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26931200 140733374764214 140733374764292 140733374764292 140733374767050 0
/proc/23534/statm: 615362 215588 773 405 0 612306 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 2461448 KiB
Current children cumulated memory: 862352 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.60 1.35 4/188 23548
/proc/meminfo: memFree=26125908/32770624 swapFree=67108804/67108860
[pid=23534] ppid=23527 vsize=2484428 memory=885332 CPUtime=342.32 cores=0,2,4,6
/proc/23534/stat : 23534 (xcsp_picat) R 23527 23534 23473 0 -1 4202496 151037 0 0 0 34155 77 0 0 20 0 1 0 246954269 2544054272 221333 33554432000 4194304 5849940 140733374761216 140733374758760 140385717059463 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26931200 140733374764214 140733374764292 140733374764292 140733374767050 0
/proc/23534/statm: 621107 221333 773 405 0 618051 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 2484428 KiB
Current children cumulated memory: 885332 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.67 1.40 4/188 23549
/proc/meminfo: memFree=26144684/32770624 swapFree=67108804/67108860
[pid=23534] ppid=23527 vsize=2467736 memory=868640 CPUtime=402.32 cores=0,2,4,6
/proc/23534/stat : 23534 (xcsp_picat) R 23527 23534 23473 0 -1 4202496 199625 0 0 0 40144 88 0 0 20 0 1 0 246954269 2526961664 217160 33554432000 4194304 5849940 140733374761216 140733374759864 5365660 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26931200 140733374764214 140733374764292 140733374764292 140733374767050 0
/proc/23534/statm: 616934 217160 773 405 0 613878 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 2467736 KiB
Current children cumulated memory: 868640 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.73 1.43 4/188 23550
/proc/meminfo: memFree=26129928/32770624 swapFree=67108804/67108860
[pid=23534] ppid=23527 vsize=2484864 memory=885768 CPUtime=462.32 cores=0,2,4,6
/proc/23534/stat : 23534 (xcsp_picat) R 23527 23534 23473 0 -1 4202496 247097 0 0 0 46136 96 0 0 20 0 1 0 246954269 2544500736 221442 33554432000 4194304 5849940 140733374761216 140733374760088 140385717059463 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26931200 140733374764214 140733374764292 140733374764292 140733374767050 0
/proc/23534/statm: 621216 221442 773 405 0 618160 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 2484864 KiB
Current children cumulated memory: 885768 KiB
################
# More data... #
################
/proc/23534/statm: 622167 224007 773 405 0 619111 0
Current children cumulated CPU time: 1782.41 s
Current children cumulated vsize: 2488668 KiB
Current children cumulated memory: 896028 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 1.87 4/188 23610
/proc/meminfo: memFree=25960508/32770624 swapFree=67108804/67108860
[pid=23534] ppid=23527 vsize=2488668 memory=896028 CPUtime=1842.41 cores=0,2,4,6
/proc/23534/stat : 23534 (xcsp_picat) R 23527 23534 23473 0 -1 4202496 724388 0 0 0 183940 301 0 0 20 0 1 0 246954269 2548396032 224007 33554432000 4194304 5849940 140733374761216 140733374760376 5307856 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26931200 140733374764214 140733374764292 140733374764292 140733374767050 0
/proc/23534/statm: 622167 224007 773 405 0 619111 0
Current children cumulated CPU time: 1842.41 s
Current children cumulated vsize: 2488668 KiB
Current children cumulated memory: 896028 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 1.88 4/188 23611
/proc/meminfo: memFree=25968744/32770624 swapFree=67108804/67108860
[pid=23534] ppid=23527 vsize=2488668 memory=896028 CPUtime=1902.42 cores=0,2,4,6
/proc/23534/stat : 23534 (xcsp_picat) R 23527 23534 23473 0 -1 4202496 724930 0 0 0 189932 310 0 0 20 0 1 0 246954269 2548396032 224007 33554432000 4194304 5849940 140733374761216 140733374760216 5437772 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26931200 140733374764214 140733374764292 140733374764292 140733374767050 0
/proc/23534/statm: 622167 224007 773 405 0 619111 0
Current children cumulated CPU time: 1902.42 s
Current children cumulated vsize: 2488668 KiB
Current children cumulated memory: 896028 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.89 4/188 23612
/proc/meminfo: memFree=25931520/32770624 swapFree=67108804/67108860
[pid=23534] ppid=23527 vsize=2502644 memory=910004 CPUtime=1962.42 cores=0,2,4,6
/proc/23534/stat : 23534 (xcsp_picat) R 23527 23534 23473 0 -1 4202496 726114 0 0 0 195928 314 0 0 20 0 1 0 246954269 2562707456 227501 33554432000 4194304 5849940 140733374761216 140733374760376 5438264 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26931200 140733374764214 140733374764292 140733374764292 140733374767050 0
/proc/23534/statm: 625661 227501 773 405 0 622605 0
Current children cumulated CPU time: 1962.42 s
Current children cumulated vsize: 2502644 KiB
Current children cumulated memory: 910004 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.89 4/188 23613
/proc/meminfo: memFree=26045740/32770624 swapFree=67108804/67108860
[pid=23534] ppid=23527 vsize=2502644 memory=910004 CPUtime=2022.42 cores=0,2,4,6
/proc/23534/stat : 23534 (xcsp_picat) R 23527 23534 23473 0 -1 4202496 727015 0 0 0 201916 326 0 0 20 0 1 0 246954269 2562707456 227501 33554432000 4194304 5849940 140733374761216 140733374760216 5307805 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26931200 140733374764214 140733374764292 140733374764292 140733374767050 0
/proc/23534/statm: 625661 227501 773 405 0 622605 0
Current children cumulated CPU time: 2022.42 s
Current children cumulated vsize: 2502644 KiB
Current children cumulated memory: 910004 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 1.90 5/188 23614
/proc/meminfo: memFree=26000860/32770624 swapFree=67108804/67108860
[pid=23534] ppid=23527 vsize=2502644 memory=910004 CPUtime=2082.43 cores=0,2,4,6
/proc/23534/stat : 23534 (xcsp_picat) R 23527 23534 23473 0 -1 4202496 727556 0 0 0 207908 335 0 0 20 0 1 0 246954269 2562707456 227501 33554432000 4194304 5849940 140733374761216 140733374760216 140385717059463 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26931200 140733374764214 140733374764292 140733374764292 140733374767050 0
/proc/23534/statm: 625661 227501 773 405 0 622605 0
Current children cumulated CPU time: 2082.43 s
Current children cumulated vsize: 2502644 KiB
Current children cumulated memory: 910004 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 1.90 4/188 23620
/proc/meminfo: memFree=26015476/32770624 swapFree=67108804/67108860
[pid=23534] ppid=23527 vsize=2488416 memory=895776 CPUtime=2142.44 cores=0,2,4,6
/proc/23534/stat : 23534 (xcsp_picat) R 23527 23534 23473 0 -1 4202496 728751 0 0 0 213901 343 0 0 20 0 1 0 246954269 2548137984 223944 33554432000 4194304 5849940 140733374761216 140733374760376 5339250 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26931200 140733374764214 140733374764292 140733374764292 140733374767050 0
/proc/23534/statm: 622104 223944 773 405 0 619048 0
Current children cumulated CPU time: 2142.44 s
Current children cumulated vsize: 2488416 KiB
Current children cumulated memory: 895776 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/188 23621
/proc/meminfo: memFree=26013800/32770624 swapFree=67108804/67108860
[pid=23534] ppid=23527 vsize=2488416 memory=895776 CPUtime=2202.44 cores=0,2,4,6
/proc/23534/stat : 23534 (xcsp_picat) R 23527 23534 23473 0 -1 4202496 729617 0 0 0 219891 353 0 0 20 0 1 0 246954269 2548137984 223944 33554432000 4194304 5849940 140733374761216 140733374759704 4233904 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26931200 140733374764214 140733374764292 140733374764292 140733374767050 0
/proc/23534/statm: 622104 223944 773 405 0 619048 0
Current children cumulated CPU time: 2202.44 s
Current children cumulated vsize: 2488416 KiB
Current children cumulated memory: 895776 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/188 23622
/proc/meminfo: memFree=26045748/32770624 swapFree=67108804/67108860
[pid=23534] ppid=23527 vsize=2490860 memory=898000 CPUtime=2262.44 cores=0,2,4,6
/proc/23534/stat : 23534 (xcsp_picat) R 23527 23534 23473 0 -1 4202496 731498 0 0 0 225871 373 0 0 20 0 1 0 246954269 2550640640 224500 33554432000 4194304 5849940 140733374761216 140733374760216 140385717059463 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26931200 140733374764214 140733374764292 140733374764292 140733374767050 0
/proc/23534/statm: 622715 224500 773 405 0 619659 0
Current children cumulated CPU time: 2262.44 s
Current children cumulated vsize: 2490860 KiB
Current children cumulated memory: 898000 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/188 23623
/proc/meminfo: memFree=26044568/32770624 swapFree=67108804/67108860
[pid=23534] ppid=23527 vsize=2491460 memory=898152 CPUtime=2322.45 cores=0,2,4,6
/proc/23534/stat : 23534 (xcsp_picat) R 23527 23534 23473 0 -1 4202496 733504 0 0 0 231856 389 0 0 20 0 1 0 246954269 2551255040 224538 33554432000 4194304 5849940 140733374761216 140733374760216 5339977 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26931200 140733374764214 140733374764292 140733374764292 140733374767050 0
/proc/23534/statm: 622865 224538 773 405 0 619809 0
Current children cumulated CPU time: 2322.45 s
Current children cumulated vsize: 2491460 KiB
Current children cumulated memory: 898152 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/188 23624
/proc/meminfo: memFree=25961176/32770624 swapFree=67108804/67108860
[pid=23534] ppid=23527 vsize=2491460 memory=898152 CPUtime=2382.46 cores=0,2,4,6
/proc/23534/stat : 23534 (xcsp_picat) R 23527 23534 23473 0 -1 4202496 734290 0 0 0 237852 394 0 0 20 0 1 0 246954269 2551255040 224538 33554432000 4194304 5849940 140733374761216 140733374760088 5416904 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26931200 140733374764214 140733374764292 140733374764292 140733374767050 0
/proc/23534/statm: 622865 224538 773 405 0 619809 0
Current children cumulated CPU time: 2382.46 s
Current children cumulated vsize: 2491460 KiB
Current children cumulated memory: 898152 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 1.93 5/188 23626
/proc/meminfo: memFree=26059268/32770624 swapFree=67108804/67108860
[pid=23534] ppid=23527 vsize=2491460 memory=898152 CPUtime=2442.46 cores=0,2,4,6
/proc/23534/stat : 23534 (xcsp_picat) R 23527 23534 23473 0 -1 4202496 734768 0 0 0 243846 400 0 0 20 0 1 0 246954269 2551255040 224538 33554432000 4194304 5849940 140733374761216 140733374760216 5437906 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26931200 140733374764214 140733374764292 140733374764292 140733374767050 0
/proc/23534/statm: 622865 224538 773 405 0 619809 0
Current children cumulated CPU time: 2442.46 s
Current children cumulated vsize: 2491460 KiB
Current children cumulated memory: 898152 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 1.94 4/188 23627
/proc/meminfo: memFree=26041720/32770624 swapFree=67108804/67108860
[pid=23534] ppid=23527 vsize=2491460 memory=898152 CPUtime=2502.46 cores=0,2,4,6
/proc/23534/stat : 23534 (xcsp_picat) R 23527 23534 23473 0 -1 4202496 735356 0 0 0 249838 408 0 0 20 0 1 0 246954269 2551255040 224538 33554432000 4194304 5849940 140733374761216 140733374760216 5438039 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26931200 140733374764214 140733374764292 140733374764292 140733374767050 0
/proc/23534/statm: 622865 224538 773 405 0 619809 0
Current children cumulated CPU time: 2502.46 s
Current children cumulated vsize: 2491460 KiB
Current children cumulated memory: 898152 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.00 2.00 1.94 5/188 23627
/proc/meminfo: memFree=26031544/32770624 swapFree=67108804/67108860
[pid=23534] ppid=23527 vsize=2491460 memory=898152 CPUtime=2520.06 cores=0,2,4,6
/proc/23534/stat : 23534 (xcsp_picat) R 23527 23534 23473 0 -1 4202496 735619 0 0 0 251597 409 0 0 20 0 1 0 246954269 2551255040 224538 33554432000 4194304 5849940 140733374761216 140733374760376 5354062 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26931200 140733374764214 140733374764292 140733374764292 140733374767050 0
/proc/23534/statm: 622865 224538 773 405 0 619809 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 2491460 KiB
Current children cumulated memory: 898152 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.9 s]
# the end of solver process 23534 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.98 s, system=4.10132 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.00 2.00 1.94 5/188 23627
/proc/meminfo: memFree=26031544/32770624 swapFree=67108804/67108860
[pid=23534] ppid=23527 vsize=2491460 memory=898152 CPUtime=2520.06 cores=0,2,4,6
/proc/23534/stat : 23534 (xcsp_picat) R 23527 23534 23473 0 -1 4202496 735619 0 0 0 251597 409 0 0 20 0 1 0 246954269 2551255040 224538 33554432000 4194304 5849940 140733374761216 140733374760376 5354062 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26931200 140733374764214 140733374764292 140733374764292 140733374767050 0
/proc/23534/statm: 622865 224538 773 405 0 619809 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 2491460 KiB
Current children cumulated memory: 898152 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2519.9
CPU time (s): 2520.08
CPU user time (s): 2515.98
CPU system time (s): 4.10132
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 2531720
Max. memory (cumulated for all children) (KiB): 910688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.98
system time used= 4.10132
maximum resident set size= 910688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 735619
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= 30
involuntary context switches= 686
# summary of solver processes directly reported to runsolver:
# pid: 23534
# total CPU time (s): 2520.08
# total CPU user time (s): 2515.98
# total CPU system time (s): 4.10132
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.50754 second user time and 18.5338 second system time
The end