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 (3198 MiB free)
memory of node 1: 16384 MiB (9263 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295794-1532575911/watcher-4295794-1532575911 -o /tmp/evaluation-result-4295794-1532575911/solver-4295794-1532575911 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532542928-25610 --watchdog 2580 xcsp_picat HOME/instance-4295794-1532575911.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=28956, runsolver pid=28953
Current StackSize limit: 8192 KiB
[startup+0.100164 s]*
/proc/loadavg: 1.92 2.03 2.05 3/188 28957
/proc/meminfo: memFree=12727624/32770624 swapFree=67108852/67108860
[pid=28956] ppid=28953 vsize=119504 memory=35944 CPUtime=0.1 cores=0,2,4,6
/proc/28956/stat : 28956 (xcsp_picat) R 28953 28956 25579 0 -1 4202496 2013 0 0 0 10 0 0 0 20 0 1 0 75154263 122372096 8986 33554432000 4194304 5849740 140725842214416 140725842213416 4930816 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 14815232 140725842220214 140725842220292 140725842220292 140725842223050 0
/proc/28956/statm: 29876 8986 625 405 0 26820 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 119504 KiB
Current children cumulated memory: 35944 KiB
[startup+0.209924 s]*
/proc/loadavg: 1.92 2.03 2.05 3/188 28957
/proc/meminfo: memFree=12707520/32770624 swapFree=67108852/67108860
[pid=28956] ppid=28953 vsize=140608 memory=56728 CPUtime=0.21 cores=0,2,4,6
/proc/28956/stat : 28956 (xcsp_picat) R 28953 28956 25579 0 -1 4202496 3503 0 0 0 20 1 0 0 20 0 1 0 75154263 143982592 14182 33554432000 4194304 5849740 140725842214416 140725842213416 5249600 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 14815232 140725842220214 140725842220292 140725842220292 140725842223050 0
/proc/28956/statm: 35152 14182 653 405 0 32096 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 140608 KiB
Current children cumulated memory: 56728 KiB
[startup+0.309971 s]*
/proc/loadavg: 1.92 2.03 2.05 3/188 28957
/proc/meminfo: memFree=12707520/32770624 swapFree=67108852/67108860
[pid=28956] ppid=28953 vsize=140608 memory=56728 CPUtime=0.31 cores=0,2,4,6
/proc/28956/stat : 28956 (xcsp_picat) R 28953 28956 25579 0 -1 4202496 3503 0 0 0 30 1 0 0 20 0 1 0 75154263 143982592 14182 33554432000 4194304 5849740 140725842214416 140725842213416 5249600 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 14815232 140725842220214 140725842220292 140725842220292 140725842223050 0
/proc/28956/statm: 35152 14182 653 405 0 32096 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 140608 KiB
Current children cumulated memory: 56728 KiB
[startup+0.70039 s]
/proc/loadavg: 1.92 2.03 2.05 3/188 28957
/proc/meminfo: memFree=12703860/32770624 swapFree=67108852/67108860
[pid=28956] ppid=28953 vsize=145648 memory=72176 CPUtime=0.69 cores=0,2,4,6
/proc/28956/stat : 28956 (xcsp_picat) R 28953 28956 25579 0 -1 4202496 7827 0 0 0 67 2 0 0 20 0 1 0 75154263 149143552 18044 33554432000 4194304 5849740 140725842214416 140725842213416 4492526 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 14815232 140725842220214 140725842220292 140725842220292 140725842223050 0
/proc/28956/statm: 36412 18044 653 405 0 33356 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 145648 KiB
Current children cumulated memory: 72176 KiB
[startup+1.50041 s]
/proc/loadavg: 1.92 2.03 2.05 3/188 28957
/proc/meminfo: memFree=12638088/32770624 swapFree=67108852/67108860
[pid=28956] ppid=28953 vsize=302296 memory=224556 CPUtime=1.49 cores=0,2,4,6
/proc/28956/stat : 28956 (xcsp_picat) R 28953 28956 25579 0 -1 4202496 12678 0 0 0 144 5 0 0 20 0 1 0 75154263 309551104 56139 33554432000 4194304 5849740 140725842214416 140725842213512 5431909 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 14815232 140725842220214 140725842220292 140725842220292 140725842223050 0
/proc/28956/statm: 75574 56139 716 405 0 72518 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 302296 KiB
Current children cumulated memory: 224556 KiB
[startup+3.10971 s]
/proc/loadavg: 1.93 2.03 2.05 3/188 28957
/proc/meminfo: memFree=12408288/32770624 swapFree=67108852/67108860
[pid=28956] ppid=28953 vsize=438488 memory=363192 CPUtime=3.1 cores=0,2,4,6
/proc/28956/stat : 28956 (xcsp_picat) R 28953 28956 25579 0 -1 4202496 21155 0 0 0 302 8 0 0 20 0 1 0 75154263 449011712 90798 33554432000 4194304 5849740 140725842214416 140725842213512 4517850 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 14815232 140725842220214 140725842220292 140725842220292 140725842223050 0
/proc/28956/statm: 109622 90798 719 405 0 106566 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 438488 KiB
Current children cumulated memory: 363192 KiB
[startup+6.30033 s]
/proc/loadavg: 1.93 2.03 2.05 3/188 28957
/proc/meminfo: memFree=12389912/32770624 swapFree=67108852/67108860
[pid=28956] ppid=28953 vsize=448400 memory=373168 CPUtime=6.29 cores=0,2,4,6
/proc/28956/stat : 28956 (xcsp_picat) R 28953 28956 25579 0 -1 4202496 60633 0 0 0 620 9 0 0 20 0 1 0 75154263 459161600 93292 33554432000 4194304 5849740 140725842214416 140725842213064 5399754 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 14815232 140725842220214 140725842220292 140725842220292 140725842223050 0
/proc/28956/statm: 112100 93292 735 405 0 109044 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 448400 KiB
Current children cumulated memory: 373168 KiB
[startup+12.7003 s]
/proc/loadavg: 1.93 2.03 2.05 3/188 28957
/proc/meminfo: memFree=12374776/32770624 swapFree=67108852/67108860
[pid=28956] ppid=28953 vsize=471756 memory=388688 CPUtime=12.69 cores=0,2,4,6
/proc/28956/stat : 28956 (xcsp_picat) R 28953 28956 25579 0 -1 4202496 112921 0 0 0 1251 18 0 0 20 0 1 0 75154263 483078144 97172 33554432000 4194304 5849740 140725842214416 140725842212904 4212055 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 14815232 140725842220214 140725842220292 140725842220292 140725842223050 0
/proc/28956/statm: 117939 97172 746 405 0 114883 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 471756 KiB
Current children cumulated memory: 388688 KiB
[startup+25.5004 s]
/proc/loadavg: 1.95 2.02 2.05 3/188 28957
/proc/meminfo: memFree=12358456/32770624 swapFree=67108852/67108860
[pid=28956] ppid=28953 vsize=471756 memory=388700 CPUtime=25.49 cores=0,2,4,6
/proc/28956/stat : 28956 (xcsp_picat) R 28953 28956 25579 0 -1 4202496 151473 0 0 0 2529 20 0 0 20 0 1 0 75154263 483078144 97175 33554432000 4194304 5849740 140725842214416 140725842213416 140424472661895 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 14815232 140725842220214 140725842220292 140725842220292 140725842223050 0
/proc/28956/statm: 117939 97175 749 405 0 114883 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 471756 KiB
Current children cumulated memory: 388700 KiB
[startup+51.1099 s]
/proc/loadavg: 1.97 2.02 2.05 3/188 28957
/proc/meminfo: memFree=12367104/32770624 swapFree=67108852/67108860
[pid=28956] ppid=28953 vsize=460388 memory=379388 CPUtime=51.1 cores=0,2,4,6
/proc/28956/stat : 28956 (xcsp_picat) R 28953 28956 25579 0 -1 4202496 197834 0 0 0 5080 30 0 0 20 0 1 0 75154263 471437312 94847 33554432000 4194304 5849740 140725842214416 140725842213416 140424472661895 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 14815232 140725842220214 140725842220292 140725842220292 140725842223050 0
/proc/28956/statm: 115097 94847 751 405 0 112041 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 460388 KiB
Current children cumulated memory: 379388 KiB
[startup+102.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/188 28958
/proc/meminfo: memFree=12362500/32770624 swapFree=67108852/67108860
[pid=28956] ppid=28953 vsize=459600 memory=383696 CPUtime=102.29 cores=0,2,4,6
/proc/28956/stat : 28956 (xcsp_picat) R 28953 28956 25579 0 -1 4202496 277897 0 0 0 10179 50 0 0 20 0 1 0 75154263 470630400 95924 33554432000 4194304 5849740 140725842214416 140725842213416 140424472661895 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 14815232 140725842220214 140725842220292 140725842220292 140725842223050 0
/proc/28956/statm: 114900 95924 751 405 0 111844 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 459600 KiB
Current children cumulated memory: 383696 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 28959
/proc/meminfo: memFree=12234388/32770624 swapFree=67108852/67108860
[pid=28956] ppid=28953 vsize=469056 memory=388748 CPUtime=162.29 cores=0,2,4,6
/proc/28956/stat : 28956 (xcsp_picat) R 28953 28956 25579 0 -1 4202496 316184 0 0 0 16159 70 0 0 20 0 1 0 75154263 480313344 97187 33554432000 4194304 5849740 140725842214416 140725842213416 5340242 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 14815232 140725842220214 140725842220292 140725842220292 140725842223050 0
/proc/28956/statm: 117264 97187 751 405 0 114208 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 469056 KiB
Current children cumulated memory: 388748 KiB
[startup+222.3 s]
/proc/loadavg: 1.78 1.97 2.03 2/180 29006
/proc/meminfo: memFree=12712916/32770624 swapFree=67108852/67108860
[pid=28956] ppid=28953 vsize=477540 memory=402376 CPUtime=222.27 cores=0,2,4,6
/proc/28956/stat : 28956 (xcsp_picat) R 28953 28956 25579 0 -1 4202496 355925 0 0 0 22139 88 0 0 20 0 1 0 75154263 489000960 100594 33554432000 4194304 5849740 140725842214416 140725842213416 5313307 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 14815232 140725842220214 140725842220292 140725842220292 140725842223050 0
/proc/28956/statm: 119385 100594 751 405 0 116329 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 477540 KiB
Current children cumulated memory: 402376 KiB
[startup+282.3 s]
/proc/loadavg: 1.29 1.80 1.96 2/180 29007
/proc/meminfo: memFree=12713276/32770624 swapFree=67108852/67108860
[pid=28956] ppid=28953 vsize=477428 memory=402264 CPUtime=282.27 cores=0,2,4,6
/proc/28956/stat : 28956 (xcsp_picat) R 28953 28956 25579 0 -1 4202496 378442 0 0 0 28123 104 0 0 20 0 1 0 75154263 488886272 100566 33554432000 4194304 5849740 140725842214416 140725842213576 5437819 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 14815232 140725842220214 140725842220292 140725842220292 140725842223050 0
/proc/28956/statm: 119357 100566 751 405 0 116301 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 477428 KiB
Current children cumulated memory: 402264 KiB
[startup+342.3 s]
/proc/loadavg: 1.11 1.65 1.91 2/180 29008
/proc/meminfo: memFree=12706728/32770624 swapFree=67108852/67108860
[pid=28956] ppid=28953 vsize=483304 memory=408140 CPUtime=342.26 cores=0,2,4,6
/proc/28956/stat : 28956 (xcsp_picat) R 28953 28956 25579 0 -1 4202496 386727 0 0 0 34105 121 0 0 20 0 1 0 75154263 494903296 102035 33554432000 4194304 5849740 140725842214416 140725842212904 4208596 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 14815232 140725842220214 140725842220292 140725842220292 140725842223050 0
/proc/28956/statm: 120826 102035 751 405 0 117770 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 483304 KiB
Current children cumulated memory: 408140 KiB
[startup+402.3 s]
/proc/loadavg: 1.04 1.53 1.85 2/180 29009
/proc/meminfo: memFree=12700676/32770624 swapFree=67108852/67108860
[pid=28956] ppid=28953 vsize=489448 memory=414284 CPUtime=402.26 cores=0,2,4,6
/proc/28956/stat : 28956 (xcsp_picat) R 28953 28956 25579 0 -1 4202496 391098 0 0 0 40090 136 0 0 20 0 1 0 75154263 501194752 103571 33554432000 4194304 5849740 140725842214416 140725842213416 5307602 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 14815232 140725842220214 140725842220292 140725842220292 140725842223050 0
/proc/28956/statm: 122362 103571 751 405 0 119306 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 489448 KiB
Current children cumulated memory: 414284 KiB
[startup+462.3 s]
/proc/loadavg: 1.01 1.44 1.80 2/180 29010
/proc/meminfo: memFree=12700864/32770624 swapFree=67108852/67108860
[pid=28956] ppid=28953 vsize=483256 memory=414336 CPUtime=462.26 cores=0,2,4,6
/proc/28956/stat : 28956 (xcsp_picat) R 28953 28956 25579 0 -1 4202496 391520 0 0 0 46074 152 0 0 20 0 1 0 75154263 494854144 103584 33554432000 4194304 5849740 140725842214416 140725842213576 140424472661895 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 14815232 140725842220214 140725842220292 140725842220292 140725842223050 0
/proc/28956/statm: 120814 103584 751 405 0 117758 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 483256 KiB
Current children cumulated memory: 414336 KiB
################
# More data... #
################
/proc/28956/statm: 121406 104177 752 405 0 118350 0
Current children cumulated CPU time: 1722.22 s
Current children cumulated vsize: 485624 KiB
Current children cumulated memory: 416708 KiB
[startup+1782.3 s]
/proc/loadavg: 1.16 1.05 1.21 2/182 29081
/proc/meminfo: memFree=12697732/32770624 swapFree=67108852/67108860
[pid=28956] ppid=28953 vsize=485552 memory=416636 CPUtime=1782.21 cores=0,2,4,6
/proc/28956/stat : 28956 (xcsp_picat) R 28953 28956 25579 0 -1 4202496 444352 0 0 0 177652 569 0 0 20 0 1 0 75154263 497205248 104159 33554432000 4194304 5849740 140725842214416 140725842213576 5437576 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 14815232 140725842220214 140725842220292 140725842220292 140725842223050 0
/proc/28956/statm: 121388 104159 752 405 0 118332 0
Current children cumulated CPU time: 1782.21 s
Current children cumulated vsize: 485552 KiB
Current children cumulated memory: 416636 KiB
[startup+1842.3 s]
/proc/loadavg: 1.40 1.16 1.23 2/182 29082
/proc/meminfo: memFree=12698280/32770624 swapFree=67108852/67108860
[pid=28956] ppid=28953 vsize=485552 memory=416636 CPUtime=1842.21 cores=0,2,4,6
/proc/28956/stat : 28956 (xcsp_picat) R 28953 28956 25579 0 -1 4202496 444863 0 0 0 183629 592 0 0 20 0 1 0 75154263 497205248 104159 33554432000 4194304 5849740 140725842214416 140725842213416 5437819 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 14815232 140725842220214 140725842220292 140725842220292 140725842223050 0
/proc/28956/statm: 121388 104159 752 405 0 118332 0
Current children cumulated CPU time: 1842.21 s
Current children cumulated vsize: 485552 KiB
Current children cumulated memory: 416636 KiB
[startup+1902.3 s]
/proc/loadavg: 1.15 1.13 1.22 2/182 29083
/proc/meminfo: memFree=12698596/32770624 swapFree=67108852/67108860
[pid=28956] ppid=28953 vsize=485552 memory=416636 CPUtime=1902.21 cores=0,2,4,6
/proc/28956/stat : 28956 (xcsp_picat) R 28953 28956 25579 0 -1 4202496 445377 0 0 0 189614 607 0 0 20 0 1 0 75154263 497205248 104159 33554432000 4194304 5849740 140725842214416 140725842213416 5437698 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 14815232 140725842220214 140725842220292 140725842220292 140725842223050 0
/proc/28956/statm: 121388 104159 752 405 0 118332 0
Current children cumulated CPU time: 1902.21 s
Current children cumulated vsize: 485552 KiB
Current children cumulated memory: 416636 KiB
[startup+1962.3 s]
/proc/loadavg: 1.05 1.10 1.21 2/182 29084
/proc/meminfo: memFree=12695064/32770624 swapFree=67108852/67108860
[pid=28956] ppid=28953 vsize=488932 memory=420016 CPUtime=1962.21 cores=0,2,4,6
/proc/28956/stat : 28956 (xcsp_picat) R 28953 28956 25579 0 -1 4202496 448758 0 0 0 195594 627 0 0 20 0 1 0 75154263 500666368 105004 33554432000 4194304 5849740 140725842214416 140725842213416 5437607 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 14815232 140725842220214 140725842220292 140725842220292 140725842223050 0
/proc/28956/statm: 122233 105004 752 405 0 119177 0
Current children cumulated CPU time: 1962.21 s
Current children cumulated vsize: 488932 KiB
Current children cumulated memory: 420016 KiB
[startup+2022.3 s]
/proc/loadavg: 1.02 1.09 1.20 2/182 29085
/proc/meminfo: memFree=12694992/32770624 swapFree=67108852/67108860
[pid=28956] ppid=28953 vsize=488868 memory=419952 CPUtime=2022.21 cores=0,2,4,6
/proc/28956/stat : 28956 (xcsp_picat) R 28953 28956 25579 0 -1 4202496 450254 0 0 0 201575 646 0 0 20 0 1 0 75154263 500600832 104988 33554432000 4194304 5849740 140725842214416 140725842213576 5307612 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 14815232 140725842220214 140725842220292 140725842220292 140725842223050 0
/proc/28956/statm: 122217 104988 752 405 0 119161 0
Current children cumulated CPU time: 2022.21 s
Current children cumulated vsize: 488868 KiB
Current children cumulated memory: 419952 KiB
[startup+2082.3 s]
/proc/loadavg: 1.01 1.07 1.18 2/180 29086
/proc/meminfo: memFree=12695148/32770624 swapFree=67108852/67108860
[pid=28956] ppid=28953 vsize=488868 memory=419952 CPUtime=2082.21 cores=0,2,4,6
/proc/28956/stat : 28956 (xcsp_picat) R 28953 28956 25579 0 -1 4202496 451271 0 0 0 207551 670 0 0 20 0 1 0 75154263 500600832 104988 33554432000 4194304 5849740 140725842214416 140725842213416 5307594 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 14815232 140725842220214 140725842220292 140725842220292 140725842223050 0
/proc/28956/statm: 122217 104988 752 405 0 119161 0
Current children cumulated CPU time: 2082.21 s
Current children cumulated vsize: 488868 KiB
Current children cumulated memory: 419952 KiB
[startup+2142.3 s]
/proc/loadavg: 1.14 1.10 1.19 2/180 29087
/proc/meminfo: memFree=12691556/32770624 swapFree=67108852/67108860
[pid=28956] ppid=28953 vsize=493652 memory=424644 CPUtime=2142.2 cores=0,2,4,6
/proc/28956/stat : 28956 (xcsp_picat) R 28953 28956 25579 0 -1 4202496 456757 0 0 0 213532 688 0 0 20 0 1 0 75154263 505499648 106161 33554432000 4194304 5849740 140725842214416 140725842213416 5438192 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 14815232 140725842220214 140725842220292 140725842220292 140725842223050 0
/proc/28956/statm: 123413 106161 752 405 0 120357 0
Current children cumulated CPU time: 2142.2 s
Current children cumulated vsize: 493652 KiB
Current children cumulated memory: 424644 KiB
[startup+2202.3 s]
/proc/loadavg: 1.08 1.10 1.18 2/180 29088
/proc/meminfo: memFree=12691248/32770624 swapFree=67108852/67108860
[pid=28956] ppid=28953 vsize=493652 memory=424864 CPUtime=2202.2 cores=0,2,4,6
/proc/28956/stat : 28956 (xcsp_picat) R 28953 28956 25579 0 -1 4202496 457842 0 0 0 219499 721 0 0 20 0 1 0 75154263 505499648 106216 33554432000 4194304 5849740 140725842214416 140725842213416 140424472661895 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 14815232 140725842220214 140725842220292 140725842220292 140725842223050 0
/proc/28956/statm: 123413 106216 752 405 0 120357 0
Current children cumulated CPU time: 2202.2 s
Current children cumulated vsize: 493652 KiB
Current children cumulated memory: 424864 KiB
[startup+2262.3 s]
/proc/loadavg: 1.07 1.09 1.18 2/180 29089
/proc/meminfo: memFree=12669832/32770624 swapFree=67108852/67108860
[pid=28956] ppid=28953 vsize=513800 memory=444884 CPUtime=2262.2 cores=0,2,4,6
/proc/28956/stat : 28956 (xcsp_picat) R 28953 28956 25579 0 -1 4202496 462728 0 0 0 225479 741 0 0 20 0 1 0 75154263 526131200 111221 33554432000 4194304 5849740 140725842214416 140725842213416 140424472661895 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 14815232 140725842220214 140725842220292 140725842220292 140725842223050 0
/proc/28956/statm: 128450 111221 752 405 0 125394 0
Current children cumulated CPU time: 2262.2 s
Current children cumulated vsize: 513800 KiB
Current children cumulated memory: 444884 KiB
[startup+2322.3 s]
/proc/loadavg: 1.06 1.09 1.17 2/180 29097
/proc/meminfo: memFree=12669656/32770624 swapFree=67108852/67108860
[pid=28956] ppid=28953 vsize=513800 memory=444884 CPUtime=2322.19 cores=0,2,4,6
/proc/28956/stat : 28956 (xcsp_picat) R 28953 28956 25579 0 -1 4202496 463430 0 0 0 231465 754 0 0 20 0 1 0 75154263 526131200 111221 33554432000 4194304 5849740 140725842214416 140725842213416 140424472661895 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 14815232 140725842220214 140725842220292 140725842220292 140725842223050 0
/proc/28956/statm: 128450 111221 752 405 0 125394 0
Current children cumulated CPU time: 2322.19 s
Current children cumulated vsize: 513800 KiB
Current children cumulated memory: 444884 KiB
[startup+2382.3 s]
/proc/loadavg: 1.02 1.07 1.16 2/180 29098
/proc/meminfo: memFree=12669740/32770624 swapFree=67108852/67108860
[pid=28956] ppid=28953 vsize=513800 memory=444884 CPUtime=2382.19 cores=0,2,4,6
/proc/28956/stat : 28956 (xcsp_picat) R 28953 28956 25579 0 -1 4202496 464029 0 0 0 237448 771 0 0 20 0 1 0 75154263 526131200 111221 33554432000 4194304 5849740 140725842214416 140725842213576 5437467 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 14815232 140725842220214 140725842220292 140725842220292 140725842223050 0
/proc/28956/statm: 128450 111221 752 405 0 125394 0
Current children cumulated CPU time: 2382.19 s
Current children cumulated vsize: 513800 KiB
Current children cumulated memory: 444884 KiB
[startup+2442.3 s]
/proc/loadavg: 1.01 1.06 1.15 2/180 29099
/proc/meminfo: memFree=12669928/32770624 swapFree=67108852/67108860
[pid=28956] ppid=28953 vsize=513800 memory=444884 CPUtime=2442.19 cores=0,2,4,6
/proc/28956/stat : 28956 (xcsp_picat) R 28953 28956 25579 0 -1 4202496 464708 0 0 0 243434 785 0 0 20 0 1 0 75154263 526131200 111221 33554432000 4194304 5849740 140725842214416 140725842213416 5437591 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 14815232 140725842220214 140725842220292 140725842220292 140725842223050 0
/proc/28956/statm: 128450 111221 752 405 0 125394 0
Current children cumulated CPU time: 2442.19 s
Current children cumulated vsize: 513800 KiB
Current children cumulated memory: 444884 KiB
[startup+2502.3 s]
/proc/loadavg: 1.00 1.05 1.14 2/180 29100
/proc/meminfo: memFree=12669812/32770624 swapFree=67108852/67108860
[pid=28956] ppid=28953 vsize=513800 memory=444884 CPUtime=2502.19 cores=0,2,4,6
/proc/28956/stat : 28956 (xcsp_picat) R 28953 28956 25579 0 -1 4202496 467450 0 0 0 249414 805 0 0 20 0 1 0 75154263 526131200 111221 33554432000 4194304 5849740 140725842214416 140725842213416 5437620 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 14815232 140725842220214 140725842220292 140725842220292 140725842223050 0
/proc/28956/statm: 128450 111221 752 405 0 125394 0
Current children cumulated CPU time: 2502.19 s
Current children cumulated vsize: 513800 KiB
Current children cumulated memory: 444884 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 1.00 1.05 1.13 2/180 29100
/proc/meminfo: memFree=12669888/32770624 swapFree=67108852/67108860
[pid=28956] ppid=28953 vsize=513800 memory=444884 CPUtime=2519.9 cores=0,2,4,6
/proc/28956/stat : 28956 (xcsp_picat) R 28953 28956 25579 0 -1 4202496 467820 0 0 0 251181 809 0 0 20 0 1 0 75154263 526131200 111221 33554432000 4194304 5849740 140725842214416 140725842213416 5437831 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 14815232 140725842220214 140725842220292 140725842220292 140725842223050 0
/proc/28956/statm: 128450 111221 752 405 0 125394 0
Current children cumulated CPU time: 2519.9 s
Current children cumulated vsize: 513800 KiB
Current children cumulated memory: 444884 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 28956 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2511.81 s, system=8.09476 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.01
CPU time (s): 2519.91
CPU user time (s): 2511.81
CPU system time (s): 8.09476
CPU usage (%): 99.9959
Max. virtual memory (cumulated for all children) (KiB): 681644
Max. memory (cumulated for all children) (KiB): 521832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.81
system time used= 8.09475
maximum resident set size= 521832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 467820
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= 37
involuntary context switches= 4180
# summary of solver processes directly reported to runsolver:
# pid: 28956
# total CPU time (s): 2519.91
# total CPU user time (s): 2511.81
# total CPU system time (s): 8.09476
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2345 second user time and 18.1892 second system time
The end