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 (10892 MiB free)
memory of node 1: 16384 MiB (7041 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303256-1533991243/watcher-4303256-1533991243 -o /tmp/evaluation-result-4303256-1533991243/solver-4303256-1533991243 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1533991241-25513 --watchdog 2580 xcsp_picat HOME/instance-4303256-1533991243.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
Current StackSize limit: 8192 KiB
solver pid=25606, runsolver pid=25603
[startup+0.100158 s]*
/proc/loadavg: 1.08 1.04 1.19 3/196 25607
/proc/meminfo: memFree=18353480/32770624 swapFree=67108688/67108860
[pid=25606] ppid=25603 vsize=2027168 memory=13616 CPUtime=0.1 cores=1,3,5,7
/proc/25606/stat : 25606 (xcsp_picat) R 25603 25606 25480 0 -1 4202496 2045 0 0 0 10 0 0 0 20 0 1 0 216687521 2075820032 3404 33554432000 4194304 5849708 140723427701824 140723427701824 5395498 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19927040 140723427706038 140723427706116 140723427706116 140723427708874 0
/proc/25606/statm: 506792 3404 628 405 0 503737 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2027168 KiB
Current children cumulated memory: 13616 KiB
[startup+0.210122 s]*
/proc/loadavg: 1.08 1.04 1.19 3/196 25607
/proc/meminfo: memFree=18353108/32770624 swapFree=67108688/67108860
[pid=25606] ppid=25603 vsize=2027924 memory=13888 CPUtime=0.21 cores=1,3,5,7
/proc/25606/stat : 25606 (xcsp_picat) R 25603 25606 25480 0 -1 4202496 2295 0 0 0 21 0 0 0 20 0 1 0 216687521 2076594176 3472 33554432000 4194304 5849708 140723427701824 140723427701824 5416158 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19927040 140723427706038 140723427706116 140723427706116 140723427708874 0
/proc/25606/statm: 506981 3472 650 405 0 503926 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2027924 KiB
Current children cumulated memory: 13888 KiB
[startup+0.309607 s]*
/proc/loadavg: 1.08 1.04 1.19 3/196 25607
/proc/meminfo: memFree=18353888/32770624 swapFree=67108688/67108860
[pid=25606] ppid=25603 vsize=2027924 memory=13888 CPUtime=0.31 cores=1,3,5,7
/proc/25606/stat : 25606 (xcsp_picat) R 25603 25606 25480 0 -1 4202496 2305 0 0 0 31 0 0 0 20 0 1 0 216687521 2076594176 3472 33554432000 4194304 5849708 140723427701824 140723427701824 140083448217479 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19927040 140723427706038 140723427706116 140723427706116 140723427708874 0
/proc/25606/statm: 506981 3472 650 405 0 503926 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2027924 KiB
Current children cumulated memory: 13888 KiB
[startup+0.700271 s]
/proc/loadavg: 1.08 1.04 1.19 3/196 25607
/proc/meminfo: memFree=18351744/32770624 swapFree=67108688/67108860
[pid=25606] ppid=25603 vsize=2028716 memory=15160 CPUtime=0.7 cores=1,3,5,7
/proc/25606/stat : 25606 (xcsp_picat) R 25603 25606 25480 0 -1 4202496 2725 0 0 0 69 1 0 0 20 0 1 0 216687521 2077405184 3790 33554432000 4194304 5849708 140723427701824 140723427701824 140083448217479 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19927040 140723427706038 140723427706116 140723427706116 140723427708874 0
/proc/25606/statm: 507179 3790 661 405 0 504124 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 2028716 KiB
Current children cumulated memory: 15160 KiB
[startup+1.50029 s]
/proc/loadavg: 1.08 1.04 1.19 3/196 25607
/proc/meminfo: memFree=18349556/32770624 swapFree=67108688/67108860
[pid=25606] ppid=25603 vsize=2031180 memory=17388 CPUtime=1.49 cores=1,3,5,7
/proc/25606/stat : 25606 (xcsp_picat) R 25603 25606 25480 0 -1 4202496 4109 0 0 0 147 2 0 0 20 0 1 0 216687521 2079928320 4347 33554432000 4194304 5849708 140723427701824 140723427700824 5416669 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19927040 140723427706038 140723427706116 140723427706116 140723427708874 0
/proc/25606/statm: 507795 4347 661 405 0 504740 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2031180 KiB
Current children cumulated memory: 17388 KiB
[startup+3.10989 s]
/proc/loadavg: 1.08 1.04 1.19 3/196 25607
/proc/meminfo: memFree=18347380/32770624 swapFree=67108688/67108860
[pid=25606] ppid=25603 vsize=2033192 memory=19652 CPUtime=3.1 cores=1,3,5,7
/proc/25606/stat : 25606 (xcsp_picat) R 25603 25606 25480 0 -1 4202496 8369 0 0 0 305 5 0 0 20 0 1 0 216687521 2081988608 4913 33554432000 4194304 5849708 140723427701824 140723427700824 140083448217479 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19927040 140723427706038 140723427706116 140723427706116 140723427708874 0
/proc/25606/statm: 508298 4913 661 405 0 505243 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2033192 KiB
Current children cumulated memory: 19652 KiB
[startup+6.30029 s]
/proc/loadavg: 1.16 1.05 1.19 3/196 25607
/proc/meminfo: memFree=18341400/32770624 swapFree=67108688/67108860
[pid=25606] ppid=25603 vsize=2037400 memory=23652 CPUtime=6.29 cores=1,3,5,7
/proc/25606/stat : 25606 (xcsp_picat) R 25603 25606 25480 0 -1 4202496 16244 0 0 0 619 10 0 0 20 0 1 0 216687521 2086297600 5913 33554432000 4194304 5849708 140723427701824 140723427700824 140083448217479 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19927040 140723427706038 140723427706116 140723427706116 140723427708874 0
/proc/25606/statm: 509350 5913 661 405 0 506295 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2037400 KiB
Current children cumulated memory: 23652 KiB
[startup+12.7003 s]
/proc/loadavg: 1.22 1.07 1.20 3/196 25607
/proc/meminfo: memFree=18342336/32770624 swapFree=67108688/67108860
[pid=25606] ppid=25603 vsize=2037688 memory=24148 CPUtime=12.69 cores=1,3,5,7
/proc/25606/stat : 25606 (xcsp_picat) R 25603 25606 25480 0 -1 4202496 36061 0 0 0 1250 19 0 0 20 0 1 0 216687521 2086592512 6037 33554432000 4194304 5849708 140723427701824 140723427700984 4212035 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19927040 140723427706038 140723427706116 140723427706116 140723427708874 0
/proc/25606/statm: 509422 6037 661 405 0 506367 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2037688 KiB
Current children cumulated memory: 24148 KiB
[startup+25.5004 s]
/proc/loadavg: 1.40 1.11 1.21 3/196 25607
/proc/meminfo: memFree=18320920/32770624 swapFree=67108688/67108860
[pid=25606] ppid=25603 vsize=2046580 memory=33136 CPUtime=25.49 cores=1,3,5,7
/proc/25606/stat : 25606 (xcsp_picat) R 25603 25606 25480 0 -1 4202496 64065 0 0 0 2513 36 0 0 20 0 1 0 216687521 2095697920 8284 33554432000 4194304 5849708 140723427701824 140723427700824 140083448217479 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19927040 140723427706038 140723427706116 140723427706116 140723427708874 0
/proc/25606/statm: 511645 8284 661 405 0 508590 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2046580 KiB
Current children cumulated memory: 33136 KiB
[startup+51.11 s]
/proc/loadavg: 1.60 1.18 1.23 3/196 25607
/proc/meminfo: memFree=18298348/32770624 swapFree=67108688/67108860
[pid=25606] ppid=25603 vsize=2051944 memory=38200 CPUtime=51.09 cores=1,3,5,7
/proc/25606/stat : 25606 (xcsp_picat) R 25603 25606 25480 0 -1 4202496 107641 0 0 0 5048 61 0 0 20 0 1 0 216687521 2101190656 9550 33554432000 4194304 5849708 140723427701824 140723427700824 140083448217479 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19927040 140723427706038 140723427706116 140723427706116 140723427708874 0
/proc/25606/statm: 512986 9550 661 405 0 509931 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2051944 KiB
Current children cumulated memory: 38200 KiB
[startup+102.3 s]
/proc/loadavg: 1.75 1.29 1.26 3/196 25608
/proc/meminfo: memFree=18265860/32770624 swapFree=67108688/67108860
[pid=25606] ppid=25603 vsize=2063020 memory=49480 CPUtime=102.28 cores=1,3,5,7
/proc/25606/stat : 25606 (xcsp_picat) R 25603 25606 25480 0 -1 4202496 177067 0 0 0 10129 99 0 0 20 0 1 0 216687521 2112532480 12370 33554432000 4194304 5849708 140723427701824 140723427700824 140083448217479 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19927040 140723427706038 140723427706116 140723427706116 140723427708874 0
/proc/25606/statm: 515755 12370 661 405 0 512700 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2063020 KiB
Current children cumulated memory: 49480 KiB
[startup+162.3 s]
/proc/loadavg: 1.91 1.42 1.31 3/195 25609
/proc/meminfo: memFree=18206196/32770624 swapFree=67108688/67108860
[pid=25606] ppid=25603 vsize=2112088 memory=98548 CPUtime=162.28 cores=1,3,5,7
/proc/25606/stat : 25606 (xcsp_picat) R 25603 25606 25480 0 -1 4202496 241884 0 0 0 16092 136 0 0 20 0 1 0 216687521 2162778112 24637 33554432000 4194304 5849708 140723427701824 140723427700824 140083448217479 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19927040 140723427706038 140723427706116 140723427706116 140723427708874 0
/proc/25606/statm: 528022 24637 661 405 0 524967 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2112088 KiB
Current children cumulated memory: 98548 KiB
[startup+222.3 s]
/proc/loadavg: 1.97 1.53 1.35 3/195 25610
/proc/meminfo: memFree=18168188/32770624 swapFree=67108688/67108860
[pid=25606] ppid=25603 vsize=2097396 memory=83640 CPUtime=222.28 cores=1,3,5,7
/proc/25606/stat : 25606 (xcsp_picat) R 25603 25606 25480 0 -1 4202496 267711 0 0 0 22065 163 0 0 20 0 1 0 216687521 2147733504 20910 33554432000 4194304 5849708 140723427701824 140723427700984 140083448217479 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19927040 140723427706038 140723427706116 140723427706116 140723427708874 0
/proc/25606/statm: 524349 20910 661 405 0 521294 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2097396 KiB
Current children cumulated memory: 83640 KiB
[startup+282.3 s]
/proc/loadavg: 2.51 1.77 1.45 3/194 25611
/proc/meminfo: memFree=18138380/32770624 swapFree=67108688/67108860
[pid=25606] ppid=25603 vsize=2167100 memory=153560 CPUtime=282.28 cores=1,3,5,7
/proc/25606/stat : 25606 (xcsp_picat) R 25603 25606 25480 0 -1 4202496 289660 0 0 0 28047 181 0 0 20 0 1 0 216687521 2219110400 38390 33554432000 4194304 5849708 140723427701824 140723427700824 5438261 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19927040 140723427706038 140723427706116 140723427706116 140723427708874 0
/proc/25606/statm: 541775 38390 661 405 0 538720 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2167100 KiB
Current children cumulated memory: 153560 KiB
[startup+342.3 s]
/proc/loadavg: 2.19 1.81 1.48 3/190 25612
/proc/meminfo: memFree=18043988/32770624 swapFree=67108688/67108860
[pid=25606] ppid=25603 vsize=2228028 memory=214488 CPUtime=342.28 cores=1,3,5,7
/proc/25606/stat : 25606 (xcsp_picat) R 25603 25606 25480 0 -1 4202496 294997 0 0 0 34032 196 0 0 20 0 1 0 216687521 2281500672 53622 33554432000 4194304 5849708 140723427701824 140723427700696 5437714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19927040 140723427706038 140723427706116 140723427706116 140723427708874 0
/proc/25606/statm: 557007 53622 661 405 0 553952 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2228028 KiB
Current children cumulated memory: 214488 KiB
[startup+402.3 s]
/proc/loadavg: 2.07 1.84 1.51 3/191 25614
/proc/meminfo: memFree=18036648/32770624 swapFree=67108688/67108860
[pid=25606] ppid=25603 vsize=2171496 memory=157956 CPUtime=402.28 cores=1,3,5,7
/proc/25606/stat : 25606 (xcsp_picat) R 25603 25606 25480 0 -1 4202496 322408 0 0 0 40015 213 0 0 20 0 1 0 216687521 2223611904 39489 33554432000 4194304 5849708 140723427701824 140723427700824 5413190 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19927040 140723427706038 140723427706116 140723427706116 140723427708874 0
/proc/25606/statm: 542874 39489 661 405 0 539819 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 2171496 KiB
Current children cumulated memory: 157956 KiB
[startup+462.3 s]
/proc/loadavg: 2.03 1.87 1.54 3/191 25615
/proc/meminfo: memFree=18019164/32770624 swapFree=67108688/67108860
[pid=25606] ppid=25603 vsize=2189264 memory=175492 CPUtime=462.27 cores=1,3,5,7
/proc/25606/stat : 25606 (xcsp_picat) R 25603 25606 25480 0 -1 4202496 363836 0 0 0 45981 246 0 0 20 0 1 0 216687521 2241806336 43873 33554432000 4194304 5849708 140723427701824 140723427700824 5438244 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19927040 140723427706038 140723427706116 140723427706116 140723427708874 0
/proc/25606/statm: 547316 43873 661 405 0 544261 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2189264 KiB
Current children cumulated memory: 175492 KiB
################
# More data... #
################
/proc/25606/statm: 568991 66508 661 405 0 565936 0
Current children cumulated CPU time: 1722.23 s
Current children cumulated vsize: 2275964 KiB
Current children cumulated memory: 266032 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.89 3/193 25691
/proc/meminfo: memFree=17620260/32770624 swapFree=67108688/67108860
[pid=25606] ppid=25603 vsize=2364620 memory=354568 CPUtime=1782.23 cores=1,3,5,7
/proc/25606/stat : 25606 (xcsp_picat) R 25603 25606 25480 0 -1 4202496 973625 0 0 0 177653 570 0 0 20 0 1 0 216687521 2421370880 88642 33554432000 4194304 5849708 140723427701824 140723427700824 5437714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19927040 140723427706038 140723427706116 140723427706116 140723427708874 0
/proc/25606/statm: 591155 88642 661 405 0 588100 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 2364620 KiB
Current children cumulated memory: 354568 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.90 3/193 25692
/proc/meminfo: memFree=17617492/32770624 swapFree=67108688/67108860
[pid=25606] ppid=25603 vsize=2367620 memory=357688 CPUtime=1842.24 cores=1,3,5,7
/proc/25606/stat : 25606 (xcsp_picat) R 25603 25606 25480 0 -1 4202496 997973 0 0 0 183642 582 0 0 20 0 1 0 216687521 2424442880 89422 33554432000 4194304 5849708 140723427701824 140723427700824 5438237 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19927040 140723427706038 140723427706116 140723427706116 140723427708874 0
/proc/25606/statm: 591905 89422 661 405 0 588850 0
Current children cumulated CPU time: 1842.24 s
Current children cumulated vsize: 2367620 KiB
Current children cumulated memory: 357688 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.90 3/192 25693
/proc/meminfo: memFree=17675168/32770624 swapFree=67108688/67108860
[pid=25606] ppid=25603 vsize=2428584 memory=418508 CPUtime=1902.24 cores=1,3,5,7
/proc/25606/stat : 25606 (xcsp_picat) R 25603 25606 25480 0 -1 4202496 1007691 0 0 0 189630 594 0 0 20 0 1 0 216687521 2486870016 104627 33554432000 4194304 5849708 140723427701824 140723427700696 5437714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19927040 140723427706038 140723427706116 140723427706116 140723427708874 0
/proc/25606/statm: 607146 104627 661 405 0 604091 0
Current children cumulated CPU time: 1902.24 s
Current children cumulated vsize: 2428584 KiB
Current children cumulated memory: 418508 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/191 25694
/proc/meminfo: memFree=17495296/32770624 swapFree=67108688/67108860
[pid=25606] ppid=25603 vsize=2489564 memory=479632 CPUtime=1962.23 cores=1,3,5,7
/proc/25606/stat : 25606 (xcsp_picat) R 25603 25606 25480 0 -1 4202496 1041701 0 0 0 195618 605 0 0 20 0 1 0 216687521 2549313536 119908 33554432000 4194304 5849708 140723427701824 140723427700824 5438346 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19927040 140723427706038 140723427706116 140723427706116 140723427708874 0
/proc/25606/statm: 622391 119908 661 405 0 619336 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 2489564 KiB
Current children cumulated memory: 479632 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/191 25695
/proc/meminfo: memFree=17442712/32770624 swapFree=67108688/67108860
[pid=25606] ppid=25603 vsize=2542384 memory=532452 CPUtime=2022.24 cores=1,3,5,7
/proc/25606/stat : 25606 (xcsp_picat) R 25603 25606 25480 0 -1 4202496 1065681 0 0 0 201609 615 0 0 20 0 1 0 216687521 2603401216 133113 33554432000 4194304 5849708 140723427701824 140723427700824 5437623 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19927040 140723427706038 140723427706116 140723427706116 140723427708874 0
/proc/25606/statm: 635596 133113 661 405 0 632541 0
Current children cumulated CPU time: 2022.24 s
Current children cumulated vsize: 2542384 KiB
Current children cumulated memory: 532452 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/190 25696
/proc/meminfo: memFree=17448188/32770624 swapFree=67108688/67108860
[pid=25606] ppid=25603 vsize=2536596 memory=526792 CPUtime=2082.24 cores=1,3,5,7
/proc/25606/stat : 25606 (xcsp_picat) R 25603 25606 25480 0 -1 4202496 1082031 0 0 0 207599 625 0 0 20 0 1 0 216687521 2597474304 131698 33554432000 4194304 5849708 140723427701824 140723427700824 5438261 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19927040 140723427706038 140723427706116 140723427706116 140723427708874 0
/proc/25606/statm: 634149 131698 661 405 0 631094 0
Current children cumulated CPU time: 2082.24 s
Current children cumulated vsize: 2536596 KiB
Current children cumulated memory: 526792 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/191 25698
/proc/meminfo: memFree=17447808/32770624 swapFree=67108688/67108860
[pid=25606] ppid=25603 vsize=2536596 memory=526792 CPUtime=2142.24 cores=1,3,5,7
/proc/25606/stat : 25606 (xcsp_picat) R 25603 25606 25480 0 -1 4202496 1120394 0 0 0 213588 636 0 0 20 0 1 0 216687521 2597474304 131698 33554432000 4194304 5849708 140723427701824 140723427700984 5438278 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19927040 140723427706038 140723427706116 140723427706116 140723427708874 0
/proc/25606/statm: 634149 131698 661 405 0 631094 0
Current children cumulated CPU time: 2142.24 s
Current children cumulated vsize: 2536596 KiB
Current children cumulated memory: 526792 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.93 4/191 25699
/proc/meminfo: memFree=17446724/32770624 swapFree=67108688/67108860
[pid=25606] ppid=25603 vsize=2536596 memory=526792 CPUtime=2202.23 cores=1,3,5,7
/proc/25606/stat : 25606 (xcsp_picat) R 25603 25606 25480 0 -1 4202496 1171639 0 0 0 219580 643 0 0 20 0 1 0 216687521 2597474304 131698 33554432000 4194304 5849708 140723427701824 140723427700824 5438267 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19927040 140723427706038 140723427706116 140723427706116 140723427708874 0
/proc/25606/statm: 634149 131698 661 405 0 631094 0
Current children cumulated CPU time: 2202.23 s
Current children cumulated vsize: 2536596 KiB
Current children cumulated memory: 526792 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/191 25700
/proc/meminfo: memFree=17422056/32770624 swapFree=67108688/67108860
[pid=25606] ppid=25603 vsize=2562300 memory=552496 CPUtime=2262.23 cores=1,3,5,7
/proc/25606/stat : 25606 (xcsp_picat) R 25603 25606 25480 0 -1 4202496 1223695 0 0 0 225571 652 0 0 20 0 1 0 216687521 2623795200 138124 33554432000 4194304 5849708 140723427701824 140723427700824 5437714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19927040 140723427706038 140723427706116 140723427706116 140723427708874 0
/proc/25606/statm: 640575 138124 661 405 0 637520 0
Current children cumulated CPU time: 2262.23 s
Current children cumulated vsize: 2562300 KiB
Current children cumulated memory: 552496 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/191 25701
/proc/meminfo: memFree=17265476/32770624 swapFree=67108688/67108860
[pid=25606] ppid=25603 vsize=2562300 memory=552496 CPUtime=2322.23 cores=1,3,5,7
/proc/25606/stat : 25606 (xcsp_picat) R 25603 25606 25480 0 -1 4202496 1279175 0 0 0 231563 660 0 0 20 0 1 0 216687521 2623795200 138124 33554432000 4194304 5849708 140723427701824 140723427700984 5438212 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19927040 140723427706038 140723427706116 140723427706116 140723427708874 0
/proc/25606/statm: 640575 138124 661 405 0 637520 0
Current children cumulated CPU time: 2322.23 s
Current children cumulated vsize: 2562300 KiB
Current children cumulated memory: 552496 KiB
[startup+2382.3 s]
/proc/loadavg: 2.06 2.03 1.95 3/191 25709
/proc/meminfo: memFree=17147848/32770624 swapFree=67108688/67108860
[pid=25606] ppid=25603 vsize=2678696 memory=668724 CPUtime=2382.23 cores=1,3,5,7
/proc/25606/stat : 25606 (xcsp_picat) R 25603 25606 25480 0 -1 4202496 1339811 0 0 0 237550 673 0 0 20 0 1 0 216687521 2742984704 167181 33554432000 4194304 5849708 140723427701824 140723427700824 5438212 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19927040 140723427706038 140723427706116 140723427706116 140723427708874 0
/proc/25606/statm: 669674 167181 661 405 0 666619 0
Current children cumulated CPU time: 2382.23 s
Current children cumulated vsize: 2678696 KiB
Current children cumulated memory: 668724 KiB
[startup+2442.3 s]
/proc/loadavg: 2.02 2.02 1.95 3/190 25710
/proc/meminfo: memFree=17174452/32770624 swapFree=67108688/67108860
[pid=25606] ppid=25603 vsize=2717360 memory=707556 CPUtime=2442.23 cores=1,3,5,7
/proc/25606/stat : 25606 (xcsp_picat) R 25603 25606 25480 0 -1 4202496 1396593 0 0 0 243538 685 0 0 20 0 1 0 216687521 2782576640 176889 33554432000 4194304 5849708 140723427701824 140723427700824 5437576 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19927040 140723427706038 140723427706116 140723427706116 140723427708874 0
/proc/25606/statm: 679340 176889 661 405 0 676285 0
Current children cumulated CPU time: 2442.23 s
Current children cumulated vsize: 2717360 KiB
Current children cumulated memory: 707556 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/190 25711
/proc/meminfo: memFree=17069688/32770624 swapFree=67108688/67108860
[pid=25606] ppid=25603 vsize=2745920 memory=736088 CPUtime=2502.23 cores=1,3,5,7
/proc/25606/stat : 25606 (xcsp_picat) R 25603 25606 25480 0 -1 4202496 1459375 0 0 0 249525 698 0 0 20 0 1 0 216687521 2811822080 184022 33554432000 4194304 5849708 140723427701824 140723427700824 5335584 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19927040 140723427706038 140723427706116 140723427706116 140723427708874 0
/proc/25606/statm: 686480 184022 661 405 0 683425 0
Current children cumulated CPU time: 2502.23 s
Current children cumulated vsize: 2745920 KiB
Current children cumulated memory: 736088 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.01 2.02 1.95 3/190 25772
/proc/meminfo: memFree=17624488/32770624 swapFree=67108688/67108860
[pid=25606] ppid=25603 vsize=2745920 memory=736116 CPUtime=2519.94 cores=1,3,5,7
/proc/25606/stat : 25606 (xcsp_picat) R 25603 25606 25480 0 -1 4202496 1479837 0 0 0 251293 701 0 0 20 0 1 0 216687521 2811822080 184029 33554432000 4194304 5849708 140723427701824 140723427700824 5438237 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19927040 140723427706038 140723427706116 140723427706116 140723427708874 0
/proc/25606/statm: 686480 184029 661 405 0 683425 0
Current children cumulated CPU time: 2519.94 s
Current children cumulated vsize: 2745920 KiB
Current children cumulated memory: 736116 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.03 s]
# the end of solver process 25606 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2512.94 s, system=7.03086 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.03
CPU time (s): 2519.97
CPU user time (s): 2512.94
CPU system time (s): 7.03086
CPU usage (%): 99.9975
Max. virtual memory (cumulated for all children) (KiB): 2811456
Max. memory (cumulated for all children) (KiB): 801416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.94
system time used= 7.03086
maximum resident set size= 801416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1479837
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= 32
involuntary context switches= 1108
# summary of solver processes directly reported to runsolver:
# pid: 25606
# total CPU time (s): 2519.97
# total CPU user time (s): 2512.94
# total CPU system time (s): 7.03086
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.663 second user time and 18.8586 second system time
The end