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 (14061 MiB free)
memory of node 1: 16384 MiB (10962 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407605-1569509758/watcher-4407605-1569509758 -o /var/tmp/evaluation-result-4407605-1569509758/solver-4407605-1569509758 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node140-1569509599-11278 --watchdog 2560 xcsp_picat HOME/instance-4407605-1569509758.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=11438, runsolver pid=11435
Current StackSize limit: 8192 KiB
[startup+0.100156 s]*
/proc/loadavg: 1.71 0.65 0.27 3/199 11439
/proc/meminfo: memFree=25610976/32770624 swapFree=66997320/67108860
[pid=11438] ppid=11435 vsize=2031716 memory=17628 CPUtime=0.1 cores=1,3,5,7
/proc/11438/stat : 11438 (xcsp_picat) R 11435 11438 11246 0 -1 4202496 2064 0 0 0 10 0 0 0 20 0 1 0 526914047 2080477184 4407 33554432000 4194304 5870510 140735694299920 140735694297064 139967265553408 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 39309312 140735694308359 140735694308441 140735694308441 140735694311366 0
/proc/11438/statm: 507929 4407 835 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 17628 KiB
[startup+0.209701 s]*
/proc/loadavg: 1.71 0.65 0.27 3/199 11439
/proc/meminfo: memFree=25604708/32770624 swapFree=66997320/67108860
[pid=11438] ppid=11435 vsize=2031716 memory=23772 CPUtime=0.21 cores=1,3,5,7
/proc/11438/stat : 11438 (xcsp_picat) R 11435 11438 11246 0 -1 4202496 2067 0 0 0 21 0 0 0 20 0 1 0 526914047 2080477184 5943 33554432000 4194304 5870510 140735694299920 140735694299224 4460173 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 39309312 140735694308359 140735694308441 140735694308441 140735694311366 0
/proc/11438/statm: 507929 5943 835 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 23772 KiB
[startup+0.30954 s]*
/proc/loadavg: 1.71 0.65 0.27 3/199 11439
/proc/meminfo: memFree=25598356/32770624 swapFree=66997320/67108860
[pid=11438] ppid=11435 vsize=2031716 memory=29916 CPUtime=0.3 cores=1,3,5,7
/proc/11438/stat : 11438 (xcsp_picat) R 11435 11438 11246 0 -1 4202496 2070 0 0 0 30 0 0 0 20 0 1 0 526914047 2080477184 7479 33554432000 4194304 5870510 140735694299920 140735694299224 4762176 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 39309312 140735694308359 140735694308441 140735694308441 140735694311366 0
/proc/11438/statm: 507929 7479 835 410 0 503402 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 29916 KiB
[startup+0.700395 s]
/proc/loadavg: 1.71 0.65 0.27 3/199 11439
/proc/meminfo: memFree=25590164/32770624 swapFree=66997320/67108860
[pid=11438] ppid=11435 vsize=2031716 memory=38340 CPUtime=0.69 cores=1,3,5,7
/proc/11438/stat : 11438 (xcsp_picat) R 11435 11438 11246 0 -1 4202496 2079 0 0 0 69 0 0 0 20 0 1 0 526914047 2080477184 9585 33554432000 4194304 5870510 140735694299920 140735694299224 4695383 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 39309312 140735694308359 140735694308441 140735694308441 140735694311366 0
/proc/11438/statm: 507929 9585 835 410 0 503402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 38340 KiB
[startup+1.50037 s]
/proc/loadavg: 1.71 0.65 0.27 3/199 11439
/proc/meminfo: memFree=25590164/32770624 swapFree=66997320/67108860
[pid=11438] ppid=11435 vsize=2031716 memory=38340 CPUtime=1.49 cores=1,3,5,7
/proc/11438/stat : 11438 (xcsp_picat) R 11435 11438 11246 0 -1 4202496 2081 0 0 0 149 0 0 0 20 0 1 0 526914047 2080477184 9585 33554432000 4194304 5870510 140735694299920 140735694299288 4849152 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39309312 140735694308359 140735694308441 140735694308441 140735694311366 0
/proc/11438/statm: 507929 9585 835 410 0 503402 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 38340 KiB
[startup+3.10948 s]
/proc/loadavg: 1.71 0.65 0.27 3/199 11439
/proc/meminfo: memFree=25510976/32770624 swapFree=66997320/67108860
[pid=11438] ppid=11435 vsize=2092656 memory=117636 CPUtime=3.09 cores=1,3,5,7
/proc/11438/stat : 11438 (xcsp_picat) R 11435 11438 11246 0 -1 4202496 2716 0 0 0 307 2 0 0 20 0 1 0 526914047 2142879744 29409 33554432000 4194304 5870510 140735694299920 140735694298456 139967265574791 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39309312 140735694308359 140735694308441 140735694308441 140735694311366 0
/proc/11438/statm: 523164 29409 900 410 0 518637 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2092656 KiB
Current children cumulated memory: 117636 KiB
[startup+6.30035 s]
/proc/loadavg: 1.73 0.67 0.28 3/199 11440
/proc/meminfo: memFree=25492180/32770624 swapFree=66997320/67108860
[pid=11438] ppid=11435 vsize=2092656 memory=142312 CPUtime=6.29 cores=1,3,5,7
/proc/11438/stat : 11438 (xcsp_picat) R 11435 11438 11246 0 -1 4202496 3797 0 0 0 625 4 0 0 20 0 1 0 526914047 2142879744 35578 33554432000 4194304 5870510 140735694299920 140735694299096 4512863 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39309312 140735694308359 140735694308441 140735694308441 140735694311366 0
/proc/11438/statm: 523164 35578 919 410 0 518637 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2092656 KiB
Current children cumulated memory: 142312 KiB
[startup+12.7003 s]
/proc/loadavg: 1.75 0.69 0.29 3/199 11440
/proc/meminfo: memFree=25429420/32770624 swapFree=66997320/67108860
[pid=11438] ppid=11435 vsize=2298292 memory=283768 CPUtime=12.69 cores=1,3,5,7
/proc/11438/stat : 11438 (xcsp_picat) R 11435 11438 11246 0 -1 4202496 31221 0 0 0 1261 8 0 0 20 0 1 0 526914047 2353451008 70942 33554432000 4194304 5870510 140735694299920 140735694298648 4475201 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39309312 140735694308359 140735694308441 140735694308441 140735694311366 0
/proc/11438/statm: 574573 70942 928 410 0 570046 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2298292 KiB
Current children cumulated memory: 283768 KiB
[startup+25.5004 s]
/proc/loadavg: 1.81 0.76 0.32 3/199 11442
/proc/meminfo: memFree=24561632/32770624 swapFree=66997320/67108860
[pid=11438] ppid=11435 vsize=3250924 memory=1056980 CPUtime=25.49 cores=1,3,5,7
/proc/11438/stat : 11438 (xcsp_picat) R 11435 11438 11246 0 -1 4202496 78925 0 0 0 2525 24 0 0 20 0 1 0 526914047 3328946176 264245 33554432000 4194304 5870510 140735694299920 140735694299256 5337297 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39309312 140735694308359 140735694308441 140735694308441 140735694311366 0
/proc/11438/statm: 812731 264245 935 410 0 808204 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 3250924 KiB
Current children cumulated memory: 1056980 KiB
[startup+51.1101 s]
/proc/loadavg: 1.87 0.86 0.36 3/199 11442
/proc/meminfo: memFree=24561632/32770624 swapFree=66997320/67108860
[pid=11438] ppid=11435 vsize=3250924 memory=1056980 CPUtime=51.1 cores=1,3,5,7
/proc/11438/stat : 11438 (xcsp_picat) R 11435 11438 11246 0 -1 4202496 200455 0 0 0 5082 28 0 0 20 0 1 0 526914047 3328946176 264245 33554432000 4194304 5870510 140735694299920 140735694299256 5337504 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39309312 140735694308359 140735694308441 140735694308441 140735694311366 0
/proc/11438/statm: 812731 264245 935 410 0 808204 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 3250924 KiB
Current children cumulated memory: 1056980 KiB
[startup+102.3 s]
/proc/loadavg: 1.95 1.03 0.45 3/199 11446
/proc/meminfo: memFree=24548148/32770624 swapFree=66997320/67108860
[pid=11438] ppid=11435 vsize=3250924 memory=1056980 CPUtime=102.28 cores=1,3,5,7
/proc/11438/stat : 11438 (xcsp_picat) R 11435 11438 11246 0 -1 4202496 348275 0 0 0 10193 35 0 0 20 0 1 0 526914047 3328946176 264245 33554432000 4194304 5870510 140735694299920 140735694299256 5352861 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39309312 140735694308359 140735694308441 140735694308441 140735694311366 0
/proc/11438/statm: 812731 264245 935 410 0 808204 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 3250924 KiB
Current children cumulated memory: 1056980 KiB
[startup+162.3 s]
/proc/loadavg: 1.98 1.21 0.55 3/199 11452
/proc/meminfo: memFree=24539284/32770624 swapFree=66997320/67108860
[pid=11438] ppid=11435 vsize=3250924 memory=1056980 CPUtime=162.27 cores=1,3,5,7
/proc/11438/stat : 11438 (xcsp_picat) R 11435 11438 11246 0 -1 4202496 481347 0 0 0 16186 41 0 0 20 0 1 0 526914047 3328946176 264245 33554432000 4194304 5870510 140735694299920 140735694299256 5352861 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39309312 140735694308359 140735694308441 140735694308441 140735694311366 0
/proc/11438/statm: 812731 264245 935 410 0 808204 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 3250924 KiB
Current children cumulated memory: 1056980 KiB
[startup+222.3 s]
/proc/loadavg: 1.99 1.35 0.64 3/199 11457
/proc/meminfo: memFree=24539744/32770624 swapFree=66997320/67108860
[pid=11438] ppid=11435 vsize=3250924 memory=1056980 CPUtime=222.26 cores=1,3,5,7
/proc/11438/stat : 11438 (xcsp_picat) R 11435 11438 11246 0 -1 4202496 615342 0 0 0 22180 46 0 0 20 0 1 0 526914047 3328946176 264245 33554432000 4194304 5870510 140735694299920 140735694299256 5337327 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39309312 140735694308359 140735694308441 140735694308441 140735694311366 0
/proc/11438/statm: 812731 264245 935 410 0 808204 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 3250924 KiB
Current children cumulated memory: 1056980 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.47 0.72 3/199 11461
/proc/meminfo: memFree=24527124/32770624 swapFree=66997320/67108860
[pid=11438] ppid=11435 vsize=3250924 memory=1056980 CPUtime=282.26 cores=1,3,5,7
/proc/11438/stat : 11438 (xcsp_picat) R 11435 11438 11246 0 -1 4202496 747021 0 0 0 28174 52 0 0 20 0 1 0 526914047 3328946176 264245 33554432000 4194304 5870510 140735694299920 140735694299256 5337297 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39309312 140735694308359 140735694308441 140735694308441 140735694311366 0
/proc/11438/statm: 812731 264245 935 410 0 808204 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 3250924 KiB
Current children cumulated memory: 1056980 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.57 0.80 3/200 11475
/proc/meminfo: memFree=24527108/32770624 swapFree=66997320/67108860
[pid=11438] ppid=11435 vsize=3250924 memory=1056980 CPUtime=342.25 cores=1,3,5,7
/proc/11438/stat : 11438 (xcsp_picat) R 11435 11438 11246 0 -1 4202496 888881 0 0 0 34167 58 0 0 20 0 1 0 526914047 3328946176 264245 33554432000 4194304 5870510 140735694299920 140735694299256 5337529 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39309312 140735694308359 140735694308441 140735694308441 140735694311366 0
/proc/11438/statm: 812731 264245 935 410 0 808204 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 3250924 KiB
Current children cumulated memory: 1056980 KiB
[startup+402.3 s]
/proc/loadavg: 2.13 1.68 0.89 3/200 11501
/proc/meminfo: memFree=24516232/32770624 swapFree=66997320/67108860
[pid=11438] ppid=11435 vsize=3250924 memory=1056980 CPUtime=402.25 cores=1,3,5,7
/proc/11438/stat : 11438 (xcsp_picat) R 11435 11438 11246 0 -1 4202496 1012920 0 0 0 40162 63 0 0 20 0 1 0 526914047 3328946176 264245 33554432000 4194304 5870510 140735694299920 140735694299256 5337327 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39309312 140735694308359 140735694308441 140735694308441 140735694311366 0
/proc/11438/statm: 812731 264245 935 410 0 808204 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 3250924 KiB
Current children cumulated memory: 1056980 KiB
[startup+462.3 s]
/proc/loadavg: 2.05 1.74 0.96 3/200 11505
/proc/meminfo: memFree=24508284/32770624 swapFree=66997320/67108860
[pid=11438] ppid=11435 vsize=3250924 memory=1056980 CPUtime=462.24 cores=1,3,5,7
/proc/11438/stat : 11438 (xcsp_picat) R 11435 11438 11246 0 -1 4202496 1150326 0 0 0 46156 68 0 0 20 0 1 0 526914047 3328946176 264245 33554432000 4194304 5870510 140735694299920 140735694299256 5352861 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39309312 140735694308359 140735694308441 140735694308441 140735694311366 0
/proc/11438/statm: 812731 264245 935 410 0 808204 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 3250924 KiB
Current children cumulated memory: 1056980 KiB
################
# More data... #
################
/proc/11438/statm: 812731 264245 935 410 0 808204 0
Current children cumulated CPU time: 1602.16 s
Current children cumulated vsize: 3250924 KiB
Current children cumulated memory: 1056980 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.72 3/200 11615
/proc/meminfo: memFree=24418352/32770624 swapFree=66997320/67108860
[pid=11438] ppid=11435 vsize=3250924 memory=1056980 CPUtime=1662.15 cores=1,3,5,7
/proc/11438/stat : 11438 (xcsp_picat) R 11435 11438 11246 0 -1 4202496 3405382 0 0 0 166059 156 0 0 20 0 1 0 526914047 3328946176 264245 33554432000 4194304 5870510 140735694299920 140735694299256 5261103 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39309312 140735694308359 140735694308441 140735694308441 140735694311366 0
/proc/11438/statm: 812731 264245 935 410 0 808204 0
Current children cumulated CPU time: 1662.15 s
Current children cumulated vsize: 3250924 KiB
Current children cumulated memory: 1056980 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.74 3/200 11619
/proc/meminfo: memFree=24413528/32770624 swapFree=66997320/67108860
[pid=11438] ppid=11435 vsize=3250924 memory=1056980 CPUtime=1722.14 cores=1,3,5,7
/proc/11438/stat : 11438 (xcsp_picat) R 11435 11438 11246 0 -1 4202496 3434010 0 0 0 172056 158 0 0 20 0 1 0 526914047 3328946176 264245 33554432000 4194304 5870510 140735694299920 140735694299256 5337393 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39309312 140735694308359 140735694308441 140735694308441 140735694311366 0
/proc/11438/statm: 812731 264245 935 410 0 808204 0
Current children cumulated CPU time: 1722.14 s
Current children cumulated vsize: 3250924 KiB
Current children cumulated memory: 1056980 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.76 3/200 11625
/proc/meminfo: memFree=24410784/32770624 swapFree=66997320/67108860
[pid=11438] ppid=11435 vsize=3250924 memory=1056980 CPUtime=1782.14 cores=1,3,5,7
/proc/11438/stat : 11438 (xcsp_picat) R 11435 11438 11246 0 -1 4202496 3454024 0 0 0 178055 159 0 0 20 0 1 0 526914047 3328946176 264245 33554432000 4194304 5870510 140735694299920 140735694299256 5352861 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39309312 140735694308359 140735694308441 140735694308441 140735694311366 0
/proc/11438/statm: 812731 264245 935 410 0 808204 0
Current children cumulated CPU time: 1782.14 s
Current children cumulated vsize: 3250924 KiB
Current children cumulated memory: 1056980 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 1.77 3/199 11630
/proc/meminfo: memFree=24410664/32770624 swapFree=66997320/67108860
[pid=11438] ppid=11435 vsize=3250924 memory=1057652 CPUtime=1842.14 cores=1,3,5,7
/proc/11438/stat : 11438 (xcsp_picat) R 11435 11438 11246 0 -1 4202496 3461971 0 0 0 184054 160 0 0 20 0 1 0 526914047 3328946176 264413 33554432000 4194304 5870510 140735694299920 140735694299256 5337393 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39309312 140735694308359 140735694308441 140735694308441 140735694311366 0
/proc/11438/statm: 812731 264413 935 410 0 808204 0
Current children cumulated CPU time: 1842.14 s
Current children cumulated vsize: 3250924 KiB
Current children cumulated memory: 1057652 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/199 11634
/proc/meminfo: memFree=24408844/32770624 swapFree=66997320/67108860
[pid=11438] ppid=11435 vsize=3250924 memory=1059692 CPUtime=1902.14 cores=1,3,5,7
/proc/11438/stat : 11438 (xcsp_picat) R 11435 11438 11246 0 -1 4202496 3466455 0 0 0 190054 160 0 0 20 0 1 0 526914047 3328946176 264923 33554432000 4194304 5870510 140735694299920 140735694299256 5261114 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39309312 140735694308359 140735694308441 140735694308441 140735694311366 0
/proc/11438/statm: 812731 264923 935 410 0 808204 0
Current children cumulated CPU time: 1902.14 s
Current children cumulated vsize: 3250924 KiB
Current children cumulated memory: 1059692 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/199 11640
/proc/meminfo: memFree=24404600/32770624 swapFree=66997320/67108860
[pid=11438] ppid=11435 vsize=3250924 memory=1063420 CPUtime=1962.13 cores=1,3,5,7
/proc/11438/stat : 11438 (xcsp_picat) R 11435 11438 11246 0 -1 4202496 3470937 0 0 0 196053 160 0 0 20 0 1 0 526914047 3328946176 265855 33554432000 4194304 5870510 140735694299920 140735694299256 5321611 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39309312 140735694308359 140735694308441 140735694308441 140735694311366 0
/proc/11438/statm: 812731 265855 935 410 0 808204 0
Current children cumulated CPU time: 1962.13 s
Current children cumulated vsize: 3250924 KiB
Current children cumulated memory: 1063420 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.81 3/199 11645
/proc/meminfo: memFree=24392048/32770624 swapFree=66997320/67108860
[pid=11438] ppid=11435 vsize=3250924 memory=1063420 CPUtime=2022.12 cores=1,3,5,7
/proc/11438/stat : 11438 (xcsp_picat) R 11435 11438 11246 0 -1 4202496 3476171 0 0 0 202052 160 0 0 20 0 1 0 526914047 3328946176 265855 33554432000 4194304 5870510 140735694299920 140735694299256 5337550 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39309312 140735694308359 140735694308441 140735694308441 140735694311366 0
/proc/11438/statm: 812731 265855 935 410 0 808204 0
Current children cumulated CPU time: 2022.12 s
Current children cumulated vsize: 3250924 KiB
Current children cumulated memory: 1063420 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/199 11649
/proc/meminfo: memFree=24392108/32770624 swapFree=66997320/67108860
[pid=11438] ppid=11435 vsize=3250924 memory=1063420 CPUtime=2082.12 cores=1,3,5,7
/proc/11438/stat : 11438 (xcsp_picat) R 11435 11438 11246 0 -1 4202496 3481227 0 0 0 208052 160 0 0 20 0 1 0 526914047 3328946176 265855 33554432000 4194304 5870510 140735694299920 140735694299256 5321727 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39309312 140735694308359 140735694308441 140735694308441 140735694311366 0
/proc/11438/statm: 812731 265855 935 410 0 808204 0
Current children cumulated CPU time: 2082.12 s
Current children cumulated vsize: 3250924 KiB
Current children cumulated memory: 1063420 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/199 11662
/proc/meminfo: memFree=24391944/32770624 swapFree=66997320/67108860
[pid=11438] ppid=11435 vsize=3250924 memory=1063420 CPUtime=2142.12 cores=1,3,5,7
/proc/11438/stat : 11438 (xcsp_picat) R 11435 11438 11246 0 -1 4202496 3486578 0 0 0 214051 161 0 0 20 0 1 0 526914047 3328946176 265855 33554432000 4194304 5870510 140735694299920 140735694299256 5337297 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39309312 140735694308359 140735694308441 140735694308441 140735694311366 0
/proc/11438/statm: 812731 265855 935 410 0 808204 0
Current children cumulated CPU time: 2142.12 s
Current children cumulated vsize: 3250924 KiB
Current children cumulated memory: 1063420 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/199 11666
/proc/meminfo: memFree=24391884/32770624 swapFree=66997320/67108860
[pid=11438] ppid=11435 vsize=3250924 memory=1063420 CPUtime=2202.11 cores=1,3,5,7
/proc/11438/stat : 11438 (xcsp_picat) R 11435 11438 11246 0 -1 4202496 3491957 0 0 0 220050 161 0 0 20 0 1 0 526914047 3328946176 265855 33554432000 4194304 5870510 140735694299920 140735694299256 5337354 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39309312 140735694308359 140735694308441 140735694308441 140735694311366 0
/proc/11438/statm: 812731 265855 935 410 0 808204 0
Current children cumulated CPU time: 2202.11 s
Current children cumulated vsize: 3250924 KiB
Current children cumulated memory: 1063420 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/199 11670
/proc/meminfo: memFree=24392260/32770624 swapFree=66997320/67108860
[pid=11438] ppid=11435 vsize=3250924 memory=1063420 CPUtime=2262.11 cores=1,3,5,7
/proc/11438/stat : 11438 (xcsp_picat) R 11435 11438 11246 0 -1 4202496 3492525 0 0 0 226050 161 0 0 20 0 1 0 526914047 3328946176 265855 33554432000 4194304 5870510 140735694299920 140735694299256 5337297 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39309312 140735694308359 140735694308441 140735694308441 140735694311366 0
/proc/11438/statm: 812731 265855 935 410 0 808204 0
Current children cumulated CPU time: 2262.11 s
Current children cumulated vsize: 3250924 KiB
Current children cumulated memory: 1063420 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/199 11737
/proc/meminfo: memFree=21076288/32770624 swapFree=66997320/67108860
[pid=11438] ppid=11435 vsize=3250924 memory=1063420 CPUtime=2322.1 cores=1,3,5,7
/proc/11438/stat : 11438 (xcsp_picat) R 11435 11438 11246 0 -1 4202496 3497838 0 0 0 232049 161 0 0 20 0 1 0 526914047 3328946176 265855 33554432000 4194304 5870510 140735694299920 140735694299256 5261019 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39309312 140735694308359 140735694308441 140735694308441 140735694311366 0
/proc/11438/statm: 812731 265855 935 410 0 808204 0
Current children cumulated CPU time: 2322.1 s
Current children cumulated vsize: 3250924 KiB
Current children cumulated memory: 1063420 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/199 11741
/proc/meminfo: memFree=21730516/32770624 swapFree=66997320/67108860
[pid=11438] ppid=11435 vsize=3250924 memory=1063420 CPUtime=2382.1 cores=1,3,5,7
/proc/11438/stat : 11438 (xcsp_picat) R 11435 11438 11246 0 -1 4202496 3503086 0 0 0 238048 162 0 0 20 0 1 0 526914047 3328946176 265855 33554432000 4194304 5870510 140735694299920 140735694299256 5352861 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39309312 140735694308359 140735694308441 140735694308441 140735694311366 0
/proc/11438/statm: 812731 265855 935 410 0 808204 0
Current children cumulated CPU time: 2382.1 s
Current children cumulated vsize: 3250924 KiB
Current children cumulated memory: 1063420 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.00 2.00 1.87 3/200 11743
/proc/meminfo: memFree=20862776/32770624 swapFree=66997320/67108860
[pid=11438] ppid=11435 vsize=3250924 memory=1063420 CPUtime=2400 cores=1,3,5,7
/proc/11438/stat : 11438 (xcsp_picat) R 11435 11438 11246 0 -1 4202496 3503281 0 0 0 239838 162 0 0 20 0 1 0 526914047 3328946176 265855 33554432000 4194304 5870510 140735694299920 140735694299256 5321600 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39309312 140735694308359 140735694308441 140735694308441 140735694311366 0
/proc/11438/statm: 812731 265855 935 410 0 808204 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 3250924 KiB
Current children cumulated memory: 1063420 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.21 s]
# the end of solver process 11438 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.38 s, system=1.62887 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): 2400.21
CPU time (s): 2400.01
CPU user time (s): 2398.38
CPU system time (s): 1.62887
CPU usage (%): 99.9919
Max. virtual memory (cumulated for all children) (KiB): 3250924
Max. memory (cumulated for all children) (KiB): 1063420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.38
system time used= 1.62887
maximum resident set size= 1072388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3503282
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= 1839
# summary of solver processes directly reported to runsolver:
# pid: 11438
# total CPU time (s): 2400.01
# total CPU user time (s): 2398.38
# total CPU system time (s): 1.62887
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0818 second user time and 18.3839 second system time
The end