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 (11150 MiB free)
memory of node 1: 16384 MiB (9843 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309672-1534316492/watcher-4309672-1534316492 -o /tmp/evaluation-result-4309672-1534316492/solver-4309672-1534316492 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534293289-16868 --watchdog 2580 xcsp_picat HOME/instance-4309672-1534316492.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
Starting watchdog thread
Linux 3.10.0-514.16.1.el7.x86_64
solver pid=20194, runsolver pid=20191
Current StackSize limit: 8192 KiB
[startup+0.100161 s]*
/proc/loadavg: 2.20 2.07 2.06 3/189 20195
/proc/meminfo: memFree=21485648/32770624 swapFree=67105356/67108860
[pid=20194] ppid=20191 vsize=2033868 memory=14864 CPUtime=0.1 cores=1,3,5,7
/proc/20194/stat : 20194 (xcsp_picat) R 20191 20194 16836 0 -1 4202496 1838 0 0 0 10 0 0 0 20 0 1 0 249212351 2082680832 3716 33554432000 4194304 5849940 140730948786544 140730948786544 140529543520135 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30892032 140730948789430 140730948789508 140730948789508 140730948792266 0
/proc/20194/statm: 508467 3716 687 405 0 505411 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033868 KiB
Current children cumulated memory: 14864 KiB
[startup+0.209814 s]*
/proc/loadavg: 2.20 2.07 2.06 3/189 20195
/proc/meminfo: memFree=21485276/32770624 swapFree=67105356/67108860
[pid=20194] ppid=20191 vsize=2034000 memory=15124 CPUtime=0.21 cores=1,3,5,7
/proc/20194/stat : 20194 (xcsp_picat) R 20191 20194 16836 0 -1 4202496 1888 0 0 0 21 0 0 0 20 0 1 0 249212351 2082816000 3781 33554432000 4194304 5849940 140730948786544 140730948786544 140529543520135 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30892032 140730948789430 140730948789508 140730948789508 140730948792266 0
/proc/20194/statm: 508500 3781 688 405 0 505444 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2034000 KiB
Current children cumulated memory: 15124 KiB
[startup+0.309033 s]*
/proc/loadavg: 2.20 2.07 2.06 3/189 20195
/proc/meminfo: memFree=21485508/32770624 swapFree=67105356/67108860
[pid=20194] ppid=20191 vsize=2034000 memory=15124 CPUtime=0.31 cores=1,3,5,7
/proc/20194/stat : 20194 (xcsp_picat) R 20191 20194 16836 0 -1 4202496 1904 0 0 0 31 0 0 0 20 0 1 0 249212351 2082816000 3781 33554432000 4194304 5849940 140730948786544 140730948785624 140529543520135 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30892032 140730948789430 140730948789508 140730948789508 140730948792266 0
/proc/20194/statm: 508500 3781 688 405 0 505444 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2034000 KiB
Current children cumulated memory: 15124 KiB
[startup+0.700277 s]
/proc/loadavg: 2.20 2.07 2.06 3/189 20195
/proc/meminfo: memFree=21485136/32770624 swapFree=67105356/67108860
[pid=20194] ppid=20191 vsize=2034324 memory=15404 CPUtime=0.69 cores=1,3,5,7
/proc/20194/stat : 20194 (xcsp_picat) R 20191 20194 16836 0 -1 4202496 2002 0 0 0 69 0 0 0 20 0 1 0 249212351 2083147776 3851 33554432000 4194304 5849940 140730948786544 140730948785768 140529543520135 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30892032 140730948789430 140730948789508 140730948789508 140730948792266 0
/proc/20194/statm: 508581 3851 689 405 0 505525 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2034324 KiB
Current children cumulated memory: 15404 KiB
[startup+1.50028 s]
/proc/loadavg: 2.20 2.07 2.06 3/189 20195
/proc/meminfo: memFree=21484764/32770624 swapFree=67105356/67108860
[pid=20194] ppid=20191 vsize=2036496 memory=17584 CPUtime=1.49 cores=1,3,5,7
/proc/20194/stat : 20194 (xcsp_picat) R 20191 20194 16836 0 -1 4202496 2574 0 0 0 148 1 0 0 20 0 1 0 249212351 2085371904 4396 33554432000 4194304 5849940 140730948786544 140730948785768 5356118 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30892032 140730948789430 140730948789508 140730948789508 140730948792266 0
/proc/20194/statm: 509124 4396 708 405 0 506068 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2036496 KiB
Current children cumulated memory: 17584 KiB
[startup+3.10931 s]
/proc/loadavg: 2.20 2.07 2.06 3/189 20195
/proc/meminfo: memFree=21482340/32770624 swapFree=67105356/67108860
[pid=20194] ppid=20191 vsize=2037316 memory=18520 CPUtime=3.1 cores=1,3,5,7
/proc/20194/stat : 20194 (xcsp_picat) R 20191 20194 16836 0 -1 4202496 3734 0 0 0 307 3 0 0 20 0 1 0 249212351 2086211584 4630 33554432000 4194304 5849940 140730948786544 140730948785704 140529543520135 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30892032 140730948789430 140730948789508 140730948789508 140730948792266 0
/proc/20194/statm: 509329 4630 722 405 0 506273 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2037316 KiB
Current children cumulated memory: 18520 KiB
[startup+6.30028 s]
/proc/loadavg: 2.18 2.07 2.06 3/189 20195
/proc/meminfo: memFree=21480932/32770624 swapFree=67105356/67108860
[pid=20194] ppid=20191 vsize=2037644 memory=18820 CPUtime=6.29 cores=1,3,5,7
/proc/20194/stat : 20194 (xcsp_picat) R 20191 20194 16836 0 -1 4202496 7241 0 0 0 621 8 0 0 20 0 1 0 249212351 2086547456 4705 33554432000 4194304 5849940 140730948786544 140730948785544 140529543520135 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30892032 140730948789430 140730948789508 140730948789508 140730948792266 0
/proc/20194/statm: 509411 4705 722 405 0 506355 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2037644 KiB
Current children cumulated memory: 18820 KiB
[startup+12.7003 s]
/proc/loadavg: 2.17 2.07 2.06 3/189 20195
/proc/meminfo: memFree=21480240/32770624 swapFree=67105356/67108860
[pid=20194] ppid=20191 vsize=2038536 memory=19672 CPUtime=12.69 cores=1,3,5,7
/proc/20194/stat : 20194 (xcsp_picat) R 20191 20194 16836 0 -1 4202496 11094 0 0 0 1255 14 0 0 20 0 1 0 249212351 2087460864 4918 33554432000 4194304 5849940 140730948786544 140730948785544 140529543520135 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30892032 140730948789430 140730948789508 140730948789508 140730948792266 0
/proc/20194/statm: 509634 4918 722 405 0 506578 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2038536 KiB
Current children cumulated memory: 19672 KiB
[startup+25.5003 s]
/proc/loadavg: 2.13 2.07 2.06 3/189 20195
/proc/meminfo: memFree=21480420/32770624 swapFree=67105356/67108860
[pid=20194] ppid=20191 vsize=2043112 memory=24240 CPUtime=25.49 cores=1,3,5,7
/proc/20194/stat : 20194 (xcsp_picat) R 20191 20194 16836 0 -1 4202496 20469 0 0 0 2526 23 0 0 20 0 1 0 249212351 2092146688 6060 33554432000 4194304 5849940 140730948786544 140730948785544 140529543520135 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30892032 140730948789430 140730948789508 140730948789508 140730948792266 0
/proc/20194/statm: 510778 6060 722 405 0 507722 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2043112 KiB
Current children cumulated memory: 24240 KiB
[startup+51.1097 s]
/proc/loadavg: 2.09 2.06 2.06 3/189 20195
/proc/meminfo: memFree=21470160/32770624 swapFree=67105356/67108860
[pid=20194] ppid=20191 vsize=2046036 memory=27220 CPUtime=51.1 cores=1,3,5,7
/proc/20194/stat : 20194 (xcsp_picat) R 20191 20194 16836 0 -1 4202496 32361 0 0 0 5070 40 0 0 20 0 1 0 249212351 2095140864 6805 33554432000 4194304 5849940 140730948786544 140730948785544 5437906 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30892032 140730948789430 140730948789508 140730948789508 140730948792266 0
/proc/20194/statm: 511509 6805 722 405 0 508453 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2046036 KiB
Current children cumulated memory: 27220 KiB
[startup+102.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/189 20196
/proc/meminfo: memFree=21463852/32770624 swapFree=67105356/67108860
[pid=20194] ppid=20191 vsize=2044960 memory=26216 CPUtime=102.29 cores=1,3,5,7
/proc/20194/stat : 20194 (xcsp_picat) R 20191 20194 16836 0 -1 4202496 51455 0 0 0 10161 68 0 0 20 0 1 0 249212351 2094039040 6554 33554432000 4194304 5849940 140730948786544 140730948785544 140529543520135 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30892032 140730948789430 140730948789508 140730948789508 140730948792266 0
/proc/20194/statm: 511240 6554 722 405 0 508184 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2044960 KiB
Current children cumulated memory: 26216 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/189 20197
/proc/meminfo: memFree=21458712/32770624 swapFree=67105356/67108860
[pid=20194] ppid=20191 vsize=2046148 memory=27360 CPUtime=162.28 cores=1,3,5,7
/proc/20194/stat : 20194 (xcsp_picat) R 20191 20194 16836 0 -1 4202496 69562 0 0 0 16134 94 0 0 20 0 1 0 249212351 2095255552 6840 33554432000 4194304 5849940 140730948786544 140730948785544 140529543520135 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30892032 140730948789430 140730948789508 140730948789508 140730948792266 0
/proc/20194/statm: 511537 6840 722 405 0 508481 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2046148 KiB
Current children cumulated memory: 27360 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/188 20198
/proc/meminfo: memFree=21459588/32770624 swapFree=67105356/67108860
[pid=20194] ppid=20191 vsize=2045476 memory=26768 CPUtime=222.29 cores=1,3,5,7
/proc/20194/stat : 20194 (xcsp_picat) R 20191 20194 16836 0 -1 4202496 85065 0 0 0 22110 119 0 0 20 0 1 0 249212351 2094567424 6692 33554432000 4194304 5849940 140730948786544 140730948785544 140529543520135 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30892032 140730948789430 140730948789508 140730948789508 140730948792266 0
/proc/20194/statm: 511369 6692 722 405 0 508313 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2045476 KiB
Current children cumulated memory: 26768 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 20199
/proc/meminfo: memFree=21451400/32770624 swapFree=67105356/67108860
[pid=20194] ppid=20191 vsize=2053500 memory=34712 CPUtime=282.29 cores=1,3,5,7
/proc/20194/stat : 20194 (xcsp_picat) R 20191 20194 16836 0 -1 4202496 99505 0 0 0 28089 140 0 0 20 0 1 0 249212351 2102784000 8678 33554432000 4194304 5849940 140730948786544 140730948785544 5356114 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30892032 140730948789430 140730948789508 140730948789508 140730948792266 0
/proc/20194/statm: 513375 8678 722 405 0 510319 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2053500 KiB
Current children cumulated memory: 34712 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 20200
/proc/meminfo: memFree=21451692/32770624 swapFree=67105356/67108860
[pid=20194] ppid=20191 vsize=2053392 memory=34604 CPUtime=342.29 cores=1,3,5,7
/proc/20194/stat : 20194 (xcsp_picat) R 20191 20194 16836 0 -1 4202496 112980 0 0 0 34067 162 0 0 20 0 1 0 249212351 2102673408 8651 33554432000 4194304 5849940 140730948786544 140730948785704 140529543520135 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30892032 140730948789430 140730948789508 140730948789508 140730948792266 0
/proc/20194/statm: 513348 8651 722 405 0 510292 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 2053392 KiB
Current children cumulated memory: 34604 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 20201
/proc/meminfo: memFree=21445088/32770624 swapFree=67105356/67108860
[pid=20194] ppid=20191 vsize=2057396 memory=38608 CPUtime=402.29 cores=1,3,5,7
/proc/20194/stat : 20194 (xcsp_picat) R 20191 20194 16836 0 -1 4202496 127041 0 0 0 40046 183 0 0 20 0 1 0 249212351 2106773504 9652 33554432000 4194304 5849940 140730948786544 140730948785544 140529543520135 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30892032 140730948789430 140730948789508 140730948789508 140730948792266 0
/proc/20194/statm: 514349 9652 722 405 0 511293 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 2057396 KiB
Current children cumulated memory: 38608 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 20202
/proc/meminfo: memFree=21436776/32770624 swapFree=67105356/67108860
[pid=20194] ppid=20191 vsize=2066108 memory=47320 CPUtime=462.29 cores=1,3,5,7
/proc/20194/stat : 20194 (xcsp_picat) R 20191 20194 16836 0 -1 4202496 142122 0 0 0 46029 200 0 0 20 0 1 0 249212351 2115694592 11830 33554432000 4194304 5849940 140730948786544 140730948785704 140529543520135 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30892032 140730948789430 140730948789508 140730948789508 140730948792266 0
/proc/20194/statm: 516527 11830 722 405 0 513471 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 2066108 KiB
Current children cumulated memory: 47320 KiB
################
# More data... #
################
Current children cumulated memory: 59276 KiB
[startup+1062.3 s]
/proc/loadavg: 2.23 2.15 2.09 3/187 20219
/proc/meminfo: memFree=21431304/32770624 swapFree=67105356/67108860
[pid=20194] ppid=20191 vsize=2064552 memory=45764 CPUtime=1062.29 cores=1,3,5,7
/proc/20194/stat : 20194 (xcsp_picat) R 20191 20194 16836 0 -1 4202496 281738 0 0 0 105857 372 0 0 20 0 1 0 249212351 2114101248 11441 33554432000 4194304 5849940 140730948786544 140730948785544 140529543520135 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30892032 140730948789430 140730948789508 140730948789508 140730948792266 0
/proc/20194/statm: 516138 11441 722 405 0 513082 0
Current children cumulated CPU time: 1062.29 s
Current children cumulated vsize: 2064552 KiB
Current children cumulated memory: 45764 KiB
[startup+1122.3 s]
/proc/loadavg: 2.09 2.12 2.09 3/188 20228
/proc/meminfo: memFree=21421568/32770624 swapFree=67105356/67108860
[pid=20194] ppid=20191 vsize=2068040 memory=54656 CPUtime=1122.28 cores=1,3,5,7
/proc/20194/stat : 20194 (xcsp_picat) R 20191 20194 16836 0 -1 4202496 291632 0 0 0 111840 388 0 0 20 0 1 0 249212351 2117672960 13664 33554432000 4194304 5849940 140730948786544 140730948785544 140529543520135 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30892032 140730948789430 140730948789508 140730948789508 140730948792266 0
/proc/20194/statm: 517010 13664 722 405 0 513954 0
Current children cumulated CPU time: 1122.28 s
Current children cumulated vsize: 2068040 KiB
Current children cumulated memory: 54656 KiB
[startup+1182.3 s]
/proc/loadavg: 2.03 2.10 2.08 3/188 20229
/proc/meminfo: memFree=21411124/32770624 swapFree=67105356/67108860
[pid=20194] ppid=20191 vsize=2078892 memory=65344 CPUtime=1182.29 cores=1,3,5,7
/proc/20194/stat : 20194 (xcsp_picat) R 20191 20194 16836 0 -1 4202496 301954 0 0 0 117825 404 0 0 20 0 1 0 249212351 2128785408 16336 33554432000 4194304 5849940 140730948786544 140730948785544 140529543520135 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30892032 140730948789430 140730948789508 140730948789508 140730948792266 0
/proc/20194/statm: 519723 16336 722 405 0 516667 0
Current children cumulated CPU time: 1182.29 s
Current children cumulated vsize: 2078892 KiB
Current children cumulated memory: 65344 KiB
[startup+1242.3 s]
/proc/loadavg: 2.01 2.08 2.08 3/188 20230
/proc/meminfo: memFree=21415460/32770624 swapFree=67105356/67108860
[pid=20194] ppid=20191 vsize=2074400 memory=61016 CPUtime=1242.28 cores=1,3,5,7
/proc/20194/stat : 20194 (xcsp_picat) R 20191 20194 16836 0 -1 4202496 311444 0 0 0 123810 418 0 0 20 0 1 0 249212351 2124185600 15254 33554432000 4194304 5849940 140730948786544 140730948785544 140529543520135 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30892032 140730948789430 140730948789508 140730948789508 140730948792266 0
/proc/20194/statm: 518600 15254 722 405 0 515544 0
Current children cumulated CPU time: 1242.28 s
Current children cumulated vsize: 2074400 KiB
Current children cumulated memory: 61016 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.07 2.07 3/188 20231
/proc/meminfo: memFree=21415992/32770624 swapFree=67105356/67108860
[pid=20194] ppid=20191 vsize=2074424 memory=61040 CPUtime=1302.29 cores=1,3,5,7
/proc/20194/stat : 20194 (xcsp_picat) R 20191 20194 16836 0 -1 4202496 323202 0 0 0 129795 434 0 0 20 0 1 0 249212351 2124210176 15260 33554432000 4194304 5849940 140730948786544 140730948785544 140529543520135 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30892032 140730948789430 140730948789508 140730948789508 140730948792266 0
/proc/20194/statm: 518606 15260 722 405 0 515550 0
Current children cumulated CPU time: 1302.29 s
Current children cumulated vsize: 2074424 KiB
Current children cumulated memory: 61040 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/188 20357
/proc/meminfo: memFree=21873948/32770624 swapFree=67105356/67108860
[pid=20194] ppid=20191 vsize=2074004 memory=60620 CPUtime=1362.28 cores=1,3,5,7
/proc/20194/stat : 20194 (xcsp_picat) R 20191 20194 16836 0 -1 4202496 332513 0 0 0 135780 448 0 0 20 0 1 0 249212351 2123780096 15155 33554432000 4194304 5849940 140730948786544 140730948785544 5438489 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30892032 140730948789430 140730948789508 140730948789508 140730948792266 0
/proc/20194/statm: 518501 15155 722 405 0 515445 0
Current children cumulated CPU time: 1362.28 s
Current children cumulated vsize: 2074004 KiB
Current children cumulated memory: 60620 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/188 20359
/proc/meminfo: memFree=21795672/32770624 swapFree=67105356/67108860
[pid=20194] ppid=20191 vsize=2079048 memory=65664 CPUtime=1422.28 cores=1,3,5,7
/proc/20194/stat : 20194 (xcsp_picat) R 20191 20194 16836 0 -1 4202496 344976 0 0 0 141763 465 0 0 20 0 1 0 249212351 2128945152 16416 33554432000 4194304 5849940 140730948786544 140730948785544 140529543520135 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30892032 140730948789430 140730948789508 140730948789508 140730948792266 0
/proc/20194/statm: 519762 16416 722 405 0 516706 0
Current children cumulated CPU time: 1422.28 s
Current children cumulated vsize: 2079048 KiB
Current children cumulated memory: 65664 KiB
[startup+1478.02 s]
# the end of solver process 20194 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1473.24 s, system=4.76901 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1433.6 s]
/proc/loadavg: 2.00 2.04 2.06 3/187 20359
/proc/meminfo: memFree=21853192/32770624 swapFree=67105356/67108860
[pid=20194] ppid=20191 vsize=2086292 memory=72800 CPUtime=1433.59 cores=1,3,5,7
/proc/20194/stat : 20194 (xcsp_picat) R 20191 20194 16836 0 -1 4202496 346751 0 0 0 142891 468 0 0 20 0 1 0 249212351 2136363008 18200 33554432000 4194304 5849940 140730948786544 140730948785544 140529543520135 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30892032 140730948789430 140730948789508 140730948789508 140730948792266 0
/proc/20194/statm: 521573 18200 722 405 0 518517 0
Current children cumulated CPU time: 1433.59 s
Current children cumulated vsize: 2086292 KiB
Current children cumulated memory: 72800 KiB
[startup+1459.2 s]
/proc/loadavg: 2.34 2.12 2.08 3/187 20359
/proc/meminfo: memFree=21844204/32770624 swapFree=67105356/67108860
[pid=20194] ppid=20191 vsize=2086336 memory=72800 CPUtime=1459.19 cores=1,3,5,7
/proc/20194/stat : 20194 (xcsp_picat) R 20191 20194 16836 0 -1 4202496 346763 0 0 0 145446 473 0 0 20 0 1 0 249212351 2136408064 18200 33554432000 4194304 5849940 140730948786544 140730948785544 140529543520135 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30892032 140730948789430 140730948789508 140730948789508 140730948792266 0
/proc/20194/statm: 521584 18200 722 405 0 518528 0
Current children cumulated CPU time: 1459.19 s
Current children cumulated vsize: 2086336 KiB
Current children cumulated memory: 72800 KiB
[startup+1465.6 s]
/proc/loadavg: 2.40 2.13 2.09 3/187 20359
/proc/meminfo: memFree=21848620/32770624 swapFree=67105356/67108860
[pid=20194] ppid=20191 vsize=2086336 memory=72800 CPUtime=1465.58 cores=1,3,5,7
/proc/20194/stat : 20194 (xcsp_picat) R 20191 20194 16836 0 -1 4202496 346763 0 0 0 146084 474 0 0 20 0 1 0 249212351 2136408064 18200 33554432000 4194304 5849940 140730948786544 140730948785544 140529543520135 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30892032 140730948789430 140730948789508 140730948789508 140730948792266 0
/proc/20194/statm: 521584 18200 722 405 0 518528 0
Current children cumulated CPU time: 1465.58 s
Current children cumulated vsize: 2086336 KiB
Current children cumulated memory: 72800 KiB
[startup+1472 s]*
/proc/loadavg: 2.49 2.16 2.10 3/187 20360
/proc/meminfo: memFree=21848108/32770624 swapFree=67105356/67108860
[pid=20194] ppid=20191 vsize=2086336 memory=72800 CPUtime=1471.99 cores=1,3,5,7
/proc/20194/stat : 20194 (xcsp_picat) R 20191 20194 16836 0 -1 4202496 346771 0 0 0 146724 475 0 0 20 0 1 0 249212351 2136408064 18200 33554432000 4194304 5849940 140730948786544 140730948785544 140529543520135 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30892032 140730948789430 140730948789508 140730948789508 140730948792266 0
/proc/20194/statm: 521584 18200 722 405 0 518528 0
Current children cumulated CPU time: 1471.99 s
Current children cumulated vsize: 2086336 KiB
Current children cumulated memory: 72800 KiB
[startup+1475.2 s]
/proc/loadavg: 2.49 2.16 2.10 3/187 20360
/proc/meminfo: memFree=21847628/32770624 swapFree=67105356/67108860
[pid=20194] ppid=20191 vsize=2086336 memory=72800 CPUtime=1475.19 cores=1,3,5,7
/proc/20194/stat : 20194 (xcsp_picat) R 20191 20194 16836 0 -1 4202496 346771 0 0 0 147043 476 0 0 20 0 1 0 249212351 2136408064 18200 33554432000 4194304 5849940 140730948786544 140730948785544 140529543520135 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30892032 140730948789430 140730948789508 140730948789508 140730948792266 0
/proc/20194/statm: 521584 18200 722 405 0 518528 0
Current children cumulated CPU time: 1475.19 s
Current children cumulated vsize: 2086336 KiB
Current children cumulated memory: 72800 KiB
[startup+1476.8 s]
/proc/loadavg: 2.53 2.18 2.10 3/187 20360
/proc/meminfo: memFree=21847628/32770624 swapFree=67105356/67108860
[pid=20194] ppid=20191 vsize=2086336 memory=72800 CPUtime=1476.78 cores=1,3,5,7
/proc/20194/stat : 20194 (xcsp_picat) R 20191 20194 16836 0 -1 4202496 346771 0 0 0 147202 476 0 0 20 0 1 0 249212351 2136408064 18200 33554432000 4194304 5849940 140730948786544 140730948785704 140529543520135 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30892032 140730948789430 140730948789508 140730948789508 140730948792266 0
/proc/20194/statm: 521584 18200 722 405 0 518528 0
Current children cumulated CPU time: 1476.78 s
Current children cumulated vsize: 2086336 KiB
Current children cumulated memory: 72800 KiB
[startup+1477.6 s]
/proc/loadavg: 2.53 2.18 2.10 3/187 20360
/proc/meminfo: memFree=21847752/32770624 swapFree=67105356/67108860
[pid=20194] ppid=20191 vsize=2086336 memory=72800 CPUtime=1477.58 cores=1,3,5,7
/proc/20194/stat : 20194 (xcsp_picat) R 20191 20194 16836 0 -1 4202496 346771 0 0 0 147282 476 0 0 20 0 1 0 249212351 2136408064 18200 33554432000 4194304 5849940 140730948786544 140730948785704 5438039 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30892032 140730948789430 140730948789508 140730948789508 140730948792266 0
/proc/20194/statm: 521584 18200 722 405 0 518528 0
Current children cumulated CPU time: 1477.58 s
Current children cumulated vsize: 2086336 KiB
Current children cumulated memory: 72800 KiB
[startup+1478 s]*
/proc/loadavg: 2.53 2.18 2.10 3/187 20360
/proc/meminfo: memFree=21847752/32770624 swapFree=67105356/67108860
[pid=20194] ppid=20191 vsize=2086336 memory=72800 CPUtime=1477.99 cores=1,3,5,7
/proc/20194/stat : 20194 (xcsp_picat) R 20191 20194 16836 0 -1 4202496 346771 0 0 0 147323 476 0 0 20 0 1 0 249212351 2136408064 18200 33554432000 4194304 5849940 140730948786544 140730948785704 5437786 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30892032 140730948789430 140730948789508 140730948789508 140730948792266 0
/proc/20194/statm: 521584 18200 722 405 0 518528 0
Current children cumulated CPU time: 1477.99 s
Current children cumulated vsize: 2086336 KiB
Current children cumulated memory: 72800 KiB
Child status: 0
Real time (s): 1478.02
CPU time (s): 1478.01
CPU user time (s): 1473.24
CPU system time (s): 4.76901
CPU usage (%): 99.9996
Max. virtual memory (cumulated for all children) (KiB): 2086336
Max. memory (cumulated for all children) (KiB): 72800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1473.24
system time used= 4.76901
maximum resident set size= 72956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 346795
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= 8
involuntary context switches= 1982
# summary of solver processes directly reported to runsolver:
# pid: 20194
# total CPU time (s): 1478.01
# total CPU user time (s): 1473.24
# total CPU system time (s): 4.76901
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.79101 second user time and 10.5112 second system time
The end