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 (13046 MiB free)
memory of node 1: 16384 MiB (12995 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309374-1534313127/watcher-4309374-1534313127 -o /tmp/evaluation-result-4309374-1534313127/solver-4309374-1534313127 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534293911-23504 --watchdog 2580 xcsp_picat HOME/instance-4309374-1534313127.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
Current StackSize limit: 8192 KiB
solver pid=26332, runsolver pid=26329
[startup+0.100172 s]*
/proc/loadavg: 1.92 2.01 2.04 3/188 26333
/proc/meminfo: memFree=26640604/32770624 swapFree=67108804/67108860
[pid=26332] ppid=26329 vsize=2033560 memory=28688 CPUtime=0.1 cores=0,2,4,6
/proc/26332/stat : 26332 (xcsp_picat) R 26329 26332 23473 0 -1 4202496 1245 0 0 0 10 0 0 0 20 0 1 0 248875842 2082365440 7172 33554432000 4194304 5849940 140730641938880 140730641938880 139748341300224 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 24838144 140730641941686 140730641941764 140730641941764 140730641944522 0
/proc/26332/statm: 508390 7172 611 405 0 505334 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 28688 KiB
[startup+0.209877 s]*
/proc/loadavg: 1.92 2.01 2.04 3/188 26333
/proc/meminfo: memFree=26623724/32770624 swapFree=67108804/67108860
[pid=26332] ppid=26329 vsize=2033560 memory=47872 CPUtime=0.21 cores=0,2,4,6
/proc/26332/stat : 26332 (xcsp_picat) R 26329 26332 23473 0 -1 4202496 1423 0 0 0 21 0 0 0 20 0 1 0 248875842 2082365440 11968 33554432000 4194304 5849940 140730641938880 140730641938880 4476294 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 24838144 140730641941686 140730641941764 140730641941764 140730641944522 0
/proc/26332/statm: 508390 11968 629 405 0 505334 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 47872 KiB
[startup+0.309807 s]*
/proc/loadavg: 1.92 2.01 2.04 3/188 26333
/proc/meminfo: memFree=26606324/32770624 swapFree=67108804/67108860
[pid=26332] ppid=26329 vsize=2033560 memory=65004 CPUtime=0.31 cores=0,2,4,6
/proc/26332/stat : 26332 (xcsp_picat) R 26329 26332 23473 0 -1 4202496 1586 0 0 0 31 0 0 0 20 0 1 0 248875842 2082365440 16251 33554432000 4194304 5849940 140730641938880 140730641938184 4593482 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 24838144 140730641941686 140730641941764 140730641941764 140730641944522 0
/proc/26332/statm: 508390 16251 629 405 0 505334 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 65004 KiB
[startup+0.700443 s]
/proc/loadavg: 1.92 2.01 2.04 3/188 26333
/proc/meminfo: memFree=26571144/32770624 swapFree=67108804/67108860
[pid=26332] ppid=26329 vsize=2033560 memory=132776 CPUtime=0.69 cores=0,2,4,6
/proc/26332/stat : 26332 (xcsp_picat) R 26329 26332 23473 0 -1 4202496 1659 0 0 0 68 1 0 0 20 0 1 0 248875842 2082365440 33194 33554432000 4194304 5849940 140730641938880 140730641938184 4481508 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 24838144 140730641941686 140730641941764 140730641941764 140730641944522 0
/proc/26332/statm: 508390 33194 629 405 0 505334 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 132776 KiB
[startup+1.50043 s]
/proc/loadavg: 1.92 2.01 2.04 3/188 26333
/proc/meminfo: memFree=26487304/32770624 swapFree=67108804/67108860
[pid=26332] ppid=26329 vsize=2033560 memory=267944 CPUtime=1.49 cores=0,2,4,6
/proc/26332/stat : 26332 (xcsp_picat) R 26329 26332 23473 0 -1 4202496 1725 0 0 0 145 4 0 0 20 0 1 0 248875842 2082365440 66986 33554432000 4194304 5849940 140730641938880 140730641938184 4534810 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 24838144 140730641941686 140730641941764 140730641941764 140730641944522 0
/proc/26332/statm: 508390 66986 629 405 0 505334 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 267944 KiB
[startup+3.10974 s]
/proc/loadavg: 1.92 2.01 2.04 3/188 26333
/proc/meminfo: memFree=26177684/32770624 swapFree=67108804/67108860
[pid=26332] ppid=26329 vsize=2033560 memory=505576 CPUtime=3.1 cores=0,2,4,6
/proc/26332/stat : 26332 (xcsp_picat) R 26329 26332 23473 0 -1 4202496 1894 0 0 0 303 7 0 0 20 0 1 0 248875842 2082365440 126394 33554432000 4194304 5849940 140730641938880 140730641938184 4972763 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 24838144 140730641941686 140730641941764 140730641941764 140730641944522 0
/proc/26332/statm: 508390 126394 643 405 0 505334 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 505576 KiB
[startup+6.30039 s]
/proc/loadavg: 1.93 2.01 2.04 3/188 26333
/proc/meminfo: memFree=25893696/32770624 swapFree=67108804/67108860
[pid=26332] ppid=26329 vsize=2261684 memory=774988 CPUtime=6.29 cores=0,2,4,6
/proc/26332/stat : 26332 (xcsp_picat) R 26329 26332 23473 0 -1 4202496 8090 0 0 0 576 53 0 0 20 0 1 0 248875842 2315964416 193747 33554432000 4194304 5849940 140730641938880 140730641938040 139748341321607 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 24838144 140730641941686 140730641941764 140730641941764 140730641944522 0
/proc/26332/statm: 565421 193747 709 405 0 562365 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2261684 KiB
Current children cumulated memory: 774988 KiB
[startup+12.7003 s]
/proc/loadavg: 1.93 2.01 2.04 3/188 26333
/proc/meminfo: memFree=25876544/32770624 swapFree=67108804/67108860
[pid=26332] ppid=26329 vsize=2278068 memory=792176 CPUtime=12.69 cores=0,2,4,6
/proc/26332/stat : 26332 (xcsp_picat) R 26329 26332 23473 0 -1 4202496 8986 0 0 0 1172 97 0 0 20 0 1 0 248875842 2332741632 198044 33554432000 4194304 5849940 140730641938880 140730641937976 5606399 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 24838144 140730641941686 140730641941764 140730641941764 140730641944522 0
/proc/26332/statm: 569517 198044 726 405 0 566461 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2278068 KiB
Current children cumulated memory: 792176 KiB
[startup+25.5003 s]
/proc/loadavg: 1.95 2.01 2.04 3/188 26333
/proc/meminfo: memFree=25703896/32770624 swapFree=67108804/67108860
[pid=26332] ppid=26329 vsize=2449480 memory=964744 CPUtime=25.49 cores=0,2,4,6
/proc/26332/stat : 26332 (xcsp_picat) R 26329 26332 23473 0 -1 4202496 16782 0 0 0 2439 110 0 0 20 0 1 0 248875842 2508267520 241186 33554432000 4194304 5849940 140730641938880 140730641937144 5308656 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 24838144 140730641941686 140730641941764 140730641941764 140730641944522 0
/proc/26332/statm: 612370 241186 751 405 0 609314 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2449480 KiB
Current children cumulated memory: 964744 KiB
[startup+51.1093 s]
/proc/loadavg: 1.97 2.01 2.04 3/187 26333
/proc/meminfo: memFree=25866240/32770624 swapFree=67108804/67108860
[pid=26332] ppid=26329 vsize=2287284 memory=802684 CPUtime=51.1 cores=0,2,4,6
/proc/26332/stat : 26332 (xcsp_picat) R 26329 26332 23473 0 -1 4202496 37983 0 0 0 4903 207 0 0 20 0 1 0 248875842 2342178816 200671 33554432000 4194304 5849940 140730641938880 140730641937976 139748341321607 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 24838144 140730641941686 140730641941764 140730641941764 140730641944522 0
/proc/26332/statm: 571821 200671 768 405 0 568765 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2287284 KiB
Current children cumulated memory: 802684 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/187 26334
/proc/meminfo: memFree=25700120/32770624 swapFree=67108804/67108860
[pid=26332] ppid=26329 vsize=2484956 memory=1000352 CPUtime=102.29 cores=0,2,4,6
/proc/26332/stat : 26332 (xcsp_picat) R 26329 26332 23473 0 -1 4202496 67567 0 0 0 9997 232 0 0 20 0 1 0 248875842 2544594944 250088 33554432000 4194304 5849940 140730641938880 140730641937880 4218069 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 24838144 140730641941686 140730641941764 140730641941764 140730641944522 0
/proc/26332/statm: 621239 250088 768 405 0 618183 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2484956 KiB
Current children cumulated memory: 1000352 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/187 26335
/proc/meminfo: memFree=25685784/32770624 swapFree=67108804/67108860
[pid=26332] ppid=26329 vsize=2464440 memory=981872 CPUtime=162.3 cores=0,2,4,6
/proc/26332/stat : 26332 (xcsp_picat) R 26329 26332 23473 0 -1 4202496 87810 0 0 0 15983 247 0 0 20 0 1 0 248875842 2523586560 245468 33554432000 4194304 5849940 140730641938880 140730641937368 4209353 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 24838144 140730641941686 140730641941764 140730641941764 140730641944522 0
/proc/26332/statm: 616110 245468 768 405 0 613054 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2464440 KiB
Current children cumulated memory: 981872 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 26396
/proc/meminfo: memFree=25972592/32770624 swapFree=67108804/67108860
[pid=26332] ppid=26329 vsize=2474004 memory=996520 CPUtime=222.31 cores=0,2,4,6
/proc/26332/stat : 26332 (xcsp_picat) R 26329 26332 23473 0 -1 4202496 130941 0 0 0 21965 266 0 0 20 0 1 0 248875842 2533380096 249130 33554432000 4194304 5849940 140730641938880 140730641937880 139748341321607 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 24838144 140730641941686 140730641941764 140730641941764 140730641944522 0
/proc/26332/statm: 618501 249130 768 405 0 615445 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 2474004 KiB
Current children cumulated memory: 996520 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/189 26406
/proc/meminfo: memFree=25944096/32770624 swapFree=67108804/67108860
[pid=26332] ppid=26329 vsize=2478448 memory=1001100 CPUtime=282.31 cores=0,2,4,6
/proc/26332/stat : 26332 (xcsp_picat) R 26329 26332 23473 0 -1 4202496 171354 0 0 0 27947 284 0 0 20 0 1 0 248875842 2537930752 250275 33554432000 4194304 5849940 140730641938880 140730641937880 139748341321607 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 24838144 140730641941686 140730641941764 140730641941764 140730641944522 0
/proc/26332/statm: 619612 250275 768 405 0 616556 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 2478448 KiB
Current children cumulated memory: 1001100 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/189 26407
/proc/meminfo: memFree=26025816/32770624 swapFree=67108804/67108860
[pid=26332] ppid=26329 vsize=2450216 memory=972996 CPUtime=342.32 cores=0,2,4,6
/proc/26332/stat : 26332 (xcsp_picat) R 26329 26332 23473 0 -1 4202496 216927 0 0 0 33924 308 0 0 20 0 1 0 248875842 2509021184 243249 33554432000 4194304 5849940 140730641938880 140730641937368 5305075 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 24838144 140730641941686 140730641941764 140730641941764 140730641944522 0
/proc/26332/statm: 612554 243249 768 405 0 609498 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 2450216 KiB
Current children cumulated memory: 972996 KiB
[startup+402.3 s]
/proc/loadavg: 2.06 2.02 2.05 3/189 26408
/proc/meminfo: memFree=25963704/32770624 swapFree=67108804/67108860
[pid=26332] ppid=26329 vsize=2479956 memory=1002608 CPUtime=402.32 cores=0,2,4,6
/proc/26332/stat : 26332 (xcsp_picat) R 26329 26332 23473 0 -1 4202496 258853 0 0 0 39902 330 0 0 20 0 1 0 248875842 2539474944 250652 33554432000 4194304 5849940 140730641938880 140730641937880 5340375 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 24838144 140730641941686 140730641941764 140730641941764 140730641944522 0
/proc/26332/statm: 619989 250652 768 405 0 616933 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 2479956 KiB
Current children cumulated memory: 1002608 KiB
[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/189 26409
/proc/meminfo: memFree=25942060/32770624 swapFree=67108804/67108860
[pid=26332] ppid=26329 vsize=2479956 memory=1002608 CPUtime=462.32 cores=0,2,4,6
/proc/26332/stat : 26332 (xcsp_picat) R 26329 26332 23473 0 -1 4202496 302253 0 0 0 45879 353 0 0 20 0 1 0 248875842 2539474944 250652 33554432000 4194304 5849940 140730641938880 140730641937880 5437784 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 24838144 140730641941686 140730641941764 140730641941764 140730641944522 0
/proc/26332/statm: 619989 250652 768 405 0 616933 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 2479956 KiB
Current children cumulated memory: 1002608 KiB
################
# More data... #
################
/proc/26332/statm: 650541 281203 768 405 0 647485 0
Current children cumulated CPU time: 1782.42 s
Current children cumulated vsize: 2602164 KiB
Current children cumulated memory: 1124812 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 26448
/proc/meminfo: memFree=25724772/32770624 swapFree=67108804/67108860
[pid=26332] ppid=26329 vsize=2602164 memory=1124812 CPUtime=1842.42 cores=0,2,4,6
/proc/26332/stat : 26332 (xcsp_picat) R 26329 26332 23473 0 -1 4202496 1209840 0 0 0 183333 909 0 0 20 0 1 0 248875842 2664615936 281203 33554432000 4194304 5849940 140730641938880 140730641937880 139748341321607 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 24838144 140730641941686 140730641941764 140730641941764 140730641944522 0
/proc/26332/statm: 650541 281203 768 405 0 647485 0
Current children cumulated CPU time: 1842.42 s
Current children cumulated vsize: 2602164 KiB
Current children cumulated memory: 1124812 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 26449
/proc/meminfo: memFree=25716244/32770624 swapFree=67108804/67108860
[pid=26332] ppid=26329 vsize=2615160 memory=1137812 CPUtime=1902.43 cores=0,2,4,6
/proc/26332/stat : 26332 (xcsp_picat) R 26329 26332 23473 0 -1 4202496 1260461 0 0 0 189303 940 0 0 20 0 1 0 248875842 2677923840 284453 33554432000 4194304 5849940 140730641938880 140730641937880 139748341321607 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 24838144 140730641941686 140730641941764 140730641941764 140730641944522 0
/proc/26332/statm: 653790 284453 768 405 0 650734 0
Current children cumulated CPU time: 1902.43 s
Current children cumulated vsize: 2615160 KiB
Current children cumulated memory: 1137812 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 26450
/proc/meminfo: memFree=25647668/32770624 swapFree=67108804/67108860
[pid=26332] ppid=26329 vsize=2657996 memory=1180648 CPUtime=1962.43 cores=0,2,4,6
/proc/26332/stat : 26332 (xcsp_picat) R 26329 26332 23473 0 -1 4202496 1295743 0 0 0 195277 966 0 0 20 0 1 0 248875842 2721787904 295162 33554432000 4194304 5849940 140730641938880 140730641937880 139748341321607 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 24838144 140730641941686 140730641941764 140730641941764 140730641944522 0
/proc/26332/statm: 664499 295162 768 405 0 661443 0
Current children cumulated CPU time: 1962.43 s
Current children cumulated vsize: 2657996 KiB
Current children cumulated memory: 1180648 KiB
[startup+2022.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/187 26451
/proc/meminfo: memFree=25627132/32770624 swapFree=67108804/67108860
[pid=26332] ppid=26329 vsize=2676184 memory=1198600 CPUtime=2022.44 cores=0,2,4,6
/proc/26332/stat : 26332 (xcsp_picat) R 26329 26332 23473 0 -1 4202496 1372251 0 0 0 201244 1000 0 0 20 0 1 0 248875842 2740412416 299650 33554432000 4194304 5849940 140730641938880 140730641937880 139748341321607 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 24838144 140730641941686 140730641941764 140730641941764 140730641944522 0
/proc/26332/statm: 669046 299650 768 405 0 665990 0
Current children cumulated CPU time: 2022.44 s
Current children cumulated vsize: 2676184 KiB
Current children cumulated memory: 1198600 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 26459
/proc/meminfo: memFree=25689232/32770624 swapFree=67108804/67108860
[pid=26332] ppid=26329 vsize=2612712 memory=1135492 CPUtime=2082.44 cores=0,2,4,6
/proc/26332/stat : 26332 (xcsp_picat) R 26329 26332 23473 0 -1 4202496 1404874 0 0 0 207221 1023 0 0 20 0 1 0 248875842 2675417088 283873 33554432000 4194304 5849940 140730641938880 140730641937880 139748341321607 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 24838144 140730641941686 140730641941764 140730641941764 140730641944522 0
/proc/26332/statm: 653178 283873 768 405 0 650122 0
Current children cumulated CPU time: 2082.44 s
Current children cumulated vsize: 2612712 KiB
Current children cumulated memory: 1135492 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 26460
/proc/meminfo: memFree=25698448/32770624 swapFree=67108804/67108860
[pid=26332] ppid=26329 vsize=2600332 memory=1123112 CPUtime=2142.45 cores=0,2,4,6
/proc/26332/stat : 26332 (xcsp_picat) R 26329 26332 23473 0 -1 4202496 1455300 0 0 0 213199 1046 0 0 20 0 1 0 248875842 2662739968 280778 33554432000 4194304 5849940 140730641938880 140730641937880 5438453 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 24838144 140730641941686 140730641941764 140730641941764 140730641944522 0
/proc/26332/statm: 650083 280778 768 405 0 647027 0
Current children cumulated CPU time: 2142.45 s
Current children cumulated vsize: 2600332 KiB
Current children cumulated memory: 1123112 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 26461
/proc/meminfo: memFree=25674168/32770624 swapFree=67108804/67108860
[pid=26332] ppid=26329 vsize=2624644 memory=1147296 CPUtime=2202.45 cores=0,2,4,6
/proc/26332/stat : 26332 (xcsp_picat) R 26329 26332 23473 0 -1 4202496 1484794 0 0 0 219178 1067 0 0 20 0 1 0 248875842 2687635456 286824 33554432000 4194304 5849940 140730641938880 140730641937880 5438465 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 24838144 140730641941686 140730641941764 140730641941764 140730641944522 0
/proc/26332/statm: 656161 286824 768 405 0 653105 0
Current children cumulated CPU time: 2202.45 s
Current children cumulated vsize: 2624644 KiB
Current children cumulated memory: 1147296 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 26462
/proc/meminfo: memFree=25668480/32770624 swapFree=67108804/67108860
[pid=26332] ppid=26329 vsize=2683576 memory=1206228 CPUtime=2262.46 cores=0,2,4,6
/proc/26332/stat : 26332 (xcsp_picat) R 26329 26332 23473 0 -1 4202496 1533805 0 0 0 225151 1095 0 0 20 0 1 0 248875842 2747981824 301557 33554432000 4194304 5849940 140730641938880 140730641937880 5307808 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 24838144 140730641941686 140730641941764 140730641941764 140730641944522 0
/proc/26332/statm: 670894 301557 768 405 0 667838 0
Current children cumulated CPU time: 2262.46 s
Current children cumulated vsize: 2683576 KiB
Current children cumulated memory: 1206228 KiB
[startup+2322.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 26463
/proc/meminfo: memFree=25636628/32770624 swapFree=67108804/67108860
[pid=26332] ppid=26329 vsize=2683576 memory=1206228 CPUtime=2322.46 cores=0,2,4,6
/proc/26332/stat : 26332 (xcsp_picat) R 26329 26332 23473 0 -1 4202496 1579171 0 0 0 231124 1122 0 0 20 0 1 0 248875842 2747981824 301557 33554432000 4194304 5849940 140730641938880 140730641937880 139748341321607 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 24838144 140730641941686 140730641941764 140730641941764 140730641944522 0
/proc/26332/statm: 670894 301557 768 405 0 667838 0
Current children cumulated CPU time: 2322.46 s
Current children cumulated vsize: 2683576 KiB
Current children cumulated memory: 1206228 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 26464
/proc/meminfo: memFree=25637916/32770624 swapFree=67108804/67108860
[pid=26332] ppid=26329 vsize=2619060 memory=1141712 CPUtime=2382.47 cores=0,2,4,6
/proc/26332/stat : 26332 (xcsp_picat) R 26329 26332 23473 0 -1 4202496 1620280 0 0 0 237102 1145 0 0 20 0 1 0 248875842 2681917440 285428 33554432000 4194304 5849940 140730641938880 140730641937880 139748341321607 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 24838144 140730641941686 140730641941764 140730641941764 140730641944522 0
/proc/26332/statm: 654765 285428 768 405 0 651709 0
Current children cumulated CPU time: 2382.47 s
Current children cumulated vsize: 2619060 KiB
Current children cumulated memory: 1141712 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 26465
/proc/meminfo: memFree=25621956/32770624 swapFree=67108804/67108860
[pid=26332] ppid=26329 vsize=2626284 memory=1148788 CPUtime=2442.47 cores=0,2,4,6
/proc/26332/stat : 26332 (xcsp_picat) R 26329 26332 23473 0 -1 4202496 1662189 0 0 0 243078 1169 0 0 20 0 1 0 248875842 2689314816 287197 33554432000 4194304 5849940 140730641938880 140730641937880 139748341321607 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 24838144 140730641941686 140730641941764 140730641941764 140730641944522 0
/proc/26332/statm: 656571 287197 768 405 0 653515 0
Current children cumulated CPU time: 2442.47 s
Current children cumulated vsize: 2626284 KiB
Current children cumulated memory: 1148788 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26466
/proc/meminfo: memFree=25579396/32770624 swapFree=67108804/67108860
[pid=26332] ppid=26329 vsize=2669804 memory=1192456 CPUtime=2502.48 cores=0,2,4,6
/proc/26332/stat : 26332 (xcsp_picat) R 26329 26332 23473 0 -1 4202496 1719703 0 0 0 249049 1199 0 0 20 0 1 0 248875842 2733879296 298114 33554432000 4194304 5849940 140730641938880 140730641937880 139748341321607 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 24838144 140730641941686 140730641941764 140730641941764 140730641944522 0
/proc/26332/statm: 667451 298114 768 405 0 664395 0
Current children cumulated CPU time: 2502.48 s
Current children cumulated vsize: 2669804 KiB
Current children cumulated memory: 1192456 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26467
/proc/meminfo: memFree=25590556/32770624 swapFree=67108804/67108860
[pid=26332] ppid=26329 vsize=2651872 memory=1174524 CPUtime=2520.08 cores=0,2,4,6
/proc/26332/stat : 26332 (xcsp_picat) R 26329 26332 23473 0 -1 4202496 1724138 0 0 0 250801 1207 0 0 20 0 1 0 248875842 2715516928 293631 33554432000 4194304 5849940 140730641938880 140730641937880 5307765 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 24838144 140730641941686 140730641941764 140730641941764 140730641944522 0
/proc/26332/statm: 662968 293631 768 405 0 659912 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 2651872 KiB
Current children cumulated memory: 1174524 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.91 s]
# the end of solver process 26332 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2508.01 s, system=12.0829 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.01 2.05 3/187 26467
/proc/meminfo: memFree=25590556/32770624 swapFree=67108804/67108860
[pid=26332] ppid=26329 vsize=2651872 memory=1174524 CPUtime=2520.08 cores=0,2,4,6
/proc/26332/stat : 26332 (xcsp_picat) R 26329 26332 23473 0 -1 4202496 1724138 0 0 0 250801 1207 0 0 20 0 1 0 248875842 2715516928 293631 33554432000 4194304 5849940 140730641938880 140730641937880 5307765 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 24838144 140730641941686 140730641941764 140730641941764 140730641944522 0
/proc/26332/statm: 662968 293631 768 405 0 659912 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 2651872 KiB
Current children cumulated memory: 1174524 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2519.91
CPU time (s): 2520.1
CPU user time (s): 2508.01
CPU system time (s): 12.0829
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 2809660
Max. memory (cumulated for all children) (KiB): 1332312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2508.01
system time used= 12.0829
maximum resident set size= 1332312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1724138
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= 7
involuntary context switches= 1002
# summary of solver processes directly reported to runsolver:
# pid: 26332
# total CPU time (s): 2520.1
# total CPU user time (s): 2508.01
# total CPU system time (s): 12.0829
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.96182 second user time and 18.8777 second system time
The end