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 (13170 MiB free)
memory of node 1: 16384 MiB (9407 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309372-1534312579/watcher-4309372-1534312579 -o /tmp/evaluation-result-4309372-1534312579/solver-4309372-1534312579 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534293186-11148 --watchdog 2580 xcsp_picat HOME/instance-4309372-1534312579.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
Current StackSize limit: 8192 KiB
solver pid=14147, runsolver pid=14144
[startup+0.100451 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 14148
/proc/meminfo: memFree=23095992/32770624 swapFree=67108852/67108860
[pid=14147] ppid=14144 vsize=2033560 memory=30792 CPUtime=0.09 cores=1,3,5,7
/proc/14147/stat : 14147 (xcsp_picat) R 14144 14147 11116 0 -1 4202496 1733 0 0 0 9 0 0 0 20 0 1 0 248821028 2082365440 7698 33554432000 4194304 5849940 140723070270528 140723070269832 4593482 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 42151936 140723070276790 140723070276868 140723070276868 140723070279626 0
/proc/14147/statm: 508390 7698 629 405 0 505334 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 30792 KiB
[startup+0.210072 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 14148
/proc/meminfo: memFree=23073216/32770624 swapFree=67108852/67108860
[pid=14147] ppid=14144 vsize=2033560 memory=49476 CPUtime=0.21 cores=1,3,5,7
/proc/14147/stat : 14147 (xcsp_picat) R 14144 14147 11116 0 -1 4202496 1811 0 0 0 20 1 0 0 20 0 1 0 248821028 2082365440 12369 33554432000 4194304 5849940 140723070270528 140723070269832 4473232 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 42151936 140723070276790 140723070276868 140723070276868 140723070279626 0
/proc/14147/statm: 508390 12369 629 405 0 505334 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 49476 KiB
[startup+0.309941 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 14148
/proc/meminfo: memFree=23056460/32770624 swapFree=67108852/67108860
[pid=14147] ppid=14144 vsize=2033560 memory=65860 CPUtime=0.31 cores=1,3,5,7
/proc/14147/stat : 14147 (xcsp_picat) R 14144 14147 11116 0 -1 4202496 1819 0 0 0 30 1 0 0 20 0 1 0 248821028 2082365440 16465 33554432000 4194304 5849940 140723070270528 140723070269832 4454593 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 42151936 140723070276790 140723070276868 140723070276868 140723070279626 0
/proc/14147/statm: 508390 16465 629 405 0 505334 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 65860 KiB
[startup+0.700411 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 14148
/proc/meminfo: memFree=23021644/32770624 swapFree=67108852/67108860
[pid=14147] ppid=14144 vsize=2033560 memory=125356 CPUtime=0.69 cores=1,3,5,7
/proc/14147/stat : 14147 (xcsp_picat) R 14144 14147 11116 0 -1 4202496 1855 0 0 0 67 2 0 0 20 0 1 0 248821028 2082365440 31339 33554432000 4194304 5849940 140723070270528 140723070269832 4489793 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 42151936 140723070276790 140723070276868 140723070276868 140723070279626 0
/proc/14147/statm: 508390 31339 629 405 0 505334 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 125356 KiB
[startup+1.50039 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 14148
/proc/meminfo: memFree=22957908/32770624 swapFree=67108852/67108860
[pid=14147] ppid=14144 vsize=2041640 memory=172660 CPUtime=1.49 cores=1,3,5,7
/proc/14147/stat : 14147 (xcsp_picat) R 14144 14147 11116 0 -1 4202496 4082 0 0 0 137 12 0 0 20 0 1 0 248821028 2090639360 43165 33554432000 4194304 5849940 140723070270528 140723070269448 140211580325767 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 42151936 140723070276790 140723070276868 140723070276868 140723070279626 0
/proc/14147/statm: 510410 43165 706 405 0 507354 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2041640 KiB
Current children cumulated memory: 172660 KiB
[startup+3.10923 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 14148
/proc/meminfo: memFree=22942948/32770624 swapFree=67108852/67108860
[pid=14147] ppid=14144 vsize=2048592 memory=179884 CPUtime=3.1 cores=1,3,5,7
/proc/14147/stat : 14147 (xcsp_picat) R 14144 14147 11116 0 -1 4202496 5517 0 0 0 285 25 0 0 20 0 1 0 248821028 2097758208 44971 33554432000 4194304 5849940 140723070270528 140723070269688 5606405 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 42151936 140723070276790 140723070276868 140723070276868 140723070279626 0
/proc/14147/statm: 512148 44971 723 405 0 509092 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2048592 KiB
Current children cumulated memory: 179884 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 14148
/proc/meminfo: memFree=22942064/32770624 swapFree=67108852/67108860
[pid=14147] ppid=14144 vsize=2048592 memory=179884 CPUtime=6.29 cores=1,3,5,7
/proc/14147/stat : 14147 (xcsp_picat) R 14144 14147 11116 0 -1 4202496 7412 0 0 0 602 27 0 0 20 0 1 0 248821028 2097758208 44971 33554432000 4194304 5849940 140723070270528 140723070269432 140211580325767 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 42151936 140723070276790 140723070276868 140723070276868 140723070279626 0
/proc/14147/statm: 512148 44971 723 405 0 509092 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2048592 KiB
Current children cumulated memory: 179884 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 14148
/proc/meminfo: memFree=23048604/32770624 swapFree=67108852/67108860
[pid=14147] ppid=14144 vsize=2071492 memory=204820 CPUtime=12.69 cores=1,3,5,7
/proc/14147/stat : 14147 (xcsp_picat) R 14144 14147 11116 0 -1 4202496 19205 0 0 0 1239 30 0 0 20 0 1 0 248821028 2121207808 51205 33554432000 4194304 5849940 140723070270528 140723070268936 4212035 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42151936 140723070276790 140723070276868 140723070276868 140723070279626 0
/proc/14147/statm: 517873 51205 751 405 0 514817 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2071492 KiB
Current children cumulated memory: 204820 KiB
[startup+25.5004 s]
/proc/loadavg: 1.93 2.00 2.04 3/192 14148
/proc/meminfo: memFree=23048948/32770624 swapFree=67108852/67108860
[pid=14147] ppid=14144 vsize=2075084 memory=205336 CPUtime=25.49 cores=1,3,5,7
/proc/14147/stat : 14147 (xcsp_picat) R 14144 14147 11116 0 -1 4202496 28128 0 0 0 2493 56 0 0 20 0 1 0 248821028 2124886016 51334 33554432000 4194304 5849940 140723070270528 140723070269016 140211580325767 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42151936 140723070276790 140723070276868 140723070276868 140723070279626 0
/proc/14147/statm: 518771 51334 762 405 0 515715 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2075084 KiB
Current children cumulated memory: 205336 KiB
[startup+51.1099 s]
/proc/loadavg: 1.96 2.00 2.04 3/192 14148
/proc/meminfo: memFree=22908180/32770624 swapFree=67108852/67108860
[pid=14147] ppid=14144 vsize=2082364 memory=215560 CPUtime=51.1 cores=1,3,5,7
/proc/14147/stat : 14147 (xcsp_picat) R 14144 14147 11116 0 -1 4202496 33470 0 0 0 5038 72 0 0 20 0 1 0 248821028 2132340736 53890 33554432000 4194304 5849940 140723070270528 140723070269688 140211580325767 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42151936 140723070276790 140723070276868 140723070276868 140723070279626 0
/proc/14147/statm: 520591 53890 764 405 0 517535 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2082364 KiB
Current children cumulated memory: 215560 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/192 14150
/proc/meminfo: memFree=23029456/32770624 swapFree=67108852/67108860
[pid=14147] ppid=14144 vsize=2089620 memory=222980 CPUtime=102.29 cores=1,3,5,7
/proc/14147/stat : 14147 (xcsp_picat) R 14144 14147 11116 0 -1 4202496 45383 0 0 0 10127 102 0 0 20 0 1 0 248821028 2139770880 55745 33554432000 4194304 5849940 140723070270528 140723070269688 140211580325767 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42151936 140723070276790 140723070276868 140723070276868 140723070279626 0
/proc/14147/statm: 522405 55745 764 405 0 519349 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2089620 KiB
Current children cumulated memory: 222980 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/192 14151
/proc/meminfo: memFree=22997284/32770624 swapFree=67108852/67108860
[pid=14147] ppid=14144 vsize=2119544 memory=252924 CPUtime=162.3 cores=1,3,5,7
/proc/14147/stat : 14147 (xcsp_picat) R 14144 14147 11116 0 -1 4202496 54258 0 0 0 16089 141 0 0 20 0 1 0 248821028 2170413056 63231 33554432000 4194304 5849940 140723070270528 140723070269528 5398394 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42151936 140723070276790 140723070276868 140723070276868 140723070279626 0
/proc/14147/statm: 529886 63231 764 405 0 526830 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2119544 KiB
Current children cumulated memory: 252924 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/192 14161
/proc/meminfo: memFree=22836372/32770624 swapFree=67108852/67108860
[pid=14147] ppid=14144 vsize=2135928 memory=269308 CPUtime=222.3 cores=1,3,5,7
/proc/14147/stat : 14147 (xcsp_picat) R 14144 14147 11116 0 -1 4202496 55214 0 0 0 22062 168 0 0 20 0 1 0 248821028 2187190272 67327 33554432000 4194304 5849940 140723070270528 140723070269528 140211580325767 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42151936 140723070276790 140723070276868 140723070276868 140723070279626 0
/proc/14147/statm: 533982 67327 764 405 0 530926 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2135928 KiB
Current children cumulated memory: 269308 KiB
[startup+282.3 s]
/proc/loadavg: 2.04 2.01 2.05 4/197 14179
/proc/meminfo: memFree=22952740/32770624 swapFree=67108852/67108860
[pid=14147] ppid=14144 vsize=2157432 memory=290812 CPUtime=282.31 cores=1,3,5,7
/proc/14147/stat : 14147 (xcsp_picat) R 14144 14147 11116 0 -1 4202496 63810 0 0 0 28027 204 0 0 20 0 1 0 248821028 2209210368 72703 33554432000 4194304 5849940 140723070270528 140723070269528 5437799 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42151936 140723070276790 140723070276868 140723070276868 140723070279626 0
/proc/14147/statm: 539358 72703 764 405 0 536302 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 2157432 KiB
Current children cumulated memory: 290812 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/194 14187
/proc/meminfo: memFree=22824256/32770624 swapFree=67108852/67108860
[pid=14147] ppid=14144 vsize=2157432 memory=290812 CPUtime=342.32 cores=1,3,5,7
/proc/14147/stat : 14147 (xcsp_picat) R 14144 14147 11116 0 -1 4202496 73914 0 0 0 33995 237 0 0 20 0 1 0 248821028 2209210368 72703 33554432000 4194304 5849940 140723070270528 140723070269528 5307440 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42151936 140723070276790 140723070276868 140723070276868 140723070279626 0
/proc/14147/statm: 539358 72703 764 405 0 536302 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 2157432 KiB
Current children cumulated memory: 290812 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/194 14188
/proc/meminfo: memFree=22954748/32770624 swapFree=67108852/67108860
[pid=14147] ppid=14144 vsize=2157432 memory=290812 CPUtime=402.32 cores=1,3,5,7
/proc/14147/stat : 14147 (xcsp_picat) R 14144 14147 11116 0 -1 4202496 74010 0 0 0 39961 271 0 0 20 0 1 0 248821028 2209210368 72703 33554432000 4194304 5849940 140723070270528 140723070269528 5438033 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42151936 140723070276790 140723070276868 140723070276868 140723070279626 0
/proc/14147/statm: 539358 72703 764 405 0 536302 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 2157432 KiB
Current children cumulated memory: 290812 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/194 14189
/proc/meminfo: memFree=22819408/32770624 swapFree=67108852/67108860
[pid=14147] ppid=14144 vsize=2162672 memory=295860 CPUtime=462.33 cores=1,3,5,7
/proc/14147/stat : 14147 (xcsp_picat) R 14144 14147 11116 0 -1 4202496 84128 0 0 0 45930 303 0 0 20 0 1 0 248821028 2214576128 73965 33554432000 4194304 5849940 140723070270528 140723070269528 5438016 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42151936 140723070276790 140723070276868 140723070276868 140723070279626 0
/proc/14147/statm: 540668 73965 764 405 0 537612 0
Current children cumulated CPU time: 462.33 s
Current children cumulated vsize: 2162672 KiB
Current children cumulated memory: 295860 KiB
################
# More data... #
################
/proc/14147/statm: 563193 97771 764 405 0 560137 0
Current children cumulated CPU time: 1782.39 s
Current children cumulated vsize: 2252772 KiB
Current children cumulated memory: 391084 KiB
[startup+1842.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/191 14292
/proc/meminfo: memFree=23477864/32770624 swapFree=67108852/67108860
[pid=14147] ppid=14144 vsize=2267088 memory=405488 CPUtime=1842.4 cores=1,3,5,7
/proc/14147/stat : 14147 (xcsp_picat) R 14144 14147 11116 0 -1 4202496 468927 0 0 0 183119 1121 0 0 20 0 1 0 248821028 2321498112 101372 33554432000 4194304 5849940 140723070270528 140723070269528 5335737 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42151936 140723070276790 140723070276868 140723070276868 140723070279626 0
/proc/14147/statm: 566772 101372 764 405 0 563716 0
Current children cumulated CPU time: 1842.4 s
Current children cumulated vsize: 2267088 KiB
Current children cumulated memory: 405488 KiB
[startup+1902.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/191 14293
/proc/meminfo: memFree=23353936/32770624 swapFree=67108852/67108860
[pid=14147] ppid=14144 vsize=2323800 memory=462248 CPUtime=1902.4 cores=1,3,5,7
/proc/14147/stat : 14147 (xcsp_picat) R 14144 14147 11116 0 -1 4202496 476726 0 0 0 189086 1154 0 0 20 0 1 0 248821028 2379571200 115562 33554432000 4194304 5849940 140723070270528 140723070269528 5437815 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42151936 140723070276790 140723070276868 140723070276868 140723070279626 0
/proc/14147/statm: 580950 115562 764 405 0 577894 0
Current children cumulated CPU time: 1902.4 s
Current children cumulated vsize: 2323800 KiB
Current children cumulated memory: 462248 KiB
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/191 14295
/proc/meminfo: memFree=23439732/32770624 swapFree=67108852/67108860
[pid=14147] ppid=14144 vsize=2266456 memory=404904 CPUtime=1962.4 cores=1,3,5,7
/proc/14147/stat : 14147 (xcsp_picat) R 14144 14147 11116 0 -1 4202496 482925 0 0 0 195049 1191 0 0 20 0 1 0 248821028 2320850944 101226 33554432000 4194304 5849940 140723070270528 140723070269528 5339134 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42151936 140723070276790 140723070276868 140723070276868 140723070279626 0
/proc/14147/statm: 566614 101226 764 405 0 563558 0
Current children cumulated CPU time: 1962.4 s
Current children cumulated vsize: 2266456 KiB
Current children cumulated memory: 404904 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 14296
/proc/meminfo: memFree=23388332/32770624 swapFree=67108852/67108860
[pid=14147] ppid=14144 vsize=2301728 memory=440000 CPUtime=2022.41 cores=1,3,5,7
/proc/14147/stat : 14147 (xcsp_picat) R 14144 14147 11116 0 -1 4202496 493534 0 0 0 201016 1225 0 0 20 0 1 0 248821028 2356969472 110000 33554432000 4194304 5849940 140723070270528 140723070269528 140211580325767 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42151936 140723070276790 140723070276868 140723070276868 140723070279626 0
/proc/14147/statm: 575432 110000 764 405 0 572376 0
Current children cumulated CPU time: 2022.41 s
Current children cumulated vsize: 2301728 KiB
Current children cumulated memory: 440000 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 14305
/proc/meminfo: memFree=23377408/32770624 swapFree=67108852/67108860
[pid=14147] ppid=14144 vsize=2311968 memory=450260 CPUtime=2082.41 cores=1,3,5,7
/proc/14147/stat : 14147 (xcsp_picat) R 14144 14147 11116 0 -1 4202496 500183 0 0 0 206982 1259 0 0 20 0 1 0 248821028 2367455232 112565 33554432000 4194304 5849940 140723070270528 140723070269400 5395481 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42151936 140723070276790 140723070276868 140723070276868 140723070279626 0
/proc/14147/statm: 577992 112565 764 405 0 574936 0
Current children cumulated CPU time: 2082.41 s
Current children cumulated vsize: 2311968 KiB
Current children cumulated memory: 450260 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 14307
/proc/meminfo: memFree=23379944/32770624 swapFree=67108852/67108860
[pid=14147] ppid=14144 vsize=2309720 memory=447940 CPUtime=2142.41 cores=1,3,5,7
/proc/14147/stat : 14147 (xcsp_picat) R 14144 14147 11116 0 -1 4202496 517607 0 0 0 212947 1294 0 0 20 0 1 0 248821028 2365153280 111985 33554432000 4194304 5849940 140723070270528 140723070269400 5438047 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42151936 140723070276790 140723070276868 140723070276868 140723070279626 0
/proc/14147/statm: 577430 111985 764 405 0 574374 0
Current children cumulated CPU time: 2142.41 s
Current children cumulated vsize: 2309720 KiB
Current children cumulated memory: 447940 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 14309
/proc/meminfo: memFree=23349820/32770624 swapFree=67108852/67108860
[pid=14147] ppid=14144 vsize=2340120 memory=478396 CPUtime=2202.42 cores=1,3,5,7
/proc/14147/stat : 14147 (xcsp_picat) R 14144 14147 11116 0 -1 4202496 533273 0 0 0 218916 1326 0 0 20 0 1 0 248821028 2396282880 119599 33554432000 4194304 5849940 140723070270528 140723070269528 5438317 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42151936 140723070276790 140723070276868 140723070276868 140723070279626 0
/proc/14147/statm: 585030 119599 764 405 0 581974 0
Current children cumulated CPU time: 2202.42 s
Current children cumulated vsize: 2340120 KiB
Current children cumulated memory: 478396 KiB
[startup+2262.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/193 14310
/proc/meminfo: memFree=23290884/32770624 swapFree=67108852/67108860
[pid=14147] ppid=14144 vsize=2398856 memory=537304 CPUtime=2262.42 cores=1,3,5,7
/proc/14147/stat : 14147 (xcsp_picat) R 14144 14147 11116 0 -1 4202496 551965 0 0 0 224886 1356 0 0 20 0 1 0 248821028 2456428544 134326 33554432000 4194304 5849940 140723070270528 140723070269528 140211580325767 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42151936 140723070276790 140723070276868 140723070276868 140723070279626 0
/proc/14147/statm: 599714 134326 764 405 0 596658 0
Current children cumulated CPU time: 2262.42 s
Current children cumulated vsize: 2398856 KiB
Current children cumulated memory: 537304 KiB
[startup+2322.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/193 14311
/proc/meminfo: memFree=23356044/32770624 swapFree=67108852/67108860
[pid=14147] ppid=14144 vsize=2333760 memory=471944 CPUtime=2322.43 cores=1,3,5,7
/proc/14147/stat : 14147 (xcsp_picat) R 14144 14147 11116 0 -1 4202496 578557 0 0 0 230854 1389 0 0 20 0 1 0 248821028 2389770240 117986 33554432000 4194304 5849940 140723070270528 140723070269528 140211580325767 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42151936 140723070276790 140723070276868 140723070276868 140723070279626 0
/proc/14147/statm: 583440 117986 764 405 0 580384 0
Current children cumulated CPU time: 2322.43 s
Current children cumulated vsize: 2333760 KiB
Current children cumulated memory: 471944 KiB
[startup+2382.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/192 14312
/proc/meminfo: memFree=23187148/32770624 swapFree=67108852/67108860
[pid=14147] ppid=14144 vsize=2502404 memory=640920 CPUtime=2382.43 cores=1,3,5,7
/proc/14147/stat : 14147 (xcsp_picat) R 14144 14147 11116 0 -1 4202496 605202 0 0 0 236817 1426 0 0 20 0 1 0 248821028 2562461696 160230 33554432000 4194304 5849940 140723070270528 140723070269400 5437808 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42151936 140723070276790 140723070276868 140723070276868 140723070279626 0
/proc/14147/statm: 625601 160230 764 405 0 622545 0
Current children cumulated CPU time: 2382.43 s
Current children cumulated vsize: 2502404 KiB
Current children cumulated memory: 640920 KiB
[startup+2442.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/192 14313
/proc/meminfo: memFree=23300572/32770624 swapFree=67108852/67108860
[pid=14147] ppid=14144 vsize=2343556 memory=482128 CPUtime=2442.43 cores=1,3,5,7
/proc/14147/stat : 14147 (xcsp_picat) R 14144 14147 11116 0 -1 4202496 635649 0 0 0 242777 1466 0 0 20 0 1 0 248821028 2399801344 120532 33554432000 4194304 5849940 140723070270528 140723070269528 5437828 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42151936 140723070276790 140723070276868 140723070276868 140723070279626 0
/proc/14147/statm: 585889 120532 764 405 0 582833 0
Current children cumulated CPU time: 2442.43 s
Current children cumulated vsize: 2343556 KiB
Current children cumulated memory: 482128 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/191 14315
/proc/meminfo: memFree=23172908/32770624 swapFree=67108852/67108860
[pid=14147] ppid=14144 vsize=2422528 memory=560884 CPUtime=2502.43 cores=1,3,5,7
/proc/14147/stat : 14147 (xcsp_picat) R 14144 14147 11116 0 -1 4202496 659174 0 0 0 248741 1502 0 0 20 0 1 0 248821028 2480668672 140221 33554432000 4194304 5849940 140723070270528 140723070269528 5437828 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42151936 140723070276790 140723070276868 140723070276868 140723070279626 0
/proc/14147/statm: 605632 140221 764 405 0 602576 0
Current children cumulated CPU time: 2502.43 s
Current children cumulated vsize: 2422528 KiB
Current children cumulated memory: 560884 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 14315
/proc/meminfo: memFree=23121028/32770624 swapFree=67108852/67108860
[pid=14147] ppid=14144 vsize=2474556 memory=613132 CPUtime=2520.04 cores=1,3,5,7
/proc/14147/stat : 14147 (xcsp_picat) R 14144 14147 11116 0 -1 4202496 667713 0 0 0 250491 1513 0 0 20 0 1 0 248821028 2533945344 153283 33554432000 4194304 5849940 140723070270528 140723070269528 5340549 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42151936 140723070276790 140723070276868 140723070276868 140723070279626 0
/proc/14147/statm: 618639 153283 764 405 0 615583 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 2474556 KiB
Current children cumulated memory: 613132 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.91 s]
# the end of solver process 14147 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2504.92 s, system=15.14 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.02 2.05 3/191 14315
/proc/meminfo: memFree=23121028/32770624 swapFree=67108852/67108860
[pid=14147] ppid=14144 vsize=2474556 memory=613132 CPUtime=2520.04 cores=1,3,5,7
/proc/14147/stat : 14147 (xcsp_picat) R 14144 14147 11116 0 -1 4202496 667713 0 0 0 250491 1513 0 0 20 0 1 0 248821028 2533945344 153283 33554432000 4194304 5849940 140723070270528 140723070269528 5340549 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42151936 140723070276790 140723070276868 140723070276868 140723070279626 0
/proc/14147/statm: 618639 153283 764 405 0 615583 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 2474556 KiB
Current children cumulated memory: 613132 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2519.91
CPU time (s): 2520.06
CPU user time (s): 2504.92
CPU system time (s): 15.14
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 2581252
Max. memory (cumulated for all children) (KiB): 719828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2504.92
system time used= 15.14
maximum resident set size= 719828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 667713
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= 24
involuntary context switches= 1373
# summary of solver processes directly reported to runsolver:
# pid: 14147
# total CPU time (s): 2520.06
# total CPU user time (s): 2504.92
# total CPU system time (s): 15.14
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6262 second user time and 18.6081 second system time
The end