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 (10852 MiB free)
memory of node 1: 16384 MiB (12183 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289282-1532190503/watcher-4289282-1532190503 -o /tmp/evaluation-result-4289282-1532190503/solver-4289282-1532190503 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532190502-23401 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1377696294 HOME/instance-4289282-1532190503.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=23431, runsolver pid=23425
[startup+0.100842 s]*
/proc/loadavg: 0.00 0.01 0.05 4/193 23433
/proc/meminfo: memFree=23565632/32770624 swapFree=67108860/67108860
[pid=23431] ppid=23425 vsize=40856 memory=15600 CPUtime=0.05 cores=0,2,4,6
/proc/23431/stat : 23431 (MistralXCSP) R 23425 23431 23369 0 -1 4202496 4268 0 3 0 5 0 0 0 20 0 1 0 36613518 41836544 3900 33554432000 4194304 7498468 140724477825008 140724477815608 6151612 0 0 4096 0 0 0 0 17 0 0 0 2 0 0 9598848 9604096 36237312 140724477826157 140724477826307 140724477826307 140724477829065 0
/proc/23431/statm: 10214 3900 733 807 0 3205 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 40856 KiB
Current children cumulated memory: 15600 KiB
[startup+0.209844 s]*
/proc/loadavg: 0.00 0.01 0.05 3/193 23433
/proc/meminfo: memFree=23548680/32770624 swapFree=67108860/67108860
[pid=23431] ppid=23425 vsize=51044 memory=25720 CPUtime=0.16 cores=0,2,4,6
/proc/23431/stat : 23431 (MistralXCSP) R 23425 23431 23369 0 -1 4202496 6862 0 3 0 16 0 0 0 20 0 1 0 36613518 52269056 6430 33554432000 4194304 7498468 140724477825008 140724477815608 4564424 0 0 4096 0 0 0 0 17 0 0 0 2 0 0 9598848 9604096 36237312 140724477826157 140724477826307 140724477826307 140724477829065 0
/proc/23431/statm: 12761 6430 733 807 0 5752 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 51044 KiB
Current children cumulated memory: 25720 KiB
[startup+0.309883 s]*
/proc/loadavg: 0.00 0.01 0.05 4/193 23433
/proc/meminfo: memFree=23539820/32770624 swapFree=67108860/67108860
[pid=23431] ppid=23425 vsize=55684 memory=30208 CPUtime=0.25 cores=0,2,4,6
/proc/23431/stat : 23431 (MistralXCSP) R 23425 23431 23369 0 -1 4202496 8030 0 3 0 25 0 0 0 20 0 1 0 36613518 57020416 7552 33554432000 4194304 7498468 140724477825008 140724477815608 4564424 0 0 4096 0 0 0 0 17 0 0 0 2 0 0 9598848 9604096 36237312 140724477826157 140724477826307 140724477826307 140724477829065 0
/proc/23431/statm: 13921 7552 733 807 0 6912 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 55684 KiB
Current children cumulated memory: 30208 KiB
[startup+0.700288 s]
/proc/loadavg: 0.00 0.01 0.05 6/193 23433
/proc/meminfo: memFree=23434144/32770624 swapFree=67108860/67108860
[pid=23431] ppid=23425 vsize=74052 memory=48696 CPUtime=0.64 cores=0,2,4,6
/proc/23431/stat : 23431 (MistralXCSP) R 23425 23431 23369 0 -1 4202496 12304 0 3 0 63 1 0 0 20 0 1 0 36613518 75829248 12174 33554432000 4194304 7498468 140724477825008 140724477818248 4564583 0 0 4096 0 0 0 0 17 0 0 0 2 0 0 9598848 9604096 36237312 140724477826157 140724477826307 140724477826307 140724477829065 0
/proc/23431/statm: 18513 12174 733 807 0 11504 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 74052 KiB
Current children cumulated memory: 48696 KiB
[startup+1.50025 s]
/proc/loadavg: 0.00 0.01 0.05 4/193 23433
/proc/meminfo: memFree=23348092/32770624 swapFree=67108860/67108860
[pid=23431] ppid=23425 vsize=93432 memory=67848 CPUtime=1.44 cores=0,2,4,6
/proc/23431/stat : 23431 (MistralXCSP) R 23425 23431 23369 0 -1 4202496 17294 0 3 0 142 2 0 0 20 0 1 0 36613518 95674368 16962 33554432000 4194304 7498468 140724477825008 140724477815672 4564592 0 0 4096 0 0 0 0 17 0 0 0 2 0 0 9598848 9604096 36237312 140724477826157 140724477826307 140724477826307 140724477829065 0
/proc/23431/statm: 23358 16962 733 807 0 16349 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 93432 KiB
Current children cumulated memory: 67848 KiB
[startup+3.10977 s]
/proc/loadavg: 0.00 0.01 0.05 4/193 23433
/proc/meminfo: memFree=23049560/32770624 swapFree=67108860/67108860
[pid=23431] ppid=23425 vsize=385456 memory=360144 CPUtime=3.05 cores=0,2,4,6
/proc/23431/stat : 23431 (MistralXCSP) R 23425 23431 23369 0 -1 4202496 92562 0 3 0 293 12 0 0 20 0 1 0 36613518 394706944 90036 33554432000 4194304 7498468 140724477825008 140724477815016 140705031014372 0 0 4096 0 0 0 0 17 0 0 0 2 0 0 9598848 9604096 36237312 140724477826157 140724477826307 140724477826307 140724477829065 0
/proc/23431/statm: 96364 90036 762 807 0 89355 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 385456 KiB
Current children cumulated memory: 360144 KiB
[startup+6.30032 s]
/proc/loadavg: 0.16 0.05 0.06 4/193 23433
/proc/meminfo: memFree=22828516/32770624 swapFree=67108860/67108860
[pid=23431] ppid=23425 vsize=600780 memory=575784 CPUtime=6.23 cores=0,2,4,6
/proc/23431/stat : 23431 (MistralXCSP) R 23425 23431 23369 0 -1 4202496 186781 0 3 0 603 20 0 0 20 0 1 0 36613518 615198720 143946 33554432000 4194304 7498468 140724477825008 140724477818248 5164340 0 0 4096 16386 0 0 0 17 0 0 0 2 0 0 9598848 9604096 36237312 140724477826157 140724477826307 140724477826307 140724477829065 0
/proc/23431/statm: 150195 143946 806 807 0 143186 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 600780 KiB
Current children cumulated memory: 575784 KiB
[startup+12.7003 s]
/proc/loadavg: 0.23 0.06 0.06 4/193 23433
/proc/meminfo: memFree=22828800/32770624 swapFree=67108860/67108860
[pid=23431] ppid=23425 vsize=600780 memory=575796 CPUtime=12.63 cores=0,2,4,6
/proc/23431/stat : 23431 (MistralXCSP) R 23425 23431 23369 0 -1 4202496 199604 0 3 0 1242 21 0 0 20 0 1 0 36613518 615198720 143949 33554432000 4194304 7498468 140724477825008 140724477819544 5648564 0 0 4096 16386 0 0 0 17 0 0 0 2 0 0 9598848 9604096 36237312 140724477826157 140724477826307 140724477826307 140724477829065 0
/proc/23431/statm: 150195 143949 806 807 0 143186 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 600780 KiB
Current children cumulated memory: 575796 KiB
[startup+25.5003 s]
/proc/loadavg: 0.62 0.16 0.09 4/193 23433
/proc/meminfo: memFree=22825100/32770624 swapFree=67108860/67108860
[pid=23431] ppid=23425 vsize=605072 memory=580012 CPUtime=25.44 cores=0,2,4,6
/proc/23431/stat : 23431 (MistralXCSP) R 23425 23431 23369 0 -1 4202496 235124 0 3 0 2521 23 0 0 20 0 1 0 36613518 619593728 145003 33554432000 4194304 7498468 140724477825008 140724477819544 5164340 0 0 4096 16386 0 0 0 17 0 0 0 2 0 0 9598848 9604096 36237312 140724477826157 140724477826307 140724477826307 140724477829065 0
/proc/23431/statm: 151268 145003 806 807 0 144259 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 605072 KiB
Current children cumulated memory: 580012 KiB
[startup+51.11 s]
/proc/loadavg: 1.09 0.31 0.14 4/193 23433
/proc/meminfo: memFree=22824872/32770624 swapFree=67108860/67108860
[pid=23431] ppid=23425 vsize=605072 memory=580012 CPUtime=51.04 cores=0,2,4,6
/proc/23431/stat : 23431 (MistralXCSP) R 23425 23431 23369 0 -1 4202496 260722 0 3 0 5080 24 0 0 20 0 1 0 36613518 619593728 145003 33554432000 4194304 7498468 140724477825008 140724477819544 5164340 0 0 4096 16386 0 0 0 17 0 0 0 2 0 0 9598848 9604096 36237312 140724477826157 140724477826307 140724477826307 140724477829065 0
/proc/23431/statm: 151268 145003 806 807 0 144259 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 605072 KiB
Current children cumulated memory: 580012 KiB
[startup+102.3 s]
/proc/loadavg: 1.61 0.57 0.24 4/194 23442
/proc/meminfo: memFree=22824508/32770624 swapFree=67108860/67108860
[pid=23431] ppid=23425 vsize=605072 memory=580012 CPUtime=102.22 cores=0,2,4,6
/proc/23431/stat : 23431 (MistralXCSP) R 23425 23431 23369 0 -1 4202496 299329 0 3 0 10196 26 0 0 20 0 1 0 36613518 619593728 145003 33554432000 4194304 7498468 140724477825008 140724477819544 4246887 0 0 4096 16386 0 0 0 17 0 0 0 2 0 0 9598848 9604096 36237312 140724477826157 140724477826307 140724477826307 140724477829065 0
/proc/23431/statm: 151268 145003 806 807 0 144259 0
Current children cumulated CPU time: 102.22 s
Current children cumulated vsize: 605072 KiB
Current children cumulated memory: 580012 KiB
[startup+162.3 s]
/proc/loadavg: 1.86 0.83 0.35 4/193 23443
/proc/meminfo: memFree=22824936/32770624 swapFree=67108860/67108860
[pid=23431] ppid=23425 vsize=605072 memory=580016 CPUtime=162.2 cores=0,2,4,6
/proc/23431/stat : 23431 (MistralXCSP) R 23425 23431 23369 0 -1 4202496 325266 0 3 0 16193 27 0 0 20 0 1 0 36613518 619593728 145004 33554432000 4194304 7498468 140724477825008 140724477819544 5164340 0 0 4096 16386 0 0 0 17 0 0 0 2 0 0 9598848 9604096 36237312 140724477826157 140724477826307 140724477826307 140724477829065 0
/proc/23431/statm: 151268 145004 806 807 0 144259 0
Current children cumulated CPU time: 162.2 s
Current children cumulated vsize: 605072 KiB
Current children cumulated memory: 580016 KiB
[startup+222.3 s]
/proc/loadavg: 1.95 1.04 0.45 4/193 23445
/proc/meminfo: memFree=22823784/32770624 swapFree=67108860/67108860
[pid=23431] ppid=23425 vsize=605072 memory=580016 CPUtime=222.19 cores=0,2,4,6
/proc/23431/stat : 23431 (MistralXCSP) R 23425 23431 23369 0 -1 4202496 341099 0 3 0 22190 29 0 0 20 0 1 0 36613518 619593728 145004 33554432000 4194304 7498468 140724477825008 140724477819544 4246879 0 0 4096 16386 0 0 0 17 0 0 0 2 0 0 9598848 9604096 36237312 140724477826157 140724477826307 140724477826307 140724477829065 0
/proc/23431/statm: 151268 145004 806 807 0 144259 0
Current children cumulated CPU time: 222.19 s
Current children cumulated vsize: 605072 KiB
Current children cumulated memory: 580016 KiB
[startup+282.3 s]
/proc/loadavg: 1.98 1.22 0.55 4/194 23447
/proc/meminfo: memFree=22823492/32770624 swapFree=67108860/67108860
[pid=23431] ppid=23425 vsize=605204 memory=580184 CPUtime=282.18 cores=0,2,4,6
/proc/23431/stat : 23431 (MistralXCSP) R 23425 23431 23369 0 -1 4202496 370306 0 3 0 28188 30 0 0 20 0 1 0 36613518 619728896 145046 33554432000 4194304 7498468 140724477825008 140724477819352 4249938 0 0 4096 16386 0 0 0 17 0 0 0 2 0 0 9598848 9604096 36237312 140724477826157 140724477826307 140724477826307 140724477829065 0
/proc/23431/statm: 151301 145046 807 807 0 144292 0
Current children cumulated CPU time: 282.18 s
Current children cumulated vsize: 605204 KiB
Current children cumulated memory: 580184 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 1.36 0.64 4/192 23448
/proc/meminfo: memFree=22823784/32770624 swapFree=67108860/67108860
[pid=23431] ppid=23425 vsize=605204 memory=580188 CPUtime=342.15 cores=0,2,4,6
/proc/23431/stat : 23431 (MistralXCSP) R 23425 23431 23369 0 -1 4202496 393018 0 3 0 34184 31 0 0 20 0 1 0 36613518 619728896 145047 33554432000 4194304 7498468 140724477825008 140724477819352 5164340 0 0 4096 16386 0 0 0 17 0 0 0 2 0 0 9598848 9604096 36237312 140724477826157 140724477826307 140724477826307 140724477829065 0
/proc/23431/statm: 151301 145047 807 807 0 144292 0
Current children cumulated CPU time: 342.15 s
Current children cumulated vsize: 605204 KiB
Current children cumulated memory: 580188 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.48 0.73 4/192 23449
/proc/meminfo: memFree=22823644/32770624 swapFree=67108860/67108860
[pid=23431] ppid=23425 vsize=605204 memory=580188 CPUtime=402.11 cores=0,2,4,6
/proc/23431/stat : 23431 (MistralXCSP) R 23425 23431 23369 0 -1 4202496 401043 0 3 0 40180 31 0 0 20 0 1 0 36613518 619728896 145047 33554432000 4194304 7498468 140724477825008 140724477819352 5164340 0 0 4096 16386 0 0 0 17 0 0 0 2 0 0 9598848 9604096 36237312 140724477826157 140724477826307 140724477826307 140724477829065 0
/proc/23431/statm: 151301 145047 807 807 0 144292 0
Current children cumulated CPU time: 402.11 s
Current children cumulated vsize: 605204 KiB
Current children cumulated memory: 580188 KiB
[startup+462.3 s]
/proc/loadavg: 2.05 1.59 0.81 4/191 23450
/proc/meminfo: memFree=22823512/32770624 swapFree=67108860/67108860
[pid=23431] ppid=23425 vsize=605204 memory=580188 CPUtime=462.08 cores=0,2,4,6
/proc/23431/stat : 23431 (MistralXCSP) R 23425 23431 23369 0 -1 4202496 403391 0 3 0 46177 31 0 0 20 0 1 0 36613518 619728896 145047 33554432000 4194304 7498468 140724477825008 140724477819352 5164340 0 0 4096 16386 0 0 0 17 0 0 0 2 0 0 9598848 9604096 36237312 140724477826157 140724477826307 140724477826307 140724477829065 0
/proc/23431/statm: 151301 145047 807 807 0 144292 0
Current children cumulated CPU time: 462.08 s
Current children cumulated vsize: 605204 KiB
Current children cumulated memory: 580188 KiB
################
# More data... #
################
/proc/23431/statm: 151301 145069 807 807 0 144292 0
Current children cumulated CPU time: 1661.93 s
Current children cumulated vsize: 605204 KiB
Current children cumulated memory: 580276 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.70 4/190 23490
/proc/meminfo: memFree=22823304/32770624 swapFree=67108860/67108860
[pid=23431] ppid=23425 vsize=605204 memory=580276 CPUtime=1721.92 cores=0,2,4,6
/proc/23431/stat : 23431 (MistralXCSP) R 23425 23431 23369 0 -1 4202496 420883 0 3 0 172158 34 0 0 20 0 1 0 36613518 619728896 145069 33554432000 4194304 7498468 140724477825008 140724477819352 5164340 0 0 4096 16386 0 0 0 17 0 0 0 2 0 0 9598848 9604096 36237312 140724477826157 140724477826307 140724477826307 140724477829065 0
/proc/23431/statm: 151301 145069 807 807 0 144292 0
Current children cumulated CPU time: 1721.92 s
Current children cumulated vsize: 605204 KiB
Current children cumulated memory: 580276 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.71 4/191 23493
/proc/meminfo: memFree=22823072/32770624 swapFree=67108860/67108860
[pid=23431] ppid=23425 vsize=605204 memory=580276 CPUtime=1781.92 cores=0,2,4,6
/proc/23431/stat : 23431 (MistralXCSP) R 23425 23431 23369 0 -1 4202496 421695 0 3 0 178158 34 0 0 20 0 1 0 36613518 619728896 145069 33554432000 4194304 7498468 140724477825008 140724477819352 5164340 0 0 4096 16386 0 0 0 17 0 0 0 2 0 0 9598848 9604096 36237312 140724477826157 140724477826307 140724477826307 140724477829065 0
/proc/23431/statm: 151301 145069 807 807 0 144292 0
Current children cumulated CPU time: 1781.92 s
Current children cumulated vsize: 605204 KiB
Current children cumulated memory: 580276 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 1.73 4/191 23494
/proc/meminfo: memFree=22822936/32770624 swapFree=67108860/67108860
[pid=23431] ppid=23425 vsize=605204 memory=580276 CPUtime=1841.92 cores=0,2,4,6
/proc/23431/stat : 23431 (MistralXCSP) R 23425 23431 23369 0 -1 4202496 422507 0 3 0 184157 35 0 0 20 0 1 0 36613518 619728896 145069 33554432000 4194304 7498468 140724477825008 140724477819352 5164340 0 0 4096 16386 0 0 0 17 0 0 0 2 0 0 9598848 9604096 36237312 140724477826157 140724477826307 140724477826307 140724477829065 0
/proc/23431/statm: 151301 145069 807 807 0 144292 0
Current children cumulated CPU time: 1841.92 s
Current children cumulated vsize: 605204 KiB
Current children cumulated memory: 580276 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 1.75 4/192 23503
/proc/meminfo: memFree=22822156/32770624 swapFree=67108860/67108860
[pid=23431] ppid=23425 vsize=605204 memory=580276 CPUtime=1901.91 cores=0,2,4,6
/proc/23431/stat : 23431 (MistralXCSP) R 23425 23431 23369 0 -1 4202496 423317 0 3 0 190156 35 0 0 20 0 1 0 36613518 619728896 145069 33554432000 4194304 7498468 140724477825008 140724477819352 4246887 0 0 4096 16386 0 0 0 17 0 0 0 2 0 0 9598848 9604096 36237312 140724477826157 140724477826307 140724477826307 140724477829065 0
/proc/23431/statm: 151301 145069 807 807 0 144292 0
Current children cumulated CPU time: 1901.91 s
Current children cumulated vsize: 605204 KiB
Current children cumulated memory: 580276 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.77 4/192 23526
/proc/meminfo: memFree=22821076/32770624 swapFree=67108860/67108860
[pid=23431] ppid=23425 vsize=605204 memory=580276 CPUtime=1961.9 cores=0,2,4,6
/proc/23431/stat : 23431 (MistralXCSP) R 23425 23431 23369 0 -1 4202496 424216 0 3 0 196155 35 0 0 20 0 1 0 36613518 619728896 145069 33554432000 4194304 7498468 140724477825008 140724477819352 5164340 0 0 4096 16386 0 0 0 17 0 0 0 2 0 0 9598848 9604096 36237312 140724477826157 140724477826307 140724477826307 140724477829065 0
/proc/23431/statm: 151301 145069 807 807 0 144292 0
Current children cumulated CPU time: 1961.9 s
Current children cumulated vsize: 605204 KiB
Current children cumulated memory: 580276 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.78 4/192 23527
/proc/meminfo: memFree=22822420/32770624 swapFree=67108860/67108860
[pid=23431] ppid=23425 vsize=605204 memory=580276 CPUtime=2021.89 cores=0,2,4,6
/proc/23431/stat : 23431 (MistralXCSP) R 23425 23431 23369 0 -1 4202496 425029 0 3 0 202154 35 0 0 20 0 1 0 36613518 619728896 145069 33554432000 4194304 7498468 140724477825008 140724477819352 5164349 0 0 4096 16386 0 0 0 17 0 0 0 2 0 0 9598848 9604096 36237312 140724477826157 140724477826307 140724477826307 140724477829065 0
/proc/23431/statm: 151301 145069 807 807 0 144292 0
Current children cumulated CPU time: 2021.89 s
Current children cumulated vsize: 605204 KiB
Current children cumulated memory: 580276 KiB
[startup+2082.3 s]
/proc/loadavg: 2.02 2.00 1.79 4/191 23528
/proc/meminfo: memFree=22822820/32770624 swapFree=67108860/67108860
[pid=23431] ppid=23425 vsize=605204 memory=580276 CPUtime=2081.89 cores=0,2,4,6
/proc/23431/stat : 23431 (MistralXCSP) R 23425 23431 23369 0 -1 4202496 425850 0 3 0 208154 35 0 0 20 0 1 0 36613518 619728896 145069 33554432000 4194304 7498468 140724477825008 140724477819352 5164360 0 0 4096 16386 0 0 0 17 2 0 0 2 0 0 9598848 9604096 36237312 140724477826157 140724477826307 140724477826307 140724477829065 0
/proc/23431/statm: 151301 145069 807 807 0 144292 0
Current children cumulated CPU time: 2081.89 s
Current children cumulated vsize: 605204 KiB
Current children cumulated memory: 580276 KiB
[startup+2142.3 s]
/proc/loadavg: 1.96 1.98 1.80 4/191 23529
/proc/meminfo: memFree=22823040/32770624 swapFree=67108860/67108860
[pid=23431] ppid=23425 vsize=605204 memory=580276 CPUtime=2141.88 cores=0,2,4,6
/proc/23431/stat : 23431 (MistralXCSP) R 23425 23431 23369 0 -1 4202496 426665 0 3 0 214153 35 0 0 20 0 1 0 36613518 619728896 145069 33554432000 4194304 7498468 140724477825008 140724477819352 5649131 0 0 4096 16386 0 0 0 17 0 0 0 2 0 0 9598848 9604096 36237312 140724477826157 140724477826307 140724477826307 140724477829065 0
/proc/23431/statm: 151301 145069 807 807 0 144292 0
Current children cumulated CPU time: 2141.88 s
Current children cumulated vsize: 605204 KiB
Current children cumulated memory: 580276 KiB
[startup+2202.3 s]
/proc/loadavg: 1.98 1.99 1.81 4/190 23530
/proc/meminfo: memFree=22822892/32770624 swapFree=67108860/67108860
[pid=23431] ppid=23425 vsize=605204 memory=580276 CPUtime=2201.87 cores=0,2,4,6
/proc/23431/stat : 23431 (MistralXCSP) R 23425 23431 23369 0 -1 4202496 427480 0 3 0 220152 35 0 0 20 0 1 0 36613518 619728896 145069 33554432000 4194304 7498468 140724477825008 140724477819352 4246879 0 0 4096 16386 0 0 0 17 0 0 0 2 0 0 9598848 9604096 36237312 140724477826157 140724477826307 140724477826307 140724477829065 0
/proc/23431/statm: 151301 145069 807 807 0 144292 0
Current children cumulated CPU time: 2201.87 s
Current children cumulated vsize: 605204 KiB
Current children cumulated memory: 580276 KiB
[startup+2262.3 s]
/proc/loadavg: 1.99 1.99 1.82 4/191 23532
/proc/meminfo: memFree=22823332/32770624 swapFree=67108860/67108860
[pid=23431] ppid=23425 vsize=605204 memory=580276 CPUtime=2261.86 cores=0,2,4,6
/proc/23431/stat : 23431 (MistralXCSP) R 23425 23431 23369 0 -1 4202496 428295 0 3 0 226151 35 0 0 20 0 1 0 36613518 619728896 145069 33554432000 4194304 7498468 140724477825008 140724477819352 5164349 0 0 4096 16386 0 0 0 17 0 0 0 2 0 0 9598848 9604096 36237312 140724477826157 140724477826307 140724477826307 140724477829065 0
/proc/23431/statm: 151301 145069 807 807 0 144292 0
Current children cumulated CPU time: 2261.86 s
Current children cumulated vsize: 605204 KiB
Current children cumulated memory: 580276 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 1.83 4/191 23533
/proc/meminfo: memFree=22823168/32770624 swapFree=67108860/67108860
[pid=23431] ppid=23425 vsize=605204 memory=580276 CPUtime=2321.85 cores=0,2,4,6
/proc/23431/stat : 23431 (MistralXCSP) R 23425 23431 23369 0 -1 4202496 429110 0 3 0 232150 35 0 0 20 0 1 0 36613518 619728896 145069 33554432000 4194304 7498468 140724477825008 140724477819352 5164340 0 0 4096 16386 0 0 0 17 0 0 0 2 0 0 9598848 9604096 36237312 140724477826157 140724477826307 140724477826307 140724477829065 0
/proc/23431/statm: 151301 145069 807 807 0 144292 0
Current children cumulated CPU time: 2321.85 s
Current children cumulated vsize: 605204 KiB
Current children cumulated memory: 580276 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 1.85 4/191 23534
/proc/meminfo: memFree=22823264/32770624 swapFree=67108860/67108860
[pid=23431] ppid=23425 vsize=605204 memory=580276 CPUtime=2381.85 cores=0,2,4,6
/proc/23431/stat : 23431 (MistralXCSP) R 23425 23431 23369 0 -1 4202496 429926 0 3 0 238149 36 0 0 20 0 1 0 36613518 619728896 145069 33554432000 4194304 7498468 140724477825008 140724477819352 5164378 0 0 4096 16386 0 0 0 17 0 0 0 2 0 0 9598848 9604096 36237312 140724477826157 140724477826307 140724477826307 140724477829065 0
/proc/23431/statm: 151301 145069 807 807 0 144292 0
Current children cumulated CPU time: 2381.85 s
Current children cumulated vsize: 605204 KiB
Current children cumulated memory: 580276 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.5 s]
/proc/loadavg: 2.00 1.99 1.85 4/191 23534
/proc/meminfo: memFree=22823264/32770624 swapFree=67108860/67108860
[pid=23431] ppid=23425 vsize=605204 memory=580276 CPUtime=2400.05 cores=0,2,4,6
/proc/23431/stat : 23431 (MistralXCSP) R 23425 23431 23369 0 -1 4202496 430412 0 3 0 239969 36 0 0 20 0 1 0 36613518 619728896 145069 33554432000 4194304 7498468 140724477825008 140724477819352 4246887 0 0 4096 16386 0 0 0 17 0 0 0 2 0 0 9598848 9604096 36237312 140724477826157 140724477826307 140724477826307 140724477829065 0
/proc/23431/statm: 151301 145069 807 807 0 144292 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 605204 KiB
Current children cumulated memory: 580276 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.5 s]
# the end of solver process 23431 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.7 s, system=0.364956 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.5 s]
/proc/loadavg: 2.00 1.99 1.85 4/191 23534
/proc/meminfo: memFree=22823264/32770624 swapFree=67108860/67108860
[pid=23431] ppid=23425 vsize=605204 memory=580276 CPUtime=2400.05 cores=0,2,4,6
/proc/23431/stat : 23431 (MistralXCSP) R 23425 23431 23369 0 -1 4202496 430412 0 3 0 239969 36 0 0 20 0 1 0 36613518 619728896 145069 33554432000 4194304 7498468 140724477825008 140724477819352 4246887 0 0 4096 16386 0 0 0 17 0 0 0 2 0 0 9598848 9604096 36237312 140724477826157 140724477826307 140724477826307 140724477829065 0
/proc/23431/statm: 151301 145069 807 807 0 144292 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 605204 KiB
Current children cumulated memory: 580276 KiB
Child status: 0
Real time (s): 2400.5
CPU time (s): 2400.06
CPU user time (s): 2399.7
CPU system time (s): 0.364956
CPU usage (%): 99.9816
Max. virtual memory (cumulated for all children) (KiB): 605204
Max. memory (cumulated for all children) (KiB): 580276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.7
system time used= 0.364956
maximum resident set size= 580296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 430447
page faults= 3
swaps= 0
block input operations= 1112
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 156
involuntary context switches= 2460
# summary of solver processes directly reported to runsolver:
# pid: 23431
# total CPU time (s): 2400.06
# total CPU user time (s): 2399.7
# total CPU system time (s): 0.364956
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.85906 second user time and 17.7911 second system time
The end