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 (122 MiB free)
memory of node 1: 16384 MiB (1042 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303163-1533995144/watcher-4303163-1533995144 -o /tmp/evaluation-result-4303163-1533995144/solver-4303163-1533995144 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1533990060-10871 --watchdog 2580 xcsp_picat HOME/instance-4303163-1533995144.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=11387, runsolver pid=11384
[startup+0.100171 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 11388
/proc/meminfo: memFree=1139816/32770624 swapFree=67030624/67108860
[pid=11387] ppid=11384 vsize=2025744 memory=30796 CPUtime=0.1 cores=1,3,5,7
/proc/11387/stat : 11387 (xcsp_picat) R 11384 11387 10838 0 -1 4202496 1736 0 0 0 10 0 0 0 20 0 1 0 217077546 2074361856 7699 33554432000 4194304 5849708 140736154212704 140736154212704 4572157 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 27430912 140736154219702 140736154219780 140736154219780 140736154222538 0
/proc/11387/statm: 506436 7699 622 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 30796 KiB
[startup+0.209763 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 11388
/proc/meminfo: memFree=1088368/32770624 swapFree=67030624/67108860
[pid=11387] ppid=11384 vsize=2025744 memory=49452 CPUtime=0.21 cores=1,3,5,7
/proc/11387/stat : 11387 (xcsp_picat) R 11384 11387 10838 0 -1 4202496 1778 0 0 0 20 1 0 0 20 0 1 0 217077546 2074361856 12363 33554432000 4194304 5849708 140736154212704 140736154212704 4488915 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 27430912 140736154219702 140736154219780 140736154219780 140736154222538 0
/proc/11387/statm: 506436 12363 622 405 0 503381 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 49452 KiB
[startup+0.309728 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 11388
/proc/meminfo: memFree=1040892/32770624 swapFree=67030624/67108860
[pid=11387] ppid=11384 vsize=2025744 memory=65836 CPUtime=0.31 cores=1,3,5,7
/proc/11387/stat : 11387 (xcsp_picat) R 11384 11387 10838 0 -1 4202496 1786 0 0 0 30 1 0 0 20 0 1 0 217077546 2074361856 16459 33554432000 4194304 5849708 140736154212704 140736154212704 4481622 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 27430912 140736154219702 140736154219780 140736154219780 140736154222538 0
/proc/11387/statm: 506436 16459 622 405 0 503381 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 65836 KiB
[startup+0.700415 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11388
/proc/meminfo: memFree=952704/32770624 swapFree=67030624/67108860
[pid=11387] ppid=11384 vsize=2025744 memory=129324 CPUtime=0.69 cores=1,3,5,7
/proc/11387/stat : 11387 (xcsp_picat) R 11384 11387 10838 0 -1 4202496 1822 0 0 0 67 2 0 0 20 0 1 0 217077546 2074361856 32331 33554432000 4194304 5849708 140736154212704 140736154212008 4488926 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 27430912 140736154219702 140736154219780 140736154219780 140736154222538 0
/proc/11387/statm: 506436 32331 622 405 0 503381 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 129324 KiB
[startup+1.50042 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11388
/proc/meminfo: memFree=743560/32770624 swapFree=67030624/67108860
[pid=11387] ppid=11384 vsize=2025744 memory=270656 CPUtime=1.49 cores=1,3,5,7
/proc/11387/stat : 11387 (xcsp_picat) R 11384 11387 10838 0 -1 4202496 1891 0 0 0 145 4 0 0 20 0 1 0 217077546 2074361856 67664 33554432000 4194304 5849708 140736154212704 140736154212008 4458418 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 27430912 140736154219702 140736154219780 140736154219780 140736154222538 0
/proc/11387/statm: 506436 67664 626 405 0 503381 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 270656 KiB
[startup+3.10958 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11388
/proc/meminfo: memFree=202124/32770624 swapFree=67030624/67108860
[pid=11387] ppid=11384 vsize=2025744 memory=529924 CPUtime=3.1 cores=1,3,5,7
/proc/11387/stat : 11387 (xcsp_picat) R 11384 11387 10838 0 -1 4202496 14116 0 0 0 291 19 0 0 20 0 1 0 217077546 2074361856 132415 33554432000 4194304 5849708 140736154212704 140736154212008 4533316 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 27430912 140736154219702 140736154219780 140736154219780 140736154222538 0
/proc/11387/statm: 506436 132415 626 405 0 503381 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 529924 KiB
[startup+6.30041 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11388
/proc/meminfo: memFree=205036/32770624 swapFree=67030624/67108860
[pid=11387] ppid=11384 vsize=2056996 memory=959988 CPUtime=6.28 cores=1,3,5,7
/proc/11387/stat : 11387 (xcsp_picat) R 11384 11387 10838 0 -1 4202496 185777 0 0 0 561 67 0 0 20 0 1 0 217077546 2106363904 239997 33554432000 4194304 5849708 140736154212704 140736154212008 4534547 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 27430912 140736154219702 140736154219780 140736154219780 140736154222538 0
/proc/11387/statm: 514249 239997 629 405 0 511194 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2056996 KiB
Current children cumulated memory: 959988 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11388
/proc/meminfo: memFree=222444/32770624 swapFree=67030624/67108860
[pid=11387] ppid=11384 vsize=2448284 memory=2155032 CPUtime=12.67 cores=1,3,5,7
/proc/11387/stat : 11387 (xcsp_picat) R 11384 11387 10838 0 -1 4202496 519017 0 0 0 1078 189 0 0 20 0 1 0 217077546 2507042816 538758 33554432000 4194304 5849708 140736154212704 140736154212024 4533250 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 27430912 140736154219702 140736154219780 140736154219780 140736154222538 0
/proc/11387/statm: 612071 538758 656 405 0 609016 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 2448284 KiB
Current children cumulated memory: 2155032 KiB
[startup+25.5005 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 11388
/proc/meminfo: memFree=2905840/32770624 swapFree=67030624/67108860
[pid=11387] ppid=11384 vsize=7745984 memory=5694188 CPUtime=25.47 cores=1,3,5,7
/proc/11387/stat : 11387 (xcsp_picat) R 11384 11387 10838 0 -1 4202496 1182464 0 0 0 2154 393 0 0 20 0 1 0 217077546 7931887616 1423547 33554432000 4194304 5849708 140736154212704 140736154211704 5269593 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 27430912 140736154219702 140736154219780 140736154219780 140736154222538 0
/proc/11387/statm: 1936496 1423547 657 405 0 1933441 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 7745984 KiB
Current children cumulated memory: 5694188 KiB
[startup+51.1102 s]
/proc/loadavg: 1.89 1.98 2.03 3/187 11388
/proc/meminfo: memFree=5211152/32770624 swapFree=67030624/67108860
[pid=11387] ppid=11384 vsize=8383336 memory=8286936 CPUtime=50.95 cores=1,3,5,7
/proc/11387/stat : 11387 (xcsp_picat) R 11384 11387 10838 0 -1 4202496 2207463 0 0 0 3812 1283 0 0 20 0 1 0 217077546 8584536064 2071734 33554432000 4194304 5849708 140736154212704 140736154211928 5262169 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 27430912 140736154219702 140736154219780 140736154219780 140736154222538 0
/proc/11387/statm: 2095834 2071734 657 405 0 2092779 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 8383336 KiB
Current children cumulated memory: 8286936 KiB
[startup+102.3 s]
/proc/loadavg: 1.95 1.99 2.03 3/187 11389
/proc/meminfo: memFree=4069276/32770624 swapFree=67030624/67108860
[pid=11387] ppid=11384 vsize=8482076 memory=8321732 CPUtime=102.14 cores=1,3,5,7
/proc/11387/stat : 11387 (xcsp_picat) R 11384 11387 10838 0 -1 4202496 3003638 0 0 0 8315 1899 0 0 20 0 1 0 217077546 8685645824 2080433 33554432000 4194304 5849708 140736154212704 140736154211672 5262165 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 27430912 140736154219702 140736154219780 140736154219780 140736154222538 0
/proc/11387/statm: 2120519 2080433 658 405 0 2117464 0
Current children cumulated CPU time: 102.14 s
Current children cumulated vsize: 8482076 KiB
Current children cumulated memory: 8321732 KiB
[startup+162.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/187 11390
/proc/meminfo: memFree=5902424/32770624 swapFree=67030624/67108860
[pid=11387] ppid=11384 vsize=12460600 memory=12284608 CPUtime=162.13 cores=1,3,5,7
/proc/11387/stat : 11387 (xcsp_picat) R 11384 11387 10838 0 -1 4202496 3707414 0 0 0 13364 2849 0 0 20 0 1 0 217077546 12759654400 3071152 33554432000 4194304 5849708 140736154212704 140736154211704 5260504 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 27430912 140736154219702 140736154219780 140736154219780 140736154222538 0
/proc/11387/statm: 3115150 3071152 658 405 0 3112095 0
Current children cumulated CPU time: 162.13 s
Current children cumulated vsize: 12460600 KiB
Current children cumulated memory: 12284608 KiB
[startup+222.3 s]
/proc/loadavg: 2.03 2.00 2.04 3/187 11391
/proc/meminfo: memFree=6563172/32770624 swapFree=67030624/67108860
[pid=11387] ppid=11384 vsize=8565084 memory=5948228 CPUtime=222.12 cores=1,3,5,7
/proc/11387/stat : 11387 (xcsp_picat) R 11384 11387 10838 0 -1 4202496 4630264 0 0 0 18835 3377 0 0 20 0 1 0 217077546 8770646016 1487057 33554432000 4194304 5849708 140736154212704 140736154211672 5251128 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 27430912 140736154219702 140736154219780 140736154219780 140736154222538 0
/proc/11387/statm: 2141271 1487057 658 405 0 2138216 0
Current children cumulated CPU time: 222.12 s
Current children cumulated vsize: 8565084 KiB
Current children cumulated memory: 5948228 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/188 11399
/proc/meminfo: memFree=1150012/32770624 swapFree=67030624/67108860
[pid=11387] ppid=11384 vsize=12582664 memory=11859204 CPUtime=282.13 cores=1,3,5,7
/proc/11387/stat : 11387 (xcsp_picat) R 11384 11387 10838 0 -1 4202496 5501612 0 0 0 24170 4043 0 0 20 0 1 0 217077546 12884647936 2964735 33554432000 4194304 5849708 140736154212704 140736154211704 5269201 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 27430912 140736154219702 140736154219780 140736154219780 140736154222538 0
/proc/11387/statm: 3145666 2964735 658 405 0 3142611 0
Current children cumulated CPU time: 282.13 s
Current children cumulated vsize: 12582664 KiB
Current children cumulated memory: 11859204 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 11400
/proc/meminfo: memFree=4843704/32770624 swapFree=67030624/67108860
[pid=11387] ppid=11384 vsize=12631496 memory=12454364 CPUtime=342.12 cores=1,3,5,7
/proc/11387/stat : 11387 (xcsp_picat) R 11384 11387 10838 0 -1 4202496 6448582 0 0 0 29738 4474 0 0 20 0 1 0 217077546 12934651904 3113591 33554432000 4194304 5849708 140736154212704 140736154211704 5269574 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 27430912 140736154219702 140736154219780 140736154219780 140736154222538 0
/proc/11387/statm: 3157874 3113591 658 405 0 3154819 0
Current children cumulated CPU time: 342.12 s
Current children cumulated vsize: 12631496 KiB
Current children cumulated memory: 12454364 KiB
[startup+402.3 s]
/proc/loadavg: 1.90 1.97 2.03 3/188 11401
/proc/meminfo: memFree=4439100/32770624 swapFree=67030624/67108860
[pid=11387] ppid=11384 vsize=8681296 memory=8347424 CPUtime=402.1 cores=1,3,5,7
/proc/11387/stat : 11387 (xcsp_picat) R 11384 11387 10838 0 -1 4202496 7105062 0 0 0 35310 4900 0 0 20 0 1 0 217077546 8889647104 2086856 33554432000 4194304 5849708 140736154212704 140736154211672 5249616 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 27430912 140736154219702 140736154219780 140736154219780 140736154222538 0
/proc/11387/statm: 2170324 2086856 658 405 0 2167269 0
Current children cumulated CPU time: 402.1 s
Current children cumulated vsize: 8681296 KiB
Current children cumulated memory: 8347424 KiB
[startup+462.3 s]
/proc/loadavg: 1.93 1.96 2.02 3/188 11402
/proc/meminfo: memFree=6925324/32770624 swapFree=67030624/67108860
[pid=11387] ppid=11384 vsize=12753564 memory=12576388 CPUtime=462.1 cores=1,3,5,7
/proc/11387/stat : 11387 (xcsp_picat) R 11384 11387 10838 0 -1 4202496 7897490 0 0 0 40827 5383 0 0 20 0 1 0 217077546 13059649536 3144097 33554432000 4194304 5849708 140736154212704 140736154211704 5257193 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 27430912 140736154219702 140736154219780 140736154219780 140736154222538 0
/proc/11387/statm: 3188391 3144097 658 405 0 3185336 0
Current children cumulated CPU time: 462.1 s
Current children cumulated vsize: 12753564 KiB
Current children cumulated memory: 12576388 KiB
################
# More data... #
################
/proc/11387/statm: 3481360 3438287 658 405 0 3478305 0
Current children cumulated CPU time: 1721.88 s
Current children cumulated vsize: 13925440 KiB
Current children cumulated memory: 13753148 KiB
[startup+1782.3 s]
/proc/loadavg: 1.99 1.99 2.01 3/187 11465
/proc/meminfo: memFree=8719360/32770624 swapFree=67030624/67108860
[pid=11387] ppid=11384 vsize=9561176 memory=6489504 CPUtime=1781.88 cores=1,3,5,7
/proc/11387/stat : 11387 (xcsp_picat) R 11384 11387 10838 0 -1 4202496 21293092 0 0 0 161890 16298 0 0 20 0 1 0 217077546 9790644224 1622376 33554432000 4194304 5849708 140736154212704 140736154211672 5249616 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 27430912 140736154219702 140736154219780 140736154219780 140736154222538 0
/proc/11387/statm: 2390294 1622376 658 405 0 2387239 0
Current children cumulated CPU time: 1781.88 s
Current children cumulated vsize: 9561176 KiB
Current children cumulated memory: 6489504 KiB
[startup+1842.3 s]
/proc/loadavg: 2.05 2.00 2.02 3/187 11466
/proc/meminfo: memFree=6571412/32770624 swapFree=67030624/67108860
[pid=11387] ppid=11384 vsize=9594384 memory=7560828 CPUtime=1841.87 cores=1,3,5,7
/proc/11387/stat : 11387 (xcsp_picat) R 11384 11387 10838 0 -1 4202496 22180031 0 0 0 167253 16934 0 0 20 0 1 0 217077546 9824649216 1890207 33554432000 4194304 5849708 140736154212704 140736154211672 5251108 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 27430912 140736154219702 140736154219780 140736154219780 140736154222538 0
/proc/11387/statm: 2398596 1890207 658 405 0 2395541 0
Current children cumulated CPU time: 1841.87 s
Current children cumulated vsize: 9594384 KiB
Current children cumulated memory: 7560828 KiB
[startup+1902.3 s]
/proc/loadavg: 2.02 2.00 2.02 3/187 11467
/proc/meminfo: memFree=5378236/32770624 swapFree=67030624/67108860
[pid=11387] ppid=11384 vsize=9627588 memory=8732492 CPUtime=1901.87 cores=1,3,5,7
/proc/11387/stat : 11387 (xcsp_picat) R 11384 11387 10838 0 -1 4202496 22698359 0 0 0 172652 17535 0 0 20 0 1 0 217077546 9858650112 2183123 33554432000 4194304 5849708 140736154212704 140736154211672 5249616 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 27430912 140736154219702 140736154219780 140736154219780 140736154222538 0
/proc/11387/statm: 2406897 2183123 658 405 0 2403842 0
Current children cumulated CPU time: 1901.87 s
Current children cumulated vsize: 9627588 KiB
Current children cumulated memory: 8732492 KiB
[startup+1962.3 s]
/proc/loadavg: 1.95 1.99 2.01 3/187 11468
/proc/meminfo: memFree=3717404/32770624 swapFree=67030624/67108860
[pid=11387] ppid=11384 vsize=14145164 memory=11420440 CPUtime=1961.86 cores=1,3,5,7
/proc/11387/stat : 11387 (xcsp_picat) R 11384 11387 10838 0 -1 4202496 23097066 0 0 0 178140 18046 0 0 20 0 1 0 217077546 14484647936 2855110 33554432000 4194304 5849708 140736154212704 140736154211704 5269201 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 27430912 140736154219702 140736154219780 140736154219780 140736154222538 0
/proc/11387/statm: 3536291 2855110 658 405 0 3533236 0
Current children cumulated CPU time: 1961.86 s
Current children cumulated vsize: 14145164 KiB
Current children cumulated memory: 11420440 KiB
[startup+2022.3 s]
/proc/loadavg: 2.27 2.05 2.03 3/187 11469
/proc/meminfo: memFree=8852992/32770624 swapFree=67030624/67108860
[pid=11387] ppid=11384 vsize=14193992 memory=14022284 CPUtime=2021.81 cores=1,3,5,7
/proc/11387/stat : 11387 (xcsp_picat) R 11384 11387 10838 0 -1 4202496 23798084 0 0 0 183419 18762 0 0 20 0 1 0 217077546 14534647808 3505571 33554432000 4194304 5849708 140736154212704 140736154211704 5260542 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 27430912 140736154219702 140736154219780 140736154219780 140736154222538 0
/proc/11387/statm: 3548498 3505571 658 405 0 3545443 0
Current children cumulated CPU time: 2021.81 s
Current children cumulated vsize: 14193992 KiB
Current children cumulated memory: 14022284 KiB
[startup+2082.3 s]
/proc/loadavg: 2.24 2.10 2.05 3/188 11478
/proc/meminfo: memFree=7649412/32770624 swapFree=67030624/67108860
[pid=11387] ppid=11384 vsize=14242824 memory=14071000 CPUtime=2081.81 cores=1,3,5,7
/proc/11387/stat : 11387 (xcsp_picat) R 11384 11387 10838 0 -1 4202496 24445655 0 0 0 188904 19277 0 0 20 0 1 0 217077546 14584651776 3517750 33554432000 4194304 5849708 140736154212704 140736154211704 5260504 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 27430912 140736154219702 140736154219780 140736154219780 140736154222538 0
/proc/11387/statm: 3560706 3517750 658 405 0 3557651 0
Current children cumulated CPU time: 2081.81 s
Current children cumulated vsize: 14242824 KiB
Current children cumulated memory: 14071000 KiB
[startup+2142.3 s]
/proc/loadavg: 2.09 2.08 2.05 3/188 11479
/proc/meminfo: memFree=6673488/32770624 swapFree=67030624/67108860
[pid=11387] ppid=11384 vsize=14291652 memory=14119504 CPUtime=2141.81 cores=1,3,5,7
/proc/11387/stat : 11387 (xcsp_picat) R 11384 11387 10838 0 -1 4202496 25372392 0 0 0 194317 19864 0 0 20 0 1 0 217077546 14634651648 3529876 33554432000 4194304 5849708 140736154212704 140736154211704 5260504 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 27430912 140736154219702 140736154219780 140736154219780 140736154222538 0
/proc/11387/statm: 3572913 3529876 658 405 0 3569858 0
Current children cumulated CPU time: 2141.81 s
Current children cumulated vsize: 14291652 KiB
Current children cumulated memory: 14119504 KiB
[startup+2202.3 s]
/proc/loadavg: 1.99 2.05 2.04 3/188 11480
/proc/meminfo: memFree=5845972/32770624 swapFree=67030624/67108860
[pid=11387] ppid=11384 vsize=14340476 memory=14168008 CPUtime=2201.79 cores=1,3,5,7
/proc/11387/stat : 11387 (xcsp_picat) R 11384 11387 10838 0 -1 4202496 26222851 0 0 0 199684 20495 0 0 20 0 1 0 217077546 14684647424 3542002 33554432000 4194304 5849708 140736154212704 140736154211704 5260297 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 27430912 140736154219702 140736154219780 140736154219780 140736154222538 0
/proc/11387/statm: 3585119 3542002 658 405 0 3582064 0
Current children cumulated CPU time: 2201.79 s
Current children cumulated vsize: 14340476 KiB
Current children cumulated memory: 14168008 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.04 2.04 3/188 11481
/proc/meminfo: memFree=5030328/32770624 swapFree=67030624/67108860
[pid=11387] ppid=11384 vsize=14389308 memory=14216796 CPUtime=2261.79 cores=1,3,5,7
/proc/11387/stat : 11387 (xcsp_picat) R 11384 11387 10838 0 -1 4202496 26673423 0 0 0 205175 21004 0 0 20 0 1 0 217077546 14734651392 3554199 33554432000 4194304 5849708 140736154212704 140736154211704 5269574 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 27430912 140736154219702 140736154219780 140736154219780 140736154222538 0
/proc/11387/statm: 3597327 3554199 658 405 0 3594272 0
Current children cumulated CPU time: 2261.79 s
Current children cumulated vsize: 14389308 KiB
Current children cumulated memory: 14216796 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.04 2.04 3/188 11482
/proc/meminfo: memFree=13113576/32770624 swapFree=67030624/67108860
[pid=11387] ppid=11384 vsize=9876612 memory=6059616 CPUtime=2321.79 cores=1,3,5,7
/proc/11387/stat : 11387 (xcsp_picat) R 11384 11387 10838 0 -1 4202496 27093749 0 0 0 210547 21632 0 0 20 0 1 0 217077546 10113650688 1514904 33554432000 4194304 5849708 140736154212704 140736154211704 5251213 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 27430912 140736154219702 140736154219780 140736154219780 140736154222538 0
/proc/11387/statm: 2469153 1514904 658 405 0 2466098 0
Current children cumulated CPU time: 2321.79 s
Current children cumulated vsize: 9876612 KiB
Current children cumulated memory: 6059616 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.04 3/187 11484
/proc/meminfo: memFree=7622888/32770624 swapFree=67030624/67108860
[pid=11387] ppid=11384 vsize=9909812 memory=6962984 CPUtime=2381.79 cores=1,3,5,7
/proc/11387/stat : 11387 (xcsp_picat) R 11384 11387 10838 0 -1 4202496 27533606 0 0 0 216029 22150 0 0 20 0 1 0 217077546 10147647488 1740746 33554432000 4194304 5849708 140736154212704 140736154211672 5249616 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 27430912 140736154219702 140736154219780 140736154219780 140736154222538 0
/proc/11387/statm: 2477453 1740746 658 405 0 2474398 0
Current children cumulated CPU time: 2381.79 s
Current children cumulated vsize: 9909812 KiB
Current children cumulated memory: 6962984 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/187 11485
/proc/meminfo: memFree=6935232/32770624 swapFree=67030624/67108860
[pid=11387] ppid=11384 vsize=9943012 memory=7720940 CPUtime=2441.79 cores=1,3,5,7
/proc/11387/stat : 11387 (xcsp_picat) R 11384 11387 10838 0 -1 4202496 27973263 0 0 0 221469 22710 0 0 20 0 1 0 217077546 10181644288 1930235 33554432000 4194304 5849708 140736154212704 140736154211672 5251189 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 27430912 140736154219702 140736154219780 140736154219780 140736154222538 0
/proc/11387/statm: 2485753 1930235 658 405 0 2482698 0
Current children cumulated CPU time: 2441.79 s
Current children cumulated vsize: 9943012 KiB
Current children cumulated memory: 7720940 KiB
[startup+2502.3 s]
/proc/loadavg: 2.22 2.07 2.06 3/190 11550
/proc/meminfo: memFree=20499064/32770624 swapFree=67030624/67108860
[pid=11387] ppid=11384 vsize=9976220 memory=8855736 CPUtime=2501.79 cores=1,3,5,7
/proc/11387/stat : 11387 (xcsp_picat) R 11384 11387 10838 0 -1 4202496 28148581 0 0 0 227050 23129 0 0 20 0 1 0 217077546 10215649280 2213934 33554432000 4194304 5849708 140736154212704 140736154211672 5249616 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 27430912 140736154219702 140736154219780 140736154219780 140736154222538 0
/proc/11387/statm: 2494055 2213934 655 405 0 2491000 0
Current children cumulated CPU time: 2501.79 s
Current children cumulated vsize: 9976220 KiB
Current children cumulated memory: 8855736 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.22 2.08 2.06 3/190 11611
/proc/meminfo: memFree=14462304/32770624 swapFree=67030624/67108860
[pid=11387] ppid=11384 vsize=14609036 memory=14437232 CPUtime=2519.49 cores=1,3,5,7
/proc/11387/stat : 11387 (xcsp_picat) R 11384 11387 10838 0 -1 4202496 28153209 0 0 0 228736 23213 0 0 20 0 1 0 217077546 14959652864 3609308 33554432000 4194304 5849708 140736154212704 140736154211704 5269624 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 27430912 140736154219702 140736154219780 140736154219780 140736154222538 0
/proc/11387/statm: 3652259 3609308 655 405 0 3649204 0
Current children cumulated CPU time: 2519.49 s
Current children cumulated vsize: 14609036 KiB
Current children cumulated memory: 14437232 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.06 s]
# the end of solver process 11387 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2287.37 s, system=232.192 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.06
CPU time (s): 2519.56
CPU user time (s): 2287.37
CPU system time (s): 232.192
CPU usage (%): 99.98
Max. virtual memory (cumulated for all children) (KiB): 14609036
Max. memory (cumulated for all children) (KiB): 14437232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2287.37
system time used= 232.192
maximum resident set size= 14437244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28153209
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46
involuntary context switches= 2981
# summary of solver processes directly reported to runsolver:
# pid: 11387
# total CPU time (s): 2519.56
# total CPU user time (s): 2287.37
# total CPU system time (s): 232.192
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.80223 second user time and 22.0695 second system time
The end