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 (15188 MiB free)
memory of node 1: 16384 MiB (15558 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394984-1568324389/watcher-4394984-1568324389 -o /tmp/evaluation-result-4394984-1568324389/solver-4394984-1568324389 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568321663-18695 --watchdog 2580 xcsp_picat HOME/instance-4394984-1568324389.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=19297, runsolver pid=19294
Current StackSize limit: 8192 KiB
[startup+0.101023 s]*
/proc/loadavg: 2.00 2.01 2.37 3/201 19298
/proc/meminfo: memFree=31470284/32770624 swapFree=66979628/67108860
[pid=19297] ppid=19294 vsize=2031716 memory=17100 CPUtime=0.09 cores=0,2,4,6
/proc/19297/stat : 19297 (xcsp_picat) R 19294 19297 18664 0 -1 4202496 1893 0 0 0 9 0 0 0 20 0 1 0 408701765 2080477184 4275 33554432000 4194304 5870510 140730408015008 140730408014312 4479718 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 17453056 140730408023071 140730408023149 140730408023149 140730408026058 0
/proc/19297/statm: 507929 4275 834 410 0 503402 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 17100 KiB
[startup+0.209763 s]*
/proc/loadavg: 2.00 2.01 2.37 3/201 19298
/proc/meminfo: memFree=31464164/32770624 swapFree=66979628/67108860
[pid=19297] ppid=19294 vsize=2031716 memory=23244 CPUtime=0.2 cores=0,2,4,6
/proc/19297/stat : 19297 (xcsp_picat) R 19294 19297 18664 0 -1 4202496 1898 0 0 0 20 0 0 0 20 0 1 0 408701765 2080477184 5811 33554432000 4194304 5870510 140730408015008 140730408014312 139653152381952 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 17453056 140730408023071 140730408023149 140730408023149 140730408026058 0
/proc/19297/statm: 507929 5811 834 410 0 503402 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 23244 KiB
[startup+0.309536 s]*
/proc/loadavg: 2.00 2.01 2.37 3/201 19298
/proc/meminfo: memFree=31458020/32770624 swapFree=66979628/67108860
[pid=19297] ppid=19294 vsize=2031716 memory=29388 CPUtime=0.3 cores=0,2,4,6
/proc/19297/stat : 19297 (xcsp_picat) R 19294 19297 18664 0 -1 4202496 1901 0 0 0 30 0 0 0 20 0 1 0 408701765 2080477184 7347 33554432000 4194304 5870510 140730408015008 140730408014312 4527714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 17453056 140730408023071 140730408023149 140730408023149 140730408026058 0
/proc/19297/statm: 507929 7347 834 410 0 503402 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 29388 KiB
[startup+0.700308 s]
/proc/loadavg: 2.00 2.01 2.37 3/201 19298
/proc/meminfo: memFree=31447780/32770624 swapFree=66979628/67108860
[pid=19297] ppid=19294 vsize=2031716 memory=49868 CPUtime=0.69 cores=0,2,4,6
/proc/19297/stat : 19297 (xcsp_picat) R 19294 19297 18664 0 -1 4202496 1911 0 0 0 68 1 0 0 20 0 1 0 408701765 2080477184 12467 33554432000 4194304 5870510 140730408015008 140730408014312 4761706 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 17453056 140730408023071 140730408023149 140730408023149 140730408026058 0
/proc/19297/statm: 507929 12467 834 410 0 503402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 49868 KiB
[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.37 3/201 19298
/proc/meminfo: memFree=31419108/32770624 swapFree=66979628/67108860
[pid=19297] ppid=19294 vsize=2031716 memory=94924 CPUtime=1.48 cores=0,2,4,6
/proc/19297/stat : 19297 (xcsp_picat) R 19294 19297 18664 0 -1 4202496 1933 0 0 0 147 1 0 0 20 0 1 0 408701765 2080477184 23731 33554432000 4194304 5870510 140730408015008 140730408014312 4466954 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 17453056 140730408023071 140730408023149 140730408023149 140730408026058 0
/proc/19297/statm: 507929 23731 834 410 0 503402 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 94924 KiB
[startup+3.10971 s]
/proc/loadavg: 2.00 2.01 2.37 3/201 19298
/proc/meminfo: memFree=31265448/32770624 swapFree=66979628/67108860
[pid=19297] ppid=19294 vsize=2031716 memory=185124 CPUtime=3.1 cores=0,2,4,6
/proc/19297/stat : 19297 (xcsp_picat) R 19294 19297 18664 0 -1 4202496 2030 0 0 0 307 3 0 0 20 0 1 0 408701765 2080477184 46281 33554432000 4194304 5870510 140730408015008 140730408014312 139653152381952 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 17453056 140730408023071 140730408023149 140730408023149 140730408026058 0
/proc/19297/statm: 507929 46281 839 410 0 503402 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 185124 KiB
[startup+6.3004 s]
/proc/loadavg: 2.00 2.01 2.37 3/202 19300
/proc/meminfo: memFree=31102632/32770624 swapFree=66979628/67108860
[pid=19297] ppid=19294 vsize=2031716 memory=361252 CPUtime=6.28 cores=0,2,4,6
/proc/19297/stat : 19297 (xcsp_picat) R 19294 19297 18664 0 -1 4202496 2159 0 0 0 622 6 0 0 20 0 1 0 408701765 2080477184 90313 33554432000 4194304 5870510 140730408015008 140730408014312 139653152381952 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 17453056 140730408023071 140730408023149 140730408023149 140730408026058 0
/proc/19297/statm: 507929 90313 839 410 0 503402 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 361252 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.37 3/202 19300
/proc/meminfo: memFree=30763968/32770624 swapFree=66979628/67108860
[pid=19297] ppid=19294 vsize=2031716 memory=717604 CPUtime=12.69 cores=0,2,4,6
/proc/19297/stat : 19297 (xcsp_picat) R 19294 19297 18664 0 -1 4202496 2383 0 0 0 1258 11 0 0 20 0 1 0 408701765 2080477184 179401 33554432000 4194304 5870510 140730408015008 140730408014312 4530828 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 17453056 140730408023071 140730408023149 140730408023149 140730408026058 0
/proc/19297/statm: 507929 179401 839 410 0 503402 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 717604 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.36 3/201 19300
/proc/meminfo: memFree=29252900/32770624 swapFree=66979628/67108860
[pid=19297] ppid=19294 vsize=2703976 memory=2196116 CPUtime=25.48 cores=0,2,4,6
/proc/19297/stat : 19297 (xcsp_picat) R 19294 19297 18664 0 -1 4202496 7240 0 0 0 2516 32 0 0 20 0 1 0 408701765 2768871424 549029 33554432000 4194304 5870510 140730408015008 140730408014328 4537359 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 17453056 140730408023071 140730408023149 140730408023149 140730408026058 0
/proc/19297/statm: 675994 549029 864 410 0 671467 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2703976 KiB
Current children cumulated memory: 2196116 KiB
[startup+51.1004 s]*
/proc/loadavg: 2.00 2.01 2.35 3/202 19303
/proc/meminfo: memFree=29373892/32770624 swapFree=66979628/67108860
[pid=19297] ppid=19294 vsize=2781808 memory=2112160 CPUtime=51.09 cores=0,2,4,6
/proc/19297/stat : 19297 (xcsp_picat) R 19294 19297 18664 0 -1 4202496 26127 0 0 0 4926 183 0 0 20 0 1 0 408701765 2848571392 528040 33554432000 4194304 5870510 140730408015008 140730408013976 5246749 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 17453056 140730408023071 140730408023149 140730408023149 140730408026058 0
/proc/19297/statm: 695452 528040 864 410 0 690925 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2781808 KiB
Current children cumulated memory: 2112160 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.33 3/203 19314
/proc/meminfo: memFree=29088296/32770624 swapFree=66979640/67108860
[pid=19297] ppid=19294 vsize=2929876 memory=2413828 CPUtime=102.28 cores=0,2,4,6
/proc/19297/stat : 19297 (xcsp_picat) R 19294 19297 18664 0 -1 4202496 57155 0 0 0 9728 500 0 0 20 0 1 0 408701765 3000193024 603457 33554432000 4194304 5870510 140730408015008 140730408013976 5246194 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 17453056 140730408023071 140730408023149 140730408023149 140730408026058 0
/proc/19297/statm: 732469 603457 864 410 0 727942 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2929876 KiB
Current children cumulated memory: 2413828 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.31 3/202 19318
/proc/meminfo: memFree=29195272/32770624 swapFree=66979640/67108860
[pid=19297] ppid=19294 vsize=3077848 memory=2274964 CPUtime=162.27 cores=0,2,4,6
/proc/19297/stat : 19297 (xcsp_picat) R 19294 19297 18664 0 -1 4202496 92374 0 0 0 15360 867 0 0 20 0 1 0 408701765 3151716352 568741 33554432000 4194304 5870510 140730408015008 140730408013976 5246343 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 17453056 140730408023071 140730408023149 140730408023149 140730408026058 0
/proc/19297/statm: 769462 568741 864 410 0 764935 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 3077848 KiB
Current children cumulated memory: 2274964 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.29 3/202 19322
/proc/meminfo: memFree=27569480/32770624 swapFree=66979640/67108860
[pid=19297] ppid=19294 vsize=5697772 memory=3860328 CPUtime=222.27 cores=0,2,4,6
/proc/19297/stat : 19297 (xcsp_picat) R 19294 19297 18664 0 -1 4202496 130086 0 0 0 21083 1144 0 0 20 0 1 0 408701765 5834518528 965082 33554432000 4194304 5870510 140730408015008 140730408013560 5393235 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 17453056 140730408023071 140730408023149 140730408023149 140730408026058 0
/proc/19297/statm: 1424443 965082 877 410 0 1419916 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 5697772 KiB
Current children cumulated memory: 3860328 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.27 3/203 19328
/proc/meminfo: memFree=27259720/32770624 swapFree=66979640/67108860
[pid=19297] ppid=19294 vsize=6043644 memory=4143972 CPUtime=282.26 cores=0,2,4,6
/proc/19297/stat : 19297 (xcsp_picat) R 19294 19297 18664 0 -1 4202496 180019 0 0 0 27076 1150 0 0 20 0 1 0 408701765 6188691456 1035993 33554432000 4194304 5870510 140730408015008 140730408013560 5337297 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 17453056 140730408023071 140730408023149 140730408023149 140730408026058 0
/proc/19297/statm: 1510911 1035993 882 410 0 1506384 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 6043644 KiB
Current children cumulated memory: 4143972 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.26 3/200 19332
/proc/meminfo: memFree=27256776/32770624 swapFree=66979640/67108860
[pid=19297] ppid=19294 vsize=6043644 memory=4143972 CPUtime=342.26 cores=0,2,4,6
/proc/19297/stat : 19297 (xcsp_picat) R 19294 19297 18664 0 -1 4202496 207147 0 0 0 33074 1152 0 0 20 0 1 0 408701765 6188691456 1035993 33554432000 4194304 5870510 140730408015008 140730408013560 5337393 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 17453056 140730408023071 140730408023149 140730408023149 140730408026058 0
/proc/19297/statm: 1510911 1035993 882 410 0 1506384 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 6043644 KiB
Current children cumulated memory: 4143972 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.24 3/199 19336
/proc/meminfo: memFree=27253584/32770624 swapFree=66979640/67108860
[pid=19297] ppid=19294 vsize=6043644 memory=4143972 CPUtime=402.25 cores=0,2,4,6
/proc/19297/stat : 19297 (xcsp_picat) R 19294 19297 18664 0 -1 4202496 247156 0 0 0 39070 1155 0 0 20 0 1 0 408701765 6188691456 1035993 33554432000 4194304 5870510 140730408015008 140730408013560 5337384 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 17453056 140730408023071 140730408023149 140730408023149 140730408026058 0
/proc/19297/statm: 1510911 1035993 882 410 0 1506384 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 6043644 KiB
Current children cumulated memory: 4143972 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.22 3/200 19342
/proc/meminfo: memFree=27255924/32770624 swapFree=66979640/67108860
[pid=19297] ppid=19294 vsize=6043644 memory=4143972 CPUtime=462.25 cores=0,2,4,6
/proc/19297/stat : 19297 (xcsp_picat) R 19294 19297 18664 0 -1 4202496 287875 0 0 0 45068 1157 0 0 20 0 1 0 408701765 6188691456 1035993 33554432000 4194304 5870510 140730408015008 140730408013560 5337297 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 17453056 140730408023071 140730408023149 140730408023149 140730408026058 0
/proc/19297/statm: 1510911 1035993 882 410 0 1506384 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 6043644 KiB
Current children cumulated memory: 4143972 KiB
################
# More data... #
################
/proc/19297/statm: 1510911 1038947 882 410 0 1506384 0
Current children cumulated CPU time: 1782.2 s
Current children cumulated vsize: 6043644 KiB
Current children cumulated memory: 4155788 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20053
/proc/meminfo: memFree=27331748/32770624 swapFree=66979696/67108860
[pid=19297] ppid=19294 vsize=6043644 memory=4155788 CPUtime=1842.2 cores=0,2,4,6
/proc/19297/stat : 19297 (xcsp_picat) R 19294 19297 18664 0 -1 4202496 1140524 0 0 0 183026 1194 0 0 20 0 1 0 408701765 6188691456 1038947 33554432000 4194304 5870510 140730408015008 140730408013560 5337543 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 17453056 140730408023071 140730408023149 140730408023149 140730408026058 0
/proc/19297/statm: 1510911 1038947 882 410 0 1506384 0
Current children cumulated CPU time: 1842.2 s
Current children cumulated vsize: 6043644 KiB
Current children cumulated memory: 4155788 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 20068
/proc/meminfo: memFree=27326924/32770624 swapFree=66979716/67108860
[pid=19297] ppid=19294 vsize=6043644 memory=4155788 CPUtime=1902.2 cores=0,2,4,6
/proc/19297/stat : 19297 (xcsp_picat) R 19294 19297 18664 0 -1 4202496 1184225 0 0 0 189024 1196 0 0 20 0 1 0 408701765 6188691456 1038947 33554432000 4194304 5870510 140730408015008 140730408013560 5337384 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 17453056 140730408023071 140730408023149 140730408023149 140730408026058 0
/proc/19297/statm: 1510911 1038947 882 410 0 1506384 0
Current children cumulated CPU time: 1902.2 s
Current children cumulated vsize: 6043644 KiB
Current children cumulated memory: 4155788 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 20072
/proc/meminfo: memFree=27334144/32770624 swapFree=66979716/67108860
[pid=19297] ppid=19294 vsize=6043644 memory=4155788 CPUtime=1962.19 cores=0,2,4,6
/proc/19297/stat : 19297 (xcsp_picat) R 19294 19297 18664 0 -1 4202496 1221115 0 0 0 195022 1197 0 0 20 0 1 0 408701765 6188691456 1038947 33554432000 4194304 5870510 140730408015008 140730408013560 5337504 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 17453056 140730408023071 140730408023149 140730408023149 140730408026058 0
/proc/19297/statm: 1510911 1038947 882 410 0 1506384 0
Current children cumulated CPU time: 1962.19 s
Current children cumulated vsize: 6043644 KiB
Current children cumulated memory: 4155788 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 20076
/proc/meminfo: memFree=27327084/32770624 swapFree=66979716/67108860
[pid=19297] ppid=19294 vsize=6043644 memory=4155788 CPUtime=2022.19 cores=0,2,4,6
/proc/19297/stat : 19297 (xcsp_picat) R 19294 19297 18664 0 -1 4202496 1250805 0 0 0 201020 1199 0 0 20 0 1 0 408701765 6188691456 1038947 33554432000 4194304 5870510 140730408015008 140730408013560 5337504 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 17453056 140730408023071 140730408023149 140730408023149 140730408026058 0
/proc/19297/statm: 1510911 1038947 882 410 0 1506384 0
Current children cumulated CPU time: 2022.19 s
Current children cumulated vsize: 6043644 KiB
Current children cumulated memory: 4155788 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 20082
/proc/meminfo: memFree=27315216/32770624 swapFree=66979716/67108860
[pid=19297] ppid=19294 vsize=6043644 memory=4155788 CPUtime=2082.18 cores=0,2,4,6
/proc/19297/stat : 19297 (xcsp_picat) R 19294 19297 18664 0 -1 4202496 1280955 0 0 0 207019 1199 0 0 20 0 1 0 408701765 6188691456 1038947 33554432000 4194304 5870510 140730408015008 140730408013560 5337288 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 17453056 140730408023071 140730408023149 140730408023149 140730408026058 0
/proc/19297/statm: 1510911 1038947 882 410 0 1506384 0
Current children cumulated CPU time: 2082.18 s
Current children cumulated vsize: 6043644 KiB
Current children cumulated memory: 4155788 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 20086
/proc/meminfo: memFree=27314704/32770624 swapFree=66979716/67108860
[pid=19297] ppid=19294 vsize=6043644 memory=4155788 CPUtime=2142.19 cores=0,2,4,6
/proc/19297/stat : 19297 (xcsp_picat) R 19294 19297 18664 0 -1 4202496 1317051 0 0 0 213018 1201 0 0 20 0 1 0 408701765 6188691456 1038947 33554432000 4194304 5870510 140730408015008 140730408013560 5337297 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 17453056 140730408023071 140730408023149 140730408023149 140730408026058 0
/proc/19297/statm: 1510911 1038947 882 410 0 1506384 0
Current children cumulated CPU time: 2142.19 s
Current children cumulated vsize: 6043644 KiB
Current children cumulated memory: 4155788 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20090
/proc/meminfo: memFree=27314196/32770624 swapFree=66979716/67108860
[pid=19297] ppid=19294 vsize=6043644 memory=4155788 CPUtime=2202.18 cores=0,2,4,6
/proc/19297/stat : 19297 (xcsp_picat) R 19294 19297 18664 0 -1 4202496 1367570 0 0 0 219015 1203 0 0 20 0 1 0 408701765 6188691456 1038947 33554432000 4194304 5870510 140730408015008 140730408013560 5337393 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 17453056 140730408023071 140730408023149 140730408023149 140730408026058 0
/proc/19297/statm: 1510911 1038947 882 410 0 1506384 0
Current children cumulated CPU time: 2202.18 s
Current children cumulated vsize: 6043644 KiB
Current children cumulated memory: 4155788 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 20096
/proc/meminfo: memFree=27314700/32770624 swapFree=66979716/67108860
[pid=19297] ppid=19294 vsize=6043644 memory=4155788 CPUtime=2262.18 cores=0,2,4,6
/proc/19297/stat : 19297 (xcsp_picat) R 19294 19297 18664 0 -1 4202496 1409683 0 0 0 225013 1205 0 0 20 0 1 0 408701765 6188691456 1038947 33554432000 4194304 5870510 140730408015008 140730408013560 5337393 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 17453056 140730408023071 140730408023149 140730408023149 140730408026058 0
/proc/19297/statm: 1510911 1038947 882 410 0 1506384 0
Current children cumulated CPU time: 2262.18 s
Current children cumulated vsize: 6043644 KiB
Current children cumulated memory: 4155788 KiB
[startup+2322.3 s]
/proc/loadavg: 2.06 2.02 2.05 3/199 20100
/proc/meminfo: memFree=27323220/32770624 swapFree=66979716/67108860
[pid=19297] ppid=19294 vsize=6043644 memory=4155788 CPUtime=2322.18 cores=0,2,4,6
/proc/19297/stat : 19297 (xcsp_picat) R 19294 19297 18664 0 -1 4202496 1451783 0 0 0 231011 1207 0 0 20 0 1 0 408701765 6188691456 1038947 33554432000 4194304 5870510 140730408015008 140730408013560 5337288 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 17453056 140730408023071 140730408023149 140730408023149 140730408026058 0
/proc/19297/statm: 1510911 1038947 882 410 0 1506384 0
Current children cumulated CPU time: 2322.18 s
Current children cumulated vsize: 6043644 KiB
Current children cumulated memory: 4155788 KiB
[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/198 20104
/proc/meminfo: memFree=27322364/32770624 swapFree=66979716/67108860
[pid=19297] ppid=19294 vsize=6043644 memory=4155788 CPUtime=2382.18 cores=0,2,4,6
/proc/19297/stat : 19297 (xcsp_picat) R 19294 19297 18664 0 -1 4202496 1508726 0 0 0 237008 1210 0 0 20 0 1 0 408701765 6188691456 1038947 33554432000 4194304 5870510 140730408015008 140730408013560 5337504 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 17453056 140730408023071 140730408023149 140730408023149 140730408026058 0
/proc/19297/statm: 1510911 1038947 882 410 0 1506384 0
Current children cumulated CPU time: 2382.18 s
Current children cumulated vsize: 6043644 KiB
Current children cumulated memory: 4155788 KiB
[startup+2442.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/200 20111
/proc/meminfo: memFree=27319268/32770624 swapFree=66979716/67108860
[pid=19297] ppid=19294 vsize=6043644 memory=4155788 CPUtime=2442.18 cores=0,2,4,6
/proc/19297/stat : 19297 (xcsp_picat) R 19294 19297 18664 0 -1 4202496 1552553 0 0 0 243006 1212 0 0 20 0 1 0 408701765 6188691456 1038947 33554432000 4194304 5870510 140730408015008 140730408013560 5337550 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 17453056 140730408023071 140730408023149 140730408023149 140730408026058 0
/proc/19297/statm: 1510911 1038947 882 410 0 1506384 0
Current children cumulated CPU time: 2442.18 s
Current children cumulated vsize: 6043644 KiB
Current children cumulated memory: 4155788 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 20123
/proc/meminfo: memFree=27316616/32770624 swapFree=66979732/67108860
[pid=19297] ppid=19294 vsize=6043644 memory=4155788 CPUtime=2502.17 cores=0,2,4,6
/proc/19297/stat : 19297 (xcsp_picat) R 19294 19297 18664 0 -1 4202496 1595914 0 0 0 249004 1213 0 0 20 0 1 0 408701765 6188691456 1038947 33554432000 4194304 5870510 140730408015008 140730408013560 5337504 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 17453056 140730408023071 140730408023149 140730408023149 140730408026058 0
/proc/19297/statm: 1510911 1038947 882 410 0 1506384 0
Current children cumulated CPU time: 2502.17 s
Current children cumulated vsize: 6043644 KiB
Current children cumulated memory: 4155788 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 20124
/proc/meminfo: memFree=27316864/32770624 swapFree=66979732/67108860
[pid=19297] ppid=19294 vsize=6043644 memory=4155788 CPUtime=2519.87 cores=0,2,4,6
/proc/19297/stat : 19297 (xcsp_picat) R 19294 19297 18664 0 -1 4202496 1613254 0 0 0 250773 1214 0 0 20 0 1 0 408701765 6188691456 1038947 33554432000 4194304 5870510 140730408015008 140730408013560 5337297 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 17453056 140730408023071 140730408023149 140730408023149 140730408026058 0
/proc/19297/statm: 1510911 1038947 882 410 0 1506384 0
Current children cumulated CPU time: 2519.87 s
Current children cumulated vsize: 6043644 KiB
Current children cumulated memory: 4155788 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 19297 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2507.73 s, system=12.1664 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 20124
/proc/meminfo: memFree=27316864/32770624 swapFree=66979732/67108860
[pid=19297] ppid=19294 vsize=6043644 memory=4155788 CPUtime=2519.87 cores=0,2,4,6
/proc/19297/stat : 19297 (xcsp_picat) R 19294 19297 18664 0 -1 4202496 1613254 0 0 0 250773 1214 0 0 20 0 1 0 408701765 6188691456 1038947 33554432000 4194304 5870510 140730408015008 140730408013560 5337297 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 17453056 140730408023071 140730408023149 140730408023149 140730408026058 0
/proc/19297/statm: 1510911 1038947 882 410 0 1506384 0
Current children cumulated CPU time: 2519.87 s
Current children cumulated vsize: 6043644 KiB
Current children cumulated memory: 4155788 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.02
CPU time (s): 2519.9
CPU user time (s): 2507.73
CPU system time (s): 12.1664
CPU usage (%): 99.9952
Max. virtual memory (cumulated for all children) (KiB): 7050500
Max. memory (cumulated for all children) (KiB): 5011864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2507.73
system time used= 12.1664
maximum resident set size= 5011864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1613255
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= 5
involuntary context switches= 3166
# summary of solver processes directly reported to runsolver:
# pid: 19297
# total CPU time (s): 2519.9
# total CPU user time (s): 2507.73
# total CPU system time (s): 12.1664
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0319 second user time and 19.0984 second system time
The end