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 (15890 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395665-1568323467/watcher-4395665-1568323467 -o /tmp/evaluation-result-4395665-1568323467/solver-4395665-1568323467 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568323423-22107 --watchdog 2560 xcsp_picat HOME/instance-4395665-1568323467.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=22130, runsolver pid=22127
[startup+0.100169 s]*
/proc/loadavg: 1.02 1.48 1.82 3/200 22137
/proc/meminfo: memFree=30319728/32770624 swapFree=67001248/67108860
[pid=22130] ppid=22127 vsize=2031716 memory=30376 CPUtime=0.1 cores=1,3,5,7
/proc/22130/stat : 22130 (xcsp_picat) R 22127 22130 22075 0 -1 4202496 1648 0 0 0 10 0 0 0 20 0 1 0 408595398 2080477184 7594 33554432000 4194304 5870510 140725823051728 140725823048872 4442819 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16818176 140725823054879 140725823054957 140725823054957 140725823057866 0
/proc/22130/statm: 507929 7594 835 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 30376 KiB
[startup+0.209848 s]*
/proc/loadavg: 1.02 1.48 1.82 3/200 22137
/proc/meminfo: memFree=30284788/32770624 swapFree=67001248/67108860
[pid=22130] ppid=22127 vsize=2031716 memory=46760 CPUtime=0.21 cores=1,3,5,7
/proc/22130/stat : 22130 (xcsp_picat) R 22127 22130 22075 0 -1 4202496 1656 0 0 0 20 1 0 0 20 0 1 0 408595398 2080477184 11690 33554432000 4194304 5870510 140725823051728 140725823048872 4475201 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16818176 140725823054879 140725823054957 140725823054957 140725823057866 0
/proc/22130/statm: 507929 11690 835 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 46760 KiB
[startup+0.309696 s]*
/proc/loadavg: 1.02 1.48 1.82 3/200 22137
/proc/meminfo: memFree=30261108/32770624 swapFree=67001248/67108860
[pid=22130] ppid=22127 vsize=2031716 memory=63144 CPUtime=0.31 cores=1,3,5,7
/proc/22130/stat : 22130 (xcsp_picat) R 22127 22130 22075 0 -1 4202496 1664 0 0 0 30 1 0 0 20 0 1 0 408595398 2080477184 15786 33554432000 4194304 5870510 140725823051728 140725823048872 4456448 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16818176 140725823054879 140725823054957 140725823054957 140725823057866 0
/proc/22130/statm: 507929 15786 835 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 63144 KiB
[startup+0.700316 s]
/proc/loadavg: 1.02 1.48 1.82 3/200 22137
/proc/meminfo: memFree=30200724/32770624 swapFree=67001248/67108860
[pid=22130] ppid=22127 vsize=2031716 memory=126764 CPUtime=0.69 cores=1,3,5,7
/proc/22130/stat : 22130 (xcsp_picat) R 22127 22130 22075 0 -1 4202496 1695 0 0 0 67 2 0 0 20 0 1 0 408595398 2080477184 31691 33554432000 4194304 5870510 140725823051728 140725823048872 4462233 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16818176 140725823054879 140725823054957 140725823054957 140725823057866 0
/proc/22130/statm: 507929 31691 866 410 0 503402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 126764 KiB
[startup+1.5004 s]
/proc/loadavg: 1.02 1.48 1.82 3/200 22137
/proc/meminfo: memFree=29995640/32770624 swapFree=67001248/67108860
[pid=22130] ppid=22127 vsize=2031716 memory=257836 CPUtime=1.49 cores=1,3,5,7
/proc/22130/stat : 22130 (xcsp_picat) R 22127 22130 22075 0 -1 4202496 1759 0 0 0 145 4 0 0 20 0 1 0 408595398 2080477184 64459 33554432000 4194304 5870510 140725823051728 140725823051032 4506715 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16818176 140725823054879 140725823054957 140725823054957 140725823057866 0
/proc/22130/statm: 507929 64459 866 410 0 503402 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 257836 KiB
[startup+3.10939 s]
/proc/loadavg: 1.02 1.48 1.82 3/200 22137
/proc/meminfo: memFree=29590272/32770624 swapFree=67001248/67108860
[pid=22130] ppid=22127 vsize=2031716 memory=405240 CPUtime=3.1 cores=1,3,5,7
/proc/22130/stat : 22130 (xcsp_picat) R 22127 22130 22075 0 -1 4202496 2386 0 0 0 304 6 0 0 20 0 1 0 408595398 2080477184 101310 33554432000 4194304 5870510 140725823051728 140725823051032 4464155 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16818176 140725823054879 140725823054957 140725823054957 140725823057866 0
/proc/22130/statm: 507929 101310 875 410 0 503402 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 405240 KiB
[startup+6.30039 s]
/proc/loadavg: 1.10 1.49 1.82 3/200 22137
/proc/meminfo: memFree=29197620/32770624 swapFree=67001248/67108860
[pid=22130] ppid=22127 vsize=2473768 memory=890096 CPUtime=6.29 cores=1,3,5,7
/proc/22130/stat : 22130 (xcsp_picat) R 22127 22130 22075 0 -1 4202496 9791 0 0 0 615 14 0 0 20 0 1 0 408595398 2533138432 222524 33554432000 4194304 5870510 140725823051728 140725823050696 140588384889743 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16818176 140725823054879 140725823054957 140725823054957 140725823057866 0
/proc/22130/statm: 618442 222524 904 410 0 613915 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2473768 KiB
Current children cumulated memory: 890096 KiB
[startup+12.7004 s]
/proc/loadavg: 1.17 1.49 1.82 3/200 22137
/proc/meminfo: memFree=27628156/32770624 swapFree=67001248/67108860
[pid=22130] ppid=22127 vsize=4330300 memory=2496744 CPUtime=12.69 cores=1,3,5,7
/proc/22130/stat : 22130 (xcsp_picat) R 22127 22130 22075 0 -1 4202496 114308 0 0 0 1221 48 0 0 20 0 1 0 408595398 4434227200 624186 33554432000 4194304 5870510 140725823051728 140725823050808 140588384820197 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16818176 140725823054879 140725823054957 140725823054957 140725823057866 0
/proc/22130/statm: 1082575 624186 909 410 0 1078048 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 4330300 KiB
Current children cumulated memory: 2496744 KiB
[startup+25.5004 s]
/proc/loadavg: 1.36 1.52 1.83 3/201 22139
/proc/meminfo: memFree=25424944/32770624 swapFree=67001248/67108860
[pid=22130] ppid=22127 vsize=6815284 memory=4553624 CPUtime=25.49 cores=1,3,5,7
/proc/22130/stat : 22130 (xcsp_picat) R 22127 22130 22075 0 -1 4202496 370938 0 0 0 2451 98 0 0 20 0 1 0 408595398 6978850816 1138406 33554432000 4194304 5870510 140725823051728 140725823050232 5321694 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16818176 140725823054879 140725823054957 140725823054957 140725823057866 0
/proc/22130/statm: 1703821 1138406 917 410 0 1699294 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 6815284 KiB
Current children cumulated memory: 4553624 KiB
[startup+51.1097 s]
/proc/loadavg: 1.58 1.56 1.83 3/200 22140
/proc/meminfo: memFree=25236036/32770624 swapFree=67001248/67108860
[pid=22130] ppid=22127 vsize=6913756 memory=4660152 CPUtime=51.1 cores=1,3,5,7
/proc/22130/stat : 22130 (xcsp_picat) R 22127 22130 22075 0 -1 4202496 477312 0 0 0 5000 110 0 0 20 0 1 0 408595398 7079686144 1165038 33554432000 4194304 5870510 140725823051728 140725823050216 5337257 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16818176 140725823054879 140725823054957 140725823054957 140725823057866 0
/proc/22130/statm: 1728439 1165038 917 410 0 1723912 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 6913756 KiB
Current children cumulated memory: 4660152 KiB
[startup+102.3 s]
/proc/loadavg: 1.82 1.63 1.84 3/200 22146
/proc/meminfo: memFree=25034448/32770624 swapFree=67001248/67108860
[pid=22130] ppid=22127 vsize=6753168 memory=4864932 CPUtime=102.29 cores=1,3,5,7
/proc/22130/stat : 22130 (xcsp_picat) R 22127 22130 22075 0 -1 4202496 1261902 0 0 0 10047 182 0 0 20 0 1 0 408595398 6915244032 1216233 33554432000 4194304 5870510 140725823051728 140725823050072 5287642 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16818176 140725823054879 140725823054957 140725823054957 140725823057866 0
/proc/22130/statm: 1688292 1216233 920 410 0 1683765 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 6753168 KiB
Current children cumulated memory: 4864932 KiB
[startup+162.3 s]
/proc/loadavg: 1.93 1.69 1.85 3/200 22152
/proc/meminfo: memFree=24208828/32770624 swapFree=67001248/67108860
[pid=22130] ppid=22127 vsize=8059640 memory=5671280 CPUtime=162.28 cores=1,3,5,7
/proc/22130/stat : 22130 (xcsp_picat) R 22127 22130 22075 0 -1 4202496 1951622 0 0 0 15932 296 0 0 20 0 1 0 408595398 8253071360 1417820 33554432000 4194304 5870510 140725823051728 140725823050984 5282578 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16818176 140725823054879 140725823054957 140725823054957 140725823057866 0
/proc/22130/statm: 2014910 1417820 940 410 0 2010383 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 8059640 KiB
Current children cumulated memory: 5671280 KiB
[startup+222.3 s]
/proc/loadavg: 1.97 1.75 1.86 3/200 22156
/proc/meminfo: memFree=24164652/32770624 swapFree=67001248/67108860
[pid=22130] ppid=22127 vsize=8059640 memory=5673404 CPUtime=222.29 cores=1,3,5,7
/proc/22130/stat : 22130 (xcsp_picat) R 22127 22130 22075 0 -1 4202496 2314720 0 0 0 21905 324 0 0 20 0 1 0 408595398 8253071360 1418351 33554432000 4194304 5870510 140725823051728 140725823050840 5289022 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16818176 140725823054879 140725823054957 140725823054957 140725823057866 0
/proc/22130/statm: 2014910 1418351 942 410 0 2010383 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 8059640 KiB
Current children cumulated memory: 5673404 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.80 1.87 3/200 22161
/proc/meminfo: memFree=24133984/32770624 swapFree=67001248/67108860
[pid=22130] ppid=22127 vsize=8059640 memory=5689792 CPUtime=282.28 cores=1,3,5,7
/proc/22130/stat : 22130 (xcsp_picat) R 22127 22130 22075 0 -1 4202496 2639679 0 0 0 27883 345 0 0 20 0 1 0 408595398 8253071360 1422448 33554432000 4194304 5870510 140725823051728 140725823050840 5258735 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16818176 140725823054879 140725823054957 140725823054957 140725823057866 0
/proc/22130/statm: 2014910 1422448 942 410 0 2010383 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 8059640 KiB
Current children cumulated memory: 5689792 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.83 1.88 3/200 22167
/proc/meminfo: memFree=24128324/32770624 swapFree=67001248/67108860
[pid=22130] ppid=22127 vsize=8059640 memory=5706176 CPUtime=342.29 cores=1,3,5,7
/proc/22130/stat : 22130 (xcsp_picat) R 22127 22130 22075 0 -1 4202496 2939459 0 0 0 33863 366 0 0 20 0 1 0 408595398 8253071360 1426544 33554432000 4194304 5870510 140725823051728 140725823050840 5308227 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16818176 140725823054879 140725823054957 140725823054957 140725823057866 0
/proc/22130/statm: 2014910 1426544 942 410 0 2010383 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 8059640 KiB
Current children cumulated memory: 5706176 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.86 1.88 3/199 22178
/proc/meminfo: memFree=24093512/32770624 swapFree=67001248/67108860
[pid=22130] ppid=22127 vsize=8059640 memory=5724608 CPUtime=402.29 cores=1,3,5,7
/proc/22130/stat : 22130 (xcsp_picat) R 22127 22130 22075 0 -1 4202496 3288472 0 0 0 39838 391 0 0 20 0 1 0 408595398 8253071360 1431152 33554432000 4194304 5870510 140725823051728 140725823050840 140588384817908 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16818176 140725823054879 140725823054957 140725823054957 140725823057866 0
/proc/22130/statm: 2014910 1431152 942 410 0 2010383 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 8059640 KiB
Current children cumulated memory: 5724608 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.89 1.89 3/199 22182
/proc/meminfo: memFree=24083780/32770624 swapFree=67001248/67108860
[pid=22130] ppid=22127 vsize=8059640 memory=5738944 CPUtime=462.28 cores=1,3,5,7
/proc/22130/stat : 22130 (xcsp_picat) R 22127 22130 22075 0 -1 4202496 3616255 0 0 0 45815 413 0 0 20 0 1 0 408595398 8253071360 1434736 33554432000 4194304 5870510 140725823051728 140725823050840 5282464 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16818176 140725823054879 140725823054957 140725823054957 140725823057866 0
/proc/22130/statm: 2014910 1434736 942 410 0 2010383 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 8059640 KiB
Current children cumulated memory: 5738944 KiB
################
# More data... #
################
/proc/22130/statm: 2014910 1470597 942 410 0 2010383 0
Current children cumulated CPU time: 1662.1 s
Current children cumulated vsize: 8059640 KiB
Current children cumulated memory: 5882388 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 22294
/proc/meminfo: memFree=23876096/32770624 swapFree=67001280/67108860
[pid=22130] ppid=22127 vsize=8059640 memory=5897240 CPUtime=1722.1 cores=1,3,5,7
/proc/22130/stat : 22130 (xcsp_picat) R 22127 22130 22075 0 -1 4202496 9248880 0 0 0 171417 793 0 0 20 0 1 0 408595398 8253071360 1474310 33554432000 4194304 5870510 140725823051728 140725823050680 5282578 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16818176 140725823054879 140725823054957 140725823054957 140725823057866 0
/proc/22130/statm: 2014910 1474310 942 410 0 2010383 0
Current children cumulated CPU time: 1722.1 s
Current children cumulated vsize: 8059640 KiB
Current children cumulated memory: 5897240 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/200 22315
/proc/meminfo: memFree=24059680/32770624 swapFree=67001292/67108860
[pid=22130] ppid=22127 vsize=7492112 memory=5701912 CPUtime=1782.08 cores=1,3,5,7
/proc/22130/stat : 22130 (xcsp_picat) R 22127 22130 22075 0 -1 4202496 9578143 0 0 0 177379 829 0 0 20 0 1 0 408595398 7671922688 1425478 33554432000 4194304 5870510 140725823051728 140725823050744 5282251 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16818176 140725823054879 140725823054957 140725823054957 140725823057866 0
/proc/22130/statm: 1873028 1425478 942 410 0 1868501 0
Current children cumulated CPU time: 1782.08 s
Current children cumulated vsize: 7492112 KiB
Current children cumulated memory: 5701912 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/200 22319
/proc/meminfo: memFree=24061240/32770624 swapFree=67001292/67108860
[pid=22130] ppid=22127 vsize=7492112 memory=5723124 CPUtime=1842.07 cores=1,3,5,7
/proc/22130/stat : 22130 (xcsp_picat) R 22127 22130 22075 0 -1 4202496 9638436 0 0 0 183374 833 0 0 20 0 1 0 408595398 7671922688 1430781 33554432000 4194304 5870510 140725823051728 140725823050744 5283106 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16818176 140725823054879 140725823054957 140725823054957 140725823057866 0
/proc/22130/statm: 1873028 1430781 942 410 0 1868501 0
Current children cumulated CPU time: 1842.07 s
Current children cumulated vsize: 7492112 KiB
Current children cumulated memory: 5723124 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/200 22324
/proc/meminfo: memFree=24036532/32770624 swapFree=67001300/67108860
[pid=22130] ppid=22127 vsize=7492112 memory=5745708 CPUtime=1902.06 cores=1,3,5,7
/proc/22130/stat : 22130 (xcsp_picat) R 22127 22130 22075 0 -1 4202496 9709709 0 0 0 189367 839 0 0 20 0 1 0 408595398 7671922688 1436427 33554432000 4194304 5870510 140725823051728 140725823050744 5288782 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16818176 140725823054879 140725823054957 140725823054957 140725823057866 0
/proc/22130/statm: 1873028 1436427 942 410 0 1868501 0
Current children cumulated CPU time: 1902.06 s
Current children cumulated vsize: 7492112 KiB
Current children cumulated memory: 5745708 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/200 22330
/proc/meminfo: memFree=24004088/32770624 swapFree=67001300/67108860
[pid=22130] ppid=22127 vsize=8059640 memory=5764052 CPUtime=1962.07 cores=1,3,5,7
/proc/22130/stat : 22130 (xcsp_picat) R 22127 22130 22075 0 -1 4202496 9805706 0 0 0 195359 848 0 0 20 0 1 0 408595398 8253071360 1441013 33554432000 4194304 5870510 140725823051728 140725823050680 5281827 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16818176 140725823054879 140725823054957 140725823054957 140725823057866 0
/proc/22130/statm: 2014910 1441013 942 410 0 2010383 0
Current children cumulated CPU time: 1962.07 s
Current children cumulated vsize: 8059640 KiB
Current children cumulated memory: 5764052 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/200 22334
/proc/meminfo: memFree=23960728/32770624 swapFree=67001300/67108860
[pid=22130] ppid=22127 vsize=8059640 memory=5795552 CPUtime=2022.07 cores=1,3,5,7
/proc/22130/stat : 22130 (xcsp_picat) R 22127 22130 22075 0 -1 4202496 10005340 0 0 0 201346 861 0 0 20 0 1 0 408595398 8253071360 1448888 33554432000 4194304 5870510 140725823051728 140725823050680 140588390519661 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16818176 140725823054879 140725823054957 140725823054957 140725823057866 0
/proc/22130/statm: 2014910 1448888 942 410 0 2010383 0
Current children cumulated CPU time: 2022.07 s
Current children cumulated vsize: 8059640 KiB
Current children cumulated memory: 5795552 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 22339
/proc/meminfo: memFree=23931200/32770624 swapFree=67001304/67108860
[pid=22130] ppid=22127 vsize=8059640 memory=5832416 CPUtime=2082.08 cores=1,3,5,7
/proc/22130/stat : 22130 (xcsp_picat) R 22127 22130 22075 0 -1 4202496 10208211 0 0 0 207336 872 0 0 20 0 1 0 408595398 8253071360 1458104 33554432000 4194304 5870510 140725823051728 140725823050680 5259103 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16818176 140725823054879 140725823054957 140725823054957 140725823057866 0
/proc/22130/statm: 2014910 1458104 942 410 0 2010383 0
Current children cumulated CPU time: 2082.08 s
Current children cumulated vsize: 8059640 KiB
Current children cumulated memory: 5832416 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 22345
/proc/meminfo: memFree=23871244/32770624 swapFree=67001304/67108860
[pid=22130] ppid=22127 vsize=8059640 memory=5877472 CPUtime=2142.06 cores=1,3,5,7
/proc/22130/stat : 22130 (xcsp_picat) R 22127 22130 22075 0 -1 4202496 10430596 0 0 0 213322 884 0 0 20 0 1 0 408595398 8253071360 1469368 33554432000 4194304 5870510 140725823051728 140725823050680 5258710 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16818176 140725823054879 140725823054957 140725823054957 140725823057866 0
/proc/22130/statm: 2014910 1469368 942 410 0 2010383 0
Current children cumulated CPU time: 2142.06 s
Current children cumulated vsize: 8059640 KiB
Current children cumulated memory: 5877472 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/200 22357
/proc/meminfo: memFree=23864304/32770624 swapFree=67001308/67108860
[pid=22130] ppid=22127 vsize=8059640 memory=5895904 CPUtime=2202.07 cores=1,3,5,7
/proc/22130/stat : 22130 (xcsp_picat) R 22127 22130 22075 0 -1 4202496 10638457 0 0 0 219309 898 0 0 20 0 1 0 408595398 8253071360 1473976 33554432000 4194304 5870510 140725823051728 140725823050680 5282295 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16818176 140725823054879 140725823054957 140725823054957 140725823057866 0
/proc/22130/statm: 2014910 1473976 942 410 0 2010383 0
Current children cumulated CPU time: 2202.07 s
Current children cumulated vsize: 8059640 KiB
Current children cumulated memory: 5895904 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/201 22387
/proc/meminfo: memFree=23841212/32770624 swapFree=67001352/67108860
[pid=22130] ppid=22127 vsize=8059640 memory=5914336 CPUtime=2262.06 cores=1,3,5,7
/proc/22130/stat : 22130 (xcsp_picat) R 22127 22130 22075 0 -1 4202496 10851313 0 0 0 225296 910 0 0 20 0 1 0 408595398 8253071360 1478584 33554432000 4194304 5870510 140725823051728 140725823050680 5283126 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16818176 140725823054879 140725823054957 140725823054957 140725823057866 0
/proc/22130/statm: 2014910 1478584 942 410 0 2010383 0
Current children cumulated CPU time: 2262.06 s
Current children cumulated vsize: 8059640 KiB
Current children cumulated memory: 5914336 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/201 22394
/proc/meminfo: memFree=24032972/32770624 swapFree=67001352/67108860
[pid=22130] ppid=22127 vsize=7492112 memory=5720808 CPUtime=2322.06 cores=1,3,5,7
/proc/22130/stat : 22130 (xcsp_picat) R 22127 22130 22075 0 -1 4202496 11120400 0 0 0 231264 942 0 0 20 0 1 0 408595398 7671922688 1430202 33554432000 4194304 5870510 140725823051728 140725823050744 5282816 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16818176 140725823054879 140725823054957 140725823054957 140725823057866 0
/proc/22130/statm: 1873028 1430202 942 410 0 1868501 0
Current children cumulated CPU time: 2322.06 s
Current children cumulated vsize: 7492112 KiB
Current children cumulated memory: 5720808 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/201 22398
/proc/meminfo: memFree=24006184/32770624 swapFree=67001352/67108860
[pid=22130] ppid=22127 vsize=7492112 memory=5735144 CPUtime=2382.05 cores=1,3,5,7
/proc/22130/stat : 22130 (xcsp_picat) R 22127 22130 22075 0 -1 4202496 11167057 0 0 0 237260 945 0 0 20 0 1 0 408595398 7671922688 1433786 33554432000 4194304 5870510 140725823051728 140725823050744 5288765 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16818176 140725823054879 140725823054957 140725823054957 140725823057866 0
/proc/22130/statm: 1873028 1433786 942 410 0 1868501 0
Current children cumulated CPU time: 2382.05 s
Current children cumulated vsize: 7492112 KiB
Current children cumulated memory: 5735144 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.3 s]
/proc/loadavg: 2.00 1.99 1.95 2/196 22406
/proc/meminfo: memFree=24620728/32770624 swapFree=67001352/67108860
[pid=22130] ppid=22127 vsize=7492112 memory=5739240 CPUtime=2400.05 cores=1,3,5,7
/proc/22130/stat : 22130 (xcsp_picat) R 22127 22130 22075 0 -1 4202496 11168240 0 0 0 239059 946 0 0 20 0 1 0 408595398 7671922688 1434810 33554432000 4194304 5870510 140725823051728 140725823050744 5281782 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16818176 140725823054879 140725823054957 140725823054957 140725823057866 0
/proc/22130/statm: 1873028 1434810 942 410 0 1868501 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 7492112 KiB
Current children cumulated memory: 5739240 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.33 s]
# the end of solver process 22130 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2390.6 s, system=9.48687 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.3 s]
/proc/loadavg: 2.00 1.99 1.95 2/196 22406
/proc/meminfo: memFree=24620728/32770624 swapFree=67001352/67108860
[pid=22130] ppid=22127 vsize=7492112 memory=5739240 CPUtime=2400.05 cores=1,3,5,7
/proc/22130/stat : 22130 (xcsp_picat) R 22127 22130 22075 0 -1 4202496 11168240 0 0 0 239059 946 0 0 20 0 1 0 408595398 7671922688 1434810 33554432000 4194304 5870510 140725823051728 140725823050744 5281782 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16818176 140725823054879 140725823054957 140725823054957 140725823057866 0
/proc/22130/statm: 1873028 1434810 942 410 0 1868501 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 7492112 KiB
Current children cumulated memory: 5739240 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.33
CPU time (s): 2400.09
CPU user time (s): 2390.6
CPU system time (s): 9.48687
CPU usage (%): 99.99
Max. virtual memory (cumulated for all children) (KiB): 10747096
Max. memory (cumulated for all children) (KiB): 7555356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2390.6
system time used= 9.48686
maximum resident set size= 7555356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11168240
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= 757
involuntary context switches= 1437
# summary of solver processes directly reported to runsolver:
# pid: 22130
# total CPU time (s): 2400.09
# total CPU user time (s): 2390.6
# total CPU system time (s): 9.48687
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.346 second user time and 17.4913 second system time
The end