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 (10692 MiB free)
memory of node 1: 16384 MiB (12911 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309432-1534295724/watcher-4309432-1534295724 -o /tmp/evaluation-result-4309432-1534295724/solver-4309432-1534295724 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534293202-13750 --watchdog 2580 xcsp_picat HOME/instance-4309432-1534295724.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=14103, runsolver pid=14100
[startup+0.100479 s]*
/proc/loadavg: 2.00 2.01 1.96 3/187 14104
/proc/meminfo: memFree=24155536/32770624 swapFree=67059124/67108860
[pid=14103] ppid=14100 vsize=2026292 memory=16428 CPUtime=0.09 cores=0,2,4,6
/proc/14103/stat : 14103 (xcsp_picat) R 14100 14103 13719 0 -1 4202496 1817 0 0 0 9 0 0 0 20 0 1 0 247135542 2074923008 4107 33554432000 4194304 5849940 140733840555824 140733840554472 5362101 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 14983168 140733840557238 140733840557316 140733840557316 140733840560074 0
/proc/14103/statm: 506573 4107 694 405 0 503517 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2026292 KiB
Current children cumulated memory: 16428 KiB
[startup+0.209978 s]*
/proc/loadavg: 2.00 2.01 1.96 3/187 14104
/proc/meminfo: memFree=24155164/32770624 swapFree=67059124/67108860
[pid=14103] ppid=14100 vsize=2026808 memory=17216 CPUtime=0.21 cores=0,2,4,6
/proc/14103/stat : 14103 (xcsp_picat) R 14100 14103 13719 0 -1 4202496 1970 0 0 0 20 1 0 0 20 0 1 0 247135542 2075451392 4304 33554432000 4194304 5849940 140733840555824 140733840554472 140478908080007 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 14983168 140733840557238 140733840557316 140733840557316 140733840560074 0
/proc/14103/statm: 506702 4304 697 405 0 503646 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2026808 KiB
Current children cumulated memory: 17216 KiB
[startup+0.309319 s]*
/proc/loadavg: 2.00 2.01 1.96 3/187 14104
/proc/meminfo: memFree=24153868/32770624 swapFree=67059124/67108860
[pid=14103] ppid=14100 vsize=2026808 memory=17216 CPUtime=0.3 cores=0,2,4,6
/proc/14103/stat : 14103 (xcsp_picat) R 14100 14103 13719 0 -1 4202496 1975 0 0 0 29 1 0 0 20 0 1 0 247135542 2075451392 4304 33554432000 4194304 5849940 140733840555824 140733840554824 140478908080007 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 14983168 140733840557238 140733840557316 140733840557316 140733840560074 0
/proc/14103/statm: 506702 4304 697 405 0 503646 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2026808 KiB
Current children cumulated memory: 17216 KiB
[startup+0.700225 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 14104
/proc/meminfo: memFree=24151648/32770624 swapFree=67059124/67108860
[pid=14103] ppid=14100 vsize=2027692 memory=18052 CPUtime=0.68 cores=0,2,4,6
/proc/14103/stat : 14103 (xcsp_picat) R 14100 14103 13719 0 -1 4202496 2298 0 0 0 66 2 0 0 20 0 1 0 247135542 2076356608 4513 33554432000 4194304 5849940 140733840555824 140733840554312 5308201 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 14983168 140733840557238 140733840557316 140733840557316 140733840560074 0
/proc/14103/statm: 506923 4513 697 405 0 503867 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2027692 KiB
Current children cumulated memory: 18052 KiB
[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 14104
/proc/meminfo: memFree=24139900/32770624 swapFree=67059124/67108860
[pid=14103] ppid=14100 vsize=2028544 memory=18892 CPUtime=1.48 cores=0,2,4,6
/proc/14103/stat : 14103 (xcsp_picat) R 14100 14103 13719 0 -1 4202496 3124 0 0 0 144 4 0 0 20 0 1 0 247135542 2077229056 4723 33554432000 4194304 5849940 140733840555824 140733840554312 140478908080007 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 14983168 140733840557238 140733840557316 140733840557316 140733840560074 0
/proc/14103/statm: 507136 4723 697 405 0 504080 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2028544 KiB
Current children cumulated memory: 18892 KiB
[startup+3.10918 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 14104
/proc/meminfo: memFree=24131388/32770624 swapFree=67059124/67108860
[pid=14103] ppid=14100 vsize=2031188 memory=21360 CPUtime=3.1 cores=0,2,4,6
/proc/14103/stat : 14103 (xcsp_picat) R 14100 14103 13719 0 -1 4202496 6502 0 0 0 301 9 0 0 20 0 1 0 247135542 2079936512 5340 33554432000 4194304 5849940 140733840555824 140733840554824 140478908080007 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 14983168 140733840557238 140733840557316 140733840557316 140733840560074 0
/proc/14103/statm: 507797 5340 697 405 0 504741 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2031188 KiB
Current children cumulated memory: 21360 KiB
[startup+6.30026 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 14104
/proc/meminfo: memFree=24110704/32770624 swapFree=67059124/67108860
[pid=14103] ppid=14100 vsize=2034168 memory=24388 CPUtime=6.29 cores=0,2,4,6
/proc/14103/stat : 14103 (xcsp_picat) R 14100 14103 13719 0 -1 4202496 13108 0 0 0 614 15 0 0 20 0 1 0 247135542 2082988032 6097 33554432000 4194304 5849940 140733840555824 140733840554824 140478908080007 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 14983168 140733840557238 140733840557316 140733840557316 140733840560074 0
/proc/14103/statm: 508542 6097 697 405 0 505486 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2034168 KiB
Current children cumulated memory: 24388 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 14104
/proc/meminfo: memFree=24127140/32770624 swapFree=67059124/67108860
[pid=14103] ppid=14100 vsize=2032044 memory=22360 CPUtime=12.68 cores=0,2,4,6
/proc/14103/stat : 14103 (xcsp_picat) R 14100 14103 13719 0 -1 4202496 19496 0 0 0 1243 25 0 0 20 0 1 0 247135542 2080813056 5590 33554432000 4194304 5849940 140733840555824 140733840554824 4202176 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 14983168 140733840557238 140733840557316 140733840557316 140733840560074 0
/proc/14103/statm: 508011 5590 697 405 0 504955 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2032044 KiB
Current children cumulated memory: 22360 KiB
[startup+25.5004 s]
/proc/loadavg: 1.93 2.00 1.95 3/187 14104
/proc/meminfo: memFree=24105468/32770624 swapFree=67059124/67108860
[pid=14103] ppid=14100 vsize=2047696 memory=38036 CPUtime=25.48 cores=0,2,4,6
/proc/14103/stat : 14103 (xcsp_picat) R 14100 14103 13719 0 -1 4202496 27157 0 0 0 2501 47 0 0 20 0 1 0 247135542 2096840704 9509 33554432000 4194304 5849940 140733840555824 140733840554824 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 14983168 140733840557238 140733840557316 140733840557316 140733840560074 0
/proc/14103/statm: 511924 9509 697 405 0 508868 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2047696 KiB
Current children cumulated memory: 38036 KiB
[startup+51.1095 s]
/proc/loadavg: 1.96 2.00 1.95 4/187 14104
/proc/meminfo: memFree=24049008/32770624 swapFree=67059124/67108860
[pid=14103] ppid=14100 vsize=2077616 memory=67972 CPUtime=51.09 cores=0,2,4,6
/proc/14103/stat : 14103 (xcsp_picat) R 14100 14103 13719 0 -1 4202496 44805 0 0 0 5039 70 0 0 20 0 1 0 247135542 2127478784 16993 33554432000 4194304 5849940 140733840555824 140733840554824 140478908080007 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 14983168 140733840557238 140733840557316 140733840557316 140733840560074 0
/proc/14103/statm: 519404 16993 697 405 0 516348 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2077616 KiB
Current children cumulated memory: 67972 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 1.95 3/187 14105
/proc/meminfo: memFree=24004352/32770624 swapFree=67059124/67108860
[pid=14103] ppid=14100 vsize=2083496 memory=73756 CPUtime=102.28 cores=0,2,4,6
/proc/14103/stat : 14103 (xcsp_picat) R 14100 14103 13719 0 -1 4202496 74447 0 0 0 10126 102 0 0 20 0 1 0 247135542 2133499904 18439 33554432000 4194304 5849940 140733840555824 140733840554824 5438470 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 14983168 140733840557238 140733840557316 140733840557316 140733840560074 0
/proc/14103/statm: 520874 18439 697 405 0 517818 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2083496 KiB
Current children cumulated memory: 73756 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/187 14106
/proc/meminfo: memFree=23941492/32770624 swapFree=67059124/67108860
[pid=14103] ppid=14100 vsize=2139860 memory=130216 CPUtime=162.28 cores=0,2,4,6
/proc/14103/stat : 14103 (xcsp_picat) R 14100 14103 13719 0 -1 4202496 91170 0 0 0 16104 124 0 0 20 0 1 0 247135542 2191216640 32554 33554432000 4194304 5849940 140733840555824 140733840554824 140478908080007 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 14983168 140733840557238 140733840557316 140733840557316 140733840560074 0
/proc/14103/statm: 534965 32554 697 405 0 531909 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2139860 KiB
Current children cumulated memory: 130216 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/187 14107
/proc/meminfo: memFree=23948264/32770624 swapFree=67059124/67108860
[pid=14103] ppid=14100 vsize=2120784 memory=111140 CPUtime=222.28 cores=0,2,4,6
/proc/14103/stat : 14103 (xcsp_picat) R 14100 14103 13719 0 -1 4202496 114562 0 0 0 22083 145 0 0 20 0 1 0 247135542 2171682816 27785 33554432000 4194304 5849940 140733840555824 140733840554824 140478908080007 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 14983168 140733840557238 140733840557316 140733840557316 140733840560074 0
/proc/14103/statm: 530196 27785 697 405 0 527140 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2120784 KiB
Current children cumulated memory: 111140 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 14116
/proc/meminfo: memFree=23928268/32770624 swapFree=67059124/67108860
[pid=14103] ppid=14100 vsize=2143684 memory=134000 CPUtime=282.27 cores=0,2,4,6
/proc/14103/stat : 14103 (xcsp_picat) R 14100 14103 13719 0 -1 4202496 115693 0 0 0 28068 159 0 0 20 0 1 0 247135542 2195132416 33500 33554432000 4194304 5849940 140733840555824 140733840554824 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 14983168 140733840557238 140733840557316 140733840557316 140733840560074 0
/proc/14103/statm: 535921 33500 697 405 0 532865 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2143684 KiB
Current children cumulated memory: 134000 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 14117
/proc/meminfo: memFree=23929032/32770624 swapFree=67059124/67108860
[pid=14103] ppid=14100 vsize=2098292 memory=88648 CPUtime=342.28 cores=0,2,4,6
/proc/14103/stat : 14103 (xcsp_picat) R 14100 14103 13719 0 -1 4202496 129657 0 0 0 34055 173 0 0 20 0 1 0 247135542 2148651008 22162 33554432000 4194304 5849940 140733840555824 140733840554472 5392792 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 14983168 140733840557238 140733840557316 140733840557316 140733840560074 0
/proc/14103/statm: 524573 22162 697 405 0 521517 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2098292 KiB
Current children cumulated memory: 88648 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 14118
/proc/meminfo: memFree=23926888/32770624 swapFree=67059124/67108860
[pid=14103] ppid=14100 vsize=2108764 memory=99088 CPUtime=402.27 cores=0,2,4,6
/proc/14103/stat : 14103 (xcsp_picat) R 14100 14103 13719 0 -1 4202496 139546 0 0 0 39993 234 0 0 20 0 1 0 247135542 2159374336 24772 33554432000 4194304 5849940 140733840555824 140733840554824 5437839 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 14983168 140733840557238 140733840557316 140733840557316 140733840560074 0
/proc/14103/statm: 527191 24772 697 405 0 524135 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2108764 KiB
Current children cumulated memory: 99088 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 14119
/proc/meminfo: memFree=23868992/32770624 swapFree=67059124/67108860
[pid=14103] ppid=14100 vsize=2166180 memory=156472 CPUtime=462.27 cores=0,2,4,6
/proc/14103/stat : 14103 (xcsp_picat) R 14100 14103 13719 0 -1 4202496 147540 0 0 0 45962 265 0 0 20 0 1 0 247135542 2218168320 39118 33554432000 4194304 5849940 140733840555824 140733840554824 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 14983168 140733840557238 140733840557316 140733840557316 140733840560074 0
/proc/14103/statm: 541545 39118 697 405 0 538489 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2166180 KiB
Current children cumulated memory: 156472 KiB
################
# More data... #
################
Current children cumulated memory: 190104 KiB
[startup+702.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/187 14124
/proc/meminfo: memFree=23870312/32770624 swapFree=67059124/67108860
[pid=14103] ppid=14100 vsize=2216248 memory=206604 CPUtime=702.26 cores=0,2,4,6
/proc/14103/stat : 14103 (xcsp_picat) R 14100 14103 13719 0 -1 4202496 178294 0 0 0 69880 346 0 0 20 0 1 0 247135542 2269437952 51651 33554432000 4194304 5849940 140733840555824 140733840554824 5335806 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 14983168 140733840557238 140733840557316 140733840557316 140733840560074 0
/proc/14103/statm: 554062 51651 697 405 0 551006 0
Current children cumulated CPU time: 702.26 s
Current children cumulated vsize: 2216248 KiB
Current children cumulated memory: 206604 KiB
[startup+762.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/187 14126
/proc/meminfo: memFree=23843896/32770624 swapFree=67059124/67108860
[pid=14103] ppid=14100 vsize=2238916 memory=229152 CPUtime=762.26 cores=0,2,4,6
/proc/14103/stat : 14103 (xcsp_picat) R 14100 14103 13719 0 -1 4202496 179370 0 0 0 75863 363 0 0 20 0 1 0 247135542 2292649984 57288 33554432000 4194304 5849940 140733840555824 140733840554824 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 14983168 140733840557238 140733840557316 140733840557316 140733840560074 0
/proc/14103/statm: 559729 57288 697 405 0 556673 0
Current children cumulated CPU time: 762.26 s
Current children cumulated vsize: 2238916 KiB
Current children cumulated memory: 229152 KiB
[startup+822.3 s]
/proc/loadavg: 2.05 2.01 1.96 3/187 14127
/proc/meminfo: memFree=23779292/32770624 swapFree=67059124/67108860
[pid=14103] ppid=14100 vsize=2303728 memory=293820 CPUtime=822.26 cores=0,2,4,6
/proc/14103/stat : 14103 (xcsp_picat) R 14100 14103 13719 0 -1 4202496 193852 0 0 0 81847 379 0 0 20 0 1 0 247135542 2359017472 73455 33554432000 4194304 5849940 140733840555824 140733840554824 5437784 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 14983168 140733840557238 140733840557316 140733840557316 140733840560074 0
/proc/14103/statm: 575932 73455 697 405 0 572876 0
Current children cumulated CPU time: 822.26 s
Current children cumulated vsize: 2303728 KiB
Current children cumulated memory: 293820 KiB
[startup+882.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/188 14136
/proc/meminfo: memFree=23702348/32770624 swapFree=67059124/67108860
[pid=14103] ppid=14100 vsize=2311320 memory=301412 CPUtime=882.25 cores=0,2,4,6
/proc/14103/stat : 14103 (xcsp_picat) R 14100 14103 13719 0 -1 4202496 195268 0 0 0 87836 389 0 0 20 0 1 0 247135542 2366791680 75353 33554432000 4194304 5849940 140733840555824 140733840554824 5438453 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 14983168 140733840557238 140733840557316 140733840557316 140733840560074 0
/proc/14103/statm: 577830 75353 697 405 0 574774 0
Current children cumulated CPU time: 882.25 s
Current children cumulated vsize: 2311320 KiB
Current children cumulated memory: 301412 KiB
[startup+942.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/188 14137
/proc/meminfo: memFree=23782380/32770624 swapFree=67059124/67108860
[pid=14103] ppid=14100 vsize=2311320 memory=301676 CPUtime=942.26 cores=0,2,4,6
/proc/14103/stat : 14103 (xcsp_picat) R 14100 14103 13719 0 -1 4202496 214282 0 0 0 93825 401 0 0 20 0 1 0 247135542 2366791680 75419 33554432000 4194304 5849940 140733840555824 140733840554824 5335816 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 14983168 140733840557238 140733840557316 140733840557316 140733840560074 0
/proc/14103/statm: 577830 75419 697 405 0 574774 0
Current children cumulated CPU time: 942.26 s
Current children cumulated vsize: 2311320 KiB
Current children cumulated memory: 301676 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 14138
/proc/meminfo: memFree=23774040/32770624 swapFree=67059124/67108860
[pid=14103] ppid=14100 vsize=2311320 memory=301676 CPUtime=1002.25 cores=0,2,4,6
/proc/14103/stat : 14103 (xcsp_picat) R 14100 14103 13719 0 -1 4202496 235466 0 0 0 99814 411 0 0 20 0 1 0 247135542 2366791680 75419 33554432000 4194304 5849940 140733840555824 140733840554984 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 14983168 140733840557238 140733840557316 140733840557316 140733840560074 0
/proc/14103/statm: 577830 75419 697 405 0 574774 0
Current children cumulated CPU time: 1002.25 s
Current children cumulated vsize: 2311320 KiB
Current children cumulated memory: 301676 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 14139
/proc/meminfo: memFree=23882496/32770624 swapFree=67059124/67108860
[pid=14103] ppid=14100 vsize=2197516 memory=187872 CPUtime=1062.25 cores=0,2,4,6
/proc/14103/stat : 14103 (xcsp_picat) R 14100 14103 13719 0 -1 4202496 259370 0 0 0 105801 424 0 0 20 0 1 0 247135542 2250256384 46968 33554432000 4194304 5849940 140733840555824 140733840554824 5438456 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 14983168 140733840557238 140733840557316 140733840557316 140733840560074 0
/proc/14103/statm: 549379 46968 697 405 0 546323 0
Current children cumulated CPU time: 1062.25 s
Current children cumulated vsize: 2197516 KiB
Current children cumulated memory: 187872 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 14140
/proc/meminfo: memFree=23921244/32770624 swapFree=67059124/67108860
[pid=14103] ppid=14100 vsize=2126376 memory=116732 CPUtime=1122.25 cores=0,2,4,6
/proc/14103/stat : 14103 (xcsp_picat) R 14100 14103 13719 0 -1 4202496 275629 0 0 0 111752 473 0 0 20 0 1 0 247135542 2177409024 29183 33554432000 4194304 5849940 140733840555824 140733840554824 140478907668411 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 14983168 140733840557238 140733840557316 140733840557316 140733840560074 0
/proc/14103/statm: 531594 29183 697 405 0 528538 0
Current children cumulated CPU time: 1122.25 s
Current children cumulated vsize: 2126376 KiB
Current children cumulated memory: 116732 KiB
[startup+1136.38 s]
# the end of solver process 14103 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1131.51 s, system=4.82583 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1126.4 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 14140
/proc/meminfo: memFree=23912620/32770624 swapFree=67059124/67108860
[pid=14103] ppid=14100 vsize=2126376 memory=116732 CPUtime=1126.35 cores=0,2,4,6
/proc/14103/stat : 14103 (xcsp_picat) R 14100 14103 13719 0 -1 4202496 275629 0 0 0 112160 475 0 0 20 0 1 0 247135542 2177409024 29183 33554432000 4194304 5849940 140733840555824 140733840554824 140478908080007 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 14983168 140733840557238 140733840557316 140733840557316 140733840560074 0
/proc/14103/statm: 531594 29183 697 405 0 528538 0
Current children cumulated CPU time: 1126.35 s
Current children cumulated vsize: 2126376 KiB
Current children cumulated memory: 116732 KiB
[startup+1132.8 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 14140
/proc/meminfo: memFree=23966360/32770624 swapFree=67059124/67108860
[pid=14103] ppid=14100 vsize=2126376 memory=116732 CPUtime=1132.74 cores=0,2,4,6
/proc/14103/stat : 14103 (xcsp_picat) R 14100 14103 13719 0 -1 4202496 275629 0 0 0 112795 479 0 0 20 0 1 0 247135542 2177409024 29183 33554432000 4194304 5849940 140733840555824 140733840554824 5438047 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 14983168 140733840557238 140733840557316 140733840557316 140733840560074 0
/proc/14103/statm: 531594 29183 697 405 0 528538 0
Current children cumulated CPU time: 1132.74 s
Current children cumulated vsize: 2126376 KiB
Current children cumulated memory: 116732 KiB
[startup+1134.4 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 14140
/proc/meminfo: memFree=23966360/32770624 swapFree=67059124/67108860
[pid=14103] ppid=14100 vsize=2126376 memory=116732 CPUtime=1134.34 cores=0,2,4,6
/proc/14103/stat : 14103 (xcsp_picat) R 14100 14103 13719 0 -1 4202496 275629 0 0 0 112954 480 0 0 20 0 1 0 247135542 2177409024 29183 33554432000 4194304 5849940 140733840555824 140733840554824 5335806 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 14983168 140733840557238 140733840557316 140733840557316 140733840560074 0
/proc/14103/statm: 531594 29183 697 405 0 528538 0
Current children cumulated CPU time: 1134.34 s
Current children cumulated vsize: 2126376 KiB
Current children cumulated memory: 116732 KiB
[startup+1135.2 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 14140
/proc/meminfo: memFree=23966360/32770624 swapFree=67059124/67108860
[pid=14103] ppid=14100 vsize=2126376 memory=116732 CPUtime=1135.14 cores=0,2,4,6
/proc/14103/stat : 14103 (xcsp_picat) R 14100 14103 13719 0 -1 4202496 275629 0 0 0 113034 480 0 0 20 0 1 0 247135542 2177409024 29183 33554432000 4194304 5849940 140733840555824 140733840554824 140478908080007 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 14983168 140733840557238 140733840557316 140733840557316 140733840560074 0
/proc/14103/statm: 531594 29183 697 405 0 528538 0
Current children cumulated CPU time: 1135.14 s
Current children cumulated vsize: 2126376 KiB
Current children cumulated memory: 116732 KiB
[startup+1136 s]*
/proc/loadavg: 2.00 2.01 1.96 3/188 14140
/proc/meminfo: memFree=23966360/32770624 swapFree=67059124/67108860
[pid=14103] ppid=14100 vsize=2126376 memory=116732 CPUtime=1135.95 cores=0,2,4,6
/proc/14103/stat : 14103 (xcsp_picat) R 14100 14103 13719 0 -1 4202496 275629 0 0 0 113114 481 0 0 20 0 1 0 247135542 2177409024 29183 33554432000 4194304 5849940 140733840555824 140733840554824 140478908080007 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 14983168 140733840557238 140733840557316 140733840557316 140733840560074 0
/proc/14103/statm: 531594 29183 697 405 0 528538 0
Current children cumulated CPU time: 1135.95 s
Current children cumulated vsize: 2126376 KiB
Current children cumulated memory: 116732 KiB
[startup+1136.2 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 14140
/proc/meminfo: memFree=23966360/32770624 swapFree=67059124/67108860
[pid=14103] ppid=14100 vsize=2126376 memory=116732 CPUtime=1136.14 cores=0,2,4,6
/proc/14103/stat : 14103 (xcsp_picat) R 14100 14103 13719 0 -1 4202496 275629 0 0 0 113133 481 0 0 20 0 1 0 247135542 2177409024 29183 33554432000 4194304 5849940 140733840555824 140733840554824 140478908080007 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 14983168 140733840557238 140733840557316 140733840557316 140733840560074 0
/proc/14103/statm: 531594 29183 697 405 0 528538 0
Current children cumulated CPU time: 1136.14 s
Current children cumulated vsize: 2126376 KiB
Current children cumulated memory: 116732 KiB
[startup+1136.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 14140
/proc/meminfo: memFree=23966360/32770624 swapFree=67059124/67108860
[pid=14103] ppid=14100 vsize=2126376 memory=116732 CPUtime=1136.25 cores=0,2,4,6
/proc/14103/stat : 14103 (xcsp_picat) R 14100 14103 13719 0 -1 4202496 275629 0 0 0 113143 482 0 0 20 0 1 0 247135542 2177409024 29183 33554432000 4194304 5849940 140733840555824 140733840554824 5438465 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 14983168 140733840557238 140733840557316 140733840557316 140733840560074 0
/proc/14103/statm: 531594 29183 697 405 0 528538 0
Current children cumulated CPU time: 1136.25 s
Current children cumulated vsize: 2126376 KiB
Current children cumulated memory: 116732 KiB
Child status: 0
Real time (s): 1136.38
CPU time (s): 1136.33
CPU user time (s): 1131.51
CPU system time (s): 4.82583
CPU usage (%): 99.9961
Max. virtual memory (cumulated for all children) (KiB): 2311320
Max. memory (cumulated for all children) (KiB): 301676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1131.51
system time used= 4.82583
maximum resident set size= 301676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275793
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= 2
involuntary context switches= 1439
# summary of solver processes directly reported to runsolver:
# pid: 14103
# total CPU time (s): 1136.33
# total CPU user time (s): 1131.51
# total CPU system time (s): 4.82583
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.28611 second user time and 7.51856 second system time
The end