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 (15180 MiB free)
memory of node 1: 16384 MiB (15447 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395081-1568334970/watcher-4395081-1568334970 -o /tmp/evaluation-result-4395081-1568334970/solver-4395081-1568334970 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568318150-27187 --watchdog 2580 xcsp_picat HOME/instance-4395081-1568334970.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=30166, runsolver pid=30163
[startup+0.100112 s]*
/proc/loadavg: 2.00 2.03 2.05 3/199 30167
/proc/meminfo: memFree=31343992/32770624 swapFree=66921104/67108860
[pid=30166] ppid=30163 vsize=2041844 memory=23448 CPUtime=0.1 cores=1,3,5,7
/proc/30166/stat : 30166 (xcsp_picat) R 30163 30166 27155 0 -1 4202496 3603 0 0 0 10 0 0 0 20 0 1 0 409753083 2090848256 5862 33554432000 4194304 5870510 140721399104016 140721399101160 139871031586389 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40120320 140721399108639 140721399108717 140721399108717 140721399111626 0
/proc/30166/statm: 510461 5862 970 410 0 505934 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2041844 KiB
Current children cumulated memory: 23448 KiB
[startup+0.209887 s]*
/proc/loadavg: 2.00 2.03 2.05 3/199 30167
/proc/meminfo: memFree=31343620/32770624 swapFree=66921104/67108860
[pid=30166] ppid=30163 vsize=2042100 memory=23916 CPUtime=0.2 cores=1,3,5,7
/proc/30166/stat : 30166 (xcsp_picat) R 30163 30166 27155 0 -1 4202496 3720 0 0 0 20 0 0 0 20 0 1 0 409753083 2091110400 5979 33554432000 4194304 5870510 140721399104016 140721399101160 5407312 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40120320 140721399108639 140721399108717 140721399108717 140721399111626 0
/proc/30166/statm: 510525 5979 973 410 0 505998 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2042100 KiB
Current children cumulated memory: 23916 KiB
[startup+0.308919 s]*
/proc/loadavg: 2.00 2.03 2.05 3/199 30167
/proc/meminfo: memFree=31343620/32770624 swapFree=66921104/67108860
[pid=30166] ppid=30163 vsize=2042100 memory=23916 CPUtime=0.3 cores=1,3,5,7
/proc/30166/stat : 30166 (xcsp_picat) R 30163 30166 27155 0 -1 4202496 3720 0 0 0 30 0 0 0 20 0 1 0 409753083 2091110400 5979 33554432000 4194304 5870510 140721399104016 140721399101160 5562048 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40120320 140721399108639 140721399108717 140721399108717 140721399111626 0
/proc/30166/statm: 510525 5979 973 410 0 505998 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2042100 KiB
Current children cumulated memory: 23916 KiB
[startup+0.700233 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 30169
/proc/meminfo: memFree=31342888/32770624 swapFree=66921104/67108860
[pid=30166] ppid=30163 vsize=2042100 memory=23916 CPUtime=0.69 cores=1,3,5,7
/proc/30166/stat : 30166 (xcsp_picat) R 30163 30166 27155 0 -1 4202496 3721 0 0 0 69 0 0 0 20 0 1 0 409753083 2091110400 5979 33554432000 4194304 5870510 140721399104016 140721399101160 5562059 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40120320 140721399108639 140721399108717 140721399108717 140721399111626 0
/proc/30166/statm: 510525 5979 973 410 0 505998 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2042100 KiB
Current children cumulated memory: 23916 KiB
[startup+1.50027 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 30169
/proc/meminfo: memFree=31342820/32770624 swapFree=66921104/67108860
[pid=30166] ppid=30163 vsize=2040320 memory=22880 CPUtime=1.49 cores=1,3,5,7
/proc/30166/stat : 30166 (xcsp_picat) R 30163 30166 27155 0 -1 4202496 4438 0 0 0 149 0 0 0 20 0 1 0 409753083 2089287680 5720 33554432000 4194304 5870510 140721399104016 140721399103272 5258771 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40120320 140721399108639 140721399108717 140721399108717 140721399111626 0
/proc/30166/statm: 510080 5720 1003 410 0 505553 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2040320 KiB
Current children cumulated memory: 22880 KiB
[startup+3.10959 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 30169
/proc/meminfo: memFree=31339912/32770624 swapFree=66921104/67108860
[pid=30166] ppid=30163 vsize=2047188 memory=27916 CPUtime=3.1 cores=1,3,5,7
/proc/30166/stat : 30166 (xcsp_picat) R 30163 30166 27155 0 -1 4202496 7854 0 0 0 309 1 0 0 20 0 1 0 409753083 2096320512 6979 33554432000 4194304 5870510 140721399104016 140721399102440 5281722 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40120320 140721399108639 140721399108717 140721399108717 140721399111626 0
/proc/30166/statm: 511797 6979 1005 410 0 507270 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2047188 KiB
Current children cumulated memory: 27916 KiB
[startup+6.30029 s]
/proc/loadavg: 1.92 2.02 2.04 3/199 30169
/proc/meminfo: memFree=31329436/32770624 swapFree=66921104/67108860
[pid=30166] ppid=30163 vsize=2056156 memory=38460 CPUtime=6.29 cores=1,3,5,7
/proc/30166/stat : 30166 (xcsp_picat) R 30163 30166 27155 0 -1 4202496 12447 0 0 0 628 1 0 0 20 0 1 0 409753083 2105503744 9615 33554432000 4194304 5870510 140721399104016 140721399102584 5304037 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40120320 140721399108639 140721399108717 140721399108717 140721399111626 0
/proc/30166/statm: 514039 9615 1005 410 0 509512 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2056156 KiB
Current children cumulated memory: 38460 KiB
[startup+12.7003 s]
/proc/loadavg: 1.93 2.02 2.04 3/199 30169
/proc/meminfo: memFree=31321788/32770624 swapFree=66921104/67108860
[pid=30166] ppid=30163 vsize=2064788 memory=46680 CPUtime=12.68 cores=1,3,5,7
/proc/30166/stat : 30166 (xcsp_picat) R 30163 30166 27155 0 -1 4202496 17297 0 0 0 1266 2 0 0 20 0 1 0 409753083 2114342912 11670 33554432000 4194304 5870510 140721399104016 140721399102584 5308341 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40120320 140721399108639 140721399108717 140721399108717 140721399111626 0
/proc/30166/statm: 516197 11670 1005 410 0 511670 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2064788 KiB
Current children cumulated memory: 46680 KiB
[startup+25.5003 s]
/proc/loadavg: 1.95 2.02 2.04 3/199 30169
/proc/meminfo: memFree=31299396/32770624 swapFree=66921104/67108860
[pid=30166] ppid=30163 vsize=2086120 memory=69084 CPUtime=25.48 cores=1,3,5,7
/proc/30166/stat : 30166 (xcsp_picat) R 30163 30166 27155 0 -1 4202496 27165 0 0 0 2544 4 0 0 20 0 1 0 409753083 2136186880 17271 33554432000 4194304 5870510 140721399104016 140721399102584 5272427 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40120320 140721399108639 140721399108717 140721399108717 140721399111626 0
/proc/30166/statm: 521530 17271 1005 410 0 517003 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2086120 KiB
Current children cumulated memory: 69084 KiB
[startup+51.1098 s]
/proc/loadavg: 1.96 2.01 2.04 3/199 30171
/proc/meminfo: memFree=31269272/32770624 swapFree=66921104/67108860
[pid=30166] ppid=30163 vsize=2107020 memory=90060 CPUtime=51.09 cores=1,3,5,7
/proc/30166/stat : 30166 (xcsp_picat) R 30163 30166 27155 0 -1 4202496 39456 0 0 0 5104 5 0 0 20 0 1 0 409753083 2157588480 22515 33554432000 4194304 5870510 140721399104016 140721399102584 5272671 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40120320 140721399108639 140721399108717 140721399108717 140721399111626 0
/proc/30166/statm: 526755 22515 1005 410 0 522228 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2107020 KiB
Current children cumulated memory: 90060 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/198 30175
/proc/meminfo: memFree=31285936/32770624 swapFree=66921104/67108860
[pid=30166] ppid=30163 vsize=2114204 memory=95392 CPUtime=102.28 cores=1,3,5,7
/proc/30166/stat : 30166 (xcsp_picat) R 30163 30166 27155 0 -1 4202496 48658 0 0 0 10221 7 0 0 20 0 1 0 409753083 2164944896 23848 33554432000 4194304 5870510 140721399104016 140721399102456 5282505 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40120320 140721399108639 140721399108717 140721399108717 140721399111626 0
/proc/30166/statm: 528551 23848 1005 410 0 524024 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2114204 KiB
Current children cumulated memory: 95392 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/199 30180
/proc/meminfo: memFree=31245824/32770624 swapFree=66921104/67108860
[pid=30166] ppid=30163 vsize=2133060 memory=115876 CPUtime=162.26 cores=1,3,5,7
/proc/30166/stat : 30166 (xcsp_picat) R 30163 30166 27155 0 -1 4202496 54825 0 0 0 16219 7 0 0 20 0 1 0 409753083 2184253440 28969 33554432000 4194304 5870510 140721399104016 140721399102584 5272526 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40120320 140721399108639 140721399108717 140721399108717 140721399111626 0
/proc/30166/statm: 533265 28969 1005 410 0 528738 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 2133060 KiB
Current children cumulated memory: 115876 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 30184
/proc/meminfo: memFree=31219716/32770624 swapFree=66921104/67108860
[pid=30166] ppid=30163 vsize=2151760 memory=132124 CPUtime=222.26 cores=1,3,5,7
/proc/30166/stat : 30166 (xcsp_picat) R 30163 30166 27155 0 -1 4202496 56435 0 0 0 22218 8 0 0 20 0 1 0 409753083 2203402240 33031 33554432000 4194304 5870510 140721399104016 140721399102584 5282606 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40120320 140721399108639 140721399108717 140721399108717 140721399111626 0
/proc/30166/statm: 537940 33031 1005 410 0 533413 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 2151760 KiB
Current children cumulated memory: 132124 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 30190
/proc/meminfo: memFree=31174148/32770624 swapFree=66921104/67108860
[pid=30166] ppid=30163 vsize=2151760 memory=134964 CPUtime=282.26 cores=1,3,5,7
/proc/30166/stat : 30166 (xcsp_picat) R 30163 30166 27155 0 -1 4202496 63496 0 0 0 28217 9 0 0 20 0 1 0 409753083 2203402240 33741 33554432000 4194304 5870510 140721399104016 140721399102584 5283135 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40120320 140721399108639 140721399108717 140721399108717 140721399111626 0
/proc/30166/statm: 537940 33741 1005 410 0 533413 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 2151760 KiB
Current children cumulated memory: 134964 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 30194
/proc/meminfo: memFree=31257248/32770624 swapFree=66921104/67108860
[pid=30166] ppid=30163 vsize=2151760 memory=134964 CPUtime=342.25 cores=1,3,5,7
/proc/30166/stat : 30166 (xcsp_picat) R 30163 30166 27155 0 -1 4202496 64252 0 0 0 34216 9 0 0 20 0 1 0 409753083 2203402240 33741 33554432000 4194304 5870510 140721399104016 140721399102584 5272528 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40120320 140721399108639 140721399108717 140721399108717 140721399111626 0
/proc/30166/statm: 537940 33741 1005 410 0 533413 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 2151760 KiB
Current children cumulated memory: 134964 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 30206
/proc/meminfo: memFree=31220136/32770624 swapFree=66921108/67108860
[pid=30166] ppid=30163 vsize=2151760 memory=134964 CPUtime=402.23 cores=1,3,5,7
/proc/30166/stat : 30166 (xcsp_picat) R 30163 30166 27155 0 -1 4202496 71226 0 0 0 40214 9 0 0 20 0 1 0 409753083 2203402240 33741 33554432000 4194304 5870510 140721399104016 140721399102584 5262735 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40120320 140721399108639 140721399108717 140721399108717 140721399111626 0
/proc/30166/statm: 537940 33741 1005 410 0 533413 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 2151760 KiB
Current children cumulated memory: 134964 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 30212
/proc/meminfo: memFree=31219940/32770624 swapFree=66921108/67108860
[pid=30166] ppid=30163 vsize=2151760 memory=134964 CPUtime=462.22 cores=1,3,5,7
/proc/30166/stat : 30166 (xcsp_picat) R 30163 30166 27155 0 -1 4202496 71971 0 0 0 46213 9 0 0 20 0 1 0 409753083 2203402240 33741 33554432000 4194304 5870510 140721399104016 140721399102584 5282505 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40120320 140721399108639 140721399108717 140721399108717 140721399111626 0
/proc/30166/statm: 537940 33741 1005 410 0 533413 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 2151760 KiB
Current children cumulated memory: 134964 KiB
################
# More data... #
################
/proc/30166/statm: 554270 50988 1005 410 0 549743 0
Current children cumulated CPU time: 1722.05 s
Current children cumulated vsize: 2217080 KiB
Current children cumulated memory: 203952 KiB
[startup+1782.3 s]
/proc/loadavg: 2.03 1.99 2.03 3/200 30541
/proc/meminfo: memFree=31265508/32770624 swapFree=66921144/67108860
[pid=30166] ppid=30163 vsize=2217084 memory=188408 CPUtime=1782.04 cores=1,3,5,7
/proc/30166/stat : 30166 (xcsp_picat) R 30163 30166 27155 0 -1 4202496 124594 0 0 0 178182 22 0 0 20 0 1 0 409753083 2270294016 47102 33554432000 4194304 5870510 140721399104016 140721399102456 5283094 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 40120320 140721399108639 140721399108717 140721399108717 140721399111626 0
/proc/30166/statm: 554271 47102 1005 410 0 549744 0
Current children cumulated CPU time: 1782.04 s
Current children cumulated vsize: 2217084 KiB
Current children cumulated memory: 188408 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 1.99 2.03 3/200 30545
/proc/meminfo: memFree=31256456/32770624 swapFree=66921144/67108860
[pid=30166] ppid=30163 vsize=2217084 memory=190320 CPUtime=1842.04 cores=1,3,5,7
/proc/30166/stat : 30166 (xcsp_picat) R 30163 30166 27155 0 -1 4202496 127518 0 0 0 184178 26 0 0 20 0 1 0 409753083 2270294016 47580 33554432000 4194304 5870510 140721399104016 140721399102456 5304192 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 40120320 140721399108639 140721399108717 140721399108717 140721399111626 0
/proc/30166/statm: 554271 47580 1005 410 0 549744 0
Current children cumulated CPU time: 1842.04 s
Current children cumulated vsize: 2217084 KiB
Current children cumulated memory: 190320 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 30551
/proc/meminfo: memFree=31256772/32770624 swapFree=66921144/67108860
[pid=30166] ppid=30163 vsize=2217084 memory=190456 CPUtime=1902.04 cores=1,3,5,7
/proc/30166/stat : 30166 (xcsp_picat) R 30163 30166 27155 0 -1 4202496 130216 0 0 0 190172 32 0 0 20 0 1 0 409753083 2270294016 47614 33554432000 4194304 5870510 140721399104016 140721399103032 5282759 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 40120320 140721399108639 140721399108717 140721399108717 140721399111626 0
/proc/30166/statm: 554271 47614 1005 410 0 549744 0
Current children cumulated CPU time: 1902.04 s
Current children cumulated vsize: 2217084 KiB
Current children cumulated memory: 190456 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/198 30555
/proc/meminfo: memFree=31266316/32770624 swapFree=66921144/67108860
[pid=30166] ppid=30163 vsize=2217084 memory=186360 CPUtime=1962.03 cores=1,3,5,7
/proc/30166/stat : 30166 (xcsp_picat) R 30163 30166 27155 0 -1 4202496 132208 0 0 0 196169 34 0 0 20 0 1 0 409753083 2270294016 46590 33554432000 4194304 5870510 140721399104016 140721399103032 5283024 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 40120320 140721399108639 140721399108717 140721399108717 140721399111626 0
/proc/30166/statm: 554271 46590 1005 410 0 549744 0
Current children cumulated CPU time: 1962.03 s
Current children cumulated vsize: 2217084 KiB
Current children cumulated memory: 186360 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/198 30559
/proc/meminfo: memFree=31267688/32770624 swapFree=66921144/67108860
[pid=30166] ppid=30163 vsize=2217084 memory=190624 CPUtime=2022.03 cores=1,3,5,7
/proc/30166/stat : 30166 (xcsp_picat) R 30163 30166 27155 0 -1 4202496 133754 0 0 0 202166 37 0 0 20 0 1 0 409753083 2270294016 47656 33554432000 4194304 5870510 140721399104016 140721399103032 5262735 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 40120320 140721399108639 140721399108717 140721399108717 140721399111626 0
/proc/30166/statm: 554271 47656 1005 410 0 549744 0
Current children cumulated CPU time: 2022.03 s
Current children cumulated vsize: 2217084 KiB
Current children cumulated memory: 190624 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/198 30565
/proc/meminfo: memFree=31239240/32770624 swapFree=66921144/67108860
[pid=30166] ppid=30163 vsize=2217084 memory=194552 CPUtime=2082.02 cores=1,3,5,7
/proc/30166/stat : 30166 (xcsp_picat) R 30163 30166 27155 0 -1 4202496 135809 0 0 0 208163 39 0 0 20 0 1 0 409753083 2270294016 48638 33554432000 4194304 5870510 140721399104016 140721399103032 5262557 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 40120320 140721399108639 140721399108717 140721399108717 140721399111626 0
/proc/30166/statm: 554271 48638 1005 410 0 549744 0
Current children cumulated CPU time: 2082.02 s
Current children cumulated vsize: 2217084 KiB
Current children cumulated memory: 194552 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/198 30629
/proc/meminfo: memFree=31267052/32770624 swapFree=66921144/67108860
[pid=30166] ppid=30163 vsize=2217084 memory=188408 CPUtime=2142.01 cores=1,3,5,7
/proc/30166/stat : 30166 (xcsp_picat) R 30163 30166 27155 0 -1 4202496 137283 0 0 0 214160 41 0 0 20 0 1 0 409753083 2270294016 47102 33554432000 4194304 5870510 140721399104016 140721399103032 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 40120320 140721399108639 140721399108717 140721399108717 140721399111626 0
/proc/30166/statm: 554271 47102 1005 410 0 549744 0
Current children cumulated CPU time: 2142.01 s
Current children cumulated vsize: 2217084 KiB
Current children cumulated memory: 188408 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 30702
/proc/meminfo: memFree=31186160/32770624 swapFree=66921148/67108860
[pid=30166] ppid=30163 vsize=2217084 memory=190624 CPUtime=2202.01 cores=1,3,5,7
/proc/30166/stat : 30166 (xcsp_picat) R 30163 30166 27155 0 -1 4202496 139082 0 0 0 220157 44 0 0 20 0 1 0 409753083 2270294016 47656 33554432000 4194304 5870510 140721399104016 140721399103032 5282464 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 40120320 140721399108639 140721399108717 140721399108717 140721399111626 0
/proc/30166/statm: 554271 47656 1005 410 0 549744 0
Current children cumulated CPU time: 2202.01 s
Current children cumulated vsize: 2217084 KiB
Current children cumulated memory: 190624 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 30708
/proc/meminfo: memFree=31158844/32770624 swapFree=66921148/67108860
[pid=30166] ppid=30163 vsize=2217084 memory=194552 CPUtime=2262 cores=1,3,5,7
/proc/30166/stat : 30166 (xcsp_picat) R 30163 30166 27155 0 -1 4202496 141553 0 0 0 226151 49 0 0 20 0 1 0 409753083 2270294016 48638 33554432000 4194304 5870510 140721399104016 140721399103032 5294870 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 40120320 140721399108639 140721399108717 140721399108717 140721399111626 0
/proc/30166/statm: 554271 48638 1005 410 0 549744 0
Current children cumulated CPU time: 2262 s
Current children cumulated vsize: 2217084 KiB
Current children cumulated memory: 194552 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 30712
/proc/meminfo: memFree=31164680/32770624 swapFree=66921148/67108860
[pid=30166] ppid=30163 vsize=2217084 memory=196768 CPUtime=2322 cores=1,3,5,7
/proc/30166/stat : 30166 (xcsp_picat) R 30163 30166 27155 0 -1 4202496 144619 0 0 0 232147 53 0 0 20 0 1 0 409753083 2270294016 49192 33554432000 4194304 5870510 140721399104016 140721399103032 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 40120320 140721399108639 140721399108717 140721399108717 140721399111626 0
/proc/30166/statm: 554271 49192 1005 410 0 549744 0
Current children cumulated CPU time: 2322 s
Current children cumulated vsize: 2217084 KiB
Current children cumulated memory: 196768 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 30716
/proc/meminfo: memFree=31169848/32770624 swapFree=66921148/67108860
[pid=30166] ppid=30163 vsize=2217084 memory=192672 CPUtime=2381.99 cores=1,3,5,7
/proc/30166/stat : 30166 (xcsp_picat) R 30163 30166 27155 0 -1 4202496 146802 0 0 0 238141 58 0 0 20 0 1 0 409753083 2270294016 48168 33554432000 4194304 5870510 140721399104016 140721399103032 5262988 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 40120320 140721399108639 140721399108717 140721399108717 140721399111626 0
/proc/30166/statm: 554271 48168 1005 410 0 549744 0
Current children cumulated CPU time: 2381.99 s
Current children cumulated vsize: 2217084 KiB
Current children cumulated memory: 192672 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 30722
/proc/meminfo: memFree=31168640/32770624 swapFree=66921148/67108860
[pid=30166] ppid=30163 vsize=2217084 memory=194720 CPUtime=2441.98 cores=1,3,5,7
/proc/30166/stat : 30166 (xcsp_picat) R 30163 30166 27155 0 -1 4202496 149214 0 0 0 244139 59 0 0 20 0 1 0 409753083 2270294016 48680 33554432000 4194304 5870510 140721399104016 140721399103032 5283135 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 40120320 140721399108639 140721399108717 140721399108717 140721399111626 0
/proc/30166/statm: 554271 48680 1005 410 0 549744 0
Current children cumulated CPU time: 2441.98 s
Current children cumulated vsize: 2217084 KiB
Current children cumulated memory: 194720 KiB
[startup+2502.3 s]
/proc/loadavg: 2.34 2.07 2.06 3/198 30726
/proc/meminfo: memFree=31168960/32770624 swapFree=66921148/67108860
[pid=30166] ppid=30163 vsize=2217084 memory=192504 CPUtime=2501.98 cores=1,3,5,7
/proc/30166/stat : 30166 (xcsp_picat) R 30163 30166 27155 0 -1 4202496 150433 0 0 0 250137 61 0 0 20 0 1 0 409753083 2270294016 48126 33554432000 4194304 5870510 140721399104016 140721399103032 5262731 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 40120320 140721399108639 140721399108717 140721399108717 140721399111626 0
/proc/30166/statm: 554271 48126 1005 410 0 549744 0
Current children cumulated CPU time: 2501.98 s
Current children cumulated vsize: 2217084 KiB
Current children cumulated memory: 192504 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.68 2.16 2.09 3/198 30726
/proc/meminfo: memFree=31129608/32770624 swapFree=66921148/67108860
[pid=30166] ppid=30163 vsize=2217084 memory=190624 CPUtime=2519.69 cores=1,3,5,7
/proc/30166/stat : 30166 (xcsp_picat) R 30163 30166 27155 0 -1 4202496 150786 0 0 0 251907 62 0 0 20 0 1 0 409753083 2270294016 47656 33554432000 4194304 5870510 140721399104016 140721399103032 5283024 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 40120320 140721399108639 140721399108717 140721399108717 140721399111626 0
/proc/30166/statm: 554271 47656 1005 410 0 549744 0
Current children cumulated CPU time: 2519.69 s
Current children cumulated vsize: 2217084 KiB
Current children cumulated memory: 190624 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 30166 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.07 s, system=0.627924 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.01
CPU time (s): 2519.7
CPU user time (s): 2519.07
CPU system time (s): 0.627924
CPU usage (%): 99.9876
Max. virtual memory (cumulated for all children) (KiB): 2266404
Max. memory (cumulated for all children) (KiB): 238732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.07
system time used= 0.627924
maximum resident set size= 240740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150786
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= 17
involuntary context switches= 2681
# summary of solver processes directly reported to runsolver:
# pid: 30166
# total CPU time (s): 2519.7
# total CPU user time (s): 2519.07
# total CPU system time (s): 0.627924
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.74234 second user time and 19.2308 second system time
The end