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 (13767 MiB free)
memory of node 1: 16384 MiB (15878 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395684-1568323467/watcher-4395684-1568323467 -o /tmp/evaluation-result-4395684-1568323467/solver-4395684-1568323467 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568323423-22106 --watchdog 2560 xcsp_picat HOME/instance-4395684-1568323467.xml
running on 4 cores: 0,2,4,6
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=22136, runsolver pid=22133
[startup+0.100209 s]*
/proc/loadavg: 1.02 1.48 1.82 4/200 22137
/proc/meminfo: memFree=30317680/32770624 swapFree=67001248/67108860
[pid=22136] ppid=22133 vsize=2031716 memory=31628 CPUtime=0.1 cores=0,2,4,6
/proc/22136/stat : 22136 (xcsp_picat) R 22133 22136 22075 0 -1 4202496 1425 0 0 0 10 0 0 0 20 0 1 0 408595399 2080477184 7907 33554432000 4194304 5870510 140731120240496 140731120237640 4456403 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35352576 140731120243743 140731120243821 140731120243821 140731120246730 0
/proc/22136/statm: 507929 7907 866 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 31628 KiB
[startup+0.209628 s]*
/proc/loadavg: 1.02 1.48 1.82 4/200 22137
/proc/meminfo: memFree=30282740/32770624 swapFree=67001248/67108860
[pid=22136] ppid=22133 vsize=2031716 memory=48012 CPUtime=0.21 cores=0,2,4,6
/proc/22136/stat : 22136 (xcsp_picat) R 22133 22136 22075 0 -1 4202496 1436 0 0 0 21 0 0 0 20 0 1 0 408595399 2080477184 12003 33554432000 4194304 5870510 140731120240496 140731120237640 4464239 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35352576 140731120243743 140731120243821 140731120243821 140731120246730 0
/proc/22136/statm: 507929 12003 866 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 48012 KiB
[startup+0.309576 s]*
/proc/loadavg: 1.02 1.48 1.82 4/200 22137
/proc/meminfo: memFree=30261108/32770624 swapFree=67001248/67108860
[pid=22136] ppid=22133 vsize=2031716 memory=53356 CPUtime=0.31 cores=0,2,4,6
/proc/22136/stat : 22136 (xcsp_picat) R 22133 22136 22075 0 -1 4202496 1741 0 0 0 31 0 0 0 20 0 1 0 408595399 2080477184 13339 33554432000 4194304 5870510 140731120240496 140731120237640 4555321 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35352576 140731120243743 140731120243821 140731120243821 140731120246730 0
/proc/22136/statm: 507929 13339 875 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 53356 KiB
[startup+0.7004 s]
/proc/loadavg: 1.02 1.48 1.82 4/200 22137
/proc/meminfo: memFree=30200724/32770624 swapFree=67001248/67108860
[pid=22136] ppid=22133 vsize=2087384 memory=133096 CPUtime=0.69 cores=0,2,4,6
/proc/22136/stat : 22136 (xcsp_picat) R 22133 22136 22075 0 -1 4202496 14264 0 0 0 67 2 0 0 20 0 1 0 408595399 2137481216 33274 33554432000 4194304 5870510 140731120240496 140731120239224 140626774682597 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35352576 140731120243743 140731120243821 140731120243821 140731120246730 0
/proc/22136/statm: 521846 33274 905 410 0 517319 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2087384 KiB
Current children cumulated memory: 133096 KiB
[startup+1.50041 s]
/proc/loadavg: 1.02 1.48 1.82 4/200 22137
/proc/meminfo: memFree=29993780/32770624 swapFree=67001248/67108860
[pid=22136] ppid=22133 vsize=2310280 memory=328156 CPUtime=1.49 cores=0,2,4,6
/proc/22136/stat : 22136 (xcsp_picat) R 22133 22136 22075 0 -1 4202496 52263 0 0 0 140 9 0 0 20 0 1 0 408595399 2365726720 82039 33554432000 4194304 5870510 140731120240496 140731120239224 5307553 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35352576 140731120243743 140731120243821 140731120243821 140731120246730 0
/proc/22136/statm: 577570 82039 905 410 0 573043 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2310280 KiB
Current children cumulated memory: 328156 KiB
[startup+3.10921 s]
/proc/loadavg: 1.02 1.48 1.82 4/200 22137
/proc/meminfo: memFree=29588224/32770624 swapFree=67001248/67108860
[pid=22136] ppid=22133 vsize=2364060 memory=387676 CPUtime=3.1 cores=0,2,4,6
/proc/22136/stat : 22136 (xcsp_picat) R 22133 22136 22075 0 -1 4202496 61710 0 0 0 299 11 0 0 20 0 1 0 408595399 2420797440 96919 33554432000 4194304 5870510 140731120240496 140731120239608 140626774680176 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35352576 140731120243743 140731120243821 140731120243821 140731120246730 0
/proc/22136/statm: 591015 96919 960 410 0 586488 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2364060 KiB
Current children cumulated memory: 387676 KiB
[startup+6.30033 s]
/proc/loadavg: 1.10 1.49 1.82 4/200 22137
/proc/meminfo: memFree=29195572/32770624 swapFree=67001248/67108860
[pid=22136] ppid=22133 vsize=2364060 memory=387684 CPUtime=6.29 cores=0,2,4,6
/proc/22136/stat : 22136 (xcsp_picat) R 22133 22136 22075 0 -1 4202496 62439 0 0 0 618 11 0 0 20 0 1 0 408595399 2420797440 96921 33554432000 4194304 5870510 140731120240496 140731120239608 5478381 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35352576 140731120243743 140731120243821 140731120243821 140731120246730 0
/proc/22136/statm: 591015 96921 960 410 0 586488 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2364060 KiB
Current children cumulated memory: 387684 KiB
[startup+12.7003 s]
/proc/loadavg: 1.17 1.49 1.82 4/200 22137
/proc/meminfo: memFree=27626108/32770624 swapFree=67001248/67108860
[pid=22136] ppid=22133 vsize=2364060 memory=387688 CPUtime=12.69 cores=0,2,4,6
/proc/22136/stat : 22136 (xcsp_picat) R 22133 22136 22075 0 -1 4202496 66589 0 0 0 1257 12 0 0 20 0 1 0 408595399 2420797440 96922 33554432000 4194304 5870510 140731120240496 140731120239688 5562032 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35352576 140731120243743 140731120243821 140731120243821 140731120246730 0
/proc/22136/statm: 591015 96922 960 410 0 586488 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2364060 KiB
Current children cumulated memory: 387688 KiB
[startup+25.5003 s]
/proc/loadavg: 1.36 1.52 1.83 4/201 22139
/proc/meminfo: memFree=25424944/32770624 swapFree=67001248/67108860
[pid=22136] ppid=22133 vsize=2364192 memory=389768 CPUtime=25.49 cores=0,2,4,6
/proc/22136/stat : 22136 (xcsp_picat) R 22133 22136 22075 0 -1 4202496 73541 0 0 0 2537 12 0 0 20 0 1 0 408595399 2420932608 97442 33554432000 4194304 5870510 140731120240496 140731120239608 5407057 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35352576 140731120243743 140731120243821 140731120243821 140731120246730 0
/proc/22136/statm: 591048 97442 960 410 0 586521 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2364192 KiB
Current children cumulated memory: 389768 KiB
[startup+51.1096 s]
/proc/loadavg: 1.58 1.56 1.83 4/200 22140
/proc/meminfo: memFree=25236036/32770624 swapFree=67001248/67108860
[pid=22136] ppid=22133 vsize=2499520 memory=473832 CPUtime=51.1 cores=0,2,4,6
/proc/22136/stat : 22136 (xcsp_picat) R 22133 22136 22075 0 -1 4202496 195274 0 0 0 5084 26 0 0 20 0 1 0 408595399 2559508480 118458 33554432000 4194304 5870510 140731120240496 140731120239752 5283133 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35352576 140731120243743 140731120243821 140731120243821 140731120246730 0
/proc/22136/statm: 624880 118458 992 410 0 620353 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2499520 KiB
Current children cumulated memory: 473832 KiB
[startup+102.3 s]
/proc/loadavg: 1.82 1.63 1.84 4/200 22146
/proc/meminfo: memFree=25034448/32770624 swapFree=67001248/67108860
[pid=22136] ppid=22133 vsize=2499520 memory=483136 CPUtime=102.29 cores=0,2,4,6
/proc/22136/stat : 22136 (xcsp_picat) R 22133 22136 22075 0 -1 4202496 259062 0 0 0 10196 33 0 0 20 0 1 0 408595399 2559508480 120784 33554432000 4194304 5870510 140731120240496 140731120239448 5306761 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35352576 140731120243743 140731120243821 140731120243821 140731120246730 0
/proc/22136/statm: 624880 120784 992 410 0 620353 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2499520 KiB
Current children cumulated memory: 483136 KiB
[startup+162.3 s]
/proc/loadavg: 1.93 1.69 1.85 4/200 22152
/proc/meminfo: memFree=24208828/32770624 swapFree=67001248/67108860
[pid=22136] ppid=22133 vsize=2499520 memory=485200 CPUtime=162.31 cores=0,2,4,6
/proc/22136/stat : 22136 (xcsp_picat) R 22133 22136 22075 0 -1 4202496 311611 0 0 0 16191 40 0 0 20 0 1 0 408595399 2559508480 121300 33554432000 4194304 5870510 140731120240496 140731120239448 5282505 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35352576 140731120243743 140731120243821 140731120243821 140731120246730 0
/proc/22136/statm: 624880 121300 992 410 0 620353 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 2499520 KiB
Current children cumulated memory: 485200 KiB
[startup+222.3 s]
/proc/loadavg: 1.97 1.75 1.86 4/200 22156
/proc/meminfo: memFree=24164652/32770624 swapFree=67001248/67108860
[pid=22136] ppid=22133 vsize=2528988 memory=524952 CPUtime=222.31 cores=0,2,4,6
/proc/22136/stat : 22136 (xcsp_picat) R 22133 22136 22075 0 -1 4202496 386651 0 0 0 22171 60 0 0 20 0 1 0 408595399 2589683712 131238 33554432000 4194304 5870510 140731120240496 140731120239752 5272392 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35352576 140731120243743 140731120243821 140731120243821 140731120246730 0
/proc/22136/statm: 632247 131238 992 410 0 627720 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 2528988 KiB
Current children cumulated memory: 524952 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.80 1.87 4/200 22161
/proc/meminfo: memFree=24133984/32770624 swapFree=67001248/67108860
[pid=22136] ppid=22133 vsize=2528988 memory=539556 CPUtime=282.31 cores=0,2,4,6
/proc/22136/stat : 22136 (xcsp_picat) R 22133 22136 22075 0 -1 4202496 401041 0 0 0 28168 63 0 0 20 0 1 0 408595399 2589683712 134889 33554432000 4194304 5870510 140731120240496 140731120239448 5258764 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35352576 140731120243743 140731120243821 140731120243821 140731120246730 0
/proc/22136/statm: 632247 134889 992 410 0 627720 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 2528988 KiB
Current children cumulated memory: 539556 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.83 1.88 4/200 22167
/proc/meminfo: memFree=24128324/32770624 swapFree=67001248/67108860
[pid=22136] ppid=22133 vsize=2528988 memory=529116 CPUtime=342.32 cores=0,2,4,6
/proc/22136/stat : 22136 (xcsp_picat) R 22133 22136 22075 0 -1 4202496 403822 0 0 0 34164 68 0 0 20 0 1 0 408595399 2589683712 132279 33554432000 4194304 5870510 140731120240496 140731120239448 140626780379050 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35352576 140731120243743 140731120243821 140731120243821 140731120246730 0
/proc/22136/statm: 632247 132279 992 410 0 627720 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 2528988 KiB
Current children cumulated memory: 529116 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.86 1.88 4/199 22178
/proc/meminfo: memFree=24093512/32770624 swapFree=67001248/67108860
[pid=22136] ppid=22133 vsize=2528988 memory=545700 CPUtime=402.33 cores=0,2,4,6
/proc/22136/stat : 22136 (xcsp_picat) R 22133 22136 22075 0 -1 4202496 405475 0 0 0 40162 71 0 0 20 0 1 0 408595399 2589683712 136425 33554432000 4194304 5870510 140731120240496 140731120239448 5282578 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35352576 140731120243743 140731120243821 140731120243821 140731120246730 0
/proc/22136/statm: 632247 136425 992 410 0 627720 0
Current children cumulated CPU time: 402.33 s
Current children cumulated vsize: 2528988 KiB
Current children cumulated memory: 545700 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.89 1.89 4/199 22182
/proc/meminfo: memFree=24083780/32770624 swapFree=67001248/67108860
[pid=22136] ppid=22133 vsize=2528988 memory=540760 CPUtime=462.33 cores=0,2,4,6
/proc/22136/stat : 22136 (xcsp_picat) R 22133 22136 22075 0 -1 4202496 460237 0 0 0 46156 77 0 0 20 0 1 0 408595399 2589683712 135190 33554432000 4194304 5870510 140731120240496 140731120239512 5282680 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35352576 140731120243743 140731120243821 140731120243821 140731120246730 0
/proc/22136/statm: 632247 135190 992 410 0 627720 0
Current children cumulated CPU time: 462.33 s
Current children cumulated vsize: 2528988 KiB
Current children cumulated memory: 540760 KiB
################
# More data... #
################
/proc/22136/statm: 638346 146196 992 410 0 633819 0
Current children cumulated CPU time: 1602.43 s
Current children cumulated vsize: 2553384 KiB
Current children cumulated memory: 584784 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.95 4/199 22290
/proc/meminfo: memFree=23913584/32770624 swapFree=67001280/67108860
[pid=22136] ppid=22133 vsize=2553384 memory=566352 CPUtime=1662.43 cores=0,2,4,6
/proc/22136/stat : 22136 (xcsp_picat) R 22133 22136 22075 0 -1 4202496 1166633 0 0 0 166058 185 0 0 20 0 1 0 408595399 2614665216 141588 33554432000 4194304 5870510 140731120240496 140731120239512 5281827 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35352576 140731120243743 140731120243821 140731120243821 140731120246730 0
/proc/22136/statm: 638346 141588 992 410 0 633819 0
Current children cumulated CPU time: 1662.43 s
Current children cumulated vsize: 2553384 KiB
Current children cumulated memory: 566352 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.95 4/199 22294
/proc/meminfo: memFree=23876096/32770624 swapFree=67001280/67108860
[pid=22136] ppid=22133 vsize=2558940 memory=589748 CPUtime=1722.44 cores=0,2,4,6
/proc/22136/stat : 22136 (xcsp_picat) R 22133 22136 22075 0 -1 4202496 1201706 0 0 0 172054 190 0 0 20 0 1 0 408595399 2620354560 147437 33554432000 4194304 5870510 140731120240496 140731120239512 5283048 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35352576 140731120243743 140731120243821 140731120243821 140731120246730 0
/proc/22136/statm: 639735 147437 992 410 0 635208 0
Current children cumulated CPU time: 1722.44 s
Current children cumulated vsize: 2558940 KiB
Current children cumulated memory: 589748 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.95 4/200 22315
/proc/meminfo: memFree=24059680/32770624 swapFree=67001292/67108860
[pid=22136] ppid=22133 vsize=2558940 memory=599144 CPUtime=1782.44 cores=0,2,4,6
/proc/22136/stat : 22136 (xcsp_picat) R 22133 22136 22075 0 -1 4202496 1238314 0 0 0 178050 194 0 0 20 0 1 0 408595399 2620354560 149786 33554432000 4194304 5870510 140731120240496 140731120239512 5282505 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35352576 140731120243743 140731120243821 140731120243821 140731120246730 0
/proc/22136/statm: 639735 149786 992 410 0 635208 0
Current children cumulated CPU time: 1782.44 s
Current children cumulated vsize: 2558940 KiB
Current children cumulated memory: 599144 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.95 4/200 22319
/proc/meminfo: memFree=24061240/32770624 swapFree=67001292/67108860
[pid=22136] ppid=22133 vsize=2558940 memory=576616 CPUtime=1842.45 cores=0,2,4,6
/proc/22136/stat : 22136 (xcsp_picat) R 22133 22136 22075 0 -1 4202496 1261993 0 0 0 184045 200 0 0 20 0 1 0 408595399 2620354560 144154 33554432000 4194304 5870510 140731120240496 140731120239512 5282684 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35352576 140731120243743 140731120243821 140731120243821 140731120246730 0
/proc/22136/statm: 639735 144154 992 410 0 635208 0
Current children cumulated CPU time: 1842.45 s
Current children cumulated vsize: 2558940 KiB
Current children cumulated memory: 576616 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.95 4/200 22324
/proc/meminfo: memFree=24036532/32770624 swapFree=67001300/67108860
[pid=22136] ppid=22133 vsize=2558940 memory=579508 CPUtime=1902.46 cores=0,2,4,6
/proc/22136/stat : 22136 (xcsp_picat) R 22133 22136 22075 0 -1 4202496 1296341 0 0 0 190041 205 0 0 20 0 1 0 408595399 2620354560 144877 33554432000 4194304 5870510 140731120240496 140731120239512 5283024 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35352576 140731120243743 140731120243821 140731120243821 140731120246730 0
/proc/22136/statm: 639735 144877 992 410 0 635208 0
Current children cumulated CPU time: 1902.46 s
Current children cumulated vsize: 2558940 KiB
Current children cumulated memory: 579508 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.95 4/200 22330
/proc/meminfo: memFree=24004088/32770624 swapFree=67001300/67108860
[pid=22136] ppid=22133 vsize=2567980 memory=593272 CPUtime=1962.46 cores=0,2,4,6
/proc/22136/stat : 22136 (xcsp_picat) R 22133 22136 22075 0 -1 4202496 1334909 0 0 0 196035 211 0 0 20 0 1 0 408595399 2629611520 148318 33554432000 4194304 5870510 140731120240496 140731120238984 5261210 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35352576 140731120243743 140731120243821 140731120243821 140731120246730 0
/proc/22136/statm: 641995 148318 992 410 0 637468 0
Current children cumulated CPU time: 1962.46 s
Current children cumulated vsize: 2567980 KiB
Current children cumulated memory: 593272 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.95 4/200 22334
/proc/meminfo: memFree=23960728/32770624 swapFree=67001300/67108860
[pid=22136] ppid=22133 vsize=2567980 memory=604356 CPUtime=2022.47 cores=0,2,4,6
/proc/22136/stat : 22136 (xcsp_picat) R 22133 22136 22075 0 -1 4202496 1369025 0 0 0 202031 216 0 0 20 0 1 0 408595399 2629611520 151089 33554432000 4194304 5870510 140731120240496 140731120239512 5283135 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35352576 140731120243743 140731120243821 140731120243821 140731120246730 0
/proc/22136/statm: 641995 151089 992 410 0 637468 0
Current children cumulated CPU time: 2022.47 s
Current children cumulated vsize: 2567980 KiB
Current children cumulated memory: 604356 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 1.95 4/199 22339
/proc/meminfo: memFree=23931200/32770624 swapFree=67001304/67108860
[pid=22136] ppid=22133 vsize=2567980 memory=598572 CPUtime=2082.47 cores=0,2,4,6
/proc/22136/stat : 22136 (xcsp_picat) R 22133 22136 22075 0 -1 4202496 1406254 0 0 0 208026 221 0 0 20 0 1 0 408595399 2629611520 149643 33554432000 4194304 5870510 140731120240496 140731120239512 5308341 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35352576 140731120243743 140731120243821 140731120243821 140731120246730 0
/proc/22136/statm: 641995 149643 992 410 0 637468 0
Current children cumulated CPU time: 2082.47 s
Current children cumulated vsize: 2567980 KiB
Current children cumulated memory: 598572 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.95 4/199 22345
/proc/meminfo: memFree=23871244/32770624 swapFree=67001304/67108860
[pid=22136] ppid=22133 vsize=2649368 memory=612748 CPUtime=2142.48 cores=0,2,4,6
/proc/22136/stat : 22136 (xcsp_picat) R 22133 22136 22075 0 -1 4202496 1441667 0 0 0 214021 227 0 0 20 0 1 0 408595399 2712952832 153187 33554432000 4194304 5870510 140731120240496 140731120239448 5282505 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35352576 140731120243743 140731120243821 140731120243821 140731120246730 0
/proc/22136/statm: 662342 153187 992 410 0 657815 0
Current children cumulated CPU time: 2142.48 s
Current children cumulated vsize: 2649368 KiB
Current children cumulated memory: 612748 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 1.95 4/200 22357
/proc/meminfo: memFree=23864304/32770624 swapFree=67001308/67108860
[pid=22136] ppid=22133 vsize=2567980 memory=600260 CPUtime=2202.48 cores=0,2,4,6
/proc/22136/stat : 22136 (xcsp_picat) R 22133 22136 22075 0 -1 4202496 1485185 0 0 0 220013 235 0 0 20 0 1 0 408595399 2629611520 150065 33554432000 4194304 5870510 140731120240496 140731120239512 5258764 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35352576 140731120243743 140731120243821 140731120243821 140731120246730 0
/proc/22136/statm: 641995 150065 992 410 0 637468 0
Current children cumulated CPU time: 2202.48 s
Current children cumulated vsize: 2567980 KiB
Current children cumulated memory: 600260 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 1.95 4/201 22387
/proc/meminfo: memFree=23841212/32770624 swapFree=67001352/67108860
[pid=22136] ppid=22133 vsize=2567980 memory=604356 CPUtime=2262.49 cores=0,2,4,6
/proc/22136/stat : 22136 (xcsp_picat) R 22133 22136 22075 0 -1 4202496 1522099 0 0 0 226008 241 0 0 20 0 1 0 408595399 2629611520 151089 33554432000 4194304 5870510 140731120240496 140731120239512 5283083 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35352576 140731120243743 140731120243821 140731120243821 140731120246730 0
/proc/22136/statm: 641995 151089 992 410 0 637468 0
Current children cumulated CPU time: 2262.49 s
Current children cumulated vsize: 2567980 KiB
Current children cumulated memory: 604356 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 1.95 4/201 22394
/proc/meminfo: memFree=24032972/32770624 swapFree=67001352/67108860
[pid=22136] ppid=22133 vsize=2567980 memory=606404 CPUtime=2322.5 cores=0,2,4,6
/proc/22136/stat : 22136 (xcsp_picat) R 22133 22136 22075 0 -1 4202496 1586771 0 0 0 232001 249 0 0 20 0 1 0 408595399 2629611520 151601 33554432000 4194304 5870510 140731120240496 140731120239512 5282505 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35352576 140731120243743 140731120243821 140731120243821 140731120246730 0
/proc/22136/statm: 641995 151601 992 410 0 637468 0
Current children cumulated CPU time: 2322.5 s
Current children cumulated vsize: 2567980 KiB
Current children cumulated memory: 606404 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 1.95 4/201 22398
/proc/meminfo: memFree=24006184/32770624 swapFree=67001352/67108860
[pid=22136] ppid=22133 vsize=2578300 memory=619132 CPUtime=2382.5 cores=0,2,4,6
/proc/22136/stat : 22136 (xcsp_picat) R 22133 22136 22075 0 -1 4202496 1624080 0 0 0 237994 256 0 0 20 0 1 0 408595399 2640179200 154783 33554432000 4194304 5870510 140731120240496 140731120239064 5274889 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35352576 140731120243743 140731120243821 140731120243821 140731120246730 0
/proc/22136/statm: 644575 154783 992 410 0 640048 0
Current children cumulated CPU time: 2382.5 s
Current children cumulated vsize: 2578300 KiB
Current children cumulated memory: 619132 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.8 s]
/proc/loadavg: 2.00 1.99 1.95 4/201 22398
/proc/meminfo: memFree=24020092/32770624 swapFree=67001352/67108860
[pid=22136] ppid=22133 vsize=2578300 memory=600700 CPUtime=2400.01 cores=0,2,4,6
/proc/22136/stat : 22136 (xcsp_picat) R 22133 22136 22075 0 -1 4202496 1626818 0 0 0 239741 260 0 0 20 0 1 0 408595399 2640179200 150175 33554432000 4194304 5870510 140731120240496 140731120239512 5282578 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35352576 140731120243743 140731120243821 140731120243821 140731120246730 0
/proc/22136/statm: 644575 150175 992 410 0 640048 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 2578300 KiB
Current children cumulated memory: 600700 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2399.82 s]
# the end of solver process 22136 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2397.41 s, system=2.61623 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.82
CPU time (s): 2400.03
CPU user time (s): 2397.41
CPU system time (s): 2.61623
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 2789916
Max. memory (cumulated for all children) (KiB): 731644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.41
system time used= 2.61623
maximum resident set size= 731644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1626818
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= 4
involuntary context switches= 2129
# summary of solver processes directly reported to runsolver:
# pid: 22136
# total CPU time (s): 2400.03
# total CPU user time (s): 2397.41
# total CPU system time (s): 2.61623
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.50362 second user time and 17.7145 second system time
The end