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 (13329 MiB free)
memory of node 1: 16384 MiB (14180 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394889-1568346345/watcher-4394889-1568346345 -o /tmp/evaluation-result-4394889-1568346345/solver-4394889-1568346345 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568323917-28817 --watchdog 2580 xcsp_picat HOME/instance-4394889-1568346345.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=2095, runsolver pid=2092
[startup+0.10016 s]*
/proc/loadavg: 2.00 2.03 2.05 3/199 2096
/proc/meminfo: memFree=28156456/32770624 swapFree=67004752/67108860
[pid=2095] ppid=2092 vsize=2031716 memory=17828 CPUtime=0.1 cores=1,3,5,7
/proc/2095/stat : 2095 (xcsp_picat) R 2092 2095 28785 0 -1 4202496 1562 0 0 0 10 0 0 0 20 0 1 0 410902358 2080477184 4457 33554432000 4194304 5870510 140724346835120 140724346834424 4491000 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16797696 140724346840095 140724346840173 140724346840173 140724346843082 0
/proc/2095/statm: 507929 4457 834 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 17828 KiB
[startup+0.209793 s]*
/proc/loadavg: 2.00 2.03 2.05 3/199 2096
/proc/meminfo: memFree=28148208/32770624 swapFree=67004752/67108860
[pid=2095] ppid=2092 vsize=2031716 memory=26020 CPUtime=0.21 cores=1,3,5,7
/proc/2095/stat : 2095 (xcsp_picat) R 2092 2095 28785 0 -1 4202496 1573 0 0 0 21 0 0 0 20 0 1 0 410902358 2080477184 6505 33554432000 4194304 5870510 140724346835120 140724346834424 4513761 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16797696 140724346840095 140724346840173 140724346840173 140724346843082 0
/proc/2095/statm: 507929 6505 834 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 26020 KiB
[startup+0.309649 s]*
/proc/loadavg: 2.00 2.03 2.05 3/199 2096
/proc/meminfo: memFree=28140016/32770624 swapFree=67004752/67108860
[pid=2095] ppid=2092 vsize=2031716 memory=36260 CPUtime=0.3 cores=1,3,5,7
/proc/2095/stat : 2095 (xcsp_picat) R 2092 2095 28785 0 -1 4202496 1578 0 0 0 30 0 0 0 20 0 1 0 410902358 2080477184 9065 33554432000 4194304 5870510 140724346835120 140724346834424 4826777 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16797696 140724346840095 140724346840173 140724346840173 140724346843082 0
/proc/2095/statm: 507929 9065 834 410 0 503402 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 36260 KiB
[startup+0.700389 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 2096
/proc/meminfo: memFree=28123632/32770624 swapFree=67004752/67108860
[pid=2095] ppid=2092 vsize=2031716 memory=64932 CPUtime=0.69 cores=1,3,5,7
/proc/2095/stat : 2095 (xcsp_picat) R 2092 2095 28785 0 -1 4202496 1592 0 0 0 68 1 0 0 20 0 1 0 410902358 2080477184 16233 33554432000 4194304 5870510 140724346835120 140724346834424 4440738 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16797696 140724346840095 140724346840173 140724346840173 140724346843082 0
/proc/2095/statm: 507929 16233 834 410 0 503402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 64932 KiB
[startup+1.5004 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 2096
/proc/meminfo: memFree=28082548/32770624 swapFree=67004752/67108860
[pid=2095] ppid=2092 vsize=2031716 memory=177672 CPUtime=1.49 cores=1,3,5,7
/proc/2095/stat : 2095 (xcsp_picat) R 2092 2095 28785 0 -1 4202496 1668 0 0 0 147 2 0 0 20 0 1 0 410902358 2080477184 44418 33554432000 4194304 5870510 140724346835120 140724346834424 4516202 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16797696 140724346840095 140724346840173 140724346840173 140724346843082 0
/proc/2095/statm: 507929 44418 841 410 0 503402 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 177672 KiB
[startup+3.10977 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 2096
/proc/meminfo: memFree=27726984/32770624 swapFree=67004752/67108860
[pid=2095] ppid=2092 vsize=2228400 memory=440536 CPUtime=3.1 cores=1,3,5,7
/proc/2095/stat : 2095 (xcsp_picat) R 2092 2095 28785 0 -1 4202496 5441 0 0 0 302 8 0 0 20 0 1 0 410902358 2281881600 110134 33554432000 4194304 5870510 140724346835120 140724346834440 4459612 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16797696 140724346840095 140724346840173 140724346840173 140724346843082 0
/proc/2095/statm: 557100 110134 867 410 0 552573 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2228400 KiB
Current children cumulated memory: 440536 KiB
[startup+6.30039 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 2096
/proc/meminfo: memFree=27378236/32770624 swapFree=67004752/67108860
[pid=2095] ppid=2092 vsize=2440288 memory=798412 CPUtime=6.29 cores=1,3,5,7
/proc/2095/stat : 2095 (xcsp_picat) R 2092 2095 28785 0 -1 4202496 6966 0 0 0 612 17 0 0 20 0 1 0 410902358 2498854912 199603 33554432000 4194304 5870510 140724346835120 140724346834440 5355037 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16797696 140724346840095 140724346840173 140724346840173 140724346843082 0
/proc/2095/statm: 610072 199603 867 410 0 605545 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2440288 KiB
Current children cumulated memory: 798412 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 2096
/proc/meminfo: memFree=26634576/32770624 swapFree=67004752/67108860
[pid=2095] ppid=2092 vsize=3089776 memory=1612052 CPUtime=12.69 cores=1,3,5,7
/proc/2095/stat : 2095 (xcsp_picat) R 2092 2095 28785 0 -1 4202496 12705 0 0 0 1236 33 0 0 20 0 1 0 410902358 3163930624 403013 33554432000 4194304 5870510 140724346835120 140724346833688 4464660 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16797696 140724346840095 140724346840173 140724346840173 140724346843082 0
/proc/2095/statm: 772444 403013 877 410 0 767917 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 3089776 KiB
Current children cumulated memory: 1612052 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 2096
/proc/meminfo: memFree=26276148/32770624 swapFree=67004752/67108860
[pid=2095] ppid=2092 vsize=3415676 memory=1892764 CPUtime=25.49 cores=1,3,5,7
/proc/2095/stat : 2095 (xcsp_picat) R 2092 2095 28785 0 -1 4202496 46304 0 0 0 2510 39 0 0 20 0 1 0 410902358 3497652224 473191 33554432000 4194304 5870510 140724346835120 140724346833848 5261200 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16797696 140724346840095 140724346840173 140724346840173 140724346843082 0
/proc/2095/statm: 853919 473191 884 410 0 849392 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 3415676 KiB
Current children cumulated memory: 1892764 KiB
[startup+51.1096 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 2098
/proc/meminfo: memFree=26250408/32770624 swapFree=67004752/67108860
[pid=2095] ppid=2092 vsize=3436440 memory=1913528 CPUtime=51.1 cores=1,3,5,7
/proc/2095/stat : 2095 (xcsp_picat) R 2092 2095 28785 0 -1 4202496 54906 0 0 0 5070 40 0 0 20 0 1 0 410902358 3518914560 478382 33554432000 4194304 5870510 140724346835120 140724346833688 5337336 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16797696 140724346840095 140724346840173 140724346840173 140724346843082 0
/proc/2095/statm: 859110 478382 884 410 0 854583 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 3436440 KiB
Current children cumulated memory: 1913528 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 2102
/proc/meminfo: memFree=26233360/32770624 swapFree=67004752/67108860
[pid=2095] ppid=2092 vsize=3436440 memory=1913540 CPUtime=102.29 cores=1,3,5,7
/proc/2095/stat : 2095 (xcsp_picat) R 2092 2095 28785 0 -1 4202496 72252 0 0 0 10188 41 0 0 20 0 1 0 410902358 3518914560 478385 33554432000 4194304 5870510 140724346835120 140724346833688 5261008 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16797696 140724346840095 140724346840173 140724346840173 140724346843082 0
/proc/2095/statm: 859110 478385 884 410 0 854583 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 3436440 KiB
Current children cumulated memory: 1913540 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2106
/proc/meminfo: memFree=26194836/32770624 swapFree=67004752/67108860
[pid=2095] ppid=2092 vsize=3467580 memory=1944688 CPUtime=162.29 cores=1,3,5,7
/proc/2095/stat : 2095 (xcsp_picat) R 2092 2095 28785 0 -1 4202496 96512 0 0 0 16186 43 0 0 20 0 1 0 410902358 3550801920 486172 33554432000 4194304 5870510 140724346835120 140724346833688 5261210 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16797696 140724346840095 140724346840173 140724346840173 140724346843082 0
/proc/2095/statm: 866895 486172 884 410 0 862368 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 3467580 KiB
Current children cumulated memory: 1944688 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2112
/proc/meminfo: memFree=26196300/32770624 swapFree=67004752/67108860
[pid=2095] ppid=2092 vsize=3467580 memory=1944696 CPUtime=222.3 cores=1,3,5,7
/proc/2095/stat : 2095 (xcsp_picat) R 2092 2095 28785 0 -1 4202496 121515 0 0 0 22185 45 0 0 20 0 1 0 410902358 3550801920 486174 33554432000 4194304 5870510 140724346835120 140724346833688 5321680 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16797696 140724346840095 140724346840173 140724346840173 140724346843082 0
/proc/2095/statm: 866895 486174 884 410 0 862368 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 3467580 KiB
Current children cumulated memory: 1944696 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2116
/proc/meminfo: memFree=26216148/32770624 swapFree=67004752/67108860
[pid=2095] ppid=2092 vsize=3467580 memory=1944696 CPUtime=282.3 cores=1,3,5,7
/proc/2095/stat : 2095 (xcsp_picat) R 2092 2095 28785 0 -1 4202496 137531 0 0 0 28183 47 0 0 20 0 1 0 410902358 3550801920 486174 33554432000 4194304 5870510 140724346835120 140724346833688 5261008 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16797696 140724346840095 140724346840173 140724346840173 140724346843082 0
/proc/2095/statm: 866895 486174 884 410 0 862368 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 3467580 KiB
Current children cumulated memory: 1944696 KiB
[startup+342.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/200 2128
/proc/meminfo: memFree=26069140/32770624 swapFree=67004752/67108860
[pid=2095] ppid=2092 vsize=3514296 memory=1991412 CPUtime=342.29 cores=1,3,5,7
/proc/2095/stat : 2095 (xcsp_picat) R 2092 2095 28785 0 -1 4202496 215888 0 0 0 34178 51 0 0 20 0 1 0 410902358 3598639104 497853 33554432000 4194304 5870510 140724346835120 140724346833688 5337395 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16797696 140724346840095 140724346840173 140724346840173 140724346843082 0
/proc/2095/statm: 878574 497853 884 410 0 874047 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 3514296 KiB
Current children cumulated memory: 1991412 KiB
[startup+402.3 s]
/proc/loadavg: 2.10 2.05 2.05 3/200 2195
/proc/meminfo: memFree=26562836/32770624 swapFree=67004752/67108860
[pid=2095] ppid=2092 vsize=3514296 memory=1993116 CPUtime=402.29 cores=1,3,5,7
/proc/2095/stat : 2095 (xcsp_picat) R 2092 2095 28785 0 -1 4202496 284650 0 0 0 40174 55 0 0 20 0 1 0 410902358 3598639104 498279 33554432000 4194304 5870510 140724346835120 140724346833688 5337288 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16797696 140724346840095 140724346840173 140724346840173 140724346843082 0
/proc/2095/statm: 878574 498279 884 410 0 874047 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 3514296 KiB
Current children cumulated memory: 1993116 KiB
[startup+462.3 s]
/proc/loadavg: 2.07 2.06 2.05 3/200 2262
/proc/meminfo: memFree=26450920/32770624 swapFree=67004752/67108860
[pid=2095] ppid=2092 vsize=3514296 memory=1993564 CPUtime=462.3 cores=1,3,5,7
/proc/2095/stat : 2095 (xcsp_picat) R 2092 2095 28785 0 -1 4202496 300146 0 0 0 46173 57 0 0 20 0 1 0 410902358 3598639104 498391 33554432000 4194304 5870510 140724346835120 140724346833688 5337516 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16797696 140724346840095 140724346840173 140724346840173 140724346843082 0
/proc/2095/statm: 878574 498391 884 410 0 874047 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 3514296 KiB
Current children cumulated memory: 1993564 KiB
################
# More data... #
################
Current children cumulated memory: 2003184 KiB
[startup+702.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/199 2281
/proc/meminfo: memFree=26570672/32770624 swapFree=67004752/67108860
[pid=2095] ppid=2092 vsize=3386192 memory=1909132 CPUtime=702.28 cores=1,3,5,7
/proc/2095/stat : 2095 (xcsp_picat) R 2092 2095 28785 0 -1 4202496 368593 0 0 0 70163 65 0 0 20 0 1 0 410902358 3467460608 477283 33554432000 4194304 5870510 140724346835120 140724346834136 5308575 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16797696 140724346840095 140724346840173 140724346840173 140724346843082 0
/proc/2095/statm: 846548 477283 909 410 0 842021 0
Current children cumulated CPU time: 702.28 s
Current children cumulated vsize: 3386192 KiB
Current children cumulated memory: 1909132 KiB
[startup+762.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/199 2287
/proc/meminfo: memFree=26573744/32770624 swapFree=67004752/67108860
[pid=2095] ppid=2092 vsize=3467580 memory=1924168 CPUtime=762.28 cores=1,3,5,7
/proc/2095/stat : 2095 (xcsp_picat) R 2092 2095 28785 0 -1 4202496 440612 0 0 0 76159 69 0 0 20 0 1 0 410902358 3550801920 481042 33554432000 4194304 5870510 140724346835120 140724346834072 5282590 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16797696 140724346840095 140724346840173 140724346840173 140724346843082 0
/proc/2095/statm: 866895 481042 909 410 0 862368 0
Current children cumulated CPU time: 762.28 s
Current children cumulated vsize: 3467580 KiB
Current children cumulated memory: 1924168 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 2292
/proc/meminfo: memFree=26556156/32770624 swapFree=67004752/67108860
[pid=2095] ppid=2092 vsize=3386192 memory=1913268 CPUtime=822.28 cores=1,3,5,7
/proc/2095/stat : 2095 (xcsp_picat) R 2092 2095 28785 0 -1 4202496 513381 0 0 0 82152 76 0 0 20 0 1 0 410902358 3467460608 478317 33554432000 4194304 5870510 140724346835120 140724346834136 5272494 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16797696 140724346840095 140724346840173 140724346840173 140724346843082 0
/proc/2095/statm: 846548 478317 909 410 0 842021 0
Current children cumulated CPU time: 822.28 s
Current children cumulated vsize: 3386192 KiB
Current children cumulated memory: 1913268 KiB
[startup+882.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 2296
/proc/meminfo: memFree=26404712/32770624 swapFree=67004752/67108860
[pid=2095] ppid=2092 vsize=3386192 memory=1913960 CPUtime=882.28 cores=1,3,5,7
/proc/2095/stat : 2095 (xcsp_picat) R 2092 2095 28785 0 -1 4202496 584966 0 0 0 88144 84 0 0 20 0 1 0 410902358 3467460608 478490 33554432000 4194304 5870510 140724346835120 140724346834136 5283083 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16797696 140724346840095 140724346840173 140724346840173 140724346843082 0
/proc/2095/statm: 846548 478490 909 410 0 842021 0
Current children cumulated CPU time: 882.28 s
Current children cumulated vsize: 3386192 KiB
Current children cumulated memory: 1913960 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/201 2311
/proc/meminfo: memFree=26431488/32770624 swapFree=67004752/67108860
[pid=2095] ppid=2092 vsize=3467580 memory=1930336 CPUtime=942.28 cores=1,3,5,7
/proc/2095/stat : 2095 (xcsp_picat) R 2092 2095 28785 0 -1 4202496 657479 0 0 0 94139 89 0 0 20 0 1 0 410902358 3550801920 482584 33554432000 4194304 5870510 140724346835120 140724346834072 5272880 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16797696 140724346840095 140724346840173 140724346840173 140724346843082 0
/proc/2095/statm: 866895 482584 909 410 0 862368 0
Current children cumulated CPU time: 942.28 s
Current children cumulated vsize: 3467580 KiB
Current children cumulated memory: 1930336 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 2338
/proc/meminfo: memFree=26308444/32770624 swapFree=67004752/67108860
[pid=2095] ppid=2092 vsize=3386192 memory=1913280 CPUtime=1002.28 cores=1,3,5,7
/proc/2095/stat : 2095 (xcsp_picat) R 2092 2095 28785 0 -1 4202496 728689 0 0 0 100132 96 0 0 20 0 1 0 410902358 3467460608 478320 33554432000 4194304 5870510 140724346835120 140724346834136 5282721 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16797696 140724346840095 140724346840173 140724346840173 140724346843082 0
/proc/2095/statm: 846548 478320 909 410 0 842021 0
Current children cumulated CPU time: 1002.28 s
Current children cumulated vsize: 3386192 KiB
Current children cumulated memory: 1913280 KiB
[startup+1062.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/201 2407
/proc/meminfo: memFree=23956544/32770624 swapFree=67004752/67108860
[pid=2095] ppid=2092 vsize=3467580 memory=1928288 CPUtime=1062.28 cores=1,3,5,7
/proc/2095/stat : 2095 (xcsp_picat) R 2092 2095 28785 0 -1 4202496 801750 0 0 0 106127 101 0 0 20 0 1 0 410902358 3550801920 482072 33554432000 4194304 5870510 140724346835120 140724346834072 5282606 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16797696 140724346840095 140724346840173 140724346840173 140724346843082 0
/proc/2095/statm: 866895 482072 909 410 0 862368 0
Current children cumulated CPU time: 1062.28 s
Current children cumulated vsize: 3467580 KiB
Current children cumulated memory: 1928288 KiB
[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/201 2423
/proc/meminfo: memFree=23680840/32770624 swapFree=67004752/67108860
[pid=2095] ppid=2092 vsize=3386192 memory=1909184 CPUtime=1122.28 cores=1,3,5,7
/proc/2095/stat : 2095 (xcsp_picat) R 2092 2095 28785 0 -1 4202496 873013 0 0 0 112120 108 0 0 20 0 1 0 410902358 3467460608 477296 33554432000 4194304 5870510 140724346835120 140724346834136 5282578 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16797696 140724346840095 140724346840173 140724346840173 140724346843082 0
/proc/2095/statm: 846548 477296 909 410 0 842021 0
Current children cumulated CPU time: 1122.28 s
Current children cumulated vsize: 3386192 KiB
Current children cumulated memory: 1909184 KiB
[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/201 2428
/proc/meminfo: memFree=23962240/32770624 swapFree=67004752/67108860
[pid=2095] ppid=2092 vsize=3467580 memory=1924464 CPUtime=1182.28 cores=1,3,5,7
/proc/2095/stat : 2095 (xcsp_picat) R 2092 2095 28785 0 -1 4202496 912118 0 0 0 118118 110 0 0 20 0 1 0 410902358 3550801920 481116 33554432000 4194304 5870510 140724346835120 140724346834072 5272433 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16797696 140724346840095 140724346840173 140724346840173 140724346843082 0
/proc/2095/statm: 866895 481116 909 410 0 862368 0
Current children cumulated CPU time: 1182.28 s
Current children cumulated vsize: 3467580 KiB
Current children cumulated memory: 1924464 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2432
/proc/meminfo: memFree=23740944/32770624 swapFree=67004752/67108860
[pid=2095] ppid=2092 vsize=3386192 memory=1911120 CPUtime=1242.28 cores=1,3,5,7
/proc/2095/stat : 2095 (xcsp_picat) R 2092 2095 28785 0 -1 4202496 984819 0 0 0 124110 118 0 0 20 0 1 0 410902358 3467460608 477780 33554432000 4194304 5870510 140724346835120 140724346834136 5282709 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16797696 140724346840095 140724346840173 140724346840173 140724346843082 0
/proc/2095/statm: 846548 477780 909 410 0 842021 0
Current children cumulated CPU time: 1242.28 s
Current children cumulated vsize: 3386192 KiB
Current children cumulated memory: 1911120 KiB
[startup+1247.16 s]
# the end of solver process 2095 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1245.95 s, system=1.194 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1244.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2432
/proc/meminfo: memFree=23389124/32770624 swapFree=67004752/67108860
[pid=2095] ppid=2092 vsize=3386192 memory=1914196 CPUtime=1244.78 cores=1,3,5,7
/proc/2095/stat : 2095 (xcsp_picat) R 2092 2095 28785 0 -1 4202496 984874 0 0 0 124360 118 0 0 20 0 1 0 410902358 3467460608 478549 33554432000 4194304 5870510 140724346835120 140724346834136 5272433 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16797696 140724346840095 140724346840173 140724346840173 140724346843082 0
/proc/2095/statm: 846548 478549 909 410 0 842021 0
Current children cumulated CPU time: 1244.78 s
Current children cumulated vsize: 3386192 KiB
Current children cumulated memory: 1914196 KiB
[startup+1246.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 2434
/proc/meminfo: memFree=23387124/32770624 swapFree=67004752/67108860
[pid=2095] ppid=2092 vsize=3386192 memory=1914196 CPUtime=1246.38 cores=1,3,5,7
/proc/2095/stat : 2095 (xcsp_picat) R 2092 2095 28785 0 -1 4202496 985294 0 0 0 124520 118 0 0 20 0 1 0 410902358 3467460608 478549 33554432000 4194304 5870510 140724346835120 140724346834136 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16797696 140724346840095 140724346840173 140724346840173 140724346843082 0
/proc/2095/statm: 846548 478549 909 410 0 842021 0
Current children cumulated CPU time: 1246.38 s
Current children cumulated vsize: 3386192 KiB
Current children cumulated memory: 1914196 KiB
[startup+1246.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 2434
/proc/meminfo: memFree=23387124/32770624 swapFree=67004752/67108860
[pid=2095] ppid=2092 vsize=3386192 memory=1914196 CPUtime=1246.78 cores=1,3,5,7
/proc/2095/stat : 2095 (xcsp_picat) R 2092 2095 28785 0 -1 4202496 985328 0 0 0 124560 118 0 0 20 0 1 0 410902358 3467460608 478549 33554432000 4194304 5870510 140724346835120 140724346834136 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16797696 140724346840095 140724346840173 140724346840173 140724346843082 0
/proc/2095/statm: 846548 478549 909 410 0 842021 0
Current children cumulated CPU time: 1246.78 s
Current children cumulated vsize: 3386192 KiB
Current children cumulated memory: 1914196 KiB
[startup+1247 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 2434
/proc/meminfo: memFree=23387224/32770624 swapFree=67004752/67108860
[pid=2095] ppid=2092 vsize=3386192 memory=1914196 CPUtime=1246.99 cores=1,3,5,7
/proc/2095/stat : 2095 (xcsp_picat) R 2092 2095 28785 0 -1 4202496 985332 0 0 0 124581 118 0 0 20 0 1 0 410902358 3467460608 478549 33554432000 4194304 5870510 140724346835120 140724346834136 5282617 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16797696 140724346840095 140724346840173 140724346840173 140724346843082 0
/proc/2095/statm: 846548 478549 909 410 0 842021 0
Current children cumulated CPU time: 1246.99 s
Current children cumulated vsize: 3386192 KiB
Current children cumulated memory: 1914196 KiB
[startup+1247.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 2434
/proc/meminfo: memFree=23387224/32770624 swapFree=67004752/67108860
[pid=2095] ppid=2092 vsize=3386192 memory=1914196 CPUtime=1247.09 cores=1,3,5,7
/proc/2095/stat : 2095 (xcsp_picat) R 2092 2095 28785 0 -1 4202496 985346 0 0 0 124591 118 0 0 20 0 1 0 410902358 3467460608 478549 33554432000 4194304 5870510 140724346835120 140724346834136 5283106 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16797696 140724346840095 140724346840173 140724346840173 140724346843082 0
/proc/2095/statm: 846548 478549 909 410 0 842021 0
Current children cumulated CPU time: 1247.09 s
Current children cumulated vsize: 3386192 KiB
Current children cumulated memory: 1914196 KiB
Child status: 0
Real time (s): 1247.16
CPU time (s): 1247.15
CPU user time (s): 1245.95
CPU system time (s): 1.194
CPU usage (%): 99.9992
Max. virtual memory (cumulated for all children) (KiB): 3679196
Max. memory (cumulated for all children) (KiB): 2058992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1245.95
system time used= 1.194
maximum resident set size= 2071904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 985382
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= 37
involuntary context switches= 559
# summary of solver processes directly reported to runsolver:
# pid: 2095
# total CPU time (s): 1247.15
# total CPU user time (s): 1245.95
# total CPU system time (s): 1.194
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.00159 second user time and 9.28208 second system time
The end