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 (3123 MiB free)
memory of node 1: 16384 MiB (1857 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303386-1534027474/watcher-4303386-1534027474 -o /tmp/evaluation-result-4303386-1534027474/solver-4303386-1534027474 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534027474-10023 --watchdog 2580 xcsp_picat HOME/instance-4303386-1534027474.xml
running on 4 cores: 0,2,4,6
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=10048, runsolver pid=10045
Current StackSize limit: 8192 KiB
[startup+0.100202 s]*
/proc/loadavg: 1.08 1.06 1.40 3/193 10055
/proc/meminfo: memFree=5055132/32770624 swapFree=67108856/67108860
[pid=10048] ppid=10045 vsize=2025744 memory=28216 CPUtime=0.09 cores=0,2,4,6
/proc/10048/stat : 10048 (xcsp_picat) R 10045 10048 9992 0 -1 4202496 1584 0 0 0 9 0 0 0 20 0 1 0 220310551 2074361856 7054 33554432000 4194304 5849708 140734068751280 140734068750648 4465825 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 41250816 140734068753590 140734068753668 140734068753668 140734068756426 0
/proc/10048/statm: 506436 7054 614 405 0 503381 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 28216 KiB
[startup+0.209929 s]*
/proc/loadavg: 1.08 1.06 1.40 3/193 10055
/proc/meminfo: memFree=5023940/32770624 swapFree=67108856/67108860
[pid=10048] ppid=10045 vsize=2026156 memory=39692 CPUtime=0.2 cores=0,2,4,6
/proc/10048/stat : 10048 (xcsp_picat) R 10045 10048 9992 0 -1 4202496 1925 0 0 0 20 0 0 0 20 0 1 0 220310551 2074783744 9923 33554432000 4194304 5849708 140734068751280 140734068750520 140566299537287 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 41250816 140734068753590 140734068753668 140734068753668 140734068756426 0
/proc/10048/statm: 506539 9923 678 405 0 503484 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2026156 KiB
Current children cumulated memory: 39692 KiB
[startup+0.309759 s]*
/proc/loadavg: 1.08 1.06 1.40 3/193 10055
/proc/meminfo: memFree=5023064/32770624 swapFree=67108856/67108860
[pid=10048] ppid=10045 vsize=2026556 memory=39964 CPUtime=0.3 cores=0,2,4,6
/proc/10048/stat : 10048 (xcsp_picat) R 10045 10048 9992 0 -1 4202496 2054 0 0 0 30 0 0 0 20 0 1 0 220310551 2075193344 9991 33554432000 4194304 5849708 140734068751280 140734068750520 140566299537287 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 41250816 140734068753590 140734068753668 140734068753668 140734068756426 0
/proc/10048/statm: 506639 9991 678 405 0 503584 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2026556 KiB
Current children cumulated memory: 39964 KiB
[startup+0.700233 s]
/proc/loadavg: 1.08 1.06 1.40 3/193 10055
/proc/meminfo: memFree=5021824/32770624 swapFree=67108856/67108860
[pid=10048] ppid=10045 vsize=2027324 memory=40736 CPUtime=0.69 cores=0,2,4,6
/proc/10048/stat : 10048 (xcsp_picat) R 10045 10048 9992 0 -1 4202496 2246 0 0 0 68 1 0 0 20 0 1 0 220310551 2075979776 10184 33554432000 4194304 5849708 140734068751280 140734068750520 5479857 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 41250816 140734068753590 140734068753668 140734068753668 140734068756426 0
/proc/10048/statm: 506831 10184 678 405 0 503776 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2027324 KiB
Current children cumulated memory: 40736 KiB
[startup+1.50024 s]
/proc/loadavg: 1.08 1.06 1.40 3/193 10055
/proc/meminfo: memFree=5018848/32770624 swapFree=67108856/67108860
[pid=10048] ppid=10045 vsize=2031320 memory=44916 CPUtime=1.48 cores=0,2,4,6
/proc/10048/stat : 10048 (xcsp_picat) R 10045 10048 9992 0 -1 4202496 3471 0 0 0 147 1 0 0 20 0 1 0 220310551 2080071680 11229 33554432000 4194304 5849708 140734068751280 140734068749688 4209198 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 41250816 140734068753590 140734068753668 140734068753668 140734068756426 0
/proc/10048/statm: 507830 11229 697 405 0 504775 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2031320 KiB
Current children cumulated memory: 44916 KiB
[startup+3.10919 s]
/proc/loadavg: 1.08 1.06 1.40 3/193 10055
/proc/meminfo: memFree=5013640/32770624 swapFree=67108856/67108860
[pid=10048] ppid=10045 vsize=2031320 memory=44996 CPUtime=3.09 cores=0,2,4,6
/proc/10048/stat : 10048 (xcsp_picat) R 10045 10048 9992 0 -1 4202496 4248 0 0 0 308 1 0 0 20 0 1 0 220310551 2080071680 11249 33554432000 4194304 5849708 140734068751280 140734068749128 4211681 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 41250816 140734068753590 140734068753668 140734068753668 140734068756426 0
/proc/10048/statm: 507830 11249 705 405 0 504775 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2031320 KiB
Current children cumulated memory: 44996 KiB
[startup+6.30022 s]
/proc/loadavg: 1.16 1.08 1.40 3/193 10055
/proc/meminfo: memFree=5013832/32770624 swapFree=67108856/67108860
[pid=10048] ppid=10045 vsize=2031480 memory=45188 CPUtime=6.28 cores=0,2,4,6
/proc/10048/stat : 10048 (xcsp_picat) R 10045 10048 9992 0 -1 4202496 5080 0 0 0 627 1 0 0 20 0 1 0 220310551 2080235520 11297 33554432000 4194304 5849708 140734068751280 140734068749128 4211646 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 41250816 140734068753590 140734068753668 140734068753668 140734068756426 0
/proc/10048/statm: 507870 11297 705 405 0 504815 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2031480 KiB
Current children cumulated memory: 45188 KiB
[startup+12.7002 s]
/proc/loadavg: 1.22 1.09 1.41 3/193 10055
/proc/meminfo: memFree=5014704/32770624 swapFree=67108856/67108860
[pid=10048] ppid=10045 vsize=2031480 memory=45188 CPUtime=12.68 cores=0,2,4,6
/proc/10048/stat : 10048 (xcsp_picat) R 10045 10048 9992 0 -1 4202496 5939 0 0 0 1267 1 0 0 20 0 1 0 220310551 2080235520 11297 33554432000 4194304 5849708 140734068751280 140734068749128 4211688 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 41250816 140734068753590 140734068753668 140734068753668 140734068756426 0
/proc/10048/statm: 507870 11297 705 405 0 504815 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2031480 KiB
Current children cumulated memory: 45188 KiB
[startup+25.5002 s]
/proc/loadavg: 1.34 1.12 1.41 3/193 10055
/proc/meminfo: memFree=5012580/32770624 swapFree=67108856/67108860
[pid=10048] ppid=10045 vsize=2032772 memory=46480 CPUtime=25.48 cores=0,2,4,6
/proc/10048/stat : 10048 (xcsp_picat) R 10045 10048 9992 0 -1 4202496 7888 0 0 0 2547 1 0 0 20 0 1 0 220310551 2081558528 11620 33554432000 4194304 5849708 140734068751280 140734068749688 4211681 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 41250816 140734068753590 140734068753668 140734068753668 140734068756426 0
/proc/10048/statm: 508193 11620 705 405 0 505138 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2032772 KiB
Current children cumulated memory: 46480 KiB
[startup+51.1092 s]
/proc/loadavg: 1.60 1.20 1.43 3/192 10056
/proc/meminfo: memFree=5008160/32770624 swapFree=67108856/67108860
[pid=10048] ppid=10045 vsize=2033832 memory=51156 CPUtime=51.09 cores=0,2,4,6
/proc/10048/stat : 10048 (xcsp_picat) R 10045 10048 9992 0 -1 4202496 14972 0 0 0 5098 11 0 0 20 0 1 0 220310551 2082643968 12789 33554432000 4194304 5849708 140734068751280 140734068749688 4212042 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 41250816 140734068753590 140734068753668 140734068753668 140734068756426 0
/proc/10048/statm: 508458 12789 712 405 0 505403 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2033832 KiB
Current children cumulated memory: 51156 KiB
[startup+102.3 s]
/proc/loadavg: 1.83 1.33 1.46 3/192 10057
/proc/meminfo: memFree=4990548/32770624 swapFree=67108856/67108860
[pid=10048] ppid=10045 vsize=2044060 memory=61588 CPUtime=102.28 cores=0,2,4,6
/proc/10048/stat : 10048 (xcsp_picat) R 10045 10048 9992 0 -1 4202496 63022 0 0 0 10137 91 0 0 20 0 1 0 220310551 2093117440 15397 33554432000 4194304 5849708 140734068751280 140734068750280 140566299537287 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 41250816 140734068753590 140734068753668 140734068753668 140734068756426 0
/proc/10048/statm: 511015 15397 712 405 0 507960 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2044060 KiB
Current children cumulated memory: 61588 KiB
[startup+162.3 s]
/proc/loadavg: 1.89 1.43 1.49 3/192 10058
/proc/meminfo: memFree=4954052/32770624 swapFree=67108856/67108860
[pid=10048] ppid=10045 vsize=2067780 memory=85400 CPUtime=162.28 cores=0,2,4,6
/proc/10048/stat : 10048 (xcsp_picat) R 10045 10048 9992 0 -1 4202496 89090 0 0 0 16078 150 0 0 20 0 1 0 220310551 2117406720 21350 33554432000 4194304 5849708 140734068751280 140734068750280 140566299537287 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41250816 140734068753590 140734068753668 140734068753668 140734068756426 0
/proc/10048/statm: 516945 21350 712 405 0 513890 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2067780 KiB
Current children cumulated memory: 85400 KiB
[startup+222.3 s]
/proc/loadavg: 1.96 1.54 1.52 3/193 10060
/proc/meminfo: memFree=4937216/32770624 swapFree=67108856/67108860
[pid=10048] ppid=10045 vsize=2084976 memory=102592 CPUtime=222.28 cores=0,2,4,6
/proc/10048/stat : 10048 (xcsp_picat) R 10045 10048 9992 0 -1 4202496 94426 0 0 0 22044 184 0 0 20 0 1 0 220310551 2135015424 25648 33554432000 4194304 5849708 140734068751280 140734068750280 140566299537287 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41250816 140734068753590 140734068753668 140734068753668 140734068756426 0
/proc/10048/statm: 521244 25648 712 405 0 518189 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2084976 KiB
Current children cumulated memory: 102592 KiB
[startup+282.3 s]
/proc/loadavg: 2.12 1.65 1.56 3/193 10061
/proc/meminfo: memFree=4892248/32770624 swapFree=67108856/67108860
[pid=10048] ppid=10045 vsize=2126604 memory=144164 CPUtime=282.29 cores=0,2,4,6
/proc/10048/stat : 10048 (xcsp_picat) R 10045 10048 9992 0 -1 4202496 104086 0 0 0 28020 209 0 0 20 0 1 0 220310551 2177642496 36041 33554432000 4194304 5849708 140734068751280 140734068750280 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41250816 140734068753590 140734068753668 140734068753668 140734068756426 0
/proc/10048/statm: 531651 36041 712 405 0 528596 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2126604 KiB
Current children cumulated memory: 144164 KiB
[startup+342.3 s]
/proc/loadavg: 2.04 1.72 1.59 3/193 10070
/proc/meminfo: memFree=4881608/32770624 swapFree=67108856/67108860
[pid=10048] ppid=10045 vsize=2122828 memory=140432 CPUtime=342.3 cores=0,2,4,6
/proc/10048/stat : 10048 (xcsp_picat) R 10045 10048 9992 0 -1 4202496 108962 0 0 0 33994 236 0 0 20 0 1 0 220310551 2173775872 35108 33554432000 4194304 5849708 140734068751280 140734068750280 140566299537287 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41250816 140734068753590 140734068753668 140734068753668 140734068756426 0
/proc/10048/statm: 530707 35108 712 405 0 527652 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 2122828 KiB
Current children cumulated memory: 140432 KiB
[startup+402.3 s]
/proc/loadavg: 2.02 1.77 1.62 3/192 10071
/proc/meminfo: memFree=4781724/32770624 swapFree=67108856/67108860
[pid=10048] ppid=10045 vsize=2161612 memory=179152 CPUtime=402.29 cores=0,2,4,6
/proc/10048/stat : 10048 (xcsp_picat) R 10045 10048 9992 0 -1 4202496 120229 0 0 0 39974 255 0 0 20 0 1 0 220310551 2213490688 44788 33554432000 4194304 5849708 140734068751280 140734068750280 5335595 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41250816 140734068753590 140734068753668 140734068753668 140734068756426 0
/proc/10048/statm: 540403 44788 712 405 0 537348 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 2161612 KiB
Current children cumulated memory: 179152 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 1.81 1.64 3/193 10073
/proc/meminfo: memFree=4801852/32770624 swapFree=67108856/67108860
[pid=10048] ppid=10045 vsize=2161612 memory=179152 CPUtime=462.3 cores=0,2,4,6
/proc/10048/stat : 10048 (xcsp_picat) R 10045 10048 9992 0 -1 4202496 120250 0 0 0 45960 270 0 0 20 0 1 0 220310551 2213490688 44788 33554432000 4194304 5849708 140734068751280 140734068750280 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41250816 140734068753590 140734068753668 140734068753668 140734068756426 0
/proc/10048/statm: 540403 44788 712 405 0 537348 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 2161612 KiB
Current children cumulated memory: 179152 KiB
################
# More data... #
################
/proc/10048/statm: 581130 85526 712 405 0 578075 0
Current children cumulated CPU time: 1782.39 s
Current children cumulated vsize: 2324520 KiB
Current children cumulated memory: 342104 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/191 10149
/proc/meminfo: memFree=4468420/32770624 swapFree=67108856/67108860
[pid=10048] ppid=10045 vsize=2324520 memory=342104 CPUtime=1842.4 cores=0,2,4,6
/proc/10048/stat : 10048 (xcsp_picat) R 10045 10048 9992 0 -1 4202496 336316 0 0 0 183691 549 0 0 20 0 1 0 220310551 2380308480 85526 33554432000 4194304 5849708 140734068751280 140734068750280 5437824 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41250816 140734068753590 140734068753668 140734068753668 140734068756426 0
/proc/10048/statm: 581130 85526 712 405 0 578075 0
Current children cumulated CPU time: 1842.4 s
Current children cumulated vsize: 2324520 KiB
Current children cumulated memory: 342104 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/191 10150
/proc/meminfo: memFree=4402804/32770624 swapFree=67108856/67108860
[pid=10048] ppid=10045 vsize=2390056 memory=407640 CPUtime=1902.4 cores=0,2,4,6
/proc/10048/stat : 10048 (xcsp_picat) R 10045 10048 9992 0 -1 4202496 373340 0 0 0 189679 561 0 0 20 0 1 0 220310551 2447417344 101910 33554432000 4194304 5849708 140734068751280 140734068750280 140566299537287 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41250816 140734068753590 140734068753668 140734068753668 140734068756426 0
/proc/10048/statm: 597514 101910 712 405 0 594459 0
Current children cumulated CPU time: 1902.4 s
Current children cumulated vsize: 2390056 KiB
Current children cumulated memory: 407640 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/191 10151
/proc/meminfo: memFree=4402492/32770624 swapFree=67108856/67108860
[pid=10048] ppid=10045 vsize=2390652 memory=408140 CPUtime=1962.4 cores=0,2,4,6
/proc/10048/stat : 10048 (xcsp_picat) R 10045 10048 9992 0 -1 4202496 381331 0 0 0 195667 573 0 0 20 0 1 0 220310551 2448027648 102035 33554432000 4194304 5849708 140734068751280 140734068750280 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41250816 140734068753590 140734068753668 140734068753668 140734068756426 0
/proc/10048/statm: 597663 102035 712 405 0 594608 0
Current children cumulated CPU time: 1962.4 s
Current children cumulated vsize: 2390652 KiB
Current children cumulated memory: 408140 KiB
[startup+2022.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/191 10153
/proc/meminfo: memFree=4402208/32770624 swapFree=67108856/67108860
[pid=10048] ppid=10045 vsize=2390652 memory=408236 CPUtime=2022.41 cores=0,2,4,6
/proc/10048/stat : 10048 (xcsp_picat) R 10045 10048 9992 0 -1 4202496 420769 0 0 0 201657 584 0 0 20 0 1 0 220310551 2448027648 102059 33554432000 4194304 5849708 140734068751280 140734068750280 140566299537287 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41250816 140734068753590 140734068753668 140734068753668 140734068756426 0
/proc/10048/statm: 597663 102059 712 405 0 594608 0
Current children cumulated CPU time: 2022.41 s
Current children cumulated vsize: 2390652 KiB
Current children cumulated memory: 408236 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/191 10154
/proc/meminfo: memFree=4402300/32770624 swapFree=67108856/67108860
[pid=10048] ppid=10045 vsize=2390652 memory=408236 CPUtime=2082.41 cores=0,2,4,6
/proc/10048/stat : 10048 (xcsp_picat) R 10045 10048 9992 0 -1 4202496 453013 0 0 0 207647 594 0 0 20 0 1 0 220310551 2448027648 102059 33554432000 4194304 5849708 140734068751280 140734068750280 5437623 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41250816 140734068753590 140734068753668 140734068753668 140734068756426 0
/proc/10048/statm: 597663 102059 712 405 0 594608 0
Current children cumulated CPU time: 2082.41 s
Current children cumulated vsize: 2390652 KiB
Current children cumulated memory: 408236 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/192 10163
/proc/meminfo: memFree=4335804/32770624 swapFree=67108856/67108860
[pid=10048] ppid=10045 vsize=2390652 memory=408236 CPUtime=2142.41 cores=0,2,4,6
/proc/10048/stat : 10048 (xcsp_picat) R 10045 10048 9992 0 -1 4202496 460261 0 0 0 213639 602 0 0 20 0 1 0 220310551 2448027648 102059 33554432000 4194304 5849708 140734068751280 140734068750280 5437616 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41250816 140734068753590 140734068753668 140734068753668 140734068756426 0
/proc/10048/statm: 597663 102059 712 405 0 594608 0
Current children cumulated CPU time: 2142.41 s
Current children cumulated vsize: 2390652 KiB
Current children cumulated memory: 408236 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/192 10164
/proc/meminfo: memFree=4336344/32770624 swapFree=67108856/67108860
[pid=10048] ppid=10045 vsize=2390652 memory=408236 CPUtime=2202.42 cores=0,2,4,6
/proc/10048/stat : 10048 (xcsp_picat) R 10045 10048 9992 0 -1 4202496 483957 0 0 0 219628 614 0 0 20 0 1 0 220310551 2448027648 102059 33554432000 4194304 5849708 140734068751280 140734068750280 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41250816 140734068753590 140734068753668 140734068753668 140734068756426 0
/proc/10048/statm: 597663 102059 712 405 0 594608 0
Current children cumulated CPU time: 2202.42 s
Current children cumulated vsize: 2390652 KiB
Current children cumulated memory: 408236 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/192 10165
/proc/meminfo: memFree=4192976/32770624 swapFree=67108856/67108860
[pid=10048] ppid=10045 vsize=2390652 memory=408236 CPUtime=2262.42 cores=0,2,4,6
/proc/10048/stat : 10048 (xcsp_picat) R 10045 10048 9992 0 -1 4202496 499773 0 0 0 225617 625 0 0 20 0 1 0 220310551 2448027648 102059 33554432000 4194304 5849708 140734068751280 140734068750280 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41250816 140734068753590 140734068753668 140734068753668 140734068756426 0
/proc/10048/statm: 597663 102059 712 405 0 594608 0
Current children cumulated CPU time: 2262.42 s
Current children cumulated vsize: 2390652 KiB
Current children cumulated memory: 408236 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/192 10167
/proc/meminfo: memFree=4193208/32770624 swapFree=67108856/67108860
[pid=10048] ppid=10045 vsize=2390652 memory=408236 CPUtime=2322.43 cores=0,2,4,6
/proc/10048/stat : 10048 (xcsp_picat) R 10045 10048 9992 0 -1 4202496 539338 0 0 0 231609 634 0 0 20 0 1 0 220310551 2448027648 102059 33554432000 4194304 5849708 140734068751280 140734068750280 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41250816 140734068753590 140734068753668 140734068753668 140734068756426 0
/proc/10048/statm: 597663 102059 712 405 0 594608 0
Current children cumulated CPU time: 2322.43 s
Current children cumulated vsize: 2390652 KiB
Current children cumulated memory: 408236 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/192 10168
/proc/meminfo: memFree=4222472/32770624 swapFree=67108856/67108860
[pid=10048] ppid=10045 vsize=2339412 memory=356996 CPUtime=2382.43 cores=0,2,4,6
/proc/10048/stat : 10048 (xcsp_picat) R 10045 10048 9992 0 -1 4202496 568756 0 0 0 237595 648 0 0 20 0 1 0 220310551 2395557888 89249 33554432000 4194304 5849708 140734068751280 140734068750280 140566299537287 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41250816 140734068753590 140734068753668 140734068753668 140734068756426 0
/proc/10048/statm: 584853 89249 712 405 0 581798 0
Current children cumulated CPU time: 2382.43 s
Current children cumulated vsize: 2339412 KiB
Current children cumulated memory: 356996 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/191 10170
/proc/meminfo: memFree=4222720/32770624 swapFree=67108856/67108860
[pid=10048] ppid=10045 vsize=2339412 memory=356996 CPUtime=2442.43 cores=0,2,4,6
/proc/10048/stat : 10048 (xcsp_picat) R 10045 10048 9992 0 -1 4202496 597957 0 0 0 243582 661 0 0 20 0 1 0 220310551 2395557888 89249 33554432000 4194304 5849708 140734068751280 140734068750280 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41250816 140734068753590 140734068753668 140734068753668 140734068756426 0
/proc/10048/statm: 584853 89249 712 405 0 581798 0
Current children cumulated CPU time: 2442.43 s
Current children cumulated vsize: 2339412 KiB
Current children cumulated memory: 356996 KiB
[startup+2502.3 s]
/proc/loadavg: 2.05 2.03 1.96 3/192 10172
/proc/meminfo: memFree=4222812/32770624 swapFree=67108856/67108860
[pid=10048] ppid=10045 vsize=2339412 memory=356996 CPUtime=2502.44 cores=0,2,4,6
/proc/10048/stat : 10048 (xcsp_picat) R 10045 10048 9992 0 -1 4202496 626636 0 0 0 249573 671 0 0 20 0 1 0 220310551 2395557888 89249 33554432000 4194304 5849708 140734068751280 140734068750280 140566299537287 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41250816 140734068753590 140734068753668 140734068753668 140734068756426 0
/proc/10048/statm: 584853 89249 712 405 0 581798 0
Current children cumulated CPU time: 2502.44 s
Current children cumulated vsize: 2339412 KiB
Current children cumulated memory: 356996 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.04 2.03 1.96 3/192 10172
/proc/meminfo: memFree=4222844/32770624 swapFree=67108856/67108860
[pid=10048] ppid=10045 vsize=2339412 memory=356996 CPUtime=2520.04 cores=0,2,4,6
/proc/10048/stat : 10048 (xcsp_picat) R 10045 10048 9992 0 -1 4202496 627167 0 0 0 251329 675 0 0 20 0 1 0 220310551 2395557888 89249 33554432000 4194304 5849708 140734068751280 140734068750280 5335584 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41250816 140734068753590 140734068753668 140734068753668 140734068756426 0
/proc/10048/statm: 584853 89249 712 405 0 581798 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 2339412 KiB
Current children cumulated memory: 356996 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.91 s]
# the end of solver process 10048 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.3 s, system=6.76642 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.04 2.03 1.96 3/192 10172
/proc/meminfo: memFree=4222844/32770624 swapFree=67108856/67108860
[pid=10048] ppid=10045 vsize=2339412 memory=356996 CPUtime=2520.04 cores=0,2,4,6
/proc/10048/stat : 10048 (xcsp_picat) R 10045 10048 9992 0 -1 4202496 627167 0 0 0 251329 675 0 0 20 0 1 0 220310551 2395557888 89249 33554432000 4194304 5849708 140734068751280 140734068750280 5335584 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41250816 140734068753590 140734068753668 140734068753668 140734068756426 0
/proc/10048/statm: 584853 89249 712 405 0 581798 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 2339412 KiB
Current children cumulated memory: 356996 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2519.91
CPU time (s): 2520.06
CPU user time (s): 2513.3
CPU system time (s): 6.76642
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 2404652
Max. memory (cumulated for all children) (KiB): 422104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.3
system time used= 6.76642
maximum resident set size= 422104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 627167
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= 892
# summary of solver processes directly reported to runsolver:
# pid: 10048
# total CPU time (s): 2520.06
# total CPU user time (s): 2513.3
# total CPU system time (s): 6.76642
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0478 second user time and 19.0594 second system time
The end