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 (4219 MiB free)
memory of node 1: 16384 MiB (8970 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309345-1534305688/watcher-4309345-1534305688 -o /tmp/evaluation-result-4309345-1534305688/solver-4309345-1534305688 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534293040-16589 --watchdog 2580 xcsp_picat HOME/instance-4309345-1534305688.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=18103, runsolver pid=18100
Current StackSize limit: 8192 KiB
[startup+0.100717 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 18104
/proc/meminfo: memFree=13478264/32770624 swapFree=67108860/67108860
[pid=18103] ppid=18100 vsize=2025744 memory=17476 CPUtime=0.1 cores=1,3,5,7
/proc/18103/stat : 18103 (xcsp_picat) R 18100 18103 16557 0 -1 4202496 1482 0 0 0 10 0 0 0 20 0 1 0 248132105 2074361856 4369 33554432000 4194304 5849940 140724093541280 140724093540584 139809798638592 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 17268736 140724093543606 140724093543684 140724093543684 140724093546442 0
/proc/18103/statm: 506436 4369 585 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 17476 KiB
[startup+0.20971 s]*
/proc/loadavg: 2.08 2.03 2.05 3/188 18104
/proc/meminfo: memFree=13458164/32770624 swapFree=67108860/67108860
[pid=18103] ppid=18100 vsize=2025744 memory=23620 CPUtime=0.21 cores=1,3,5,7
/proc/18103/stat : 18103 (xcsp_picat) R 18100 18103 16557 0 -1 4202496 1485 0 0 0 21 0 0 0 20 0 1 0 248132105 2074361856 5905 33554432000 4194304 5849940 140724093541280 140724093540584 4540108 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 17268736 140724093543606 140724093543684 140724093543684 140724093546442 0
/proc/18103/statm: 506436 5905 585 405 0 503380 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 23620 KiB
[startup+0.309527 s]*
/proc/loadavg: 2.08 2.03 2.05 3/188 18104
/proc/meminfo: memFree=13436740/32770624 swapFree=67108860/67108860
[pid=18103] ppid=18100 vsize=2025744 memory=29764 CPUtime=0.3 cores=1,3,5,7
/proc/18103/stat : 18103 (xcsp_picat) R 18100 18103 16557 0 -1 4202496 1488 0 0 0 30 0 0 0 20 0 1 0 248132105 2074361856 7441 33554432000 4194304 5849940 140724093541280 140724093540584 139809798638592 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 17268736 140724093543606 140724093543684 140724093543684 140724093546442 0
/proc/18103/statm: 506436 7441 585 405 0 503380 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 29764 KiB
[startup+0.700307 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 18104
/proc/meminfo: memFree=13387216/32770624 swapFree=67108860/67108860
[pid=18103] ppid=18100 vsize=2025744 memory=52292 CPUtime=0.68 cores=1,3,5,7
/proc/18103/stat : 18103 (xcsp_picat) R 18100 18103 16557 0 -1 4202496 1499 0 0 0 68 0 0 0 20 0 1 0 248132105 2074361856 13073 33554432000 4194304 5849940 140724093541280 140724093540584 139809798638592 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 17268736 140724093543606 140724093543684 140724093543684 140724093546442 0
/proc/18103/statm: 506436 13073 585 405 0 503380 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 52292 KiB
[startup+1.50031 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 18104
/proc/meminfo: memFree=13274736/32770624 swapFree=67108860/67108860
[pid=18103] ppid=18100 vsize=2025744 memory=97476 CPUtime=1.49 cores=1,3,5,7
/proc/18103/stat : 18103 (xcsp_picat) R 18100 18103 16557 0 -1 4202496 1521 0 0 0 147 2 0 0 20 0 1 0 248132105 2074361856 24369 33554432000 4194304 5849940 140724093541280 140724093540584 139809798638592 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 17268736 140724093543606 140724093543684 140724093543684 140724093546442 0
/proc/18103/statm: 506436 24369 593 405 0 503380 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 97476 KiB
[startup+3.10957 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 18104
/proc/meminfo: memFree=12677336/32770624 swapFree=67108860/67108860
[pid=18103] ppid=18100 vsize=2156640 memory=331380 CPUtime=3.09 cores=1,3,5,7
/proc/18103/stat : 18103 (xcsp_picat) R 18100 18103 16557 0 -1 4202496 3444 0 0 0 304 5 0 0 20 0 1 0 248132105 2208399360 82845 33554432000 4194304 5849940 140724093541280 140724093540600 4491562 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 17268736 140724093543606 140724093543684 140724093543684 140724093546442 0
/proc/18103/statm: 539160 82845 613 405 0 536104 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2156640 KiB
Current children cumulated memory: 331380 KiB
[startup+6.30035 s]
/proc/loadavg: 2.16 2.05 2.06 3/188 18104
/proc/meminfo: memFree=11616564/32770624 swapFree=67108860/67108860
[pid=18103] ppid=18100 vsize=2156640 memory=925300 CPUtime=6.29 cores=1,3,5,7
/proc/18103/stat : 18103 (xcsp_picat) R 18100 18103 16557 0 -1 4202496 3743 0 0 0 615 14 0 0 20 0 1 0 248132105 2208399360 231325 33554432000 4194304 5849940 140724093541280 140724093540600 4840258 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 17268736 140724093543606 140724093543684 140724093543684 140724093546442 0
/proc/18103/statm: 539160 231325 613 405 0 536104 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2156640 KiB
Current children cumulated memory: 925300 KiB
[startup+12.7004 s]
/proc/loadavg: 2.14 2.05 2.06 3/188 18104
/proc/meminfo: memFree=9472560/32770624 swapFree=67108860/67108860
[pid=18103] ppid=18100 vsize=2250392 memory=1967820 CPUtime=12.69 cores=1,3,5,7
/proc/18103/stat : 18103 (xcsp_picat) R 18100 18103 16557 0 -1 4202496 5651 0 0 0 1239 30 0 0 20 0 1 0 248132105 2304401408 491955 33554432000 4194304 5849940 140724093541280 140724093540568 4515512 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 17268736 140724093543606 140724093543684 140724093543684 140724093546442 0
/proc/18103/statm: 562598 491955 613 405 0 559542 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2250392 KiB
Current children cumulated memory: 1967820 KiB
[startup+25.5004 s]
/proc/loadavg: 2.12 2.04 2.05 3/188 18165
/proc/meminfo: memFree=15584608/32770624 swapFree=67108860/67108860
[pid=18103] ppid=18100 vsize=4433004 memory=3512284 CPUtime=25.48 cores=1,3,5,7
/proc/18103/stat : 18103 (xcsp_picat) R 18100 18103 16557 0 -1 4202496 9184 0 0 0 2469 79 0 0 20 0 1 0 248132105 4539396096 878071 33554432000 4194304 5849940 140724093541280 140724093540568 4504238 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 17268736 140724093543606 140724093543684 140724093543684 140724093546442 0
/proc/18103/statm: 1108251 878071 614 405 0 1105195 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 4433004 KiB
Current children cumulated memory: 3512284 KiB
[startup+51.1096 s]
/proc/loadavg: 2.07 2.04 2.05 3/188 18165
/proc/meminfo: memFree=10777400/32770624 swapFree=67108860/67108860
[pid=18103] ppid=18100 vsize=8419288 memory=6394852 CPUtime=51.08 cores=1,3,5,7
/proc/18103/stat : 18103 (xcsp_picat) R 18100 18103 16557 0 -1 4202496 12885 0 0 0 4985 123 0 0 20 0 1 0 248132105 8621350912 1598713 33554432000 4194304 5849940 140724093541280 140724093540600 4828555 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 17268736 140724093543606 140724093543684 140724093543684 140724093546442 0
/proc/18103/statm: 2104822 1598713 622 405 0 2101766 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 8419288 KiB
Current children cumulated memory: 6394852 KiB
[startup+102.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/188 18166
/proc/meminfo: memFree=6048956/32770624 swapFree=67108860/67108860
[pid=18103] ppid=18100 vsize=12487108 memory=10402436 CPUtime=102.27 cores=1,3,5,7
/proc/18103/stat : 18103 (xcsp_picat) R 18100 18103 16557 0 -1 4202496 33685 0 0 0 9707 520 0 0 20 0 1 0 248132105 12786798592 2600609 33554432000 4194304 5849940 140724093541280 140724093540280 5260393 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17268736 140724093543606 140724093543684 140724093543684 140724093546442 0
/proc/18103/statm: 3121777 2600609 623 405 0 3118721 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 12487108 KiB
Current children cumulated memory: 10402436 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 18167
/proc/meminfo: memFree=5915836/32770624 swapFree=67108860/67108860
[pid=18103] ppid=18100 vsize=12619920 memory=10535248 CPUtime=162.27 cores=1,3,5,7
/proc/18103/stat : 18103 (xcsp_picat) R 18100 18103 16557 0 -1 4202496 61894 0 0 0 15152 1075 0 0 20 0 1 0 248132105 12922798080 2633812 33554432000 4194304 5849940 140724093541280 140724093540280 5260621 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17268736 140724093543606 140724093543684 140724093543684 140724093546442 0
/proc/18103/statm: 3154980 2633812 623 405 0 3151924 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 12619920 KiB
Current children cumulated memory: 10535248 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 18168
/proc/meminfo: memFree=6215836/32770624 swapFree=67108860/67108860
[pid=18103] ppid=18100 vsize=12752736 memory=10668072 CPUtime=222.27 cores=1,3,5,7
/proc/18103/stat : 18103 (xcsp_picat) R 18100 18103 16557 0 -1 4202496 91878 0 0 0 20598 1629 0 0 20 0 1 0 248132105 13058801664 2667018 33554432000 4194304 5849940 140724093541280 140724093540280 5257289 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17268736 140724093543606 140724093543684 140724093543684 140724093546442 0
/proc/18103/statm: 3188184 2667018 623 405 0 3185128 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 12752736 KiB
Current children cumulated memory: 10668072 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 18169
/proc/meminfo: memFree=5443460/32770624 swapFree=67108860/67108860
[pid=18103] ppid=18100 vsize=12868944 memory=10786328 CPUtime=282.27 cores=1,3,5,7
/proc/18103/stat : 18103 (xcsp_picat) R 18100 18103 16557 0 -1 4202496 118118 0 0 0 26097 2130 0 0 20 0 1 0 248132105 13177798656 2696582 33554432000 4194304 5849940 140724093541280 140724093540280 5260355 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17268736 140724093543606 140724093543684 140724093543684 140724093546442 0
/proc/18103/statm: 3217236 2696582 623 405 0 3214180 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 12868944 KiB
Current children cumulated memory: 10786328 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18170
/proc/meminfo: memFree=5300836/32770624 swapFree=67108860/67108860
[pid=18103] ppid=18100 vsize=13001760 memory=10917448 CPUtime=342.26 cores=1,3,5,7
/proc/18103/stat : 18103 (xcsp_picat) R 18100 18103 16557 0 -1 4202496 147854 0 0 0 31521 2705 0 0 20 0 1 0 248132105 13313802240 2729362 33554432000 4194304 5849940 140724093541280 140724093540280 5260966 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17268736 140724093543606 140724093543684 140724093543684 140724093546442 0
/proc/18103/statm: 3250440 2729362 623 405 0 3247384 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 13001760 KiB
Current children cumulated memory: 10917448 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18171
/proc/meminfo: memFree=5101952/32770624 swapFree=67108860/67108860
[pid=18103] ppid=18100 vsize=13117968 memory=11032668 CPUtime=402.26 cores=1,3,5,7
/proc/18103/stat : 18103 (xcsp_picat) R 18100 18103 16557 0 -1 4202496 174503 0 0 0 37016 3210 0 0 20 0 1 0 248132105 13432799232 2758167 33554432000 4194304 5849940 140724093541280 140724093540280 5260966 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17268736 140724093543606 140724093543684 140724093543684 140724093546442 0
/proc/18103/statm: 3279492 2758167 623 405 0 3276436 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 13117968 KiB
Current children cumulated memory: 11032668 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18172
/proc/meminfo: memFree=4858208/32770624 swapFree=67108860/67108860
[pid=18103] ppid=18100 vsize=13234176 memory=11151428 CPUtime=462.26 cores=1,3,5,7
/proc/18103/stat : 18103 (xcsp_picat) R 18100 18103 16557 0 -1 4202496 202512 0 0 0 42494 3732 0 0 20 0 1 0 248132105 13551796224 2787857 33554432000 4194304 5849940 140724093541280 140724093540280 5269682 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17268736 140724093543606 140724093543684 140724093543684 140724093546442 0
/proc/18103/statm: 3308544 2787857 623 405 0 3305488 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 13234176 KiB
Current children cumulated memory: 11151428 KiB
################
# More data... #
################
/proc/18103/statm: 3644726 3124022 623 405 0 3641670 0
Current children cumulated CPU time: 1182.23 s
Current children cumulated vsize: 14578904 KiB
Current children cumulated memory: 12496088 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18201
/proc/meminfo: memFree=3603720/32770624 swapFree=67108860/67108860
[pid=18103] ppid=18100 vsize=14695112 memory=12611316 CPUtime=1242.23 cores=1,3,5,7
/proc/18103/stat : 18103 (xcsp_picat) R 18100 18103 16557 0 -1 4202496 574952 0 0 0 113338 10885 0 0 20 0 1 0 248132105 15047794688 3152829 33554432000 4194304 5849940 140724093541280 140724093540280 5260429 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17268736 140724093543606 140724093543684 140724093543684 140724093546442 0
/proc/18103/statm: 3673778 3152829 623 405 0 3670722 0
Current children cumulated CPU time: 1242.23 s
Current children cumulated vsize: 14695112 KiB
Current children cumulated memory: 12611316 KiB
[startup+1302.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/188 18202
/proc/meminfo: memFree=3474136/32770624 swapFree=67108860/67108860
[pid=18103] ppid=18100 vsize=14794724 memory=12710464 CPUtime=1302.22 cores=1,3,5,7
/proc/18103/stat : 18103 (xcsp_picat) R 18100 18103 16557 0 -1 4202496 600250 0 0 0 118811 11411 0 0 20 0 1 0 248132105 15149797376 3177616 33554432000 4194304 5849940 140724093541280 140724093540280 5260393 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17268736 140724093543606 140724093543684 140724093543684 140724093546442 0
/proc/18103/statm: 3698681 3177616 623 405 0 3695625 0
Current children cumulated CPU time: 1302.22 s
Current children cumulated vsize: 14794724 KiB
Current children cumulated memory: 12710464 KiB
[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 18203
/proc/meminfo: memFree=3414548/32770624 swapFree=67108860/67108860
[pid=18103] ppid=18100 vsize=14894336 memory=12811672 CPUtime=1362.22 cores=1,3,5,7
/proc/18103/stat : 18103 (xcsp_picat) R 18100 18103 16557 0 -1 4202496 625666 0 0 0 124268 11954 0 0 20 0 1 0 248132105 15251800064 3202918 33554432000 4194304 5849940 140724093541280 140724093540280 5260393 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17268736 140724093543606 140724093543684 140724093543684 140724093546442 0
/proc/18103/statm: 3723584 3202918 623 405 0 3720528 0
Current children cumulated CPU time: 1362.22 s
Current children cumulated vsize: 14894336 KiB
Current children cumulated memory: 12811672 KiB
[startup+1422.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 18205
/proc/meminfo: memFree=3281428/32770624 swapFree=67108860/67108860
[pid=18103] ppid=18100 vsize=14993948 memory=12910828 CPUtime=1422.22 cores=1,3,5,7
/proc/18103/stat : 18103 (xcsp_picat) R 18100 18103 16557 0 -1 4202496 653639 0 0 0 129730 12492 0 0 20 0 1 0 248132105 15353802752 3227707 33554432000 4194304 5849940 140724093541280 140724093540280 5269659 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17268736 140724093543606 140724093543684 140724093543684 140724093546442 0
/proc/18103/statm: 3748487 3227707 623 405 0 3745431 0
Current children cumulated CPU time: 1422.22 s
Current children cumulated vsize: 14993948 KiB
Current children cumulated memory: 12910828 KiB
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18206
/proc/meminfo: memFree=3122140/32770624 swapFree=67108860/67108860
[pid=18103] ppid=18100 vsize=15110152 memory=7914548 CPUtime=1482.21 cores=1,3,5,7
/proc/18103/stat : 18103 (xcsp_picat) R 18100 18103 16557 0 -1 4202496 680912 0 0 0 135159 13062 0 0 20 0 1 0 248132105 15472795648 1978637 33554432000 4194304 5849940 140724093541280 140724093540280 5269297 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17268736 140724093543606 140724093543684 140724093543684 140724093546442 0
/proc/18103/statm: 3777538 1978637 623 405 0 3774482 0
Current children cumulated CPU time: 1482.21 s
Current children cumulated vsize: 15110152 KiB
Current children cumulated memory: 7914548 KiB
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18207
/proc/meminfo: memFree=7689136/32770624 swapFree=67108860/67108860
[pid=18103] ppid=18100 vsize=15209760 memory=9293988 CPUtime=1542.21 cores=1,3,5,7
/proc/18103/stat : 18103 (xcsp_picat) R 18100 18103 16557 0 -1 4202496 706085 0 0 0 140582 13639 0 0 20 0 1 0 248132105 15574794240 2323497 33554432000 4194304 5849940 140724093541280 140724093540280 5269297 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17268736 140724093543606 140724093543684 140724093543684 140724093546442 0
/proc/18103/statm: 3802440 2323497 623 405 0 3799384 0
Current children cumulated CPU time: 1542.21 s
Current children cumulated vsize: 15209760 KiB
Current children cumulated memory: 9293988 KiB
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18209
/proc/meminfo: memFree=7881628/32770624 swapFree=67108860/67108860
[pid=18103] ppid=18100 vsize=15309372 memory=8903900 CPUtime=1602.21 cores=1,3,5,7
/proc/18103/stat : 18103 (xcsp_picat) R 18100 18103 16557 0 -1 4202496 732573 0 0 0 146037 14184 0 0 20 0 1 0 248132105 15676796928 2225975 33554432000 4194304 5849940 140724093541280 140724093540280 5269297 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17268736 140724093543606 140724093543684 140724093543684 140724093546442 0
/proc/18103/statm: 3827343 2225975 623 405 0 3824287 0
Current children cumulated CPU time: 1602.21 s
Current children cumulated vsize: 15309372 KiB
Current children cumulated memory: 8903900 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18210
/proc/meminfo: memFree=2463352/32770624 swapFree=67108860/67108860
[pid=18103] ppid=18100 vsize=15392384 memory=13309480 CPUtime=1662.21 cores=1,3,5,7
/proc/18103/stat : 18103 (xcsp_picat) R 18100 18103 16557 0 -1 4202496 759413 0 0 0 151496 14725 0 0 20 0 1 0 248132105 15761801216 3327370 33554432000 4194304 5849940 140724093541280 140724093540280 5269659 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17268736 140724093543606 140724093543684 140724093543684 140724093546442 0
/proc/18103/statm: 3848096 3327370 623 405 0 3845040 0
Current children cumulated CPU time: 1662.21 s
Current children cumulated vsize: 15392384 KiB
Current children cumulated memory: 13309480 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18219
/proc/meminfo: memFree=2364920/32770624 swapFree=67108860/67108860
[pid=18103] ppid=18100 vsize=15491988 memory=13410672 CPUtime=1722.21 cores=1,3,5,7
/proc/18103/stat : 18103 (xcsp_picat) R 18100 18103 16557 0 -1 4202496 785280 0 0 0 156920 15301 0 0 20 0 1 0 248132105 15863795712 3352668 33554432000 4194304 5849940 140724093541280 140724093540280 5269670 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17268736 140724093543606 140724093543684 140724093543684 140724093546442 0
/proc/18103/statm: 3872997 3352668 623 405 0 3869941 0
Current children cumulated CPU time: 1722.21 s
Current children cumulated vsize: 15491988 KiB
Current children cumulated memory: 13410672 KiB
[startup+1782.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/188 18220
/proc/meminfo: memFree=2203480/32770624 swapFree=67108860/67108860
[pid=18103] ppid=18100 vsize=15591600 memory=13507780 CPUtime=1782.2 cores=1,3,5,7
/proc/18103/stat : 18103 (xcsp_picat) R 18100 18103 16557 0 -1 4202496 811973 0 0 0 162346 15874 0 0 20 0 1 0 248132105 15965798400 3376945 33554432000 4194304 5849940 140724093541280 140724093540280 5260783 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17268736 140724093543606 140724093543684 140724093543684 140724093546442 0
/proc/18103/statm: 3897900 3376945 623 405 0 3894844 0
Current children cumulated CPU time: 1782.2 s
Current children cumulated vsize: 15591600 KiB
Current children cumulated memory: 13507780 KiB
[startup+1842.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 18221
/proc/meminfo: memFree=2104024/32770624 swapFree=67108860/67108860
[pid=18103] ppid=18100 vsize=15691208 memory=13606928 CPUtime=1842.21 cores=1,3,5,7
/proc/18103/stat : 18103 (xcsp_picat) R 18100 18103 16557 0 -1 4202496 839877 0 0 0 167761 16460 0 0 20 0 1 0 248132105 16067796992 3401732 33554432000 4194304 5849940 140724093541280 140724093540280 5260729 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17268736 140724093543606 140724093543684 140724093543684 140724093546442 0
/proc/18103/statm: 3922802 3401732 623 405 0 3919746 0
Current children cumulated CPU time: 1842.21 s
Current children cumulated vsize: 15691208 KiB
Current children cumulated memory: 13606928 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 18222
/proc/meminfo: memFree=1939200/32770624 swapFree=67108860/67108860
[pid=18103] ppid=18100 vsize=15790820 memory=13708124 CPUtime=1902.2 cores=1,3,5,7
/proc/18103/stat : 18103 (xcsp_picat) R 18100 18103 16557 0 -1 4202496 868250 0 0 0 173162 17058 0 0 20 0 1 0 248132105 16169799680 3427031 33554432000 4194304 5849940 140724093541280 140724093540280 5260786 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17268736 140724093543606 140724093543684 140724093543684 140724093546442 0
/proc/18103/statm: 3947705 3427031 623 405 0 3944649 0
Current children cumulated CPU time: 1902.2 s
Current children cumulated vsize: 15790820 KiB
Current children cumulated memory: 13708124 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1951.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18223
/proc/meminfo: memFree=7976388/32770624 swapFree=67108860/67108860
[pid=18103] ppid=18100 vsize=15873824 memory=8510528 CPUtime=1951.19 cores=1,3,5,7
/proc/18103/stat : 18103 (xcsp_picat) R 18100 18103 16557 0 -1 4202496 889551 0 0 0 177665 17454 0 0 20 0 1 0 248132105 16254795776 2127120 33554432000 4194304 5849940 140724093541280 140724093540568 5269297 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17268736 140724093543606 140724093543684 140724093543684 140724093546442 0
/proc/18103/statm: 3968456 2127632 623 405 0 3965400 0
Current children cumulated CPU time: 1951.19 s
Current children cumulated vsize: 15873824 KiB
Current children cumulated memory: 8510528 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1951.33 s]
# the end of solver process 18103 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1776.66 s, system=174.578 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1951.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18223
/proc/meminfo: memFree=7976388/32770624 swapFree=67108860/67108860
[pid=18103] ppid=18100 vsize=15873824 memory=8510528 CPUtime=1951.19 cores=1,3,5,7
/proc/18103/stat : 18103 (xcsp_picat) R 18100 18103 16557 0 -1 4202496 889551 0 0 0 177665 17454 0 0 20 0 1 0 248132105 16254795776 2127120 33554432000 4194304 5849940 140724093541280 140724093540568 5269297 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17268736 140724093543606 140724093543684 140724093543684 140724093546442 0
/proc/18103/statm: 3968456 2127632 623 405 0 3965400 0
Current children cumulated CPU time: 1951.19 s
Current children cumulated vsize: 15873824 KiB
Current children cumulated memory: 8510528 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1951.33
CPU time (s): 1951.24
CPU user time (s): 1776.66
CPU system time (s): 174.578
CPU usage (%): 99.9953
Max. virtual memory (cumulated for all children) (KiB): 15873824
Max. memory (cumulated for all children) (KiB): 13772804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1776.66
system time used= 174.578
maximum resident set size= 13772804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 889552
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= 3
involuntary context switches= 644
# summary of solver processes directly reported to runsolver:
# pid: 18103
# total CPU time (s): 1951.24
# total CPU user time (s): 1776.66
# total CPU system time (s): 174.578
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.33053 second user time and 15.2385 second system time
The end