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 (11689 MiB free)
memory of node 1: 16384 MiB (14438 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395568-1568330783/watcher-4395568-1568330783 -o /tmp/evaluation-result-4395568-1568330783/solver-4395568-1568330783 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568328264-22070 --watchdog 2560 xcsp_picat HOME/instance-4395568-1568330783.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
23024
Current StackSize limit: 8192 KiB
[startup+0.100605 s]*
/proc/loadavg: 2.00 2.01 1.95 3/199 23028
/proc/meminfo: memFree=26706088/32770624 swapFree=66957008/67108860
[pid=23027] ppid=23024 vsize=2039532 memory=63388 CPUtime=0.1 cores=1,3,5,7
/proc/23027/stat : 23027 (xcsp_picat) R 23024 23027 22038 0 -1 4202496 1730 0 0 0 9 1 0 0 20 0 1 0 408992173 2088480768 15847 33554432000 4194304 5870510 140726148386400 140726148385704 4538670 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35418112 140726148387871 140726148387949 140726148387949 140726148390858 0
/proc/23027/statm: 509883 15847 880 410 0 505356 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2039532 KiB
Current children cumulated memory: 63388 KiB
[startup+0.209789 s]*
/proc/loadavg: 2.00 2.01 1.95 3/199 23028
/proc/meminfo: memFree=26663700/32770624 swapFree=66957008/67108860
[pid=23027] ppid=23024 vsize=2070784 memory=99332 CPUtime=0.21 cores=1,3,5,7
/proc/23027/stat : 23027 (xcsp_picat) R 23024 23027 22038 0 -1 4202496 2140 0 0 0 19 2 0 0 20 0 1 0 408992173 2120482816 24833 33554432000 4194304 5870510 140726148386400 140726148385704 4491015 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35418112 140726148387871 140726148387949 140726148387949 140726148390858 0
/proc/23027/statm: 517696 24833 881 410 0 513169 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2070784 KiB
Current children cumulated memory: 99332 KiB
[startup+0.309812 s]*
/proc/loadavg: 2.00 2.01 1.95 3/199 23028
/proc/meminfo: memFree=26625720/32770624 swapFree=66957008/67108860
[pid=23027] ppid=23024 vsize=2133284 memory=137180 CPUtime=0.3 cores=1,3,5,7
/proc/23027/stat : 23027 (xcsp_picat) R 23024 23027 22038 0 -1 4202496 2699 0 0 0 27 3 0 0 20 0 1 0 408992173 2184482816 33783 33554432000 4194304 5870510 140726148386400 140726148385704 4647362 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35418112 140726148387871 140726148387949 140726148387949 140726148390858 0
/proc/23027/statm: 533321 34295 881 410 0 528794 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2133284 KiB
Current children cumulated memory: 137180 KiB
[startup+0.700381 s]
/proc/loadavg: 2.00 2.01 1.95 3/199 23028
/proc/meminfo: memFree=26594700/32770624 swapFree=66957008/67108860
[pid=23027] ppid=23024 vsize=2153876 memory=198788 CPUtime=0.69 cores=1,3,5,7
/proc/23027/stat : 23027 (xcsp_picat) R 23024 23027 22038 0 -1 4202496 5931 0 0 0 64 5 0 0 20 0 1 0 408992173 2205569024 49697 33554432000 4194304 5870510 140726148386400 140726148385704 5287104 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35418112 140726148387871 140726148387949 140726148387949 140726148390858 0
/proc/23027/statm: 538469 49697 965 410 0 533942 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2153876 KiB
Current children cumulated memory: 198788 KiB
[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 1.95 3/199 23028
/proc/meminfo: memFree=26527544/32770624 swapFree=66957008/67108860
[pid=23027] ppid=23024 vsize=2300320 memory=324184 CPUtime=1.49 cores=1,3,5,7
/proc/23027/stat : 23027 (xcsp_picat) R 23024 23027 22038 0 -1 4202496 8703 0 0 0 142 7 0 0 20 0 1 0 408992173 2355527680 81046 33554432000 4194304 5870510 140726148386400 140726148384968 4458467 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35418112 140726148387871 140726148387949 140726148387949 140726148390858 0
/proc/23027/statm: 575080 81046 969 410 0 570553 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2300320 KiB
Current children cumulated memory: 324184 KiB
[startup+3.10954 s]
/proc/loadavg: 2.00 2.01 1.95 3/199 23028
/proc/meminfo: memFree=26263588/32770624 swapFree=66957008/67108860
[pid=23027] ppid=23024 vsize=2441432 memory=503096 CPUtime=3.1 cores=1,3,5,7
/proc/23027/stat : 23027 (xcsp_picat) R 23024 23027 22038 0 -1 4202496 12853 0 0 0 300 10 0 0 20 0 1 0 408992173 2500026368 125774 33554432000 4194304 5870510 140726148386400 140726148385720 5478363 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35418112 140726148387871 140726148387949 140726148387949 140726148390858 0
/proc/23027/statm: 610358 125774 969 410 0 605831 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2441432 KiB
Current children cumulated memory: 503096 KiB
[startup+6.30036 s]
/proc/loadavg: 2.00 2.01 1.95 3/200 23030
/proc/meminfo: memFree=25956656/32770624 swapFree=66957008/67108860
[pid=23027] ppid=23024 vsize=2701332 memory=834588 CPUtime=6.29 cores=1,3,5,7
/proc/23027/stat : 23027 (xcsp_picat) R 23024 23027 22038 0 -1 4202496 28489 0 0 0 612 17 0 0 20 0 1 0 408992173 2766163968 208647 33554432000 4194304 5870510 140726148386400 140726148385128 4513157 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35418112 140726148387871 140726148387949 140726148387949 140726148390858 0
/proc/23027/statm: 675333 208647 969 410 0 670806 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2701332 KiB
Current children cumulated memory: 834588 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 1.95 3/200 23030
/proc/meminfo: memFree=25669500/32770624 swapFree=66957008/67108860
[pid=23027] ppid=23024 vsize=3039460 memory=1213844 CPUtime=12.69 cores=1,3,5,7
/proc/23027/stat : 23027 (xcsp_picat) R 23024 23027 22038 0 -1 4202496 53698 0 0 0 1245 24 0 0 20 0 1 0 408992173 3112407040 303461 33554432000 4194304 5870510 140726148386400 140726148385128 4477327 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35418112 140726148387871 140726148387949 140726148387949 140726148390858 0
/proc/23027/statm: 759865 303461 970 410 0 755338 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 3039460 KiB
Current children cumulated memory: 1213844 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 1.95 3/199 23030
/proc/meminfo: memFree=24376140/32770624 swapFree=66957008/67108860
[pid=23027] ppid=23024 vsize=4061656 memory=2378048 CPUtime=25.48 cores=1,3,5,7
/proc/23027/stat : 23027 (xcsp_picat) R 23024 23027 22038 0 -1 4202496 173542 0 0 0 2497 51 0 0 20 0 1 0 408992173 4159135744 594512 33554432000 4194304 5870510 140726148386400 140726148385576 5261008 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35418112 140726148387871 140726148387949 140726148387949 140726148390858 0
/proc/23027/statm: 1015414 594512 977 410 0 1010887 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 4061656 KiB
Current children cumulated memory: 2378048 KiB
[startup+51.109 s]
/proc/loadavg: 2.00 2.01 1.95 3/199 23031
/proc/meminfo: memFree=24335028/32770624 swapFree=66957008/67108860
[pid=23027] ppid=23024 vsize=4092800 memory=2409192 CPUtime=51.09 cores=1,3,5,7
/proc/23027/stat : 23027 (xcsp_picat) R 23024 23027 22038 0 -1 4202496 179870 0 0 0 5057 52 0 0 20 0 1 0 408992173 4191027200 602298 33554432000 4194304 5870510 140726148386400 140726148384968 5337584 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35418112 140726148387871 140726148387949 140726148387949 140726148390858 0
/proc/23027/statm: 1023200 602298 977 410 0 1018673 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 4092800 KiB
Current children cumulated memory: 2409192 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/200 23037
/proc/meminfo: memFree=24333272/32770624 swapFree=66957008/67108860
[pid=23027] ppid=23024 vsize=4092800 memory=2409192 CPUtime=102.27 cores=1,3,5,7
/proc/23027/stat : 23027 (xcsp_picat) R 23024 23027 22038 0 -1 4202496 186584 0 0 0 10175 52 0 0 20 0 1 0 408992173 4191027200 602298 33554432000 4194304 5870510 140726148386400 140726148384968 5261019 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35418112 140726148387871 140726148387949 140726148387949 140726148390858 0
/proc/23027/statm: 1023200 602298 977 410 0 1018673 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 4092800 KiB
Current children cumulated memory: 2409192 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/199 23042
/proc/meminfo: memFree=24332752/32770624 swapFree=66957008/67108860
[pid=23027] ppid=23024 vsize=4092800 memory=2409192 CPUtime=162.28 cores=1,3,5,7
/proc/23027/stat : 23027 (xcsp_picat) R 23024 23027 22038 0 -1 4202496 195132 0 0 0 16175 53 0 0 20 0 1 0 408992173 4191027200 602298 33554432000 4194304 5870510 140726148386400 140726148384968 5261210 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35418112 140726148387871 140726148387949 140726148387949 140726148390858 0
/proc/23027/statm: 1023200 602298 977 410 0 1018673 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 4092800 KiB
Current children cumulated memory: 2409192 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/199 23046
/proc/meminfo: memFree=24323876/32770624 swapFree=66957008/67108860
[pid=23027] ppid=23024 vsize=4092800 memory=2409192 CPUtime=222.27 cores=1,3,5,7
/proc/23027/stat : 23027 (xcsp_picat) R 23024 23027 22038 0 -1 4202496 199787 0 0 0 22174 53 0 0 20 0 1 0 408992173 4191027200 602298 33554432000 4194304 5870510 140726148386400 140726148384968 5261019 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35418112 140726148387871 140726148387949 140726148387949 140726148390858 0
/proc/23027/statm: 1023200 602298 977 410 0 1018673 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 4092800 KiB
Current children cumulated memory: 2409192 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/201 23060
/proc/meminfo: memFree=24330064/32770624 swapFree=66957008/67108860
[pid=23027] ppid=23024 vsize=4092800 memory=2409192 CPUtime=282.26 cores=1,3,5,7
/proc/23027/stat : 23027 (xcsp_picat) R 23024 23027 22038 0 -1 4202496 206476 0 0 0 28173 53 0 0 20 0 1 0 408992173 4191027200 602298 33554432000 4194304 5870510 140726148386400 140726148384968 5321611 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35418112 140726148387871 140726148387949 140726148387949 140726148390858 0
/proc/23027/statm: 1023200 602298 977 410 0 1018673 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 4092800 KiB
Current children cumulated memory: 2409192 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/200 23064
/proc/meminfo: memFree=24323440/32770624 swapFree=66957008/67108860
[pid=23027] ppid=23024 vsize=4092800 memory=2409192 CPUtime=342.25 cores=1,3,5,7
/proc/23027/stat : 23027 (xcsp_picat) R 23024 23027 22038 0 -1 4202496 211199 0 0 0 34172 53 0 0 20 0 1 0 408992173 4191027200 602298 33554432000 4194304 5870510 140726148386400 140726148384968 5321600 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35418112 140726148387871 140726148387949 140726148387949 140726148390858 0
/proc/23027/statm: 1023200 602298 977 410 0 1018673 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 4092800 KiB
Current children cumulated memory: 2409192 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/200 23068
/proc/meminfo: memFree=24323064/32770624 swapFree=66957008/67108860
[pid=23027] ppid=23024 vsize=4092800 memory=2409344 CPUtime=402.25 cores=1,3,5,7
/proc/23027/stat : 23027 (xcsp_picat) R 23024 23027 22038 0 -1 4202496 216671 0 0 0 40172 53 0 0 20 0 1 0 408992173 4191027200 602336 33554432000 4194304 5870510 140726148386400 140726148384968 5321686 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35418112 140726148387871 140726148387949 140726148387949 140726148390858 0
/proc/23027/statm: 1023200 602336 977 410 0 1018673 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 4092800 KiB
Current children cumulated memory: 2409344 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/201 23074
/proc/meminfo: memFree=24321360/32770624 swapFree=66957008/67108860
[pid=23027] ppid=23024 vsize=4092800 memory=2411080 CPUtime=462.25 cores=1,3,5,7
/proc/23027/stat : 23027 (xcsp_picat) R 23024 23027 22038 0 -1 4202496 221391 0 0 0 46171 54 0 0 20 0 1 0 408992173 4191027200 602770 33554432000 4194304 5870510 140726148386400 140726148384968 5321611 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35418112 140726148387871 140726148387949 140726148387949 140726148390858 0
/proc/23027/statm: 1023200 602770 977 410 0 1018673 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 4092800 KiB
Current children cumulated memory: 2411080 KiB
################
# More data... #
################
/proc/23027/statm: 1034879 622175 977 410 0 1030352 0
Current children cumulated CPU time: 1662.25 s
Current children cumulated vsize: 4139516 KiB
Current children cumulated memory: 2488700 KiB
[startup+1722.3 s]
/proc/loadavg: 2.44 2.12 2.00 3/201 23248
/proc/meminfo: memFree=24246780/32770624 swapFree=66957008/67108860
[pid=23027] ppid=23024 vsize=4139516 memory=2492692 CPUtime=1722.25 cores=1,3,5,7
/proc/23027/stat : 23027 (xcsp_picat) R 23024 23027 22038 0 -1 4202496 317341 0 0 0 172166 59 0 0 20 0 1 0 408992173 4238864384 623173 33554432000 4194304 5870510 140726148386400 140726148384968 5321680 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 35418112 140726148387871 140726148387949 140726148387949 140726148390858 0
/proc/23027/statm: 1034879 623173 977 410 0 1030352 0
Current children cumulated CPU time: 1722.25 s
Current children cumulated vsize: 4139516 KiB
Current children cumulated memory: 2492692 KiB
[startup+1782.3 s]
/proc/loadavg: 2.27 2.14 2.02 3/199 23253
/proc/meminfo: memFree=24246536/32770624 swapFree=66957008/67108860
[pid=23027] ppid=23024 vsize=4139516 memory=2492692 CPUtime=1782.25 cores=1,3,5,7
/proc/23027/stat : 23027 (xcsp_picat) R 23024 23027 22038 0 -1 4202496 317496 0 0 0 178166 59 0 0 20 0 1 0 408992173 4238864384 623173 33554432000 4194304 5870510 140726148386400 140726148384968 5321686 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 35418112 140726148387871 140726148387949 140726148387949 140726148390858 0
/proc/23027/statm: 1034879 623173 977 410 0 1030352 0
Current children cumulated CPU time: 1782.25 s
Current children cumulated vsize: 4139516 KiB
Current children cumulated memory: 2492692 KiB
[startup+1842.3 s]
/proc/loadavg: 2.10 2.12 2.02 3/199 23257
/proc/meminfo: memFree=24246784/32770624 swapFree=66957008/67108860
[pid=23027] ppid=23024 vsize=4139516 memory=2492692 CPUtime=1842.25 cores=1,3,5,7
/proc/23027/stat : 23027 (xcsp_picat) R 23024 23027 22038 0 -1 4202496 317621 0 0 0 184166 59 0 0 20 0 1 0 408992173 4238864384 623173 33554432000 4194304 5870510 140726148386400 140726148384968 5321680 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 35418112 140726148387871 140726148387949 140726148387949 140726148390858 0
/proc/23027/statm: 1034879 623173 977 410 0 1030352 0
Current children cumulated CPU time: 1842.25 s
Current children cumulated vsize: 4139516 KiB
Current children cumulated memory: 2492692 KiB
[startup+1902.3 s]
/proc/loadavg: 2.04 2.10 2.02 3/200 23263
/proc/meminfo: memFree=24246648/32770624 swapFree=66957008/67108860
[pid=23027] ppid=23024 vsize=4139516 memory=2492692 CPUtime=1902.25 cores=1,3,5,7
/proc/23027/stat : 23027 (xcsp_picat) R 23024 23027 22038 0 -1 4202496 317822 0 0 0 190166 59 0 0 20 0 1 0 408992173 4238864384 623173 33554432000 4194304 5870510 140726148386400 140726148384968 5321600 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 35418112 140726148387871 140726148387949 140726148387949 140726148390858 0
/proc/23027/statm: 1034879 623173 977 410 0 1030352 0
Current children cumulated CPU time: 1902.25 s
Current children cumulated vsize: 4139516 KiB
Current children cumulated memory: 2492692 KiB
[startup+1962.3 s]
/proc/loadavg: 2.01 2.08 2.02 3/199 23268
/proc/meminfo: memFree=24243932/32770624 swapFree=66957008/67108860
[pid=23027] ppid=23024 vsize=4139516 memory=2492692 CPUtime=1962.25 cores=1,3,5,7
/proc/23027/stat : 23027 (xcsp_picat) R 23024 23027 22038 0 -1 4202496 317876 0 0 0 196166 59 0 0 20 0 1 0 408992173 4238864384 623173 33554432000 4194304 5870510 140726148386400 140726148384968 5261200 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 35418112 140726148387871 140726148387949 140726148387949 140726148390858 0
/proc/23027/statm: 1034879 623173 977 410 0 1030352 0
Current children cumulated CPU time: 1962.25 s
Current children cumulated vsize: 4139516 KiB
Current children cumulated memory: 2492692 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.06 2.02 3/199 23272
/proc/meminfo: memFree=24240352/32770624 swapFree=66957008/67108860
[pid=23027] ppid=23024 vsize=4139516 memory=2492692 CPUtime=2022.25 cores=1,3,5,7
/proc/23027/stat : 23027 (xcsp_picat) R 23024 23027 22038 0 -1 4202496 317956 0 0 0 202166 59 0 0 20 0 1 0 408992173 4238864384 623173 33554432000 4194304 5870510 140726148386400 140726148384968 5261210 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 35418112 140726148387871 140726148387949 140726148387949 140726148390858 0
/proc/23027/statm: 1034879 623173 977 410 0 1030352 0
Current children cumulated CPU time: 2022.25 s
Current children cumulated vsize: 4139516 KiB
Current children cumulated memory: 2492692 KiB
[startup+2082.3 s]
/proc/loadavg: 2.22 2.10 2.04 3/200 23285
/proc/meminfo: memFree=24240304/32770624 swapFree=66957008/67108860
[pid=23027] ppid=23024 vsize=4139516 memory=2492692 CPUtime=2082.26 cores=1,3,5,7
/proc/23027/stat : 23027 (xcsp_picat) R 23024 23027 22038 0 -1 4202496 318102 0 0 0 208167 59 0 0 20 0 1 0 408992173 4238864384 623173 33554432000 4194304 5870510 140726148386400 140726148384968 5337393 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 35418112 140726148387871 140726148387949 140726148387949 140726148390858 0
/proc/23027/statm: 1034879 623173 977 410 0 1030352 0
Current children cumulated CPU time: 2082.26 s
Current children cumulated vsize: 4139516 KiB
Current children cumulated memory: 2492692 KiB
[startup+2142.3 s]
/proc/loadavg: 2.08 2.08 2.04 3/200 23315
/proc/meminfo: memFree=24237532/32770624 swapFree=66957008/67108860
[pid=23027] ppid=23024 vsize=4139516 memory=2492692 CPUtime=2142.26 cores=1,3,5,7
/proc/23027/stat : 23027 (xcsp_picat) R 23024 23027 22038 0 -1 4202496 318229 0 0 0 214167 59 0 0 20 0 1 0 408992173 4238864384 623173 33554432000 4194304 5870510 140726148386400 140726148384968 5337372 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 35418112 140726148387871 140726148387949 140726148387949 140726148390858 0
/proc/23027/statm: 1034879 623173 977 410 0 1030352 0
Current children cumulated CPU time: 2142.26 s
Current children cumulated vsize: 4139516 KiB
Current children cumulated memory: 2492692 KiB
[startup+2202.3 s]
/proc/loadavg: 2.03 2.07 2.04 3/200 23319
/proc/meminfo: memFree=24238368/32770624 swapFree=66957008/67108860
[pid=23027] ppid=23024 vsize=4139516 memory=2492692 CPUtime=2202.27 cores=1,3,5,7
/proc/23027/stat : 23027 (xcsp_picat) R 23024 23027 22038 0 -1 4202496 318363 0 0 0 220167 60 0 0 20 0 1 0 408992173 4238864384 623173 33554432000 4194304 5870510 140726148386400 140726148384968 5337384 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 35418112 140726148387871 140726148387949 140726148387949 140726148390858 0
/proc/23027/statm: 1034879 623173 977 410 0 1030352 0
Current children cumulated CPU time: 2202.27 s
Current children cumulated vsize: 4139516 KiB
Current children cumulated memory: 2492692 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.06 2.04 3/201 23325
/proc/meminfo: memFree=24238404/32770624 swapFree=66957008/67108860
[pid=23027] ppid=23024 vsize=4139516 memory=2492692 CPUtime=2262.27 cores=1,3,5,7
/proc/23027/stat : 23027 (xcsp_picat) R 23024 23027 22038 0 -1 4202496 318490 0 0 0 226167 60 0 0 20 0 1 0 408992173 4238864384 623173 33554432000 4194304 5870510 140726148386400 140726148384968 5321686 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 35418112 140726148387871 140726148387949 140726148387949 140726148390858 0
/proc/23027/statm: 1034879 623173 977 410 0 1030352 0
Current children cumulated CPU time: 2262.27 s
Current children cumulated vsize: 4139516 KiB
Current children cumulated memory: 2492692 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.05 2.04 3/200 23329
/proc/meminfo: memFree=24239916/32770624 swapFree=66957008/67108860
[pid=23027] ppid=23024 vsize=4139516 memory=2492692 CPUtime=2322.27 cores=1,3,5,7
/proc/23027/stat : 23027 (xcsp_picat) R 23024 23027 22038 0 -1 4202496 318617 0 0 0 232167 60 0 0 20 0 1 0 408992173 4238864384 623173 33554432000 4194304 5870510 140726148386400 140726148384968 5321686 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 35418112 140726148387871 140726148387949 140726148387949 140726148390858 0
/proc/23027/statm: 1034879 623173 977 410 0 1030352 0
Current children cumulated CPU time: 2322.27 s
Current children cumulated vsize: 4139516 KiB
Current children cumulated memory: 2492692 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.04 2.04 3/200 23333
/proc/meminfo: memFree=24227756/32770624 swapFree=66957008/67108860
[pid=23027] ppid=23024 vsize=4139516 memory=2492692 CPUtime=2382.27 cores=1,3,5,7
/proc/23027/stat : 23027 (xcsp_picat) R 23024 23027 22038 0 -1 4202496 318749 0 0 0 238167 60 0 0 20 0 1 0 408992173 4238864384 623173 33554432000 4194304 5870510 140726148386400 140726148384968 5261122 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 35418112 140726148387871 140726148387949 140726148387949 140726148390858 0
/proc/23027/statm: 1034879 623173 977 410 0 1030352 0
Current children cumulated CPU time: 2382.27 s
Current children cumulated vsize: 4139516 KiB
Current children cumulated memory: 2492692 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.11 s]
/proc/loadavg: 2.00 2.04 2.04 3/200 23336
/proc/meminfo: memFree=24228328/32770624 swapFree=66957008/67108860
[pid=23027] ppid=23024 vsize=4139516 memory=2492692 CPUtime=2400.08 cores=1,3,5,7
/proc/23027/stat : 23027 (xcsp_picat) R 23024 23027 22038 0 -1 4202496 318807 0 0 0 239948 60 0 0 20 0 1 0 408992173 4238864384 623173 33554432000 4194304 5870510 140726148386400 140726148384968 5321704 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 35418112 140726148387871 140726148387949 140726148387949 140726148390858 0
/proc/23027/statm: 1034879 623173 977 410 0 1030352 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 4139516 KiB
Current children cumulated memory: 2492692 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.12 s]
# the end of solver process 23027 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.48 s, system=0.613995 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.11 s]
/proc/loadavg: 2.00 2.04 2.04 3/200 23336
/proc/meminfo: memFree=24228328/32770624 swapFree=66957008/67108860
[pid=23027] ppid=23024 vsize=4139516 memory=2492692 CPUtime=2400.08 cores=1,3,5,7
/proc/23027/stat : 23027 (xcsp_picat) R 23024 23027 22038 0 -1 4202496 318807 0 0 0 239948 60 0 0 20 0 1 0 408992173 4238864384 623173 33554432000 4194304 5870510 140726148386400 140726148384968 5321704 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 35418112 140726148387871 140726148387949 140726148387949 140726148390858 0
/proc/23027/statm: 1034879 623173 977 410 0 1030352 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 4139516 KiB
Current children cumulated memory: 2492692 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.12
CPU time (s): 2400.1
CPU user time (s): 2399.48
CPU system time (s): 0.613995
CPU usage (%): 99.999
Max. virtual memory (cumulated for all children) (KiB): 4139516
Max. memory (cumulated for all children) (KiB): 2492692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.48
system time used= 0.613995
maximum resident set size= 2492692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 318808
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= 14
involuntary context switches= 998
# summary of solver processes directly reported to runsolver:
# pid: 23027
# total CPU time (s): 2400.1
# total CPU user time (s): 2399.48
# total CPU system time (s): 0.613995
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3428 second user time and 16.6127 second system time
The end