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 (15441 MiB free)
memory of node 1: 16384 MiB (15795 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407572-1569509642/watcher-4407572-1569509642 -o /var/tmp/evaluation-result-4407572-1569509642/solver-4407572-1569509642 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node149-1569509603-12794 --watchdog 2560 xcsp_picat HOME/instance-4407572-1569509642.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=12823, runsolver pid=12815
[startup+0.100135 s]*
/proc/loadavg: 0.00 0.01 0.05 4/199 12824
/proc/meminfo: memFree=31940900/32770624 swapFree=66951968/67108860
[pid=12823] ppid=12815 vsize=2037556 memory=33672 CPUtime=0.1 cores=1,3,5,7
/proc/12823/stat : 12823 (xcsp_picat) R 12815 12823 12762 0 -1 4202496 1995 0 0 0 10 0 0 0 20 0 1 0 527202841 2086457344 8418 33554432000 4194304 5870510 140721067600496 140721067599800 5287596 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 34947072 140721067602951 140721067603033 140721067603033 140721067605958 0
/proc/12823/statm: 509389 8418 901 410 0 504862 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2037556 KiB
Current children cumulated memory: 33672 KiB
[startup+0.209636 s]*
/proc/loadavg: 0.00 0.01 0.05 4/199 12824
/proc/meminfo: memFree=31929364/32770624 swapFree=66951968/67108860
[pid=12823] ppid=12815 vsize=2040192 memory=39012 CPUtime=0.21 cores=1,3,5,7
/proc/12823/stat : 12823 (xcsp_picat) R 12815 12823 12762 0 -1 4202496 2891 0 0 0 20 1 0 0 20 0 1 0 527202841 2089156608 9753 33554432000 4194304 5870510 140721067600496 140721067599800 140578460716935 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 34947072 140721067602951 140721067603033 140721067603033 140721067605958 0
/proc/12823/statm: 510048 9753 959 410 0 505521 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2040192 KiB
Current children cumulated memory: 39012 KiB
[startup+0.30938 s]*
/proc/loadavg: 0.00 0.01 0.05 4/199 12824
/proc/meminfo: memFree=31931456/32770624 swapFree=66951968/67108860
[pid=12823] ppid=12815 vsize=2038292 memory=37768 CPUtime=0.31 cores=1,3,5,7
/proc/12823/stat : 12823 (xcsp_picat) R 12815 12823 12762 0 -1 4202496 3431 0 0 0 30 1 0 0 20 0 1 0 527202841 2087211008 9442 33554432000 4194304 5870510 140721067600496 140721067599304 140578465953765 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 34947072 140721067602951 140721067603033 140721067603033 140721067605958 0
/proc/12823/statm: 509573 9442 969 410 0 505046 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2038292 KiB
Current children cumulated memory: 37768 KiB
[startup+0.700294 s]
/proc/loadavg: 0.00 0.01 0.05 4/199 12824
/proc/meminfo: memFree=31930836/32770624 swapFree=66951968/67108860
[pid=12823] ppid=12815 vsize=2039968 memory=39308 CPUtime=0.69 cores=1,3,5,7
/proc/12823/stat : 12823 (xcsp_picat) R 12815 12823 12762 0 -1 4202496 3808 0 0 0 68 1 0 0 20 0 1 0 527202841 2088927232 9827 33554432000 4194304 5870510 140721067600496 140721067599448 5267696 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 34947072 140721067602951 140721067603033 140721067603033 140721067605958 0
/proc/12823/statm: 509992 9827 988 410 0 505465 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2039968 KiB
Current children cumulated memory: 39308 KiB
[startup+1.50029 s]
/proc/loadavg: 0.16 0.05 0.06 4/199 12824
/proc/meminfo: memFree=31918372/32770624 swapFree=66951968/67108860
[pid=12823] ppid=12815 vsize=2055228 memory=48984 CPUtime=1.49 cores=1,3,5,7
/proc/12823/stat : 12823 (xcsp_picat) R 12815 12823 12762 0 -1 4202496 5731 0 0 0 148 1 0 0 20 0 1 0 527202841 2104553472 12246 33554432000 4194304 5870510 140721067600496 140721067598856 5274741 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 34947072 140721067602951 140721067603033 140721067603033 140721067605958 0
/proc/12823/statm: 513807 12246 990 410 0 509280 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2055228 KiB
Current children cumulated memory: 48984 KiB
[startup+3.10947 s]
/proc/loadavg: 0.16 0.05 0.06 4/199 12824
/proc/meminfo: memFree=31895948/32770624 swapFree=66951968/67108860
[pid=12823] ppid=12815 vsize=2067856 memory=61196 CPUtime=3.1 cores=1,3,5,7
/proc/12823/stat : 12823 (xcsp_picat) R 12815 12823 12762 0 -1 4202496 11853 0 0 0 308 2 0 0 20 0 1 0 527202841 2117484544 15299 33554432000 4194304 5870510 140721067600496 140721067598568 5281854 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34947072 140721067602951 140721067603033 140721067603033 140721067605958 0
/proc/12823/statm: 516964 15299 990 410 0 512437 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2067856 KiB
Current children cumulated memory: 61196 KiB
[startup+6.30037 s]
/proc/loadavg: 0.31 0.08 0.07 4/199 12824
/proc/meminfo: memFree=31878768/32770624 swapFree=66951968/67108860
[pid=12823] ppid=12815 vsize=2089144 memory=72008 CPUtime=6.29 cores=1,3,5,7
/proc/12823/stat : 12823 (xcsp_picat) R 12815 12823 12762 0 -1 4202496 14088 0 0 0 626 3 0 0 20 0 1 0 527202841 2139283456 18002 33554432000 4194304 5870510 140721067600496 140721067598936 5304504 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34947072 140721067602951 140721067603033 140721067603033 140721067605958 0
/proc/12823/statm: 522286 18002 997 410 0 517759 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2089144 KiB
Current children cumulated memory: 72008 KiB
[startup+12.7003 s]
/proc/loadavg: 0.45 0.11 0.08 4/200 12827
/proc/meminfo: memFree=31841888/32770624 swapFree=66951968/67108860
[pid=12823] ppid=12815 vsize=2089300 memory=88412 CPUtime=12.68 cores=1,3,5,7
/proc/12823/stat : 12823 (xcsp_picat) R 12815 12823 12762 0 -1 4202496 18073 0 0 0 1263 5 0 0 20 0 1 0 527202841 2139443200 22103 33554432000 4194304 5870510 140721067600496 140721067598936 5274422 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34947072 140721067602951 140721067603033 140721067603033 140721067605958 0
/proc/12823/statm: 522325 22103 997 410 0 517798 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2089300 KiB
Current children cumulated memory: 88412 KiB
[startup+25.5004 s]
/proc/loadavg: 0.68 0.17 0.10 4/199 12827
/proc/meminfo: memFree=31841380/32770624 swapFree=66951968/67108860
[pid=12823] ppid=12815 vsize=2089300 memory=88416 CPUtime=25.49 cores=1,3,5,7
/proc/12823/stat : 12823 (xcsp_picat) R 12815 12823 12762 0 -1 4202496 21273 0 0 0 2543 6 0 0 20 0 1 0 527202841 2139443200 22104 33554432000 4194304 5870510 140721067600496 140721067599608 5283067 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34947072 140721067602951 140721067603033 140721067603033 140721067605958 0
/proc/12823/statm: 522325 22104 997 410 0 517798 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2089300 KiB
Current children cumulated memory: 88416 KiB
[startup+51.1095 s]
/proc/loadavg: 1.20 0.35 0.16 4/199 12827
/proc/meminfo: memFree=31835552/32770624 swapFree=66951968/67108860
[pid=12823] ppid=12815 vsize=2089300 memory=88416 CPUtime=51.09 cores=1,3,5,7
/proc/12823/stat : 12823 (xcsp_picat) R 12815 12823 12762 0 -1 4202496 26052 0 0 0 5103 6 0 0 20 0 1 0 527202841 2139443200 22104 33554432000 4194304 5870510 140721067600496 140721067599608 5262786 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34947072 140721067602951 140721067603033 140721067603033 140721067605958 0
/proc/12823/statm: 522325 22104 997 410 0 517798 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2089300 KiB
Current children cumulated memory: 88416 KiB
[startup+102.3 s]
/proc/loadavg: 1.71 0.62 0.26 4/199 12834
/proc/meminfo: memFree=31806312/32770624 swapFree=66951968/67108860
[pid=12823] ppid=12815 vsize=2101120 memory=104096 CPUtime=102.28 cores=1,3,5,7
/proc/12823/stat : 12823 (xcsp_picat) R 12815 12823 12762 0 -1 4202496 30285 0 0 0 10221 7 0 0 20 0 1 0 527202841 2151546880 26024 33554432000 4194304 5870510 140721067600496 140721067598936 140578465956859 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34947072 140721067602951 140721067603033 140721067603033 140721067605958 0
/proc/12823/statm: 525280 26024 997 410 0 520753 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2101120 KiB
Current children cumulated memory: 104096 KiB
[startup+162.3 s]
/proc/loadavg: 1.89 0.87 0.37 4/199 12838
/proc/meminfo: memFree=31799840/32770624 swapFree=66951968/67108860
[pid=12823] ppid=12815 vsize=2105560 memory=107192 CPUtime=162.26 cores=1,3,5,7
/proc/12823/stat : 12823 (xcsp_picat) R 12815 12823 12762 0 -1 4202496 34011 0 0 0 16219 7 0 0 20 0 1 0 527202841 2156093440 26798 33554432000 4194304 5870510 140721067600496 140721067599064 5282464 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34947072 140721067602951 140721067603033 140721067603033 140721067605958 0
/proc/12823/statm: 526390 26798 997 410 0 521863 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 2105560 KiB
Current children cumulated memory: 107192 KiB
[startup+222.3 s]
/proc/loadavg: 1.96 1.08 0.47 4/199 12842
/proc/meminfo: memFree=31775740/32770624 swapFree=66951968/67108860
[pid=12823] ppid=12815 vsize=2117776 memory=120024 CPUtime=222.25 cores=1,3,5,7
/proc/12823/stat : 12823 (xcsp_picat) R 12815 12823 12762 0 -1 4202496 39579 0 0 0 22218 7 0 0 20 0 1 0 527202841 2168602624 30006 33554432000 4194304 5870510 140721067600496 140721067599064 5274796 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34947072 140721067602951 140721067603033 140721067603033 140721067605958 0
/proc/12823/statm: 529444 30006 997 410 0 524917 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 2117776 KiB
Current children cumulated memory: 120024 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.24 0.57 4/199 12849
/proc/meminfo: memFree=31757416/32770624 swapFree=66951968/67108860
[pid=12823] ppid=12815 vsize=2136448 memory=133468 CPUtime=282.24 cores=1,3,5,7
/proc/12823/stat : 12823 (xcsp_picat) R 12815 12823 12762 0 -1 4202496 43694 0 0 0 28216 8 0 0 20 0 1 0 527202841 2187722752 33367 33554432000 4194304 5870510 140721067600496 140721067598936 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34947072 140721067602951 140721067603033 140721067603033 140721067605958 0
/proc/12823/statm: 534112 33367 997 410 0 529585 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 2136448 KiB
Current children cumulated memory: 133468 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 1.38 0.66 4/198 12853
/proc/meminfo: memFree=31753852/32770624 swapFree=66951968/67108860
[pid=12823] ppid=12815 vsize=2136448 memory=133468 CPUtime=342.23 cores=1,3,5,7
/proc/12823/stat : 12823 (xcsp_picat) R 12815 12823 12762 0 -1 4202496 44294 0 0 0 34215 8 0 0 20 0 1 0 527202841 2187722752 33367 33554432000 4194304 5870510 140721067600496 140721067598936 5278085 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34947072 140721067602951 140721067603033 140721067603033 140721067605958 0
/proc/12823/statm: 534112 33367 997 410 0 529585 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 2136448 KiB
Current children cumulated memory: 133468 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.49 0.74 4/200 12866
/proc/meminfo: memFree=31748548/32770624 swapFree=66951968/67108860
[pid=12823] ppid=12815 vsize=2136448 memory=133468 CPUtime=402.22 cores=1,3,5,7
/proc/12823/stat : 12823 (xcsp_picat) R 12815 12823 12762 0 -1 4202496 49219 0 0 0 40214 8 0 0 20 0 1 0 527202841 2187722752 33367 33554432000 4194304 5870510 140721067600496 140721067598936 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34947072 140721067602951 140721067603033 140721067603033 140721067605958 0
/proc/12823/statm: 534112 33367 997 410 0 529585 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 2136448 KiB
Current children cumulated memory: 133468 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.59 0.82 4/201 12895
/proc/meminfo: memFree=31740268/32770624 swapFree=66951968/67108860
[pid=12823] ppid=12815 vsize=2136448 memory=133468 CPUtime=462.21 cores=1,3,5,7
/proc/12823/stat : 12823 (xcsp_picat) R 12815 12823 12762 0 -1 4202496 49723 0 0 0 46213 8 0 0 20 0 1 0 527202841 2187722752 33367 33554432000 4194304 5870510 140721067600496 140721067598936 140578465936282 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34947072 140721067602951 140721067603033 140721067603033 140721067605958 0
/proc/12823/statm: 534112 33367 997 410 0 529585 0
Current children cumulated CPU time: 462.21 s
Current children cumulated vsize: 2136448 KiB
Current children cumulated memory: 133468 KiB
################
# More data... #
################
/proc/12823/statm: 548314 46801 997 410 0 543787 0
Current children cumulated CPU time: 1662.01 s
Current children cumulated vsize: 2193256 KiB
Current children cumulated memory: 187204 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 1.76 4/200 13011
/proc/meminfo: memFree=31627464/32770624 swapFree=66951984/67108860
[pid=12823] ppid=12815 vsize=2193256 memory=187204 CPUtime=1722 cores=1,3,5,7
/proc/12823/stat : 12823 (xcsp_picat) R 12815 12823 12762 0 -1 4202496 92813 0 0 0 172185 15 0 0 20 0 1 0 527202841 2245894144 46801 33554432000 4194304 5870510 140721067600496 140721067598936 5283024 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34947072 140721067602951 140721067603033 140721067603033 140721067605958 0
/proc/12823/statm: 548314 46801 997 410 0 543787 0
Current children cumulated CPU time: 1722 s
Current children cumulated vsize: 2193256 KiB
Current children cumulated memory: 187204 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 1.77 4/199 13015
/proc/meminfo: memFree=31627244/32770624 swapFree=66951984/67108860
[pid=12823] ppid=12815 vsize=2193256 memory=187204 CPUtime=1781.99 cores=1,3,5,7
/proc/12823/stat : 12823 (xcsp_picat) R 12815 12823 12762 0 -1 4202496 92823 0 0 0 178184 15 0 0 20 0 1 0 527202841 2245894144 46801 33554432000 4194304 5870510 140721067600496 140721067598936 5283106 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34947072 140721067602951 140721067603033 140721067603033 140721067605958 0
/proc/12823/statm: 548314 46801 997 410 0 543787 0
Current children cumulated CPU time: 1781.99 s
Current children cumulated vsize: 2193256 KiB
Current children cumulated memory: 187204 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 1.79 4/199 13019
/proc/meminfo: memFree=31627520/32770624 swapFree=66951984/67108860
[pid=12823] ppid=12815 vsize=2193256 memory=187204 CPUtime=1841.98 cores=1,3,5,7
/proc/12823/stat : 12823 (xcsp_picat) R 12815 12823 12762 0 -1 4202496 92989 0 0 0 184183 15 0 0 20 0 1 0 527202841 2245894144 46801 33554432000 4194304 5870510 140721067600496 140721067598936 5282738 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34947072 140721067602951 140721067603033 140721067603033 140721067605958 0
/proc/12823/statm: 548314 46801 997 410 0 543787 0
Current children cumulated CPU time: 1841.98 s
Current children cumulated vsize: 2193256 KiB
Current children cumulated memory: 187204 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 1.80 4/199 13026
/proc/meminfo: memFree=31627704/32770624 swapFree=66951984/67108860
[pid=12823] ppid=12815 vsize=2193256 memory=187204 CPUtime=1901.97 cores=1,3,5,7
/proc/12823/stat : 12823 (xcsp_picat) R 12815 12823 12762 0 -1 4202496 92998 0 0 0 190182 15 0 0 20 0 1 0 527202841 2245894144 46801 33554432000 4194304 5870510 140721067600496 140721067598936 5282519 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34947072 140721067602951 140721067603033 140721067603033 140721067605958 0
/proc/12823/statm: 548314 46801 997 410 0 543787 0
Current children cumulated CPU time: 1901.97 s
Current children cumulated vsize: 2193256 KiB
Current children cumulated memory: 187204 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 1.81 4/199 13030
/proc/meminfo: memFree=31628368/32770624 swapFree=66951984/67108860
[pid=12823] ppid=12815 vsize=2193256 memory=187204 CPUtime=1961.96 cores=1,3,5,7
/proc/12823/stat : 12823 (xcsp_picat) R 12815 12823 12762 0 -1 4202496 93134 0 0 0 196181 15 0 0 20 0 1 0 527202841 2245894144 46801 33554432000 4194304 5870510 140721067600496 140721067598936 5282467 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34947072 140721067602951 140721067603033 140721067603033 140721067605958 0
/proc/12823/statm: 548314 46801 997 410 0 543787 0
Current children cumulated CPU time: 1961.96 s
Current children cumulated vsize: 2193256 KiB
Current children cumulated memory: 187204 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.82 4/199 13034
/proc/meminfo: memFree=31613600/32770624 swapFree=66951984/67108860
[pid=12823] ppid=12815 vsize=2193400 memory=200872 CPUtime=2021.94 cores=1,3,5,7
/proc/12823/stat : 12823 (xcsp_picat) R 12815 12823 12762 0 -1 4202496 93534 0 0 0 202179 15 0 0 20 0 1 0 527202841 2246041600 50218 33554432000 4194304 5870510 140721067600496 140721067599064 5283106 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34947072 140721067602951 140721067603033 140721067603033 140721067605958 0
/proc/12823/statm: 548350 50218 997 410 0 543823 0
Current children cumulated CPU time: 2021.94 s
Current children cumulated vsize: 2193400 KiB
Current children cumulated memory: 200872 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.83 4/199 13041
/proc/meminfo: memFree=31614312/32770624 swapFree=66951984/67108860
[pid=12823] ppid=12815 vsize=2193400 memory=200956 CPUtime=2081.93 cores=1,3,5,7
/proc/12823/stat : 12823 (xcsp_picat) R 12815 12823 12762 0 -1 4202496 94037 0 0 0 208178 15 0 0 20 0 1 0 527202841 2246041600 50239 33554432000 4194304 5870510 140721067600496 140721067599064 5282295 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34947072 140721067602951 140721067603033 140721067603033 140721067605958 0
/proc/12823/statm: 548350 50239 997 410 0 543823 0
Current children cumulated CPU time: 2081.93 s
Current children cumulated vsize: 2193400 KiB
Current children cumulated memory: 200956 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.84 4/199 13045
/proc/meminfo: memFree=31614456/32770624 swapFree=66951984/67108860
[pid=12823] ppid=12815 vsize=2193400 memory=200956 CPUtime=2141.92 cores=1,3,5,7
/proc/12823/stat : 12823 (xcsp_picat) R 12815 12823 12762 0 -1 4202496 94047 0 0 0 214177 15 0 0 20 0 1 0 527202841 2246041600 50239 33554432000 4194304 5870510 140721067600496 140721067599064 5282597 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34947072 140721067602951 140721067603033 140721067603033 140721067605958 0
/proc/12823/statm: 548350 50239 997 410 0 543823 0
Current children cumulated CPU time: 2141.92 s
Current children cumulated vsize: 2193400 KiB
Current children cumulated memory: 200956 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.86 4/201 13058
/proc/meminfo: memFree=31613244/32770624 swapFree=66951984/67108860
[pid=12823] ppid=12815 vsize=2193400 memory=200956 CPUtime=2201.91 cores=1,3,5,7
/proc/12823/stat : 12823 (xcsp_picat) R 12815 12823 12762 0 -1 4202496 94540 0 0 0 220176 15 0 0 20 0 1 0 527202841 2246041600 50239 33554432000 4194304 5870510 140721067600496 140721067599064 5283048 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34947072 140721067602951 140721067603033 140721067603033 140721067605958 0
/proc/12823/statm: 548350 50239 997 410 0 543823 0
Current children cumulated CPU time: 2201.91 s
Current children cumulated vsize: 2193400 KiB
Current children cumulated memory: 200956 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.87 4/201 13064
/proc/meminfo: memFree=31613708/32770624 swapFree=66951984/67108860
[pid=12823] ppid=12815 vsize=2193400 memory=200956 CPUtime=2261.9 cores=1,3,5,7
/proc/12823/stat : 12823 (xcsp_picat) R 12815 12823 12762 0 -1 4202496 94553 0 0 0 226175 15 0 0 20 0 1 0 527202841 2246041600 50239 33554432000 4194304 5870510 140721067600496 140721067599064 5282597 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34947072 140721067602951 140721067603033 140721067603033 140721067605958 0
/proc/12823/statm: 548350 50239 997 410 0 543823 0
Current children cumulated CPU time: 2261.9 s
Current children cumulated vsize: 2193400 KiB
Current children cumulated memory: 200956 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.87 4/201 13068
/proc/meminfo: memFree=31613820/32770624 swapFree=66951984/67108860
[pid=12823] ppid=12815 vsize=2193400 memory=200956 CPUtime=2321.89 cores=1,3,5,7
/proc/12823/stat : 12823 (xcsp_picat) R 12815 12823 12762 0 -1 4202496 95057 0 0 0 232174 15 0 0 20 0 1 0 527202841 2246041600 50239 33554432000 4194304 5870510 140721067600496 140721067599064 5277088 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34947072 140721067602951 140721067603033 140721067603033 140721067605958 0
/proc/12823/statm: 548350 50239 997 410 0 543823 0
Current children cumulated CPU time: 2321.89 s
Current children cumulated vsize: 2193400 KiB
Current children cumulated memory: 200956 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.88 4/201 13072
/proc/meminfo: memFree=31614120/32770624 swapFree=66951984/67108860
[pid=12823] ppid=12815 vsize=2193400 memory=200956 CPUtime=2381.88 cores=1,3,5,7
/proc/12823/stat : 12823 (xcsp_picat) R 12815 12823 12762 0 -1 4202496 95070 0 0 0 238173 15 0 0 20 0 1 0 527202841 2246041600 50239 33554432000 4194304 5870510 140721067600496 140721067599064 5282295 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34947072 140721067602951 140721067603033 140721067603033 140721067605958 0
/proc/12823/statm: 548350 50239 997 410 0 543823 0
Current children cumulated CPU time: 2381.88 s
Current children cumulated vsize: 2193400 KiB
Current children cumulated memory: 200956 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.5 s]
/proc/loadavg: 2.00 2.01 1.88 4/201 13074
/proc/meminfo: memFree=31613744/32770624 swapFree=66951984/67108860
[pid=12823] ppid=12815 vsize=2193400 memory=200956 CPUtime=2400.08 cores=1,3,5,7
/proc/12823/stat : 12823 (xcsp_picat) R 12815 12823 12762 0 -1 4202496 95073 0 0 0 239993 15 0 0 20 0 1 0 527202841 2246041600 50239 33554432000 4194304 5870510 140721067600496 140721067599064 5282759 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34947072 140721067602951 140721067603033 140721067603033 140721067605958 0
/proc/12823/statm: 548350 50239 997 410 0 543823 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 2193400 KiB
Current children cumulated memory: 200956 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.5 s]
# the end of solver process 12823 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.94 s, system=0.157973 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.5 s]
/proc/loadavg: 2.00 2.01 1.88 4/201 13074
/proc/meminfo: memFree=31613744/32770624 swapFree=66951984/67108860
[pid=12823] ppid=12815 vsize=2193400 memory=200956 CPUtime=2400.08 cores=1,3,5,7
/proc/12823/stat : 12823 (xcsp_picat) R 12815 12823 12762 0 -1 4202496 95073 0 0 0 239993 15 0 0 20 0 1 0 527202841 2246041600 50239 33554432000 4194304 5870510 140721067600496 140721067599064 5282759 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34947072 140721067602951 140721067603033 140721067603033 140721067605958 0
/proc/12823/statm: 548350 50239 997 410 0 543823 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 2193400 KiB
Current children cumulated memory: 200956 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.5
CPU time (s): 2400.09
CPU user time (s): 2399.94
CPU system time (s): 0.157973
CPU usage (%): 99.983
Max. virtual memory (cumulated for all children) (KiB): 2193400
Max. memory (cumulated for all children) (KiB): 200956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.94
system time used= 0.157973
maximum resident set size= 200956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95073
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= 16
involuntary context switches= 2065
# summary of solver processes directly reported to runsolver:
# pid: 12823
# total CPU time (s): 2400.09
# total CPU user time (s): 2399.94
# total CPU system time (s): 0.157973
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.21793 second user time and 17.1673 second system time
The end