runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4260849-1502392847/watcher-4260849-1502392847 -o /tmp/evaluation-result-4260849-1502392847/solver-4260849-1502392847 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502331121-20548 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 623649263 HOME/instance-4260849-1502392847.xml
pid=31083
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.02 2.05 2/180 31086
/proc/meminfo: memFree=24733888/32770624 swapFree=0/488848
[pid=31086] ppid=31083 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/31086/stat : 31086 (runsolver) D 31083 31086 4057 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 41505511 24240128 106 18446744073709551615 4194304 4338465 140728119769632 140728119767272 140173712863959 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 24326144 140728119771276 140728119771722 140728119771722 140728119775178 0
/proc/31086/statm: 5918 106 53 36 0 2156 0
[startup+0.100179 s]
/proc/loadavg: 2.01 2.02 2.05 2/180 31086
/proc/meminfo: memFree=24733888/32770624 swapFree=0/488848
[pid=31086] ppid=31083 vsize=3428 CPUtime=0 cores=1,3,5,7
/proc/31086/stat : 31086 (MistralXCSP) R 31083 31086 4057 0 -1 1077936128 155 0 0 0 0 0 0 0 20 0 1 0 41505511 3510272 1 18446744073709551615 4194304 7396336 140726197567088 140726197564376 140075479484103 0 0 1 0 0 0 0 17 3 0 0 9 0 0 9496464 9501696 36524032 140726197567924 140726197568073 140726197568073 140726197571529 0
/proc/31086/statm: 857 1 0 782 0 39 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3428
[startup+0.200341 s]
/proc/loadavg: 2.01 2.02 2.05 2/180 31086
/proc/meminfo: memFree=24733888/32770624 swapFree=0/488848
[pid=31086] ppid=31083 vsize=31356 CPUtime=0.09 cores=1,3,5,7
/proc/31086/stat : 31086 (MistralXCSP) R 31083 31086 4057 0 -1 4202496 2019 0 0 0 9 0 0 0 20 0 1 0 41505511 32108544 1301 18446744073709551615 4194304 7396336 140726197567088 140726197564088 140075463581189 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 36524032 140726197567924 140726197568073 140726197568073 140726197571529 0
/proc/31086/statm: 7839 1301 615 782 0 855 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31356
[startup+0.300296 s]
/proc/loadavg: 2.01 2.02 2.05 2/180 31086
/proc/meminfo: memFree=24733888/32770624 swapFree=0/488848
[pid=31086] ppid=31083 vsize=38536 CPUtime=0.19 cores=1,3,5,7
/proc/31086/stat : 31086 (MistralXCSP) R 31083 31086 4057 0 -1 4202496 3498 0 0 0 19 0 0 0 20 0 1 0 41505511 39460864 2601 18446744073709551615 4194304 7396336 140726197567088 140726197564088 140075456797669 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 36524032 140726197567924 140726197568073 140726197568073 140726197571529 0
/proc/31086/statm: 9634 2601 623 782 0 2650 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 38536
[startup+0.700311 s]
/proc/loadavg: 2.01 2.02 2.05 2/180 31086
/proc/meminfo: memFree=24733888/32770624 swapFree=0/488848
[pid=31086] ppid=31083 vsize=67284 CPUtime=0.59 cores=1,3,5,7
/proc/31086/stat : 31086 (MistralXCSP) R 31083 31086 4057 0 -1 4202496 10676 0 0 0 58 1 0 0 20 0 1 0 41505511 68898816 9729 18446744073709551615 4194304 7396336 140726197567088 140726197564088 6318072 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 36524032 140726197567924 140726197568073 140726197568073 140726197571529 0
/proc/31086/statm: 16821 9729 646 782 0 9837 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 67284
[startup+1.5003 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 31087
/proc/meminfo: memFree=24668748/32770624 swapFree=0/488848
[pid=31086] ppid=31083 vsize=125432 CPUtime=1.39 cores=1,3,5,7
/proc/31086/stat : 31086 (MistralXCSP) R 31083 31086 4057 0 -1 4202496 25226 0 0 0 136 3 0 0 20 0 1 0 41505511 128442368 24315 18446744073709551615 4194304 7396336 140726197567088 140726197557960 140075456797669 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 36524032 140726197567924 140726197568073 140726197568073 140726197571529 0
/proc/31086/statm: 31358 24315 646 782 0 24374 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 125432
[startup+3.10032 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 31087
/proc/meminfo: memFree=24587584/32770624 swapFree=0/488880
[pid=31086] ppid=31083 vsize=174416 CPUtime=2.99 cores=1,3,5,7
/proc/31086/stat : 31086 (MistralXCSP) R 31083 31086 4057 0 -1 4202496 59173 0 0 0 294 5 0 0 20 0 1 0 41505511 178601984 37102 18446744073709551615 4194304 7396336 140726197567088 140726197557544 5792027 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 36524032 140726197567924 140726197568073 140726197568073 140726197571529 0
/proc/31086/statm: 43604 37102 767 782 0 36620 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 174416
[startup+6.30033 s]
/proc/loadavg: 1.92 2.00 2.04 3/181 31087
/proc/meminfo: memFree=24584220/32770624 swapFree=0/488872
[pid=31086] ppid=31083 vsize=176396 CPUtime=6.19 cores=1,3,5,7
/proc/31086/stat : 31086 (MistralXCSP) R 31083 31086 4057 0 -1 4202496 84010 0 0 0 613 6 0 0 20 0 1 0 41505511 180629504 37603 18446744073709551615 4194304 7396336 140726197567088 140726197561624 5575297 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 36524032 140726197567924 140726197568073 140726197568073 140726197571529 0
/proc/31086/statm: 44099 37603 767 782 0 37115 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 176396
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/181 31087
/proc/meminfo: memFree=24579728/32770624 swapFree=0/488872
[pid=31086] ppid=31083 vsize=183664 CPUtime=12.59 cores=1,3,5,7
/proc/31086/stat : 31086 (MistralXCSP) R 31083 31086 4057 0 -1 4202496 110588 0 0 0 1251 8 0 0 20 0 1 0 41505511 188071936 39383 18446744073709551615 4194304 7396336 140726197567088 140726197561624 5792027 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 36524032 140726197567924 140726197568073 140726197568073 140726197571529 0
/proc/31086/statm: 45916 39383 767 782 0 38932 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 183664
[startup+25.5004 s]
/proc/loadavg: 1.95 2.00 2.04 3/181 31088
/proc/meminfo: memFree=24576460/32770624 swapFree=0/488876
[pid=31086] ppid=31083 vsize=185116 CPUtime=25.39 cores=1,3,5,7
/proc/31086/stat : 31086 (MistralXCSP) R 31083 31086 4057 0 -1 4202496 163833 0 0 0 2530 9 0 0 20 0 1 0 41505511 189558784 39769 18446744073709551615 4194304 7396336 140726197567088 140726197561624 4317316 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 36524032 140726197567924 140726197568073 140726197568073 140726197571529 0
/proc/31086/statm: 46279 39769 767 782 0 39295 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 185116
[startup+51.1004 s]
/proc/loadavg: 1.96 2.00 2.04 3/181 31088
/proc/meminfo: memFree=24573428/32770624 swapFree=0/488864
[pid=31086] ppid=31083 vsize=188152 CPUtime=50.99 cores=1,3,5,7
/proc/31086/stat : 31086 (MistralXCSP) R 31083 31086 4057 0 -1 4202496 192042 0 0 0 5089 10 0 0 20 0 1 0 41505511 192667648 40538 18446744073709551615 4194304 7396336 140726197567088 140726197561624 5792027 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 36524032 140726197567924 140726197568073 140726197568073 140726197571529 0
/proc/31086/statm: 47038 40538 767 782 0 40054 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 188152
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/181 31090
/proc/meminfo: memFree=24572060/32770624 swapFree=0/488884
[pid=31086] ppid=31083 vsize=189604 CPUtime=102.2 cores=1,3,5,7
/proc/31086/stat : 31086 (MistralXCSP) R 31083 31086 4057 0 -1 4202496 220129 0 0 0 10209 11 0 0 20 0 1 0 41505511 194154496 40909 18446744073709551615 4194304 7396336 140726197567088 140726197561624 4253029 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 36524032 140726197567924 140726197568073 140726197568073 140726197571529 0
/proc/31086/statm: 47401 40909 767 782 0 40417 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 189604
[startup+162.3 s]
/proc/loadavg: 2.04 2.01 2.05 3/181 31092
/proc/meminfo: memFree=24570772/32770624 swapFree=0/488896
[pid=31086] ppid=31083 vsize=190836 CPUtime=162.2 cores=1,3,5,7
/proc/31086/stat : 31086 (MistralXCSP) R 31083 31086 4057 0 -1 4202496 248332 0 0 0 16208 12 0 0 20 0 1 0 41505511 195416064 41174 18446744073709551615 4194304 7396336 140726197567088 140726197561624 4317178 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 36524032 140726197567924 140726197568073 140726197568073 140726197571529 0
/proc/31086/statm: 47709 41174 767 782 0 40725 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 190836
[startup+222.306 s]
/proc/loadavg: 2.01 2.01 2.05 3/185 31109
/proc/meminfo: memFree=24566464/32770624 swapFree=0/488908
[pid=31086] ppid=31083 vsize=191364 CPUtime=222.21 cores=1,3,5,7
/proc/31086/stat : 31086 (MistralXCSP) R 31083 31086 4057 0 -1 4202496 276540 0 0 0 22208 13 0 0 20 0 1 0 41505511 195956736 41279 18446744073709551615 4194304 7396336 140726197567088 140726197561624 5792030 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 36524032 140726197567924 140726197568073 140726197568073 140726197571529 0
/proc/31086/statm: 47841 41279 767 782 0 40857 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 191364
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.05 4/185 31111
/proc/meminfo: memFree=24565652/32770624 swapFree=0/488936
[pid=31086] ppid=31083 vsize=192024 CPUtime=282.21 cores=1,3,5,7
/proc/31086/stat : 31086 (MistralXCSP) R 31083 31086 4057 0 -1 4202496 276741 0 0 0 28208 13 0 0 20 0 1 0 41505511 196632576 41460 18446744073709551615 4194304 7396336 140726197567088 140726197561624 5791926 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 36524032 140726197567924 140726197568073 140726197568073 140726197571529 0
/proc/31086/statm: 48006 41460 767 782 0 41022 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 192024
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 31113
/proc/meminfo: memFree=24567524/32770624 swapFree=0/488956
[pid=31086] ppid=31083 vsize=192288 CPUtime=342.22 cores=1,3,5,7
/proc/31086/stat : 31086 (MistralXCSP) R 31083 31086 4057 0 -1 4202496 305104 0 0 0 34208 14 0 0 20 0 1 0 41505511 196902912 41538 18446744073709551615 4194304 7396336 140726197567088 140726197561624 5576665 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 36524032 140726197567924 140726197568073 140726197568073 140726197571529 0
/proc/31086/statm: 48072 41538 767 782 0 41088 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 192288
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 31115
/proc/meminfo: memFree=24568816/32770624 swapFree=0/488968
[pid=31086] ppid=31083 vsize=192288 CPUtime=402.22 cores=1,3,5,7
/proc/31086/stat : 31086 (MistralXCSP) R 31083 31086 4057 0 -1 4202496 305104 0 0 0 40208 14 0 0 20 0 1 0 41505511 196902912 41538 18446744073709551615 4194304 7396336 140726197567088 140726197561624 5792074 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 36524032 140726197567924 140726197568073 140726197568073 140726197571529 0
/proc/31086/statm: 48072 41538 767 782 0 41088 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 192288
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 31117
/proc/meminfo: memFree=24568720/32770624 swapFree=0/488984
[pid=31086] ppid=31083 vsize=192684 CPUtime=462.23 cores=1,3,5,7
/proc/31086/stat : 31086 (MistralXCSP) R 31083 31086 4057 0 -1 4202496 333553 0 0 0 46207 16 0 0 20 0 1 0 41505511 197308416 41624 18446744073709551615 4194304 7396336 140726197567088 140726197561624 5165796 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 36524032 140726197567924 140726197568073 140726197568073 140726197571529 0
/proc/31086/statm: 48171 41624 767 782 0 41187 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 192684
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31119
/proc/meminfo: memFree=24568652/32770624 swapFree=0/488984
[pid=31086] ppid=31083 vsize=192684 CPUtime=522.24 cores=1,3,5,7
/proc/31086/stat : 31086 (MistralXCSP) R 31083 31086 4057 0 -1 4202496 333576 0 0 0 52208 16 0 0 20 0 1 0 41505511 197308416 41672 18446744073709551615 4194304 7396336 140726197567088 140726197561624 5576651 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 36524032 140726197567924 140726197568073 140726197568073 140726197571529 0
/proc/31086/statm: 48171 41672 767 782 0 41187 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 192684
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31121
/proc/meminfo: memFree=24568820/32770624 swapFree=0/488996
[pid=31086] ppid=31083 vsize=192816 CPUtime=582.24 cores=1,3,5,7
/proc/31086/stat : 31086 (MistralXCSP) R 31083 31086 4057 0 -1 4202496 362065 0 0 0 58207 17 0 0 20 0 1 0 41505511 197443584 41684 18446744073709551615 4194304 7396336 140726197567088 140726197561528 5628519 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 36524032 140726197567924 140726197568073 140726197568073 140726197571529 0
/proc/31086/statm: 48204 41684 767 782 0 41220 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 192816
################
# More data... #
################
[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 31188
/proc/meminfo: memFree=24565968/32770624 swapFree=0/489184
[pid=31086] ppid=31083 vsize=194400 CPUtime=1662.36 cores=1,3,5,7
/proc/31086/stat : 31086 (MistralXCSP) R 31083 31086 4057 0 -1 4202496 608628 0 0 0 166207 29 0 0 20 0 1 0 41505511 199065600 42086 18446744073709551615 4194304 7396336 140726197567088 140726197561624 5792030 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 36524032 140726197567924 140726197568073 140726197568073 140726197571529 0
/proc/31086/statm: 48600 42086 767 782 0 41616 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 194400
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 31190
/proc/meminfo: memFree=24566136/32770624 swapFree=0/489192
[pid=31086] ppid=31083 vsize=194400 CPUtime=1722.36 cores=1,3,5,7
/proc/31086/stat : 31086 (MistralXCSP) R 31083 31086 4057 0 -1 4202496 619653 0 0 0 172207 29 0 0 20 0 1 0 41505511 199065600 42086 18446744073709551615 4194304 7396336 140726197567088 140726197561624 5791976 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 36524032 140726197567924 140726197568073 140726197568073 140726197571529 0
/proc/31086/statm: 48600 42086 767 782 0 41616 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 194400
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 31192
/proc/meminfo: memFree=24566288/32770624 swapFree=0/489204
[pid=31086] ppid=31083 vsize=194400 CPUtime=1782.37 cores=1,3,5,7
/proc/31086/stat : 31086 (MistralXCSP) R 31083 31086 4057 0 -1 4202496 648427 0 0 0 178206 31 0 0 20 0 1 0 41505511 199065600 42089 18446744073709551615 4194304 7396336 140726197567088 140726197561624 5792030 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 36524032 140726197567924 140726197568073 140726197568073 140726197571529 0
/proc/31086/statm: 48600 42089 767 782 0 41616 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 194400
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31194
/proc/meminfo: memFree=24566192/32770624 swapFree=0/489216
[pid=31086] ppid=31083 vsize=194400 CPUtime=1842.37 cores=1,3,5,7
/proc/31086/stat : 31086 (MistralXCSP) R 31083 31086 4057 0 -1 4202496 648443 0 0 0 184206 31 0 0 20 0 1 0 41505511 199065600 42089 18446744073709551615 4194304 7396336 140726197567088 140726197561624 5792074 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 36524032 140726197567924 140726197568073 140726197568073 140726197571529 0
/proc/31086/statm: 48600 42089 767 782 0 41616 0
Current children cumulated CPU time (s) 1842.37
Current children cumulated vsize (KiB) 194400
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31196
/proc/meminfo: memFree=24566468/32770624 swapFree=0/489224
[pid=31086] ppid=31083 vsize=194400 CPUtime=1902.38 cores=1,3,5,7
/proc/31086/stat : 31086 (MistralXCSP) R 31083 31086 4057 0 -1 4202496 677247 0 0 0 190205 33 0 0 20 0 1 0 41505511 199065600 42091 18446744073709551615 4194304 7396336 140726197567088 140726197561624 5791976 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 36524032 140726197567924 140726197568073 140726197568073 140726197571529 0
/proc/31086/statm: 48600 42091 767 782 0 41616 0
Current children cumulated CPU time (s) 1902.38
Current children cumulated vsize (KiB) 194400
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31198
/proc/meminfo: memFree=24566372/32770624 swapFree=0/489236
[pid=31086] ppid=31083 vsize=194400 CPUtime=1962.38 cores=1,3,5,7
/proc/31086/stat : 31086 (MistralXCSP) R 31083 31086 4057 0 -1 4202496 677248 0 0 0 196205 33 0 0 20 0 1 0 41505511 199065600 42091 18446744073709551615 4194304 7396336 140726197567088 140726197561624 5165834 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 36524032 140726197567924 140726197568073 140726197568073 140726197571529 0
/proc/31086/statm: 48600 42091 767 782 0 41616 0
Current children cumulated CPU time (s) 1962.38
Current children cumulated vsize (KiB) 194400
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 31215
/proc/meminfo: memFree=24562228/32770624 swapFree=0/489280
[pid=31086] ppid=31083 vsize=194928 CPUtime=2022.39 cores=1,3,5,7
/proc/31086/stat : 31086 (MistralXCSP) R 31083 31086 4057 0 -1 4202496 706166 0 0 0 202205 34 0 0 20 0 1 0 41505511 199606272 42239 18446744073709551615 4194304 7396336 140726197567088 140726197561624 5165842 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 36524032 140726197567924 140726197568073 140726197568073 140726197571529 0
/proc/31086/statm: 48732 42239 767 782 0 41748 0
Current children cumulated CPU time (s) 2022.39
Current children cumulated vsize (KiB) 194928
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 31217
/proc/meminfo: memFree=24562464/32770624 swapFree=0/489320
[pid=31086] ppid=31083 vsize=194928 CPUtime=2082.4 cores=1,3,5,7
/proc/31086/stat : 31086 (MistralXCSP) R 31083 31086 4057 0 -1 4202496 706197 0 0 0 208206 34 0 0 20 0 1 0 41505511 199606272 42239 18446744073709551615 4194304 7396336 140726197567088 140726197561624 5165805 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 36524032 140726197567924 140726197568073 140726197568073 140726197571529 0
/proc/31086/statm: 48732 42239 767 782 0 41748 0
Current children cumulated CPU time (s) 2082.4
Current children cumulated vsize (KiB) 194928
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 31279
/proc/meminfo: memFree=31059916/32770624 swapFree=0/489392
[pid=31086] ppid=31083 vsize=194928 CPUtime=2142.39 cores=1,3,5,7
/proc/31086/stat : 31086 (MistralXCSP) R 31083 31086 4057 0 -1 4202496 734462 0 0 0 214204 35 0 0 20 0 1 0 41505511 199606272 42240 18446744073709551615 4194304 7396336 140726197567088 140726197561624 4582262 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 36524032 140726197567924 140726197568073 140726197568073 140726197571529 0
/proc/31086/statm: 48732 42240 767 782 0 41748 0
Current children cumulated CPU time (s) 2142.39
Current children cumulated vsize (KiB) 194928
[startup+2202.31 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 31281
/proc/meminfo: memFree=31058288/32770624 swapFree=0/489404
[pid=31086] ppid=31083 vsize=194928 CPUtime=2202.38 cores=1,3,5,7
/proc/31086/stat : 31086 (MistralXCSP) R 31083 31086 4057 0 -1 4202496 744168 0 0 0 220202 36 0 0 20 0 1 0 41505511 199606272 42240 18446744073709551615 4194304 7396336 140726197567088 140726197561624 5792030 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 36524032 140726197567924 140726197568073 140726197568073 140726197571529 0
/proc/31086/statm: 48732 42240 767 782 0 41748 0
Current children cumulated CPU time (s) 2202.38
Current children cumulated vsize (KiB) 194928
[startup+2262.3 s]
/proc/loadavg: 2.04 2.04 2.05 4/182 31283
/proc/meminfo: memFree=31057792/32770624 swapFree=0/489412
[pid=31086] ppid=31083 vsize=195060 CPUtime=2262.38 cores=1,3,5,7
/proc/31086/stat : 31086 (MistralXCSP) R 31083 31086 4057 0 -1 4202496 744992 0 0 0 226202 36 0 0 20 0 1 0 41505511 199741440 42249 18446744073709551615 4194304 7396336 140726197567088 140726197561624 5792030 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 36524032 140726197567924 140726197568073 140726197568073 140726197571529 0
/proc/31086/statm: 48765 42249 767 782 0 41781 0
Current children cumulated CPU time (s) 2262.38
Current children cumulated vsize (KiB) 195060
[startup+2322.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 31285
/proc/meminfo: memFree=31058060/32770624 swapFree=0/489432
[pid=31086] ppid=31083 vsize=195060 CPUtime=2322.39 cores=1,3,5,7
/proc/31086/stat : 31086 (MistralXCSP) R 31083 31086 4057 0 -1 4202496 744998 0 0 0 232203 36 0 0 20 0 1 0 41505511 199741440 42249 18446744073709551615 4194304 7396336 140726197567088 140726197561624 5792030 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 36524032 140726197567924 140726197568073 140726197568073 140726197571529 0
/proc/31086/statm: 48765 42249 767 782 0 41781 0
Current children cumulated CPU time (s) 2322.39
Current children cumulated vsize (KiB) 195060
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 31287
/proc/meminfo: memFree=31057196/32770624 swapFree=0/489448
[pid=31086] ppid=31083 vsize=195060 CPUtime=2382.39 cores=1,3,5,7
/proc/31086/stat : 31086 (MistralXCSP) R 31083 31086 4057 0 -1 4202496 745818 0 0 0 238203 36 0 0 20 0 1 0 41505511 199741440 42261 18446744073709551615 4194304 7396336 140726197567088 140726197561624 5792030 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 36524032 140726197567924 140726197568073 140726197568073 140726197571529 0
/proc/31086/statm: 48765 42261 767 782 0 41781 0
Current children cumulated CPU time (s) 2382.39
Current children cumulated vsize (KiB) 195060
[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 31289
/proc/meminfo: memFree=31057336/32770624 swapFree=0/489460
[pid=31086] ppid=31083 vsize=195060 CPUtime=2442.4 cores=1,3,5,7
/proc/31086/stat : 31086 (MistralXCSP) R 31083 31086 4057 0 -1 4202496 745820 0 0 0 244204 36 0 0 20 0 1 0 41505511 199741440 42261 18446744073709551615 4194304 7396336 140726197567088 140726197561624 5614039 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 36524032 140726197567924 140726197568073 140726197568073 140726197571529 0
/proc/31086/statm: 48765 42261 767 782 0 41781 0
Current children cumulated CPU time (s) 2442.4
Current children cumulated vsize (KiB) 195060
[startup+2502.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 31291
/proc/meminfo: memFree=31056964/32770624 swapFree=0/489476
[pid=31086] ppid=31083 vsize=195060 CPUtime=2502.41 cores=1,3,5,7
/proc/31086/stat : 31086 (MistralXCSP) R 31083 31086 4057 0 -1 4202496 746354 0 0 0 250205 36 0 0 20 0 1 0 41505511 199741440 42264 18446744073709551615 4194304 7396336 140726197567088 140726197561624 4399504 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 36524032 140726197567924 140726197568073 140726197568073 140726197571529 0
/proc/31086/statm: 48765 42264 767 782 0 41781 0
Current children cumulated CPU time (s) 2502.41
Current children cumulated vsize (KiB) 195060
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 31291
/proc/meminfo: memFree=31057088/32770624 swapFree=0/489480
[pid=31086] ppid=31083 vsize=195060 CPUtime=2520.01 cores=1,3,5,7
/proc/31086/stat : 31086 (MistralXCSP) R 31083 31086 4057 0 -1 4202496 746354 0 0 0 251965 36 0 0 20 0 1 0 41505511 199741440 42264 18446744073709551615 4194304 7396336 140726197567088 140726197561624 5791942 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 36524032 140726197567924 140726197568073 140726197568073 140726197571529 0
/proc/31086/statm: 48765 42264 767 782 0 41781 0
Current children cumulated CPU time (s) 2520.01
Current children cumulated vsize (KiB) 195060
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 31086 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 31291
/proc/meminfo: memFree=31057088/32770624 swapFree=0/489480
[pid=31086] ppid=31083 vsize=195060 CPUtime=2520.01 cores=1,3,5,7
/proc/31086/stat : 31086 (MistralXCSP) R 31083 31086 4057 0 -1 4202496 746354 0 0 0 251965 36 0 0 20 0 1 0 41505511 199741440 42264 18446744073709551615 4194304 7396336 140726197567088 140726197561624 5791942 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 36524032 140726197567924 140726197568073 140726197568073 140726197571529 0
/proc/31086/statm: 48765 42264 767 782 0 41781 0
Current children cumulated CPU time (s) 2520.01
Current children cumulated vsize (KiB) 195060
Child status: 0
Real time (s): 2519.9
CPU time (s): 2520.02
CPU user time (s): 2519.65
CPU system time (s): 0.365036
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 195060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.65
system time used= 0.365036
maximum resident set size= 169056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 746391
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= 66
involuntary context switches= 1020
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.30121 second user time and 13.2954 second system time
The end