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 (11108 MiB free)
memory of node 1: 16384 MiB (11882 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395392-1568327460/watcher-4395392-1568327460 -o /tmp/evaluation-result-4395392-1568327460/solver-4395392-1568327460 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568322189-24245 --watchdog 2580 xcsp_picat HOME/instance-4395392-1568327460.xml
running on 4 cores: 0,2,4,6
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
solver pid=26123, runsolver pid=26120
Current StackSize limit: 8192 KiB
[startup+0.100737 s]*
/proc/loadavg: 2.00 2.01 2.05 3/201 26124
/proc/meminfo: memFree=23518132/32770624 swapFree=66952812/67108860
[pid=26123] ppid=26120 vsize=2040944 memory=28916 CPUtime=0.1 cores=0,2,4,6
/proc/26123/stat : 26123 (xcsp_picat) R 26120 26123 24214 0 -1 4202496 3347 0 0 0 9 1 0 0 20 0 1 0 408687953 2089926656 7229 33554432000 4194304 5870510 140735444300224 140735444299384 139853212000135 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18132992 140735444309023 140735444309101 140735444309101 140735444312010 0
/proc/26123/statm: 510236 7229 951 410 0 505709 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2040944 KiB
Current children cumulated memory: 28916 KiB
[startup+0.20966 s]*
/proc/loadavg: 2.00 2.01 2.05 3/201 26124
/proc/meminfo: memFree=23517884/32770624 swapFree=66952812/67108860
[pid=26123] ppid=26120 vsize=2041068 memory=29160 CPUtime=0.21 cores=0,2,4,6
/proc/26123/stat : 26123 (xcsp_picat) R 26120 26123 24214 0 -1 4202496 3411 0 0 0 20 1 0 0 20 0 1 0 408687953 2090053632 7290 33554432000 4194304 5870510 140735444300224 140735444299464 139853212000135 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18132992 140735444309023 140735444309101 140735444309101 140735444312010 0
/proc/26123/statm: 510267 7290 970 410 0 505740 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2041068 KiB
Current children cumulated memory: 29160 KiB
[startup+0.309015 s]*
/proc/loadavg: 2.00 2.01 2.05 3/201 26124
/proc/meminfo: memFree=23517884/32770624 swapFree=66952812/67108860
[pid=26123] ppid=26120 vsize=2041228 memory=29656 CPUtime=0.31 cores=0,2,4,6
/proc/26123/stat : 26123 (xcsp_picat) R 26120 26123 24214 0 -1 4202496 3523 0 0 0 30 1 0 0 20 0 1 0 408687953 2090217472 7414 33554432000 4194304 5870510 140735444300224 140735444299464 139853212000135 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18132992 140735444309023 140735444309101 140735444309101 140735444312010 0
/proc/26123/statm: 510307 7414 970 410 0 505780 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2041228 KiB
Current children cumulated memory: 29656 KiB
[startup+0.700231 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 26124
/proc/meminfo: memFree=23516424/32770624 swapFree=66952812/67108860
[pid=26123] ppid=26120 vsize=2042468 memory=31312 CPUtime=0.68 cores=0,2,4,6
/proc/26123/stat : 26123 (xcsp_picat) R 26120 26123 24214 0 -1 4202496 3982 0 0 0 66 2 0 0 20 0 1 0 408687953 2091487232 7828 33554432000 4194304 5870510 140735444300224 140735444299464 139853212000135 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18132992 140735444309023 140735444309101 140735444309101 140735444312010 0
/proc/26123/statm: 510617 7828 970 410 0 506090 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2042468 KiB
Current children cumulated memory: 31312 KiB
[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 26124
/proc/meminfo: memFree=23505944/32770624 swapFree=66952812/67108860
[pid=26123] ppid=26120 vsize=2051772 memory=40940 CPUtime=1.48 cores=0,2,4,6
/proc/26123/stat : 26123 (xcsp_picat) R 26120 26123 24214 0 -1 4202496 6099 0 0 0 145 3 0 0 20 0 1 0 408687953 2101014528 10235 33554432000 4194304 5870510 140735444300224 140735444299320 5562059 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18132992 140735444309023 140735444309101 140735444309101 140735444312010 0
/proc/26123/statm: 512943 10235 972 410 0 508416 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2051772 KiB
Current children cumulated memory: 40940 KiB
[startup+3.10901 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 26124
/proc/meminfo: memFree=23503936/32770624 swapFree=66952812/67108860
[pid=26123] ppid=26120 vsize=2051912 memory=41080 CPUtime=3.09 cores=0,2,4,6
/proc/26123/stat : 26123 (xcsp_picat) R 26120 26123 24214 0 -1 4202496 6424 0 0 0 306 3 0 0 20 0 1 0 408687953 2101157888 10270 33554432000 4194304 5870510 140735444300224 140735444299320 5476966 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18132992 140735444309023 140735444309101 140735444309101 140735444312010 0
/proc/26123/statm: 512978 10270 972 410 0 508451 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2051912 KiB
Current children cumulated memory: 41080 KiB
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 26124
/proc/meminfo: memFree=23503364/32770624 swapFree=66952812/67108860
[pid=26123] ppid=26120 vsize=2051912 memory=41204 CPUtime=6.28 cores=0,2,4,6
/proc/26123/stat : 26123 (xcsp_picat) R 26120 26123 24214 0 -1 4202496 6950 0 0 0 624 4 0 0 20 0 1 0 408687953 2101157888 10301 33554432000 4194304 5870510 140735444300224 140735444299320 5495085 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18132992 140735444309023 140735444309101 140735444309101 140735444312010 0
/proc/26123/statm: 512978 10301 972 410 0 508451 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2051912 KiB
Current children cumulated memory: 41204 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 26124
/proc/meminfo: memFree=23501056/32770624 swapFree=66952812/67108860
[pid=26123] ppid=26120 vsize=2052472 memory=42068 CPUtime=12.68 cores=0,2,4,6
/proc/26123/stat : 26123 (xcsp_picat) R 26120 26123 24214 0 -1 4202496 8967 0 0 0 1264 4 0 0 20 0 1 0 408687953 2101731328 10517 33554432000 4194304 5870510 140735444300224 140735444299400 5477031 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18132992 140735444309023 140735444309101 140735444309101 140735444312010 0
/proc/26123/statm: 513118 10517 972 410 0 508591 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2052472 KiB
Current children cumulated memory: 42068 KiB
[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 26126
/proc/meminfo: memFree=23492604/32770624 swapFree=66952812/67108860
[pid=26123] ppid=26120 vsize=2052924 memory=44636 CPUtime=25.48 cores=0,2,4,6
/proc/26123/stat : 26123 (xcsp_picat) R 26120 26123 24214 0 -1 4202496 10536 0 0 0 2543 5 0 0 20 0 1 0 408687953 2102194176 11159 33554432000 4194304 5870510 140735444300224 140735444299320 5562064 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18132992 140735444309023 140735444309101 140735444309101 140735444312010 0
/proc/26123/statm: 513231 11159 972 410 0 508704 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2052924 KiB
Current children cumulated memory: 44636 KiB
[startup+51.1096 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 26126
/proc/meminfo: memFree=23486424/32770624 swapFree=66952812/67108860
[pid=26123] ppid=26120 vsize=2082112 memory=74168 CPUtime=51.08 cores=0,2,4,6
/proc/26123/stat : 26123 (xcsp_picat) R 26120 26123 24214 0 -1 4202496 25105 0 0 0 5101 7 0 0 20 0 1 0 408687953 2132082688 18542 33554432000 4194304 5870510 140735444300224 140735444298792 5272962 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18132992 140735444309023 140735444309101 140735444309101 140735444312010 0
/proc/26123/statm: 520528 18542 1004 410 0 516001 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 2082112 KiB
Current children cumulated memory: 74168 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 26130
/proc/meminfo: memFree=23483260/32770624 swapFree=66952812/67108860
[pid=26123] ppid=26120 vsize=2098260 memory=89240 CPUtime=102.27 cores=0,2,4,6
/proc/26123/stat : 26123 (xcsp_picat) R 26120 26123 24214 0 -1 4202496 36558 0 0 0 10219 8 0 0 20 0 1 0 408687953 2148618240 22310 33554432000 4194304 5870510 140735444300224 140735444298792 5288933 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18132992 140735444309023 140735444309101 140735444309101 140735444312010 0
/proc/26123/statm: 524565 22310 1004 410 0 520038 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2098260 KiB
Current children cumulated memory: 89240 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 26136
/proc/meminfo: memFree=23430544/32770624 swapFree=66952812/67108860
[pid=26123] ppid=26120 vsize=2118436 memory=110604 CPUtime=162.26 cores=0,2,4,6
/proc/26123/stat : 26123 (xcsp_picat) R 26120 26123 24214 0 -1 4202496 44367 0 0 0 16217 9 0 0 20 0 1 0 408687953 2169278464 27651 33554432000 4194304 5870510 140735444300224 140735444298792 5272433 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18132992 140735444309023 140735444309101 140735444309101 140735444312010 0
/proc/26123/statm: 529609 27651 1004 410 0 525082 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 2118436 KiB
Current children cumulated memory: 110604 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 26140
/proc/meminfo: memFree=23439220/32770624 swapFree=66952812/67108860
[pid=26123] ppid=26120 vsize=2118436 memory=110608 CPUtime=222.24 cores=0,2,4,6
/proc/26123/stat : 26123 (xcsp_picat) R 26120 26123 24214 0 -1 4202496 49155 0 0 0 22215 9 0 0 20 0 1 0 408687953 2169278464 27652 33554432000 4194304 5870510 140735444300224 140735444298792 5282606 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18132992 140735444309023 140735444309101 140735444309101 140735444312010 0
/proc/26123/statm: 529609 27652 1004 410 0 525082 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 2118436 KiB
Current children cumulated memory: 110608 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 26144
/proc/meminfo: memFree=23442760/32770624 swapFree=66952812/67108860
[pid=26123] ppid=26120 vsize=2118436 memory=110608 CPUtime=282.24 cores=0,2,4,6
/proc/26123/stat : 26123 (xcsp_picat) R 26120 26123 24214 0 -1 4202496 51295 0 0 0 28214 10 0 0 20 0 1 0 408687953 2169278464 27652 33554432000 4194304 5870510 140735444300224 140735444298792 5283024 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18132992 140735444309023 140735444309101 140735444309101 140735444312010 0
/proc/26123/statm: 529609 27652 1004 410 0 525082 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 2118436 KiB
Current children cumulated memory: 110608 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 26150
/proc/meminfo: memFree=23417796/32770624 swapFree=66952812/67108860
[pid=26123] ppid=26120 vsize=2118436 memory=110612 CPUtime=342.22 cores=0,2,4,6
/proc/26123/stat : 26123 (xcsp_picat) R 26120 26123 24214 0 -1 4202496 57489 0 0 0 34212 10 0 0 20 0 1 0 408687953 2169278464 27653 33554432000 4194304 5870510 140735444300224 140735444298792 5283106 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18132992 140735444309023 140735444309101 140735444309101 140735444312010 0
/proc/26123/statm: 529609 27653 1004 410 0 525082 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 2118436 KiB
Current children cumulated memory: 110612 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 26154
/proc/meminfo: memFree=23455316/32770624 swapFree=66952812/67108860
[pid=26123] ppid=26120 vsize=2118436 memory=110612 CPUtime=402.21 cores=0,2,4,6
/proc/26123/stat : 26123 (xcsp_picat) R 26120 26123 24214 0 -1 4202496 58079 0 0 0 40211 10 0 0 20 0 1 0 408687953 2169278464 27653 33554432000 4194304 5870510 140735444300224 140735444298792 5282606 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18132992 140735444309023 140735444309101 140735444309101 140735444312010 0
/proc/26123/statm: 529609 27653 1004 410 0 525082 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 2118436 KiB
Current children cumulated memory: 110612 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 26158
/proc/meminfo: memFree=23438648/32770624 swapFree=66952812/67108860
[pid=26123] ppid=26120 vsize=2137288 memory=119968 CPUtime=462.2 cores=0,2,4,6
/proc/26123/stat : 26123 (xcsp_picat) R 26120 26123 24214 0 -1 4202496 64582 0 0 0 46208 12 0 0 20 0 1 0 408687953 2188582912 29992 33554432000 4194304 5870510 140735444300224 140735444298664 5283280 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18132992 140735444309023 140735444309101 140735444309101 140735444312010 0
/proc/26123/statm: 534322 29992 1004 410 0 529795 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 2137288 KiB
Current children cumulated memory: 119968 KiB
################
# More data... #
################
/proc/26123/statm: 544039 42652 1004 410 0 539512 0
Current children cumulated CPU time: 1722 s
Current children cumulated vsize: 2176156 KiB
Current children cumulated memory: 170608 KiB
[startup+1782.3 s]
/proc/loadavg: 2.06 2.13 2.12 3/199 26341
/proc/meminfo: memFree=25471780/32770624 swapFree=66952812/67108860
[pid=26123] ppid=26120 vsize=2176156 memory=170608 CPUtime=1782 cores=0,2,4,6
/proc/26123/stat : 26123 (xcsp_picat) R 26120 26123 24214 0 -1 4202496 104211 0 0 0 178182 18 0 0 20 0 1 0 408687953 2228383744 42652 33554432000 4194304 5870510 140735444300224 140735444298792 5292256 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18132992 140735444309023 140735444309101 140735444309101 140735444312010 0
/proc/26123/statm: 544039 42652 1004 410 0 539512 0
Current children cumulated CPU time: 1782 s
Current children cumulated vsize: 2176156 KiB
Current children cumulated memory: 170608 KiB
[startup+1842.3 s]
/proc/loadavg: 2.02 2.10 2.12 3/200 26353
/proc/meminfo: memFree=25485128/32770624 swapFree=66952812/67108860
[pid=26123] ppid=26120 vsize=2176156 memory=170608 CPUtime=1842 cores=0,2,4,6
/proc/26123/stat : 26123 (xcsp_picat) R 26120 26123 24214 0 -1 4202496 105462 0 0 0 184182 18 0 0 20 0 1 0 408687953 2228383744 42652 33554432000 4194304 5870510 140735444300224 140735444298792 5282606 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18132992 140735444309023 140735444309101 140735444309101 140735444312010 0
/proc/26123/statm: 544039 42652 1004 410 0 539512 0
Current children cumulated CPU time: 1842 s
Current children cumulated vsize: 2176156 KiB
Current children cumulated memory: 170608 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.09 2.11 3/200 26382
/proc/meminfo: memFree=25481244/32770624 swapFree=66952812/67108860
[pid=26123] ppid=26120 vsize=2176156 memory=170720 CPUtime=1901.99 cores=0,2,4,6
/proc/26123/stat : 26123 (xcsp_picat) R 26120 26123 24214 0 -1 4202496 107662 0 0 0 190181 18 0 0 20 0 1 0 408687953 2228383744 42680 33554432000 4194304 5870510 140735444300224 140735444298792 5282590 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18132992 140735444309023 140735444309101 140735444309101 140735444312010 0
/proc/26123/statm: 544039 42680 1004 410 0 539512 0
Current children cumulated CPU time: 1901.99 s
Current children cumulated vsize: 2176156 KiB
Current children cumulated memory: 170720 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.07 2.11 3/200 26388
/proc/meminfo: memFree=25441936/32770624 swapFree=66952812/67108860
[pid=26123] ppid=26120 vsize=2176156 memory=170720 CPUtime=1961.99 cores=0,2,4,6
/proc/26123/stat : 26123 (xcsp_picat) R 26120 26123 24214 0 -1 4202496 107753 0 0 0 196181 18 0 0 20 0 1 0 408687953 2228383744 42680 33554432000 4194304 5870510 140735444300224 140735444298792 5282606 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18132992 140735444309023 140735444309101 140735444309101 140735444312010 0
/proc/26123/statm: 544039 42680 1004 410 0 539512 0
Current children cumulated CPU time: 1961.99 s
Current children cumulated vsize: 2176156 KiB
Current children cumulated memory: 170720 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.06 2.10 3/200 26392
/proc/meminfo: memFree=25411892/32770624 swapFree=66952812/67108860
[pid=26123] ppid=26120 vsize=2176156 memory=170720 CPUtime=2021.99 cores=0,2,4,6
/proc/26123/stat : 26123 (xcsp_picat) R 26120 26123 24214 0 -1 4202496 108437 0 0 0 202181 18 0 0 20 0 1 0 408687953 2228383744 42680 33554432000 4194304 5870510 140735444300224 140735444298792 5274736 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18132992 140735444309023 140735444309101 140735444309101 140735444312010 0
/proc/26123/statm: 544039 42680 1004 410 0 539512 0
Current children cumulated CPU time: 2021.99 s
Current children cumulated vsize: 2176156 KiB
Current children cumulated memory: 170720 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.05 2.10 3/201 26397
/proc/meminfo: memFree=25448832/32770624 swapFree=66952812/67108860
[pid=26123] ppid=26120 vsize=2176156 memory=170720 CPUtime=2081.99 cores=0,2,4,6
/proc/26123/stat : 26123 (xcsp_picat) R 26120 26123 24214 0 -1 4202496 109485 0 0 0 208181 18 0 0 20 0 1 0 408687953 2228383744 42680 33554432000 4194304 5870510 140735444300224 140735444298792 5283116 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18132992 140735444309023 140735444309101 140735444309101 140735444312010 0
/proc/26123/statm: 544039 42680 1004 410 0 539512 0
Current children cumulated CPU time: 2081.99 s
Current children cumulated vsize: 2176156 KiB
Current children cumulated memory: 170720 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.04 2.09 3/200 26403
/proc/meminfo: memFree=25501116/32770624 swapFree=66952812/67108860
[pid=26123] ppid=26120 vsize=2176156 memory=170720 CPUtime=2141.98 cores=0,2,4,6
/proc/26123/stat : 26123 (xcsp_picat) R 26120 26123 24214 0 -1 4202496 110350 0 0 0 214180 18 0 0 20 0 1 0 408687953 2228383744 42680 33554432000 4194304 5870510 140735444300224 140735444298792 5262649 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18132992 140735444309023 140735444309101 140735444309101 140735444312010 0
/proc/26123/statm: 544039 42680 1004 410 0 539512 0
Current children cumulated CPU time: 2141.98 s
Current children cumulated vsize: 2176156 KiB
Current children cumulated memory: 170720 KiB
[startup+2202.3 s]
/proc/loadavg: 2.03 2.04 2.09 3/200 26407
/proc/meminfo: memFree=25495392/32770624 swapFree=66952812/67108860
[pid=26123] ppid=26120 vsize=2176156 memory=170720 CPUtime=2201.98 cores=0,2,4,6
/proc/26123/stat : 26123 (xcsp_picat) R 26120 26123 24214 0 -1 4202496 111605 0 0 0 220179 19 0 0 20 0 1 0 408687953 2228383744 42680 33554432000 4194304 5870510 140735444300224 140735444298792 5281722 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18132992 140735444309023 140735444309101 140735444309101 140735444312010 0
/proc/26123/statm: 544039 42680 1004 410 0 539512 0
Current children cumulated CPU time: 2201.98 s
Current children cumulated vsize: 2176156 KiB
Current children cumulated memory: 170720 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.04 2.08 3/200 26411
/proc/meminfo: memFree=25476104/32770624 swapFree=66952812/67108860
[pid=26123] ppid=26120 vsize=2176156 memory=170720 CPUtime=2261.98 cores=0,2,4,6
/proc/26123/stat : 26123 (xcsp_picat) R 26120 26123 24214 0 -1 4202496 112474 0 0 0 226179 19 0 0 20 0 1 0 408687953 2228383744 42680 33554432000 4194304 5870510 140735444300224 140735444298792 5282606 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18132992 140735444309023 140735444309101 140735444309101 140735444312010 0
/proc/26123/statm: 544039 42680 1004 410 0 539512 0
Current children cumulated CPU time: 2261.98 s
Current children cumulated vsize: 2176156 KiB
Current children cumulated memory: 170720 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.08 3/200 26417
/proc/meminfo: memFree=25471904/32770624 swapFree=66952812/67108860
[pid=26123] ppid=26120 vsize=2176156 memory=170720 CPUtime=2321.98 cores=0,2,4,6
/proc/26123/stat : 26123 (xcsp_picat) R 26120 26123 24214 0 -1 4202496 113596 0 0 0 232179 19 0 0 20 0 1 0 408687953 2228383744 42680 33554432000 4194304 5870510 140735444300224 140735444298792 5282251 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18132992 140735444309023 140735444309101 140735444309101 140735444312010 0
/proc/26123/statm: 544039 42680 1004 410 0 539512 0
Current children cumulated CPU time: 2321.98 s
Current children cumulated vsize: 2176156 KiB
Current children cumulated memory: 170720 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.07 3/199 26421
/proc/meminfo: memFree=25467760/32770624 swapFree=66952812/67108860
[pid=26123] ppid=26120 vsize=2176156 memory=170720 CPUtime=2381.98 cores=0,2,4,6
/proc/26123/stat : 26123 (xcsp_picat) R 26120 26123 24214 0 -1 4202496 115093 0 0 0 238179 19 0 0 20 0 1 0 408687953 2228383744 42680 33554432000 4194304 5870510 140735444300224 140735444298792 139853211550595 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18132992 140735444309023 140735444309101 140735444309101 140735444312010 0
/proc/26123/statm: 544039 42680 1004 410 0 539512 0
Current children cumulated CPU time: 2381.98 s
Current children cumulated vsize: 2176156 KiB
Current children cumulated memory: 170720 KiB
[startup+2442.3 s]
/proc/loadavg: 2.05 2.04 2.07 3/199 26432
/proc/meminfo: memFree=25486868/32770624 swapFree=66952812/67108860
[pid=26123] ppid=26120 vsize=2176156 memory=170720 CPUtime=2441.97 cores=0,2,4,6
/proc/26123/stat : 26123 (xcsp_picat) R 26120 26123 24214 0 -1 4202496 115525 0 0 0 244178 19 0 0 20 0 1 0 408687953 2228383744 42680 33554432000 4194304 5870510 140735444300224 140735444298792 5282505 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18132992 140735444309023 140735444309101 140735444309101 140735444312010 0
/proc/26123/statm: 544039 42680 1004 410 0 539512 0
Current children cumulated CPU time: 2441.97 s
Current children cumulated vsize: 2176156 KiB
Current children cumulated memory: 170720 KiB
[startup+2502.3 s]
/proc/loadavg: 2.05 2.04 2.07 3/198 26438
/proc/meminfo: memFree=25478712/32770624 swapFree=66952812/67108860
[pid=26123] ppid=26120 vsize=2176156 memory=170720 CPUtime=2501.97 cores=0,2,4,6
/proc/26123/stat : 26123 (xcsp_picat) R 26120 26123 24214 0 -1 4202496 117073 0 0 0 250178 19 0 0 20 0 1 0 408687953 2228383744 42680 33554432000 4194304 5870510 140735444300224 140735444298792 5283064 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18132992 140735444309023 140735444309101 140735444309101 140735444312010 0
/proc/26123/statm: 544039 42680 1004 410 0 539512 0
Current children cumulated CPU time: 2501.97 s
Current children cumulated vsize: 2176156 KiB
Current children cumulated memory: 170720 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.10 2.06 2.07 3/199 26439
/proc/meminfo: memFree=25488164/32770624 swapFree=66952812/67108860
[pid=26123] ppid=26120 vsize=2176156 memory=170720 CPUtime=2519.68 cores=0,2,4,6
/proc/26123/stat : 26123 (xcsp_picat) R 26120 26123 24214 0 -1 4202496 117323 0 0 0 251949 19 0 0 20 0 1 0 408687953 2228383744 42680 33554432000 4194304 5870510 140735444300224 140735444298792 5282568 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18132992 140735444309023 140735444309101 140735444309101 140735444312010 0
/proc/26123/statm: 544039 42680 1004 410 0 539512 0
Current children cumulated CPU time: 2519.68 s
Current children cumulated vsize: 2176156 KiB
Current children cumulated memory: 170720 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 26123 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.49 s, system=0.196976 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.69
CPU user time (s): 2519.49
CPU system time (s): 0.196976
CPU usage (%): 99.9873
Max. virtual memory (cumulated for all children) (KiB): 2176156
Max. memory (cumulated for all children) (KiB): 170720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.49
system time used= 0.196976
maximum resident set size= 170720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117323
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= 1734
# summary of solver processes directly reported to runsolver:
# pid: 26123
# total CPU time (s): 2519.69
# total CPU user time (s): 2519.49
# total CPU system time (s): 0.196976
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.68639 second user time and 18.2328 second system time
The end