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 (13672 MiB free)
memory of node 1: 16384 MiB (15863 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395696-1568341299/watcher-4395696-1568341299 -o /tmp/evaluation-result-4395696-1568341299/solver-4395696-1568341299 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568323423-22107 --watchdog 2560 xcsp_picat HOME/instance-4395696-1568341299.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=26710, runsolver pid=26707
[startup+0.10068 s]*
/proc/loadavg: 1.92 1.98 2.03 3/200 26711
/proc/meminfo: memFree=30215576/32770624 swapFree=67001700/67108860
[pid=26710] ppid=26707 vsize=2038728 memory=32168 CPUtime=0.09 cores=1,3,5,7
/proc/26710/stat : 26710 (xcsp_picat) R 26707 26710 22075 0 -1 4202496 2172 0 0 0 9 0 0 0 20 0 1 0 410378616 2087657472 8042 33554432000 4194304 5870510 140723040993472 140723040992664 139883580301191 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 33816576 140723040998431 140723040998509 140723040998509 140723041001418 0
/proc/26710/statm: 509682 8042 929 410 0 505155 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2038728 KiB
Current children cumulated memory: 32168 KiB
[startup+0.209789 s]*
/proc/loadavg: 1.92 1.98 2.03 3/200 26711
/proc/meminfo: memFree=30213732/32770624 swapFree=67001700/67108860
[pid=26710] ppid=26707 vsize=2040408 memory=33876 CPUtime=0.2 cores=1,3,5,7
/proc/26710/stat : 26710 (xcsp_picat) R 26707 26710 22075 0 -1 4202496 2656 0 0 0 20 0 0 0 20 0 1 0 410378616 2089377792 8469 33554432000 4194304 5870510 140723040993472 140723040992664 5337306 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 33816576 140723040998431 140723040998509 140723040998509 140723041001418 0
/proc/26710/statm: 510102 8469 943 410 0 505575 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2040408 KiB
Current children cumulated memory: 33876 KiB
[startup+0.30954 s]*
/proc/loadavg: 1.92 1.98 2.03 3/200 26711
/proc/meminfo: memFree=30214416/32770624 swapFree=67001700/67108860
[pid=26710] ppid=26707 vsize=2038368 memory=33868 CPUtime=0.3 cores=1,3,5,7
/proc/26710/stat : 26710 (xcsp_picat) R 26707 26710 22075 0 -1 4202496 3313 0 0 0 30 0 0 0 20 0 1 0 410378616 2087288832 8467 33554432000 4194304 5870510 140723040993472 140723040992664 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 33816576 140723040998431 140723040998509 140723040998509 140723041001418 0
/proc/26710/statm: 509592 8467 973 410 0 505065 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2038368 KiB
Current children cumulated memory: 33868 KiB
[startup+0.700311 s]
/proc/loadavg: 1.92 1.98 2.03 3/200 26711
/proc/meminfo: memFree=30212928/32770624 swapFree=67001700/67108860
[pid=26710] ppid=26707 vsize=2040312 memory=35940 CPUtime=0.68 cores=1,3,5,7
/proc/26710/stat : 26710 (xcsp_picat) R 26707 26710 22075 0 -1 4202496 3881 0 0 0 68 0 0 0 20 0 1 0 410378616 2089279488 8985 33554432000 4194304 5870510 140723040993472 140723040992424 139883579841509 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 33816576 140723040998431 140723040998509 140723040998509 140723041001418 0
/proc/26710/statm: 510078 8985 973 410 0 505551 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2040312 KiB
Current children cumulated memory: 35940 KiB
[startup+1.50036 s]
/proc/loadavg: 1.92 1.98 2.03 3/200 26711
/proc/meminfo: memFree=30208488/32770624 swapFree=67001700/67108860
[pid=26710] ppid=26707 vsize=2048008 memory=43212 CPUtime=1.49 cores=1,3,5,7
/proc/26710/stat : 26710 (xcsp_picat) R 26707 26710 22075 0 -1 4202496 5603 0 0 0 148 1 0 0 20 0 1 0 410378616 2097160192 10803 33554432000 4194304 5870510 140723040993472 140723040992424 5278116 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 33816576 140723040998431 140723040998509 140723040998509 140723041001418 0
/proc/26710/statm: 512002 10803 975 410 0 507475 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2048008 KiB
Current children cumulated memory: 43212 KiB
[startup+3.10964 s]
/proc/loadavg: 1.92 1.98 2.03 3/200 26712
/proc/meminfo: memFree=30190020/32770624 swapFree=67001700/67108860
[pid=26710] ppid=26707 vsize=2067532 memory=57792 CPUtime=3.09 cores=1,3,5,7
/proc/26710/stat : 26710 (xcsp_picat) R 26707 26710 22075 0 -1 4202496 9537 0 0 0 308 1 0 0 20 0 1 0 410378616 2117152768 14448 33554432000 4194304 5870510 140723040993472 140723040991832 5282588 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 33816576 140723040998431 140723040998509 140723040998509 140723041001418 0
/proc/26710/statm: 516883 14448 975 410 0 512356 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2067532 KiB
Current children cumulated memory: 57792 KiB
[startup+6.30039 s]
/proc/loadavg: 1.84 1.97 2.03 3/201 26714
/proc/meminfo: memFree=30178380/32770624 swapFree=67001700/67108860
[pid=26710] ppid=26707 vsize=2087388 memory=68596 CPUtime=6.28 cores=1,3,5,7
/proc/26710/stat : 26710 (xcsp_picat) R 26707 26710 22075 0 -1 4202496 19939 0 0 0 626 2 0 0 20 0 1 0 410378616 2137485312 17149 33554432000 4194304 5870510 140723040993472 140723040991832 5283024 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 33816576 140723040998431 140723040998509 140723040998509 140723041001418 0
/proc/26710/statm: 521847 17149 975 410 0 517320 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2087388 KiB
Current children cumulated memory: 68596 KiB
[startup+12.7004 s]
/proc/loadavg: 1.86 1.97 2.03 3/200 26714
/proc/meminfo: memFree=30154136/32770624 swapFree=67001700/67108860
[pid=26710] ppid=26707 vsize=2100976 memory=92884 CPUtime=12.68 cores=1,3,5,7
/proc/26710/stat : 26710 (xcsp_picat) R 26707 26710 22075 0 -1 4202496 23182 0 0 0 1264 4 0 0 20 0 1 0 410378616 2151399424 23221 33554432000 4194304 5870510 140723040993472 140723040991912 5282767 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 33816576 140723040998431 140723040998509 140723040998509 140723041001418 0
/proc/26710/statm: 525244 23221 983 410 0 520717 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2100976 KiB
Current children cumulated memory: 92884 KiB
[startup+25.5004 s]
/proc/loadavg: 1.89 1.97 2.03 3/200 26714
/proc/meminfo: memFree=30185160/32770624 swapFree=67001700/67108860
[pid=26710] ppid=26707 vsize=2066784 memory=61452 CPUtime=25.48 cores=1,3,5,7
/proc/26710/stat : 26710 (xcsp_picat) R 26707 26710 22075 0 -1 4202496 27181 0 0 0 2543 5 0 0 20 0 1 0 410378616 2116386816 15363 33554432000 4194304 5870510 140723040993472 140723040992040 5272505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 33816576 140723040998431 140723040998509 140723040998509 140723041001418 0
/proc/26710/statm: 516696 15363 983 410 0 512169 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2066784 KiB
Current children cumulated memory: 61452 KiB
[startup+51.1097 s]
/proc/loadavg: 1.93 1.97 2.03 3/201 26716
/proc/meminfo: memFree=30151836/32770624 swapFree=67001700/67108860
[pid=26710] ppid=26707 vsize=2104680 memory=94488 CPUtime=51.1 cores=1,3,5,7
/proc/26710/stat : 26710 (xcsp_picat) R 26707 26710 22075 0 -1 4202496 34370 0 0 0 5103 7 0 0 20 0 1 0 410378616 2155192320 23622 33554432000 4194304 5870510 140723040993472 140723040991912 5283024 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 33816576 140723040998431 140723040998509 140723040998509 140723041001418 0
/proc/26710/statm: 526170 23622 983 410 0 521643 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2104680 KiB
Current children cumulated memory: 94488 KiB
[startup+102.3 s]
/proc/loadavg: 1.97 1.97 2.03 3/200 26720
/proc/meminfo: memFree=30139048/32770624 swapFree=67001700/67108860
[pid=26710] ppid=26707 vsize=2116944 memory=107052 CPUtime=102.3 cores=1,3,5,7
/proc/26710/stat : 26710 (xcsp_picat) R 26707 26710 22075 0 -1 4202496 41411 0 0 0 10222 8 0 0 20 0 1 0 410378616 2167750656 26763 33554432000 4194304 5870510 140723040993472 140723040991912 5276807 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 33816576 140723040998431 140723040998509 140723040998509 140723041001418 0
/proc/26710/statm: 529236 26763 983 410 0 524709 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 2116944 KiB
Current children cumulated memory: 107052 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 2.03 3/200 26724
/proc/meminfo: memFree=30158128/32770624 swapFree=67001700/67108860
[pid=26710] ppid=26707 vsize=2089488 memory=85388 CPUtime=162.3 cores=1,3,5,7
/proc/26710/stat : 26710 (xcsp_picat) R 26707 26710 22075 0 -1 4202496 47808 0 0 0 16221 9 0 0 20 0 1 0 410378616 2139635712 21347 33554432000 4194304 5870510 140723040993472 140723040991912 5282578 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 33816576 140723040998431 140723040998509 140723040998509 140723041001418 0
/proc/26710/statm: 522372 21347 985 410 0 517845 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2089488 KiB
Current children cumulated memory: 85388 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 26728
/proc/meminfo: memFree=30131048/32770624 swapFree=67001700/67108860
[pid=26710] ppid=26707 vsize=2108452 memory=104308 CPUtime=222.3 cores=1,3,5,7
/proc/26710/stat : 26710 (xcsp_picat) R 26707 26710 22075 0 -1 4202496 49013 0 0 0 22221 9 0 0 20 0 1 0 410378616 2159054848 26077 33554432000 4194304 5870510 140723040993472 140723040992584 139883585541040 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 33816576 140723040998431 140723040998509 140723040998509 140723041001418 0
/proc/26710/statm: 527113 26077 985 410 0 522586 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2108452 KiB
Current children cumulated memory: 104308 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 26735
/proc/meminfo: memFree=30140752/32770624 swapFree=67001704/67108860
[pid=26710] ppid=26707 vsize=2098208 memory=94176 CPUtime=282.31 cores=1,3,5,7
/proc/26710/stat : 26710 (xcsp_picat) R 26707 26710 22075 0 -1 4202496 55015 0 0 0 28220 11 0 0 20 0 1 0 410378616 2148564992 23544 33554432000 4194304 5870510 140723040993472 140723040992040 5295052 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 33816576 140723040998431 140723040998509 140723040998509 140723041001418 0
/proc/26710/statm: 524552 23544 985 410 0 520025 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 2098208 KiB
Current children cumulated memory: 94176 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 26739
/proc/meminfo: memFree=30129516/32770624 swapFree=67001704/67108860
[pid=26710] ppid=26707 vsize=2110160 memory=106040 CPUtime=342.32 cores=1,3,5,7
/proc/26710/stat : 26710 (xcsp_picat) R 26707 26710 22075 0 -1 4202496 56602 0 0 0 34220 12 0 0 20 0 1 0 410378616 2160803840 26510 33554432000 4194304 5870510 140723040993472 140723040992040 5282251 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 33816576 140723040998431 140723040998509 140723040998509 140723041001418 0
/proc/26710/statm: 527540 26510 985 410 0 523013 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 2110160 KiB
Current children cumulated memory: 106040 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 26743
/proc/meminfo: memFree=30141296/32770624 swapFree=67001704/67108860
[pid=26710] ppid=26707 vsize=2097532 memory=93336 CPUtime=402.33 cores=1,3,5,7
/proc/26710/stat : 26710 (xcsp_picat) R 26707 26710 22075 0 -1 4202496 59261 0 0 0 40219 14 0 0 20 0 1 0 410378616 2147872768 23334 33554432000 4194304 5870510 140723040993472 140723040992040 5282767 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 33816576 140723040998431 140723040998509 140723040998509 140723041001418 0
/proc/26710/statm: 524383 23334 985 410 0 519856 0
Current children cumulated CPU time: 402.33 s
Current children cumulated vsize: 2097532 KiB
Current children cumulated memory: 93336 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 26750
/proc/meminfo: memFree=30127724/32770624 swapFree=67001704/67108860
[pid=26710] ppid=26707 vsize=2111276 memory=107048 CPUtime=462.33 cores=1,3,5,7
/proc/26710/stat : 26710 (xcsp_picat) R 26707 26710 22075 0 -1 4202496 60198 0 0 0 46219 14 0 0 20 0 1 0 410378616 2161946624 26762 33554432000 4194304 5870510 140723040993472 140723040992040 5276836 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 33816576 140723040998431 140723040998509 140723040998509 140723041001418 0
/proc/26710/statm: 527819 26762 985 410 0 523292 0
Current children cumulated CPU time: 462.33 s
Current children cumulated vsize: 2111276 KiB
Current children cumulated memory: 107048 KiB
################
# More data... #
################
/proc/26710/statm: 533148 30413 985 410 0 528621 0
Current children cumulated CPU time: 1602.44 s
Current children cumulated vsize: 2132592 KiB
Current children cumulated memory: 121652 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.06 3/199 26918
/proc/meminfo: memFree=29344876/32770624 swapFree=67001716/67108860
[pid=26710] ppid=26707 vsize=2153004 memory=151316 CPUtime=1662.44 cores=1,3,5,7
/proc/26710/stat : 26710 (xcsp_picat) R 26707 26710 22075 0 -1 4202496 81047 0 0 0 166225 19 0 0 20 0 1 0 410378616 2204676096 37829 33554432000 4194304 5870510 140723040993472 140723040992040 5282464 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 33816576 140723040998431 140723040998509 140723040998509 140723041001418 0
/proc/26710/statm: 538251 37829 985 410 0 533724 0
Current children cumulated CPU time: 1662.44 s
Current children cumulated vsize: 2153004 KiB
Current children cumulated memory: 151316 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 26924
/proc/meminfo: memFree=29296784/32770624 swapFree=67001716/67108860
[pid=26710] ppid=26707 vsize=2153004 memory=153448 CPUtime=1722.46 cores=1,3,5,7
/proc/26710/stat : 26710 (xcsp_picat) R 26707 26710 22075 0 -1 4202496 83072 0 0 0 172226 20 0 0 20 0 1 0 410378616 2204676096 38362 33554432000 4194304 5870510 140723040993472 140723040992040 5282464 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 33816576 140723040998431 140723040998509 140723040998509 140723041001418 0
/proc/26710/statm: 538251 38362 985 410 0 533724 0
Current children cumulated CPU time: 1722.46 s
Current children cumulated vsize: 2153004 KiB
Current children cumulated memory: 153448 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 26937
/proc/meminfo: memFree=29300024/32770624 swapFree=67001728/67108860
[pid=26710] ppid=26707 vsize=2153004 memory=153448 CPUtime=1782.46 cores=1,3,5,7
/proc/26710/stat : 26710 (xcsp_picat) R 26707 26710 22075 0 -1 4202496 84407 0 0 0 178226 20 0 0 20 0 1 0 410378616 2204676096 38362 33554432000 4194304 5870510 140723040993472 140723040992040 5282709 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 33816576 140723040998431 140723040998509 140723040998509 140723041001418 0
/proc/26710/statm: 538251 38362 985 410 0 533724 0
Current children cumulated CPU time: 1782.46 s
Current children cumulated vsize: 2153004 KiB
Current children cumulated memory: 153448 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 26941
/proc/meminfo: memFree=29282580/32770624 swapFree=67001728/67108860
[pid=26710] ppid=26707 vsize=2153004 memory=154236 CPUtime=1842.46 cores=1,3,5,7
/proc/26710/stat : 26710 (xcsp_picat) R 26707 26710 22075 0 -1 4202496 84675 0 0 0 184226 20 0 0 20 0 1 0 410378616 2204676096 38559 33554432000 4194304 5870510 140723040993472 140723040992040 5272673 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 33816576 140723040998431 140723040998509 140723040998509 140723041001418 0
/proc/26710/statm: 538251 38559 985 410 0 533724 0
Current children cumulated CPU time: 1842.46 s
Current children cumulated vsize: 2153004 KiB
Current children cumulated memory: 154236 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 26947
/proc/meminfo: memFree=29291308/32770624 swapFree=67001728/67108860
[pid=26710] ppid=26707 vsize=2153004 memory=154364 CPUtime=1902.47 cores=1,3,5,7
/proc/26710/stat : 26710 (xcsp_picat) R 26707 26710 22075 0 -1 4202496 84690 0 0 0 190227 20 0 0 20 0 1 0 410378616 2204676096 38591 33554432000 4194304 5870510 140723040993472 140723040992040 5282747 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 33816576 140723040998431 140723040998509 140723040998509 140723041001418 0
/proc/26710/statm: 538251 38591 985 410 0 533724 0
Current children cumulated CPU time: 1902.47 s
Current children cumulated vsize: 2153004 KiB
Current children cumulated memory: 154364 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 26951
/proc/meminfo: memFree=29296040/32770624 swapFree=67001728/67108860
[pid=26710] ppid=26707 vsize=2153004 memory=154364 CPUtime=1962.48 cores=1,3,5,7
/proc/26710/stat : 26710 (xcsp_picat) R 26707 26710 22075 0 -1 4202496 87322 0 0 0 196228 20 0 0 20 0 1 0 410378616 2204676096 38591 33554432000 4194304 5870510 140723040993472 140723040992040 5282382 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 33816576 140723040998431 140723040998509 140723040998509 140723041001418 0
/proc/26710/statm: 538251 38591 985 410 0 533724 0
Current children cumulated CPU time: 1962.48 s
Current children cumulated vsize: 2153004 KiB
Current children cumulated memory: 154364 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 26955
/proc/meminfo: memFree=29382456/32770624 swapFree=67001728/67108860
[pid=26710] ppid=26707 vsize=2066492 memory=66220 CPUtime=2022.48 cores=1,3,5,7
/proc/26710/stat : 26710 (xcsp_picat) R 26707 26710 22075 0 -1 4202496 89779 0 0 0 202227 21 0 0 20 0 1 0 410378616 2116087808 16555 33554432000 4194304 5870510 140723040993472 140723040992040 5274487 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 33816576 140723040998431 140723040998509 140723040998509 140723041001418 0
/proc/26710/statm: 516623 16555 985 410 0 512096 0
Current children cumulated CPU time: 2022.48 s
Current children cumulated vsize: 2066492 KiB
Current children cumulated memory: 66220 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 26962
/proc/meminfo: memFree=29348440/32770624 swapFree=67001728/67108860
[pid=26710] ppid=26707 vsize=2116832 memory=104080 CPUtime=2082.49 cores=1,3,5,7
/proc/26710/stat : 26710 (xcsp_picat) R 26707 26710 22075 0 -1 4202496 92197 0 0 0 208227 22 0 0 20 0 1 0 410378616 2167635968 26020 33554432000 4194304 5870510 140723040993472 140723040991912 5262735 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 33816576 140723040998431 140723040998509 140723040998509 140723041001418 0
/proc/26710/statm: 529208 26020 985 410 0 524681 0
Current children cumulated CPU time: 2082.49 s
Current children cumulated vsize: 2116832 KiB
Current children cumulated memory: 104080 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 26966
/proc/meminfo: memFree=29342412/32770624 swapFree=67001728/67108860
[pid=26710] ppid=26707 vsize=2116832 memory=112484 CPUtime=2142.5 cores=1,3,5,7
/proc/26710/stat : 26710 (xcsp_picat) R 26707 26710 22075 0 -1 4202496 92201 0 0 0 214228 22 0 0 20 0 1 0 410378616 2167635968 28121 33554432000 4194304 5870510 140723040993472 140723040991912 5272516 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 33816576 140723040998431 140723040998509 140723040998509 140723041001418 0
/proc/26710/statm: 529208 28121 985 410 0 524681 0
Current children cumulated CPU time: 2142.5 s
Current children cumulated vsize: 2116832 KiB
Current children cumulated memory: 112484 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 26970
/proc/meminfo: memFree=29331840/32770624 swapFree=67001728/67108860
[pid=26710] ppid=26707 vsize=2117948 memory=116604 CPUtime=2202.5 cores=1,3,5,7
/proc/26710/stat : 26710 (xcsp_picat) R 26707 26710 22075 0 -1 4202496 94391 0 0 0 220228 22 0 0 20 0 1 0 410378616 2168778752 29151 33554432000 4194304 5870510 140723040993472 140723040992040 5282590 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 33816576 140723040998431 140723040998509 140723040998509 140723041001418 0
/proc/26710/statm: 529487 29151 985 410 0 524960 0
Current children cumulated CPU time: 2202.5 s
Current children cumulated vsize: 2117948 KiB
Current children cumulated memory: 116604 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 26977
/proc/meminfo: memFree=29295948/32770624 swapFree=67001728/67108860
[pid=26710] ppid=26707 vsize=2129496 memory=130824 CPUtime=2262.51 cores=1,3,5,7
/proc/26710/stat : 26710 (xcsp_picat) R 26707 26710 22075 0 -1 4202496 98039 0 0 0 226228 23 0 0 20 0 1 0 410378616 2180603904 32706 33554432000 4194304 5870510 140723040993472 140723040992040 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 33816576 140723040998431 140723040998509 140723040998509 140723041001418 0
/proc/26710/statm: 532374 32706 985 410 0 527847 0
Current children cumulated CPU time: 2262.51 s
Current children cumulated vsize: 2129496 KiB
Current children cumulated memory: 130824 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 26981
/proc/meminfo: memFree=29318032/32770624 swapFree=67001728/67108860
[pid=26710] ppid=26707 vsize=2097992 memory=99252 CPUtime=2322.51 cores=1,3,5,7
/proc/26710/stat : 26710 (xcsp_picat) R 26707 26710 22075 0 -1 4202496 103236 0 0 0 232226 25 0 0 20 0 1 0 410378616 2148343808 24813 33554432000 4194304 5870510 140723040993472 140723040992040 5272987 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 33816576 140723040998431 140723040998509 140723040998509 140723041001418 0
/proc/26710/statm: 524498 24813 985 410 0 519971 0
Current children cumulated CPU time: 2322.51 s
Current children cumulated vsize: 2097992 KiB
Current children cumulated memory: 99252 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 26993
/proc/meminfo: memFree=29314216/32770624 swapFree=67001740/67108860
[pid=26710] ppid=26707 vsize=2110668 memory=112004 CPUtime=2382.52 cores=1,3,5,7
/proc/26710/stat : 26710 (xcsp_picat) R 26707 26710 22075 0 -1 4202496 104406 0 0 0 238226 26 0 0 20 0 1 0 410378616 2161324032 28001 33554432000 4194304 5870510 140723040993472 140723040992040 5282509 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 33816576 140723040998431 140723040998509 140723040998509 140723041001418 0
/proc/26710/statm: 527667 28001 985 410 0 523140 0
Current children cumulated CPU time: 2382.52 s
Current children cumulated vsize: 2110668 KiB
Current children cumulated memory: 112004 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 26995
/proc/meminfo: memFree=29297964/32770624 swapFree=67001740/67108860
[pid=26710] ppid=26707 vsize=2110668 memory=112004 CPUtime=2400.02 cores=1,3,5,7
/proc/26710/stat : 26710 (xcsp_picat) R 26707 26710 22075 0 -1 4202496 104406 0 0 0 239976 26 0 0 20 0 1 0 410378616 2161324032 28001 33554432000 4194304 5870510 140723040993472 140723040992040 5274503 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 33816576 140723040998431 140723040998509 140723040998509 140723041001418 0
/proc/26710/statm: 527667 28001 985 410 0 523140 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 2110668 KiB
Current children cumulated memory: 112004 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2399.8 s]
# the end of solver process 26710 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.77 s, system=0.264026 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): 2399.8
CPU time (s): 2400.03
CPU user time (s): 2399.77
CPU system time (s): 0.264026
CPU usage (%): 100.01
Max. virtual memory (cumulated for all children) (KiB): 2170684
Max. memory (cumulated for all children) (KiB): 157540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.77
system time used= 0.264026
maximum resident set size= 157540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104406
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= 11
involuntary context switches= 901
# summary of solver processes directly reported to runsolver:
# pid: 26710
# total CPU time (s): 2400.03
# total CPU user time (s): 2399.77
# total CPU system time (s): 0.264026
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.76105 second user time and 18.2208 second system time
The end