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 (14528 MiB free)
memory of node 1: 16384 MiB (15165 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395412-1568322280/watcher-4395412-1568322280 -o /tmp/evaluation-result-4395412-1568322280/solver-4395412-1568322280 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568322174-14886 --watchdog 2580 xcsp_picat HOME/instance-4395412-1568322280.xml
running on 4 cores: 1,3,5,7
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=15048, runsolver pid=15045
Current StackSize limit: 8192 KiB
[startup+0.100174 s]*
/proc/loadavg: 1.54 1.31 1.62 3/206 15049
/proc/meminfo: memFree=30376984/32770624 swapFree=67008656/67108860
[pid=15048] ppid=15045 vsize=2053896 memory=33272 CPUtime=0.1 cores=1,3,5,7
/proc/15048/stat : 15048 (xcsp_picat) R 15045 15048 14854 0 -1 4202496 4694 0 0 0 9 1 0 0 20 0 1 0 408150730 2103189504 8318 33554432000 4194304 5870510 140723322994624 140723322993880 5440768 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32333824 140723322999839 140723322999917 140723322999917 140723323002826 0
/proc/15048/statm: 513474 8318 960 410 0 508947 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2053896 KiB
Current children cumulated memory: 33272 KiB
[startup+0.210385 s]*
/proc/loadavg: 1.54 1.31 1.62 3/206 15049
/proc/meminfo: memFree=30376988/32770624 swapFree=67008656/67108860
[pid=15048] ppid=15045 vsize=2053896 memory=33272 CPUtime=0.21 cores=1,3,5,7
/proc/15048/stat : 15048 (xcsp_picat) R 15045 15048 14854 0 -1 4202496 4695 0 0 0 20 1 0 0 20 0 1 0 408150730 2103189504 8318 33554432000 4194304 5870510 140723322994624 140723322993880 5562072 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32333824 140723322999839 140723322999917 140723322999917 140723323002826 0
/proc/15048/statm: 513474 8318 960 410 0 508947 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2053896 KiB
Current children cumulated memory: 33272 KiB
[startup+0.310249 s]*
/proc/loadavg: 1.54 1.31 1.62 3/206 15049
/proc/meminfo: memFree=30376988/32770624 swapFree=67008656/67108860
[pid=15048] ppid=15045 vsize=2053896 memory=33272 CPUtime=0.31 cores=1,3,5,7
/proc/15048/stat : 15048 (xcsp_picat) R 15045 15048 14854 0 -1 4202496 4695 0 0 0 30 1 0 0 20 0 1 0 408150730 2103189504 8318 33554432000 4194304 5870510 140723322994624 140723322993880 140427826712455 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32333824 140723322999839 140723322999917 140723322999917 140723323002826 0
/proc/15048/statm: 513474 8318 960 410 0 508947 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2053896 KiB
Current children cumulated memory: 33272 KiB
[startup+0.70024 s]
/proc/loadavg: 1.54 1.31 1.62 3/206 15049
/proc/meminfo: memFree=30376620/32770624 swapFree=67008656/67108860
[pid=15048] ppid=15045 vsize=2053800 memory=33264 CPUtime=0.69 cores=1,3,5,7
/proc/15048/stat : 15048 (xcsp_picat) R 15045 15048 14854 0 -1 4202496 6717 0 0 0 67 2 0 0 20 0 1 0 408150730 2103091200 8316 33554432000 4194304 5870510 140723322994624 140723322993736 4461503 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32333824 140723322999839 140723322999917 140723322999917 140723323002826 0
/proc/15048/statm: 513450 8316 986 410 0 508923 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2053800 KiB
Current children cumulated memory: 33264 KiB
[startup+1.50031 s]
/proc/loadavg: 1.54 1.31 1.62 3/206 15049
/proc/meminfo: memFree=30376648/32770624 swapFree=67008656/67108860
[pid=15048] ppid=15045 vsize=2054340 memory=34020 CPUtime=1.49 cores=1,3,5,7
/proc/15048/stat : 15048 (xcsp_picat) R 15045 15048 14854 0 -1 4202496 9366 0 0 0 146 3 0 0 20 0 1 0 408150730 2103644160 8505 33554432000 4194304 5870510 140723322994624 140723322993736 5562048 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32333824 140723322999839 140723322999917 140723322999917 140723323002826 0
/proc/15048/statm: 513585 8505 986 410 0 509058 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2054340 KiB
Current children cumulated memory: 34020 KiB
[startup+3.11036 s]
/proc/loadavg: 1.54 1.31 1.62 3/206 15049
/proc/meminfo: memFree=30366040/32770624 swapFree=67008656/67108860
[pid=15048] ppid=15045 vsize=2065020 memory=44424 CPUtime=3.09 cores=1,3,5,7
/proc/15048/stat : 15048 (xcsp_picat) R 15045 15048 14854 0 -1 4202496 14011 0 0 0 306 3 0 0 20 0 1 0 408150730 2114580480 11106 33554432000 4194304 5870510 140723322994624 140723322993432 5288833 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32333824 140723322999839 140723322999917 140723322999917 140723323002826 0
/proc/15048/statm: 516255 11106 1008 410 0 511728 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2065020 KiB
Current children cumulated memory: 44424 KiB
[startup+6.30032 s]
/proc/loadavg: 1.58 1.32 1.62 3/206 15049
/proc/meminfo: memFree=30352584/32770624 swapFree=67008656/67108860
[pid=15048] ppid=15045 vsize=2086668 memory=59804 CPUtime=6.28 cores=1,3,5,7
/proc/15048/stat : 15048 (xcsp_picat) R 15045 15048 14854 0 -1 4202496 19615 0 0 0 624 4 0 0 20 0 1 0 408150730 2136748032 14951 33554432000 4194304 5870510 140723322994624 140723322993576 5277429 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32333824 140723322999839 140723322999917 140723322999917 140723323002826 0
/proc/15048/statm: 521667 14951 1008 410 0 517140 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2086668 KiB
Current children cumulated memory: 59804 KiB
[startup+12.7004 s]
/proc/loadavg: 1.61 1.33 1.62 3/206 15049
/proc/meminfo: memFree=30312232/32770624 swapFree=67008656/67108860
[pid=15048] ppid=15045 vsize=2105340 memory=79928 CPUtime=12.68 cores=1,3,5,7
/proc/15048/stat : 15048 (xcsp_picat) R 15045 15048 14854 0 -1 4202496 25387 0 0 0 1263 5 0 0 20 0 1 0 408150730 2155868160 19982 33554432000 4194304 5870510 140723322994624 140723322993064 5282357 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32333824 140723322999839 140723322999917 140723322999917 140723323002826 0
/proc/15048/statm: 526335 19982 1008 410 0 521808 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2105340 KiB
Current children cumulated memory: 79928 KiB
[startup+25.5004 s]
/proc/loadavg: 1.63 1.35 1.62 3/206 15050
/proc/meminfo: memFree=30284492/32770624 swapFree=67008656/67108860
[pid=15048] ppid=15045 vsize=2116868 memory=94796 CPUtime=25.48 cores=1,3,5,7
/proc/15048/stat : 15048 (xcsp_picat) R 15045 15048 14854 0 -1 4202496 33833 0 0 0 2542 6 0 0 20 0 1 0 408150730 2167672832 23699 33554432000 4194304 5870510 140723322994624 140723322993192 5282721 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32333824 140723322999839 140723322999917 140723322999917 140723323002826 0
/proc/15048/statm: 529217 23699 1008 410 0 524690 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2116868 KiB
Current children cumulated memory: 94796 KiB
[startup+51.1105 s]
/proc/loadavg: 1.76 1.40 1.63 3/206 15052
/proc/meminfo: memFree=30268800/32770624 swapFree=67008656/67108860
[pid=15048] ppid=15045 vsize=2136272 memory=110648 CPUtime=51.09 cores=1,3,5,7
/proc/15048/stat : 15048 (xcsp_picat) R 15045 15048 14854 0 -1 4202496 39595 0 0 0 5102 7 0 0 20 0 1 0 408150730 2187542528 27662 33554432000 4194304 5870510 140723322994624 140723322993064 5262479 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32333824 140723322999839 140723322999917 140723322999917 140723323002826 0
/proc/15048/statm: 534068 27662 1008 410 0 529541 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2136272 KiB
Current children cumulated memory: 110648 KiB
[startup+102.3 s]
/proc/loadavg: 1.89 1.49 1.65 3/206 15056
/proc/meminfo: memFree=30234244/32770624 swapFree=67008656/67108860
[pid=15048] ppid=15045 vsize=2139000 memory=110908 CPUtime=102.28 cores=1,3,5,7
/proc/15048/stat : 15048 (xcsp_picat) R 15045 15048 14854 0 -1 4202496 46997 0 0 0 10217 11 0 0 20 0 1 0 408150730 2190336000 27727 33554432000 4194304 5870510 140723322994624 140723322993064 5275235 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32333824 140723322999839 140723322999917 140723322999917 140723323002826 0
/proc/15048/statm: 534750 27727 1015 410 0 530223 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2139000 KiB
Current children cumulated memory: 110908 KiB
[startup+162.3 s]
/proc/loadavg: 1.96 1.58 1.68 3/206 15060
/proc/meminfo: memFree=30200220/32770624 swapFree=67008656/67108860
[pid=15048] ppid=15045 vsize=2139456 memory=119620 CPUtime=162.27 cores=1,3,5,7
/proc/15048/stat : 15048 (xcsp_picat) R 15045 15048 14854 0 -1 4202496 52913 0 0 0 16216 11 0 0 20 0 1 0 408150730 2190802944 29905 33554432000 4194304 5870510 140723322994624 140723322993192 5283083 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32333824 140723322999839 140723322999917 140723322999917 140723323002826 0
/proc/15048/statm: 534864 29905 1015 410 0 530337 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2139456 KiB
Current children cumulated memory: 119620 KiB
[startup+222.3 s]
/proc/loadavg: 1.99 1.66 1.69 3/206 15068
/proc/meminfo: memFree=30274804/32770624 swapFree=67008656/67108860
[pid=15048] ppid=15045 vsize=2135572 memory=96512 CPUtime=222.27 cores=1,3,5,7
/proc/15048/stat : 15048 (xcsp_picat) R 15045 15048 14854 0 -1 4202496 60575 0 0 0 22214 13 0 0 20 0 1 0 408150730 2186825728 24128 33554432000 4194304 5870510 140723322994624 140723322993064 5262777 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32333824 140723322999839 140723322999917 140723322999917 140723323002826 0
/proc/15048/statm: 533893 24128 1015 410 0 529366 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2135572 KiB
Current children cumulated memory: 96512 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.72 1.71 3/205 15072
/proc/meminfo: memFree=30214420/32770624 swapFree=67008656/67108860
[pid=15048] ppid=15045 vsize=2130540 memory=110760 CPUtime=282.27 cores=1,3,5,7
/proc/15048/stat : 15048 (xcsp_picat) R 15045 15048 14854 0 -1 4202496 63000 0 0 0 28212 15 0 0 20 0 1 0 408150730 2181672960 27690 33554432000 4194304 5870510 140723322994624 140723322993192 5272880 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32333824 140723322999839 140723322999917 140723322999917 140723323002826 0
/proc/15048/statm: 532635 27690 1015 410 0 528108 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2130540 KiB
Current children cumulated memory: 110760 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.77 1.73 3/205 15076
/proc/meminfo: memFree=30182396/32770624 swapFree=67008656/67108860
[pid=15048] ppid=15045 vsize=2149216 memory=119100 CPUtime=342.26 cores=1,3,5,7
/proc/15048/stat : 15048 (xcsp_picat) R 15045 15048 14854 0 -1 4202496 67868 0 0 0 34211 15 0 0 20 0 1 0 408150730 2200797184 29775 33554432000 4194304 5870510 140723322994624 140723322993064 5276259 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32333824 140723322999839 140723322999917 140723322999917 140723323002826 0
/proc/15048/statm: 537304 29775 1015 410 0 532777 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 2149216 KiB
Current children cumulated memory: 119100 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.81 1.75 3/206 15087
/proc/meminfo: memFree=30199244/32770624 swapFree=67008664/67108860
[pid=15048] ppid=15045 vsize=2157120 memory=137528 CPUtime=402.25 cores=1,3,5,7
/proc/15048/stat : 15048 (xcsp_picat) R 15045 15048 14854 0 -1 4202496 68979 0 0 0 40210 15 0 0 20 0 1 0 408150730 2208890880 34382 33554432000 4194304 5870510 140723322994624 140723322993192 5282509 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32333824 140723322999839 140723322999917 140723322999917 140723323002826 0
/proc/15048/statm: 539280 34382 1015 410 0 534753 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 2157120 KiB
Current children cumulated memory: 137528 KiB
[startup+462.3 s]
/proc/loadavg: 2.22 1.90 1.78 3/205 15091
/proc/meminfo: memFree=30165576/32770624 swapFree=67008664/67108860
[pid=15048] ppid=15045 vsize=2157120 memory=137528 CPUtime=462.26 cores=1,3,5,7
/proc/15048/stat : 15048 (xcsp_picat) R 15045 15048 14854 0 -1 4202496 74622 0 0 0 46210 16 0 0 20 0 1 0 408150730 2208890880 34382 33554432000 4194304 5870510 140723322994624 140723322993192 5282464 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32333824 140723322999839 140723322999917 140723322999917 140723323002826 0
/proc/15048/statm: 539280 34382 1015 410 0 534753 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 2157120 KiB
Current children cumulated memory: 137528 KiB
################
# More data... #
################
Current children cumulated memory: 150436 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.05 1.95 3/205 15162
/proc/meminfo: memFree=30162608/32770624 swapFree=67008672/67108860
[pid=15048] ppid=15045 vsize=2170152 memory=150436 CPUtime=1242.19 cores=1,3,5,7
/proc/15048/stat : 15048 (xcsp_picat) R 15045 15048 14854 0 -1 4202496 118114 0 0 0 124197 22 0 0 20 0 1 0 408150730 2222235648 37609 33554432000 4194304 5870510 140723322994624 140723322993192 5282736 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32333824 140723322999839 140723322999917 140723322999917 140723323002826 0
/proc/15048/statm: 542538 37609 1015 410 0 538011 0
Current children cumulated CPU time: 1242.19 s
Current children cumulated vsize: 2170152 KiB
Current children cumulated memory: 150436 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.04 1.95 3/206 15169
/proc/meminfo: memFree=30162412/32770624 swapFree=67008676/67108860
[pid=15048] ppid=15045 vsize=2170152 memory=150436 CPUtime=1302.19 cores=1,3,5,7
/proc/15048/stat : 15048 (xcsp_picat) R 15045 15048 14854 0 -1 4202496 124662 0 0 0 130196 23 0 0 20 0 1 0 408150730 2222235648 37609 33554432000 4194304 5870510 140723322994624 140723322993192 5283106 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32333824 140723322999839 140723322999917 140723322999917 140723323002826 0
/proc/15048/statm: 542538 37609 1015 410 0 538011 0
Current children cumulated CPU time: 1302.19 s
Current children cumulated vsize: 2170152 KiB
Current children cumulated memory: 150436 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.04 1.95 3/205 15173
/proc/meminfo: memFree=30127044/32770624 swapFree=67008676/67108860
[pid=15048] ppid=15045 vsize=2170152 memory=150728 CPUtime=1362.18 cores=1,3,5,7
/proc/15048/stat : 15048 (xcsp_picat) R 15045 15048 14854 0 -1 4202496 125070 0 0 0 136195 23 0 0 20 0 1 0 408150730 2222235648 37682 33554432000 4194304 5870510 140723322994624 140723322993192 5282578 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32333824 140723322999839 140723322999917 140723322999917 140723323002826 0
/proc/15048/statm: 542538 37682 1015 410 0 538011 0
Current children cumulated CPU time: 1362.18 s
Current children cumulated vsize: 2170152 KiB
Current children cumulated memory: 150728 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 2.03 1.95 3/204 15178
/proc/meminfo: memFree=30173764/32770624 swapFree=67008676/67108860
[pid=15048] ppid=15045 vsize=2116896 memory=102780 CPUtime=1422.18 cores=1,3,5,7
/proc/15048/stat : 15048 (xcsp_picat) R 15045 15048 14854 0 -1 4202496 128163 0 0 0 142193 25 0 0 20 0 1 0 408150730 2167701504 25695 33554432000 4194304 5870510 140723322994624 140723322993064 5272224 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32333824 140723322999839 140723322999917 140723322999917 140723323002826 0
/proc/15048/statm: 529224 25695 1015 410 0 524697 0
Current children cumulated CPU time: 1422.18 s
Current children cumulated vsize: 2116896 KiB
Current children cumulated memory: 102780 KiB
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/206 15186
/proc/meminfo: memFree=30148640/32770624 swapFree=67008676/67108860
[pid=15048] ppid=15045 vsize=2140808 memory=126212 CPUtime=1482.17 cores=1,3,5,7
/proc/15048/stat : 15048 (xcsp_picat) R 15045 15048 14854 0 -1 4202496 129146 0 0 0 148192 25 0 0 20 0 1 0 408150730 2192187392 31553 33554432000 4194304 5870510 140723322994624 140723322993064 5283067 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32333824 140723322999839 140723322999917 140723322999917 140723323002826 0
/proc/15048/statm: 535202 31553 1015 410 0 530675 0
Current children cumulated CPU time: 1482.17 s
Current children cumulated vsize: 2140808 KiB
Current children cumulated memory: 126212 KiB
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/205 15190
/proc/meminfo: memFree=30130732/32770624 swapFree=67008676/67108860
[pid=15048] ppid=15045 vsize=2155240 memory=140596 CPUtime=1542.16 cores=1,3,5,7
/proc/15048/stat : 15048 (xcsp_picat) R 15045 15048 14854 0 -1 4202496 132036 0 0 0 154191 25 0 0 20 0 1 0 408150730 2206965760 35149 33554432000 4194304 5870510 140723322994624 140723322993192 5283067 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32333824 140723322999839 140723322999917 140723322999917 140723323002826 0
/proc/15048/statm: 538810 35149 1015 410 0 534283 0
Current children cumulated CPU time: 1542.16 s
Current children cumulated vsize: 2155240 KiB
Current children cumulated memory: 140596 KiB
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/205 15199
/proc/meminfo: memFree=30151188/32770624 swapFree=67008676/67108860
[pid=15048] ppid=15045 vsize=2130312 memory=117596 CPUtime=1602.16 cores=1,3,5,7
/proc/15048/stat : 15048 (xcsp_picat) R 15045 15048 14854 0 -1 4202496 134377 0 0 0 160189 27 0 0 20 0 1 0 408150730 2181439488 29399 33554432000 4194304 5870510 140723322994624 140723322993192 5282394 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32333824 140723322999839 140723322999917 140723322999917 140723323002826 0
/proc/15048/statm: 532578 29399 1015 410 0 528051 0
Current children cumulated CPU time: 1602.16 s
Current children cumulated vsize: 2130312 KiB
Current children cumulated memory: 117596 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/206 15205
/proc/meminfo: memFree=30116108/32770624 swapFree=67008676/67108860
[pid=15048] ppid=15045 vsize=2149168 memory=136728 CPUtime=1662.16 cores=1,3,5,7
/proc/15048/stat : 15048 (xcsp_picat) R 15045 15048 14854 0 -1 4202496 137763 0 0 0 166188 28 0 0 20 0 1 0 408150730 2200748032 34182 33554432000 4194304 5870510 140723322994624 140723322993064 140427831949326 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32333824 140723322999839 140723322999917 140723322999917 140723323002826 0
/proc/15048/statm: 537292 34182 1015 410 0 532765 0
Current children cumulated CPU time: 1662.16 s
Current children cumulated vsize: 2149168 KiB
Current children cumulated memory: 136728 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/204 15209
/proc/meminfo: memFree=30128376/32770624 swapFree=67008676/67108860
[pid=15048] ppid=15045 vsize=2158340 memory=144832 CPUtime=1722.15 cores=1,3,5,7
/proc/15048/stat : 15048 (xcsp_picat) R 15045 15048 14854 0 -1 4202496 138858 0 0 0 172187 28 0 0 20 0 1 0 408150730 2210140160 36208 33554432000 4194304 5870510 140723322994624 140723322993192 5288915 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32333824 140723322999839 140723322999917 140723322999917 140723323002826 0
/proc/15048/statm: 539585 36208 1015 410 0 535058 0
Current children cumulated CPU time: 1722.15 s
Current children cumulated vsize: 2158340 KiB
Current children cumulated memory: 144832 KiB
[startup+1735.24 s]
# the end of solver process 15048 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1734.8 s, system=0.296978 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1728 s]*
/proc/loadavg: 2.00 2.01 1.95 3/205 15210
/proc/meminfo: memFree=30126220/32770624 swapFree=67008676/67108860
[pid=15048] ppid=15045 vsize=2188684 memory=150952 CPUtime=1727.87 cores=1,3,5,7
/proc/15048/stat : 15048 (xcsp_picat) R 15045 15048 14854 0 -1 4202496 141720 0 0 0 172758 29 0 0 20 0 1 0 408150730 2241212416 37738 33554432000 4194304 5870510 140723322994624 140723322993064 5272433 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32333824 140723322999839 140723322999917 140723322999917 140723323002826 0
/proc/15048/statm: 547171 37738 1015 410 0 542644 0
Current children cumulated CPU time: 1727.87 s
Current children cumulated vsize: 2188684 KiB
Current children cumulated memory: 150952 KiB
[startup+1731.2 s]
/proc/loadavg: 2.00 2.01 1.95 3/205 15210
/proc/meminfo: memFree=30118028/32770624 swapFree=67008676/67108860
[pid=15048] ppid=15045 vsize=2188684 memory=150952 CPUtime=1731.06 cores=1,3,5,7
/proc/15048/stat : 15048 (xcsp_picat) R 15045 15048 14854 0 -1 4202496 142556 0 0 0 173077 29 0 0 20 0 1 0 408150730 2241212416 37738 33554432000 4194304 5870510 140723322994624 140723322993064 5288882 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32333824 140723322999839 140723322999917 140723322999917 140723323002826 0
/proc/15048/statm: 547171 37738 1015 410 0 542644 0
Current children cumulated CPU time: 1731.06 s
Current children cumulated vsize: 2188684 KiB
Current children cumulated memory: 150952 KiB
[startup+1732.8 s]
/proc/loadavg: 2.00 2.01 1.95 3/205 15210
/proc/meminfo: memFree=30126468/32770624 swapFree=67008676/67108860
[pid=15048] ppid=15045 vsize=2188684 memory=150952 CPUtime=1732.66 cores=1,3,5,7
/proc/15048/stat : 15048 (xcsp_picat) R 15045 15048 14854 0 -1 4202496 142562 0 0 0 173237 29 0 0 20 0 1 0 408150730 2241212416 37738 33554432000 4194304 5870510 140723322994624 140723322993064 5283135 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32333824 140723322999839 140723322999917 140723322999917 140723323002826 0
/proc/15048/statm: 547171 37738 1015 410 0 542644 0
Current children cumulated CPU time: 1732.66 s
Current children cumulated vsize: 2188684 KiB
Current children cumulated memory: 150952 KiB
[startup+1734.4 s]
/proc/loadavg: 2.00 2.01 1.95 3/204 15210
/proc/meminfo: memFree=30114072/32770624 swapFree=67008676/67108860
[pid=15048] ppid=15045 vsize=2188684 memory=159144 CPUtime=1734.26 cores=1,3,5,7
/proc/15048/stat : 15048 (xcsp_picat) R 15045 15048 14854 0 -1 4202496 142795 0 0 0 173397 29 0 0 20 0 1 0 408150730 2241212416 39786 33554432000 4194304 5870510 140723322994624 140723322993064 5277455 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32333824 140723322999839 140723322999917 140723322999917 140723323002826 0
/proc/15048/statm: 547171 39786 1015 410 0 542644 0
Current children cumulated CPU time: 1734.26 s
Current children cumulated vsize: 2188684 KiB
Current children cumulated memory: 159144 KiB
[startup+1734.8 s]
/proc/loadavg: 2.00 2.01 1.95 3/204 15210
/proc/meminfo: memFree=30114072/32770624 swapFree=67008676/67108860
[pid=15048] ppid=15045 vsize=2188684 memory=161192 CPUtime=1734.66 cores=1,3,5,7
/proc/15048/stat : 15048 (xcsp_picat) R 15045 15048 14854 0 -1 4202496 142796 0 0 0 173437 29 0 0 20 0 1 0 408150730 2241212416 40298 33554432000 4194304 5870510 140723322994624 140723322993064 5288915 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32333824 140723322999839 140723322999917 140723322999917 140723323002826 0
/proc/15048/statm: 547171 40298 1015 410 0 542644 0
Current children cumulated CPU time: 1734.66 s
Current children cumulated vsize: 2188684 KiB
Current children cumulated memory: 161192 KiB
[startup+1735.2 s]
/proc/loadavg: 2.00 2.01 1.95 3/204 15210
/proc/meminfo: memFree=30108056/32770624 swapFree=67008676/67108860
[pid=15048] ppid=15045 vsize=2188684 memory=163240 CPUtime=1735.05 cores=1,3,5,7
/proc/15048/stat : 15048 (xcsp_picat) R 15045 15048 14854 0 -1 4202496 142801 0 0 0 173476 29 0 0 20 0 1 0 408150730 2241212416 40810 33554432000 4194304 5870510 140723322994624 140723322993064 5262774 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32333824 140723322999839 140723322999917 140723322999917 140723323002826 0
/proc/15048/statm: 547171 40810 1015 410 0 542644 0
Current children cumulated CPU time: 1735.05 s
Current children cumulated vsize: 2188684 KiB
Current children cumulated memory: 163240 KiB
Child status: 0
Real time (s): 1735.24
CPU time (s): 1735.1
CPU user time (s): 1734.8
CPU system time (s): 0.296978
CPU usage (%): 99.9921
Max. virtual memory (cumulated for all children) (KiB): 2188684
Max. memory (cumulated for all children) (KiB): 163240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1734.8
system time used= 0.296978
maximum resident set size= 163268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142841
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= 16
involuntary context switches= 661
# summary of solver processes directly reported to runsolver:
# pid: 15048
# total CPU time (s): 1735.1
# total CPU user time (s): 1734.8
# total CPU system time (s): 0.296978
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.53111 second user time and 13.4467 second system time
The end