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 (14667 MiB free)
memory of node 1: 16384 MiB (14066 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394878-1568324775/watcher-4394878-1568324775 -o /tmp/evaluation-result-4394878-1568324775/solver-4394878-1568324775 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568322174-14885 --watchdog 2580 xcsp_picat HOME/instance-4394878-1568324775.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
Current StackSize limit: 8192 KiB
solver pid=15708, runsolver pid=15705
[startup+0.100111 s]*
/proc/loadavg: 2.05 2.01 1.97 3/205 15709
/proc/meminfo: memFree=29409348/32770624 swapFree=67008680/67108860
[pid=15708] ppid=15705 vsize=2031716 memory=18088 CPUtime=0.1 cores=0,2,4,6
/proc/15708/stat : 15708 (xcsp_picat) R 15705 15708 14854 0 -1 4202496 1629 0 0 0 10 0 0 0 20 0 1 0 408400226 2080477184 4522 33554432000 4194304 5870510 140726297513712 140726297510856 4461514 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32169984 140726297515039 140726297515117 140726297515117 140726297518026 0
/proc/15708/statm: 507929 4522 839 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 18088 KiB
[startup+0.210264 s]*
/proc/loadavg: 2.05 2.01 1.97 4/205 15709
/proc/meminfo: memFree=29403204/32770624 swapFree=67008680/67108860
[pid=15708] ppid=15705 vsize=2031716 memory=24232 CPUtime=0.21 cores=0,2,4,6
/proc/15708/stat : 15708 (xcsp_picat) R 15705 15708 14854 0 -1 4202496 1632 0 0 0 21 0 0 0 20 0 1 0 408400226 2080477184 6058 33554432000 4194304 5870510 140726297513712 140726297510856 4495454 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32169984 140726297515039 140726297515117 140726297515117 140726297518026 0
/proc/15708/statm: 507929 6058 839 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 24232 KiB
[startup+0.309957 s]*
/proc/loadavg: 2.05 2.01 1.97 3/205 15709
/proc/meminfo: memFree=29396140/32770624 swapFree=67008680/67108860
[pid=15708] ppid=15705 vsize=2031716 memory=30376 CPUtime=0.31 cores=0,2,4,6
/proc/15708/stat : 15708 (xcsp_picat) R 15705 15708 14854 0 -1 4202496 1635 0 0 0 31 0 0 0 20 0 1 0 408400226 2080477184 7594 33554432000 4194304 5870510 140726297513712 140726297510856 140011977731072 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32169984 140726297515039 140726297515117 140726297515117 140726297518026 0
/proc/15708/statm: 507929 7594 839 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 30376 KiB
[startup+0.700291 s]
/proc/loadavg: 2.05 2.01 1.97 3/205 15709
/proc/meminfo: memFree=29386692/32770624 swapFree=67008680/67108860
[pid=15708] ppid=15705 vsize=2031716 memory=59048 CPUtime=0.68 cores=0,2,4,6
/proc/15708/stat : 15708 (xcsp_picat) R 15705 15708 14854 0 -1 4202496 1670 0 0 0 68 0 0 0 20 0 1 0 408400226 2080477184 14762 33554432000 4194304 5870510 140726297513712 140726297513016 4429493 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32169984 140726297515039 140726297515117 140726297515117 140726297518026 0
/proc/15708/statm: 507929 14762 839 410 0 503402 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 59048 KiB
[startup+1.50029 s]
/proc/loadavg: 2.05 2.01 1.97 3/205 15709
/proc/meminfo: memFree=29323080/32770624 swapFree=67008680/67108860
[pid=15708] ppid=15705 vsize=2039844 memory=117192 CPUtime=1.49 cores=0,2,4,6
/proc/15708/stat : 15708 (xcsp_picat) R 15705 15708 14854 0 -1 4202496 3824 0 0 0 148 1 0 0 20 0 1 0 408400226 2088800256 29298 33554432000 4194304 5870510 140726297513712 140726297512664 5283024 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32169984 140726297515039 140726297515117 140726297515117 140726297518026 0
/proc/15708/statm: 509961 29298 901 410 0 505434 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2039844 KiB
Current children cumulated memory: 117192 KiB
[startup+3.10981 s]
/proc/loadavg: 2.05 2.01 1.97 3/205 15709
/proc/meminfo: memFree=29297164/32770624 swapFree=67008680/67108860
[pid=15708] ppid=15705 vsize=2051900 memory=130576 CPUtime=3.1 cores=0,2,4,6
/proc/15708/stat : 15708 (xcsp_picat) R 15705 15708 14854 0 -1 4202496 6749 0 0 0 308 2 0 0 20 0 1 0 408400226 2101145600 32644 33554432000 4194304 5870510 140726297513712 140726297512152 5282574 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32169984 140726297515039 140726297515117 140726297515117 140726297518026 0
/proc/15708/statm: 512975 32644 903 410 0 508448 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2051900 KiB
Current children cumulated memory: 130576 KiB
[startup+6.30029 s]
/proc/loadavg: 2.04 2.01 1.97 3/205 15709
/proc/meminfo: memFree=29286484/32770624 swapFree=67008680/67108860
[pid=15708] ppid=15705 vsize=2063464 memory=142124 CPUtime=6.29 cores=0,2,4,6
/proc/15708/stat : 15708 (xcsp_picat) R 15705 15708 14854 0 -1 4202496 10681 0 0 0 626 3 0 0 20 0 1 0 408400226 2112987136 35531 33554432000 4194304 5870510 140726297513712 140726297512280 5282464 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32169984 140726297515039 140726297515117 140726297515117 140726297518026 0
/proc/15708/statm: 515866 35531 903 410 0 511339 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2063464 KiB
Current children cumulated memory: 142124 KiB
[startup+12.7003 s]
/proc/loadavg: 2.04 2.01 1.97 3/205 15709
/proc/meminfo: memFree=29263212/32770624 swapFree=67008680/67108860
[pid=15708] ppid=15705 vsize=2089320 memory=163092 CPUtime=12.68 cores=0,2,4,6
/proc/15708/stat : 15708 (xcsp_picat) R 15705 15708 14854 0 -1 4202496 15580 0 0 0 1264 4 0 0 20 0 1 0 408400226 2139463680 40773 33554432000 4194304 5870510 140726297513712 140726297512152 5282609 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32169984 140726297515039 140726297515117 140726297515117 140726297518026 0
/proc/15708/statm: 522330 40773 903 410 0 517803 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2089320 KiB
Current children cumulated memory: 163092 KiB
[startup+25.5003 s]
/proc/loadavg: 2.03 2.01 1.97 3/205 15711
/proc/meminfo: memFree=29261248/32770624 swapFree=67008680/67108860
[pid=15708] ppid=15705 vsize=2089320 memory=163096 CPUtime=25.48 cores=0,2,4,6
/proc/15708/stat : 15708 (xcsp_picat) R 15705 15708 14854 0 -1 4202496 19077 0 0 0 2543 5 0 0 20 0 1 0 408400226 2139463680 40774 33554432000 4194304 5870510 140726297513712 140726297512152 5289457 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32169984 140726297515039 140726297515117 140726297515117 140726297518026 0
/proc/15708/statm: 522330 40774 903 410 0 517803 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2089320 KiB
Current children cumulated memory: 163096 KiB
[startup+51.1098 s]
/proc/loadavg: 2.02 2.01 1.97 3/205 15711
/proc/meminfo: memFree=29264024/32770624 swapFree=67008680/67108860
[pid=15708] ppid=15705 vsize=2083512 memory=160288 CPUtime=51.08 cores=0,2,4,6
/proc/15708/stat : 15708 (xcsp_picat) R 15705 15708 14854 0 -1 4202496 21471 0 0 0 5103 5 0 0 20 0 1 0 408400226 2133516288 40072 33554432000 4194304 5870510 140726297513712 140726297512152 5282759 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32169984 140726297515039 140726297515117 140726297515117 140726297518026 0
/proc/15708/statm: 520878 40072 903 410 0 516351 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 2083512 KiB
Current children cumulated memory: 160288 KiB
[startup+102.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/205 15715
/proc/meminfo: memFree=29235060/32770624 swapFree=67008680/67108860
[pid=15708] ppid=15705 vsize=2103092 memory=179852 CPUtime=102.25 cores=0,2,4,6
/proc/15708/stat : 15708 (xcsp_picat) R 15705 15708 14854 0 -1 4202496 25413 0 0 0 10219 6 0 0 20 0 1 0 408400226 2153566208 44963 33554432000 4194304 5870510 140726297513712 140726297512280 5274526 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32169984 140726297515039 140726297515117 140726297515117 140726297518026 0
/proc/15708/statm: 525773 44963 903 410 0 521246 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 2103092 KiB
Current children cumulated memory: 179852 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/205 15721
/proc/meminfo: memFree=29227024/32770624 swapFree=67008680/67108860
[pid=15708] ppid=15705 vsize=2110276 memory=187672 CPUtime=162.23 cores=0,2,4,6
/proc/15708/stat : 15708 (xcsp_picat) R 15705 15708 14854 0 -1 4202496 29242 0 0 0 16217 6 0 0 20 0 1 0 408400226 2160922624 46918 33554432000 4194304 5870510 140726297513712 140726297512280 5282574 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32169984 140726297515039 140726297515117 140726297515117 140726297518026 0
/proc/15708/statm: 527569 46918 903 410 0 523042 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 2110276 KiB
Current children cumulated memory: 187672 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/204 15725
/proc/meminfo: memFree=29206964/32770624 swapFree=67008680/67108860
[pid=15708] ppid=15705 vsize=2129532 memory=208060 CPUtime=222.21 cores=0,2,4,6
/proc/15708/stat : 15708 (xcsp_picat) R 15705 15708 14854 0 -1 4202496 34400 0 0 0 22214 7 0 0 20 0 1 0 408400226 2180640768 52015 33554432000 4194304 5870510 140726297513712 140726297512280 5272665 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32169984 140726297515039 140726297515117 140726297515117 140726297518026 0
/proc/15708/statm: 532383 52015 903 410 0 527856 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 2129532 KiB
Current children cumulated memory: 208060 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/205 15735
/proc/meminfo: memFree=29193412/32770624 swapFree=67008688/67108860
[pid=15708] ppid=15705 vsize=2141204 memory=220028 CPUtime=282.19 cores=0,2,4,6
/proc/15708/stat : 15708 (xcsp_picat) R 15705 15708 14854 0 -1 4202496 38912 0 0 0 28211 8 0 0 20 0 1 0 408400226 2192592896 55007 33554432000 4194304 5870510 140726297513712 140726297512280 5272987 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32169984 140726297515039 140726297515117 140726297515117 140726297518026 0
/proc/15708/statm: 535301 55007 903 410 0 530774 0
Current children cumulated CPU time: 282.19 s
Current children cumulated vsize: 2141204 KiB
Current children cumulated memory: 220028 KiB
[startup+342.3 s]
/proc/loadavg: 2.08 2.03 1.98 3/205 15741
/proc/meminfo: memFree=29200304/32770624 swapFree=67008688/67108860
[pid=15708] ppid=15705 vsize=2141204 memory=220028 CPUtime=342.17 cores=0,2,4,6
/proc/15708/stat : 15708 (xcsp_picat) R 15705 15708 14854 0 -1 4202496 39298 0 0 0 34209 8 0 0 20 0 1 0 408400226 2192592896 55007 33554432000 4194304 5870510 140726297513712 140726297512280 5282519 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32169984 140726297515039 140726297515117 140726297515117 140726297518026 0
/proc/15708/statm: 535301 55007 903 410 0 530774 0
Current children cumulated CPU time: 342.17 s
Current children cumulated vsize: 2141204 KiB
Current children cumulated memory: 220028 KiB
[startup+402.3 s]
/proc/loadavg: 2.04 2.03 1.98 3/205 15867
/proc/meminfo: memFree=30215436/32770624 swapFree=67008688/67108860
[pid=15708] ppid=15705 vsize=2141204 memory=220032 CPUtime=402.15 cores=0,2,4,6
/proc/15708/stat : 15708 (xcsp_picat) R 15705 15708 14854 0 -1 4202496 44080 0 0 0 40206 9 0 0 20 0 1 0 408400226 2192592896 55008 33554432000 4194304 5870510 140726297513712 140726297512280 5272433 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32169984 140726297515039 140726297515117 140726297515117 140726297518026 0
/proc/15708/statm: 535301 55008 903 410 0 530774 0
Current children cumulated CPU time: 402.15 s
Current children cumulated vsize: 2141204 KiB
Current children cumulated memory: 220032 KiB
[startup+462.3 s]
/proc/loadavg: 1.93 2.00 1.97 3/205 15883
/proc/meminfo: memFree=30169860/32770624 swapFree=67008688/67108860
[pid=15708] ppid=15705 vsize=2141204 memory=223212 CPUtime=462.13 cores=0,2,4,6
/proc/15708/stat : 15708 (xcsp_picat) R 15705 15708 14854 0 -1 4202496 44140 0 0 0 46204 9 0 0 20 0 1 0 408400226 2192592896 55803 33554432000 4194304 5870510 140726297513712 140726297512280 5288823 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32169984 140726297515039 140726297515117 140726297515117 140726297518026 0
/proc/15708/statm: 535301 55803 903 410 0 530774 0
Current children cumulated CPU time: 462.13 s
Current children cumulated vsize: 2141204 KiB
Current children cumulated memory: 223212 KiB
################
# More data... #
################
Current children cumulated memory: 265492 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/206 16145
/proc/meminfo: memFree=30055804/32770624 swapFree=67008708/67108860
[pid=15708] ppid=15705 vsize=2183348 memory=265492 CPUtime=1062.01 cores=0,2,4,6
/proc/15708/stat : 15708 (xcsp_picat) R 15705 15708 14854 0 -1 4202496 53165 0 0 0 106188 13 0 0 20 0 1 0 408400226 2235748352 66373 33554432000 4194304 5870510 140726297513712 140726297512280 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32169984 140726297515039 140726297515117 140726297515117 140726297518026 0
/proc/15708/statm: 545837 66373 903 410 0 541310 0
Current children cumulated CPU time: 1062.01 s
Current children cumulated vsize: 2183348 KiB
Current children cumulated memory: 265492 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/204 16149
/proc/meminfo: memFree=30056452/32770624 swapFree=67008708/67108860
[pid=15708] ppid=15705 vsize=2183348 memory=265492 CPUtime=1122.01 cores=0,2,4,6
/proc/15708/stat : 15708 (xcsp_picat) R 15705 15708 14854 0 -1 4202496 54632 0 0 0 112188 13 0 0 20 0 1 0 408400226 2235748352 66373 33554432000 4194304 5870510 140726297513712 140726297512280 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32169984 140726297515039 140726297515117 140726297515117 140726297518026 0
/proc/15708/statm: 545837 66373 903 410 0 541310 0
Current children cumulated CPU time: 1122.01 s
Current children cumulated vsize: 2183348 KiB
Current children cumulated memory: 265492 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/205 16155
/proc/meminfo: memFree=30069852/32770624 swapFree=67008708/67108860
[pid=15708] ppid=15705 vsize=2183348 memory=265492 CPUtime=1182 cores=0,2,4,6
/proc/15708/stat : 15708 (xcsp_picat) R 15705 15708 14854 0 -1 4202496 56173 0 0 0 118187 13 0 0 20 0 1 0 408400226 2235748352 66373 33554432000 4194304 5870510 140726297513712 140726297512280 5272433 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32169984 140726297515039 140726297515117 140726297515117 140726297518026 0
/proc/15708/statm: 545837 66373 903 410 0 541310 0
Current children cumulated CPU time: 1182 s
Current children cumulated vsize: 2183348 KiB
Current children cumulated memory: 265492 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/205 16161
/proc/meminfo: memFree=30064996/32770624 swapFree=67008708/67108860
[pid=15708] ppid=15705 vsize=2183348 memory=265732 CPUtime=1242.01 cores=0,2,4,6
/proc/15708/stat : 15708 (xcsp_picat) R 15705 15708 14854 0 -1 4202496 57919 0 0 0 124187 14 0 0 20 0 1 0 408400226 2235748352 66433 33554432000 4194304 5870510 140726297513712 140726297512280 5283067 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32169984 140726297515039 140726297515117 140726297515117 140726297518026 0
/proc/15708/statm: 545837 66433 903 410 0 541310 0
Current children cumulated CPU time: 1242.01 s
Current children cumulated vsize: 2183348 KiB
Current children cumulated memory: 265732 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/205 16165
/proc/meminfo: memFree=30042500/32770624 swapFree=67008708/67108860
[pid=15708] ppid=15705 vsize=2153000 memory=235916 CPUtime=1301.99 cores=0,2,4,6
/proc/15708/stat : 15708 (xcsp_picat) R 15705 15708 14854 0 -1 4202496 60808 0 0 0 130184 15 0 0 20 0 1 0 408400226 2204672000 58979 33554432000 4194304 5870510 140726297513712 140726297512728 5283052 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32169984 140726297515039 140726297515117 140726297515117 140726297518026 0
/proc/15708/statm: 538250 58979 903 410 0 533723 0
Current children cumulated CPU time: 1301.99 s
Current children cumulated vsize: 2153000 KiB
Current children cumulated memory: 235916 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/205 16170
/proc/meminfo: memFree=30042060/32770624 swapFree=67008708/67108860
[pid=15708] ppid=15705 vsize=2153000 memory=235916 CPUtime=1361.99 cores=0,2,4,6
/proc/15708/stat : 15708 (xcsp_picat) R 15705 15708 14854 0 -1 4202496 63305 0 0 0 136180 19 0 0 20 0 1 0 408400226 2204672000 58979 33554432000 4194304 5870510 140726297513712 140726297512728 5283064 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32169984 140726297515039 140726297515117 140726297515117 140726297518026 0
/proc/15708/statm: 538250 58979 903 410 0 533723 0
Current children cumulated CPU time: 1361.99 s
Current children cumulated vsize: 2153000 KiB
Current children cumulated memory: 235916 KiB
[startup+1419.95 s]
# the end of solver process 15708 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1419.44 s, system=0.206956 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1382.4 s]
/proc/loadavg: 2.00 1.99 1.97 3/205 16174
/proc/meminfo: memFree=30014544/32770624 swapFree=67008708/67108860
[pid=15708] ppid=15705 vsize=2183348 memory=263444 CPUtime=1382.09 cores=0,2,4,6
/proc/15708/stat : 15708 (xcsp_picat) R 15705 15708 14854 0 -1 4202496 63682 0 0 0 138189 20 0 0 20 0 1 0 408400226 2235748352 65861 33554432000 4194304 5870510 140726297513712 140726297512280 5282759 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32169984 140726297515039 140726297515117 140726297515117 140726297518026 0
/proc/15708/statm: 545837 65861 903 410 0 541310 0
Current children cumulated CPU time: 1382.09 s
Current children cumulated vsize: 2183348 KiB
Current children cumulated memory: 263444 KiB
[startup+1395.2 s]
/proc/loadavg: 2.00 1.99 1.97 3/205 16174
/proc/meminfo: memFree=30014416/32770624 swapFree=67008708/67108860
[pid=15708] ppid=15705 vsize=2183348 memory=263444 CPUtime=1394.89 cores=0,2,4,6
/proc/15708/stat : 15708 (xcsp_picat) R 15705 15708 14854 0 -1 4202496 64600 0 0 0 139469 20 0 0 20 0 1 0 408400226 2235748352 65861 33554432000 4194304 5870510 140726297513712 140726297512280 5282767 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32169984 140726297515039 140726297515117 140726297515117 140726297518026 0
/proc/15708/statm: 545837 65861 903 410 0 541310 0
Current children cumulated CPU time: 1394.89 s
Current children cumulated vsize: 2183348 KiB
Current children cumulated memory: 263444 KiB
[startup+1408 s]*
/proc/loadavg: 2.00 1.99 1.97 3/205 16174
/proc/meminfo: memFree=30012368/32770624 swapFree=67008708/67108860
[pid=15708] ppid=15705 vsize=2183348 memory=265492 CPUtime=1407.7 cores=0,2,4,6
/proc/15708/stat : 15708 (xcsp_picat) R 15705 15708 14854 0 -1 4202496 64687 0 0 0 140750 20 0 0 20 0 1 0 408400226 2235748352 66373 33554432000 4194304 5870510 140726297513712 140726297512280 5283072 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32169984 140726297515039 140726297515117 140726297515117 140726297518026 0
/proc/15708/statm: 545837 66373 903 410 0 541310 0
Current children cumulated CPU time: 1407.7 s
Current children cumulated vsize: 2183348 KiB
Current children cumulated memory: 265492 KiB
[startup+1414.4 s]
/proc/loadavg: 2.00 1.99 1.97 3/206 16176
/proc/meminfo: memFree=30011848/32770624 swapFree=67008708/67108860
[pid=15708] ppid=15705 vsize=2183348 memory=265492 CPUtime=1414.09 cores=0,2,4,6
/proc/15708/stat : 15708 (xcsp_picat) R 15705 15708 14854 0 -1 4202496 64687 0 0 0 141389 20 0 0 20 0 1 0 408400226 2235748352 66373 33554432000 4194304 5870510 140726297513712 140726297512280 5272928 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32169984 140726297515039 140726297515117 140726297515117 140726297518026 0
/proc/15708/statm: 545837 66373 903 410 0 541310 0
Current children cumulated CPU time: 1414.09 s
Current children cumulated vsize: 2183348 KiB
Current children cumulated memory: 265492 KiB
[startup+1417.6 s]
/proc/loadavg: 2.00 1.99 1.97 3/206 16176
/proc/meminfo: memFree=30012104/32770624 swapFree=67008708/67108860
[pid=15708] ppid=15705 vsize=2183348 memory=265492 CPUtime=1417.29 cores=0,2,4,6
/proc/15708/stat : 15708 (xcsp_picat) R 15705 15708 14854 0 -1 4202496 64687 0 0 0 141709 20 0 0 20 0 1 0 408400226 2235748352 66373 33554432000 4194304 5870510 140726297513712 140726297512280 5272544 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32169984 140726297515039 140726297515117 140726297515117 140726297518026 0
/proc/15708/statm: 545837 66373 903 410 0 541310 0
Current children cumulated CPU time: 1417.29 s
Current children cumulated vsize: 2183348 KiB
Current children cumulated memory: 265492 KiB
[startup+1419.2 s]
/proc/loadavg: 2.00 1.99 1.97 3/205 16176
/proc/meminfo: memFree=30011924/32770624 swapFree=67008708/67108860
[pid=15708] ppid=15705 vsize=2183348 memory=265492 CPUtime=1418.89 cores=0,2,4,6
/proc/15708/stat : 15708 (xcsp_picat) R 15705 15708 14854 0 -1 4202496 64687 0 0 0 141869 20 0 0 20 0 1 0 408400226 2235748352 66373 33554432000 4194304 5870510 140726297513712 140726297512280 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32169984 140726297515039 140726297515117 140726297515117 140726297518026 0
/proc/15708/statm: 545837 66373 903 410 0 541310 0
Current children cumulated CPU time: 1418.89 s
Current children cumulated vsize: 2183348 KiB
Current children cumulated memory: 265492 KiB
[startup+1419.6 s]
/proc/loadavg: 2.00 1.99 1.97 3/205 16176
/proc/meminfo: memFree=30011924/32770624 swapFree=67008708/67108860
[pid=15708] ppid=15705 vsize=2183348 memory=265492 CPUtime=1419.29 cores=0,2,4,6
/proc/15708/stat : 15708 (xcsp_picat) R 15705 15708 14854 0 -1 4202496 64688 0 0 0 141909 20 0 0 20 0 1 0 408400226 2235748352 66373 33554432000 4194304 5870510 140726297513712 140726297512280 5282588 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32169984 140726297515039 140726297515117 140726297515117 140726297518026 0
/proc/15708/statm: 545837 66373 903 410 0 541310 0
Current children cumulated CPU time: 1419.29 s
Current children cumulated vsize: 2183348 KiB
Current children cumulated memory: 265492 KiB
[startup+1419.8 s]
/proc/loadavg: 2.00 1.99 1.97 3/205 16176
/proc/meminfo: memFree=30011924/32770624 swapFree=67008708/67108860
[pid=15708] ppid=15705 vsize=2183348 memory=265492 CPUtime=1419.49 cores=0,2,4,6
/proc/15708/stat : 15708 (xcsp_picat) R 15705 15708 14854 0 -1 4202496 64688 0 0 0 141929 20 0 0 20 0 1 0 408400226 2235748352 66373 33554432000 4194304 5870510 140726297513712 140726297512280 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32169984 140726297515039 140726297515117 140726297515117 140726297518026 0
/proc/15708/statm: 545837 66373 903 410 0 541310 0
Current children cumulated CPU time: 1419.49 s
Current children cumulated vsize: 2183348 KiB
Current children cumulated memory: 265492 KiB
[startup+1419.9 s]
/proc/loadavg: 2.00 1.99 1.97 3/205 16176
/proc/meminfo: memFree=30011924/32770624 swapFree=67008708/67108860
[pid=15708] ppid=15705 vsize=2183348 memory=265492 CPUtime=1419.59 cores=0,2,4,6
/proc/15708/stat : 15708 (xcsp_picat) R 15705 15708 14854 0 -1 4202496 64688 0 0 0 141939 20 0 0 20 0 1 0 408400226 2235748352 66373 33554432000 4194304 5870510 140726297513712 140726297512280 5283064 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32169984 140726297515039 140726297515117 140726297515117 140726297518026 0
/proc/15708/statm: 545837 66373 903 410 0 541310 0
Current children cumulated CPU time: 1419.59 s
Current children cumulated vsize: 2183348 KiB
Current children cumulated memory: 265492 KiB
Child status: 0
Real time (s): 1419.95
CPU time (s): 1419.65
CPU user time (s): 1419.44
CPU system time (s): 0.206956
CPU usage (%): 99.9787
Max. virtual memory (cumulated for all children) (KiB): 2202320
Max. memory (cumulated for all children) (KiB): 269292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1419.44
system time used= 0.206956
maximum resident set size= 297620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64747
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= 9
involuntary context switches= 1143
# summary of solver processes directly reported to runsolver:
# pid: 15708
# total CPU time (s): 1419.65
# total CPU user time (s): 1419.44
# total CPU system time (s): 0.206956
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.86753 second user time and 10.7958 second system time
The end