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-4240840-1500648176/watcher-4240840-1500648176 -o /tmp/evaluation-result-4240840-1500648176/solver-4240840-1500648176 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1500648173-9863 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 195319193 HOME/instance-4240840-1500648176.xml
pid=9886
running on 8 cores: 1,3,5,7,9,11,13,15
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.00 0.03 0.07 4/245 9894
/proc/meminfo: memFree=32071564/32770624 swapFree=5956/170448
[pid=9894] ppid=9886 vsize=6912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (MistralXCSP) D 9886 9894 9830 0 -1 4194304 167 0 1 0 0 0 0 0 20 0 1 0 84340 7077888 36 33554432000 4194304 7402444 140729628342320 140729628339768 139935025765906 0 0 4096 0 18446744071580431491 0 0 17 11 0 0 0 0 0 9500608 9505824 21671936 140729628345513 140729628345662 140729628345662 140729628348361 0
/proc/9894/statm: 1728 36 26 784 0 40 0
[startup+0.100071 s]
/proc/loadavg: 0.00 0.03 0.07 4/245 9894
/proc/meminfo: memFree=32071564/32770624 swapFree=5956/170448
[pid=9894] ppid=9886 vsize=31880 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (MistralXCSP) R 9886 9894 9830 0 -1 4202496 1718 0 3 0 5 0 0 0 20 0 1 0 84340 32645120 1552 33554432000 4194304 7402444 140729628342320 140729628334040 139935012107916 0 0 4096 0 0 0 0 17 11 0 0 2 0 0 9500608 9505824 21671936 140729628345513 140729628345662 140729628345662 140729628348361 0
/proc/9894/statm: 7970 1552 617 784 0 984 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 31880
[startup+0.2004 s]
/proc/loadavg: 0.00 0.03 0.07 4/245 9894
/proc/meminfo: memFree=32071564/32770624 swapFree=5956/170448
[pid=9894] ppid=9886 vsize=35828 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (MistralXCSP) R 9886 9894 9830 0 -1 4202496 2745 0 3 0 15 0 0 0 20 0 1 0 84340 36687872 2484 33554432000 4194304 7402444 140729628342320 140729628334296 139935005330405 0 0 4096 0 0 0 0 17 11 0 0 2 0 0 9500608 9505824 21671936 140729628345513 140729628345662 140729628345662 140729628348361 0
/proc/9894/statm: 8957 2484 617 784 0 1971 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 35828
[startup+0.300281 s]
/proc/loadavg: 0.00 0.03 0.07 4/245 9894
/proc/meminfo: memFree=32071564/32770624 swapFree=5956/170448
[pid=9894] ppid=9886 vsize=68060 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (MistralXCSP) R 9886 9894 9830 0 -1 4202496 11017 0 3 0 24 1 0 0 20 0 1 0 84340 69693440 10656 33554432000 4194304 7402444 140729628342320 140729628334408 139935006256576 0 0 4096 0 0 0 0 17 11 0 0 2 0 0 9500608 9505824 21671936 140729628345513 140729628345662 140729628345662 140729628348361 0
/proc/9894/statm: 17015 10656 650 784 0 10029 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 68060
[startup+0.700374 s]
/proc/loadavg: 0.00 0.03 0.07 4/245 9894
/proc/meminfo: memFree=32071564/32770624 swapFree=5956/170448
[pid=9894] ppid=9886 vsize=75852 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (MistralXCSP) R 9886 9894 9830 0 -1 4202496 12933 0 3 0 63 2 0 0 20 0 1 0 84340 77672448 12570 33554432000 4194304 7402444 140729628342320 140729628330920 139935005330405 0 0 4096 0 0 0 0 17 11 0 0 2 0 0 9500608 9505824 21671936 140729628345513 140729628345662 140729628345662 140729628348361 0
/proc/9894/statm: 18963 12570 676 784 0 11977 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 75852
[startup+1.50031 s]
/proc/loadavg: 0.00 0.03 0.07 4/249 9898
/proc/meminfo: memFree=31941800/32770624 swapFree=5956/171744
[pid=9894] ppid=9886 vsize=114608 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (MistralXCSP) R 9886 9894 9830 0 -1 4202496 22259 0 3 0 142 3 0 0 20 0 1 0 84340 117358592 22241 33554432000 4194304 7402444 140729628342320 140729628333496 4731648 0 0 4096 0 0 0 0 17 11 0 0 2 0 0 9500608 9505824 21671936 140729628345513 140729628345662 140729628345662 140729628348361 0
/proc/9894/statm: 28652 22241 684 784 0 21666 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 114608
[startup+3.10021 s]
/proc/loadavg: 0.16 0.07 0.08 4/249 9898
/proc/meminfo: memFree=31897612/32770624 swapFree=5956/171868
[pid=9894] ppid=9886 vsize=172292 CPUtime=3.05 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (MistralXCSP) R 9886 9894 9830 0 -1 4202496 49780 0 3 0 300 5 0 0 20 0 1 0 84340 176427008 36693 33554432000 4194304 7402444 140729628342320 140729628333976 4731639 0 0 4096 0 0 0 0 17 11 0 0 2 0 0 9500608 9505824 21671936 140729628345513 140729628345662 140729628345662 140729628348361 0
/proc/9894/statm: 43073 36693 684 784 0 36087 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 172292
[startup+6.30023 s]
/proc/loadavg: 0.16 0.07 0.08 3/249 9898
/proc/meminfo: memFree=31822888/32770624 swapFree=5956/172084
[pid=9894] ppid=9886 vsize=181224 CPUtime=6.25 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (MistralXCSP) R 9886 9894 9830 0 -1 4202496 62048 0 3 0 619 6 0 0 20 0 1 0 84340 185573376 38877 33554432000 4194304 7402444 140729628342320 140729628333496 4731480 0 0 4096 0 0 0 0 17 11 0 0 2 0 0 9500608 9505824 21671936 140729628345513 140729628345662 140729628345662 140729628348361 0
/proc/9894/statm: 45306 38877 684 784 0 38320 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 181224
[startup+12.7002 s]
/proc/loadavg: 0.45 0.13 0.10 3/249 9898
/proc/meminfo: memFree=31777984/32770624 swapFree=5956/172096
[pid=9894] ppid=9886 vsize=225368 CPUtime=12.64 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (MistralXCSP) R 9886 9894 9830 0 -1 4202496 75404 0 3 0 1257 7 0 0 20 0 1 0 84340 230776832 49895 33554432000 4194304 7402444 140729628342320 140729628333496 4731632 0 0 4096 0 0 0 0 17 11 0 0 2 0 0 9500608 9505824 21671936 140729628345513 140729628345662 140729628345662 140729628348361 0
/proc/9894/statm: 56342 49895 684 784 0 49356 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 225368
[startup+25.5003 s]
/proc/loadavg: 0.68 0.19 0.12 4/249 9898
/proc/meminfo: memFree=31713948/32770624 swapFree=5956/172096
[pid=9894] ppid=9886 vsize=285432 CPUtime=25.44 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (MistralXCSP) R 9886 9894 9830 0 -1 4202496 94931 0 3 0 2535 9 0 0 20 0 1 0 84340 292282368 64971 33554432000 4194304 7402444 140729628342320 140729628333496 4731639 0 0 4096 0 0 0 0 17 11 0 0 2 0 0 9500608 9505824 21671936 140729628345513 140729628345662 140729628345662 140729628348361 0
/proc/9894/statm: 71358 64971 684 784 0 64372 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 285432
[startup+51.1003 s]
/proc/loadavg: 1.13 0.34 0.17 3/249 9898
/proc/meminfo: memFree=31514564/32770624 swapFree=5956/172120
[pid=9894] ppid=9886 vsize=485232 CPUtime=51.03 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (MistralXCSP) R 9886 9894 9830 0 -1 4202496 189604 0 3 0 5086 17 0 0 20 0 1 0 84340 496877568 114921 33554432000 4194304 7402444 140729628342320 140729628333496 4731639 0 0 4096 0 0 0 0 17 11 0 0 2 0 0 9500608 9505824 21671936 140729628345513 140729628345662 140729628345662 140729628348361 0
/proc/9894/statm: 121308 114921 684 784 0 114322 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 485232
[startup+102.3 s]
/proc/loadavg: 1.65 0.62 0.27 4/248 9899
/proc/meminfo: memFree=31502772/32770624 swapFree=5956/172148
[pid=9894] ppid=9886 vsize=496388 CPUtime=102.19 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (MistralXCSP) R 9886 9894 9830 0 -1 4202496 251436 0 3 0 10196 23 0 0 20 0 1 0 84340 508301312 117779 33554432000 4194304 7402444 140729628342320 140729628337496 5747600 0 0 4096 16386 0 0 0 17 11 0 0 2 0 0 9500608 9505824 21671936 140729628345513 140729628345662 140729628345662 140729628348361 0
/proc/9894/statm: 124097 117779 716 784 0 117111 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 496388
[startup+162.3 s]
/proc/loadavg: 1.86 0.85 0.37 4/248 9903
/proc/meminfo: memFree=31503012/32770624 swapFree=5956/172984
[pid=9894] ppid=9886 vsize=496388 CPUtime=162.11 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (MistralXCSP) R 9886 9894 9830 0 -1 4202496 290596 0 3 0 16182 29 0 0 20 0 1 0 84340 508301312 117779 33554432000 4194304 7402444 140729628342320 140729628337496 4747962 0 0 4096 16386 0 0 0 17 11 0 0 2 0 0 9500608 9505824 21671936 140729628345513 140729628345662 140729628345662 140729628348361 0
/proc/9894/statm: 124097 117779 716 784 0 117111 0
Current children cumulated CPU time (s) 162.11
Current children cumulated vsize (KiB) 496388
[startup+222.309 s]
/proc/loadavg: 2.08 1.11 0.49 4/248 9904
/proc/meminfo: memFree=31503460/32770624 swapFree=5956/173020
[pid=9894] ppid=9886 vsize=496388 CPUtime=222.05 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (MistralXCSP) R 9886 9894 9830 0 -1 4202496 345114 0 3 0 22172 33 0 0 20 0 1 0 84340 508301312 117789 33554432000 4194304 7402444 140729628342320 140729628337496 5327204 0 0 4096 16386 0 0 0 17 11 0 0 2 0 0 9500608 9505824 21671936 140729628345513 140729628345662 140729628345662 140729628348361 0
/proc/9894/statm: 124097 117789 726 784 0 117111 0
Current children cumulated CPU time (s) 222.05
Current children cumulated vsize (KiB) 496388
[startup+282.3 s]
/proc/loadavg: 2.03 1.26 0.58 4/248 9905
/proc/meminfo: memFree=31503488/32770624 swapFree=5956/173052
[pid=9894] ppid=9886 vsize=496388 CPUtime=281.97 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (MistralXCSP) R 9886 9894 9830 0 -1 4202496 369053 0 3 0 28163 34 0 0 20 0 1 0 84340 508301312 117789 33554432000 4194304 7402444 140729628342320 140729628337496 5327204 0 0 4096 16386 0 0 0 17 11 0 0 2 0 0 9500608 9505824 21671936 140729628345513 140729628345662 140729628345662 140729628348361 0
/proc/9894/statm: 124097 117789 726 784 0 117111 0
Current children cumulated CPU time (s) 281.97
Current children cumulated vsize (KiB) 496388
[startup+342.3 s]
/proc/loadavg: 2.01 1.40 0.68 4/245 9906
/proc/meminfo: memFree=31503516/32770624 swapFree=5956/173064
[pid=9894] ppid=9886 vsize=496388 CPUtime=341.92 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (MistralXCSP) R 9886 9894 9830 0 -1 4202496 370994 0 3 0 34158 34 0 0 20 0 1 0 84340 508301312 117789 33554432000 4194304 7402444 140729628342320 140729628337496 5327204 0 0 4096 16386 0 0 0 17 11 0 0 2 0 0 9500608 9505824 21671936 140729628345513 140729628345662 140729628345662 140729628348361 0
/proc/9894/statm: 124097 117789 726 784 0 117111 0
Current children cumulated CPU time (s) 341.92
Current children cumulated vsize (KiB) 496388
[startup+402.3 s]
/proc/loadavg: 2.00 1.50 0.75 4/244 9907
/proc/meminfo: memFree=31503748/32770624 swapFree=5956/173104
[pid=9894] ppid=9886 vsize=496388 CPUtime=401.87 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (MistralXCSP) R 9886 9894 9830 0 -1 4202496 372764 0 3 0 40152 35 0 0 20 0 1 0 84340 508301312 117789 33554432000 4194304 7402444 140729628342320 140729628337496 4248742 0 0 4096 16386 0 0 0 17 11 0 0 2 0 0 9500608 9505824 21671936 140729628345513 140729628345662 140729628345662 140729628348361 0
/proc/9894/statm: 124097 117789 726 784 0 117111 0
Current children cumulated CPU time (s) 401.87
Current children cumulated vsize (KiB) 496388
[startup+462.3 s]
/proc/loadavg: 2.00 1.60 0.84 4/243 9915
/proc/meminfo: memFree=31503352/32770624 swapFree=5956/173140
[pid=9894] ppid=9886 vsize=496388 CPUtime=461.82 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (MistralXCSP) R 9886 9894 9830 0 -1 4202496 374250 0 3 0 46147 35 0 0 20 0 1 0 84340 508301312 117789 33554432000 4194304 7402444 140729628342320 140729628337496 5327213 0 0 4096 16386 0 0 0 17 11 0 0 2 0 0 9500608 9505824 21671936 140729628345513 140729628345662 140729628345662 140729628348361 0
/proc/9894/statm: 124097 117789 726 784 0 117111 0
Current children cumulated CPU time (s) 461.82
Current children cumulated vsize (KiB) 496388
[startup+522.3 s]
/proc/loadavg: 2.00 1.67 0.90 4/243 9916
/proc/meminfo: memFree=31503872/32770624 swapFree=5956/173168
[pid=9894] ppid=9886 vsize=496388 CPUtime=521.77 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (MistralXCSP) R 9886 9894 9830 0 -1 4202496 375738 0 3 0 52142 35 0 0 20 0 1 0 84340 508301312 117789 33554432000 4194304 7402444 140729628342320 140729628337496 5327160 0 0 4096 16386 0 0 0 17 11 0 0 2 0 0 9500608 9505824 21671936 140729628345513 140729628345662 140729628345662 140729628348361 0
/proc/9894/statm: 124097 117789 726 784 0 117111 0
Current children cumulated CPU time (s) 521.77
Current children cumulated vsize (KiB) 496388
[startup+582.3 s]
/proc/loadavg: 2.00 1.73 0.98 4/243 9917
/proc/meminfo: memFree=31503956/32770624 swapFree=5956/173196
[pid=9894] ppid=9886 vsize=496388 CPUtime=581.72 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (MistralXCSP) R 9886 9894 9830 0 -1 4202496 377210 0 3 0 58137 35 0 0 20 0 1 0 84340 508301312 117789 33554432000 4194304 7402444 140729628342320 140729628337496 5327213 0 0 4096 16386 0 0 0 17 11 0 0 2 0 0 9500608 9505824 21671936 140729628345513 140729628345662 140729628345662 140729628348361 0
/proc/9894/statm: 124097 117789 726 784 0 117111 0
Current children cumulated CPU time (s) 581.72
Current children cumulated vsize (KiB) 496388
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.61 4/243 9964
/proc/meminfo: memFree=31504088/32770624 swapFree=5956/173680
[pid=9894] ppid=9886 vsize=496388 CPUtime=1480.94 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (MistralXCSP) R 9886 9894 9830 0 -1 4202496 397167 0 3 0 148057 37 0 0 20 0 1 0 84340 508301312 117789 33554432000 4194304 7402444 140729628342320 140729628337496 5327204 0 0 4096 16386 0 0 0 17 11 0 0 2 0 0 9500608 9505824 21671936 140729628345513 140729628345662 140729628345662 140729628348361 0
/proc/9894/statm: 124097 117789 726 784 0 117111 0
Current children cumulated CPU time (s) 1480.94
Current children cumulated vsize (KiB) 496388
[startup+1542.31 s]
/proc/loadavg: 2.00 1.99 1.64 4/243 9965
/proc/meminfo: memFree=31504248/32770624 swapFree=5956/173708
[pid=9894] ppid=9886 vsize=496388 CPUtime=1540.89 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (MistralXCSP) R 9886 9894 9830 0 -1 4202496 398350 0 3 0 154052 37 0 0 20 0 1 0 84340 508301312 117789 33554432000 4194304 7402444 140729628342320 140729628337496 5327204 0 0 4096 16386 0 0 0 17 11 0 0 2 0 0 9500608 9505824 21671936 140729628345513 140729628345662 140729628345662 140729628348361 0
/proc/9894/statm: 124097 117789 726 784 0 117111 0
Current children cumulated CPU time (s) 1540.89
Current children cumulated vsize (KiB) 496388
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.66 4/243 9966
/proc/meminfo: memFree=31501856/32770624 swapFree=5956/173736
[pid=9894] ppid=9886 vsize=496388 CPUtime=1600.83 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (MistralXCSP) R 9886 9894 9830 0 -1 4202496 399555 0 3 0 160046 37 0 0 20 0 1 0 84340 508301312 117789 33554432000 4194304 7402444 140729628342320 140729628337496 4466783 0 0 4096 16386 0 0 0 17 11 0 0 2 0 0 9500608 9505824 21671936 140729628345513 140729628345662 140729628345662 140729628348361 0
/proc/9894/statm: 124097 117789 726 784 0 117111 0
Current children cumulated CPU time (s) 1600.83
Current children cumulated vsize (KiB) 496388
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.68 4/244 9975
/proc/meminfo: memFree=31501968/32770624 swapFree=5956/173776
[pid=9894] ppid=9886 vsize=496388 CPUtime=1660.79 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (MistralXCSP) R 9886 9894 9830 0 -1 4202496 400753 0 3 0 166041 38 0 0 20 0 1 0 84340 508301312 117789 33554432000 4194304 7402444 140729628342320 140729628337496 5327204 0 0 4096 16386 0 0 0 17 11 0 0 2 0 0 9500608 9505824 21671936 140729628345513 140729628345662 140729628345662 140729628348361 0
/proc/9894/statm: 124097 117789 726 784 0 117111 0
Current children cumulated CPU time (s) 1660.79
Current children cumulated vsize (KiB) 496388
[startup+1722.3 s]
/proc/loadavg: 2.16 2.02 1.71 4/244 9976
/proc/meminfo: memFree=31502604/32770624 swapFree=5956/173804
[pid=9894] ppid=9886 vsize=496388 CPUtime=1720.74 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (MistralXCSP) R 9886 9894 9830 0 -1 4202496 401934 0 3 0 172036 38 0 0 20 0 1 0 84340 508301312 117789 33554432000 4194304 7402444 140729628342320 140729628337496 4747680 0 0 4096 16386 0 0 0 17 11 0 0 2 0 0 9500608 9505824 21671936 140729628345513 140729628345662 140729628345662 140729628348361 0
/proc/9894/statm: 124097 117789 726 784 0 117111 0
Current children cumulated CPU time (s) 1720.74
Current children cumulated vsize (KiB) 496388
[startup+1782.3 s]
/proc/loadavg: 2.06 2.01 1.73 4/244 9977
/proc/meminfo: memFree=31503360/32770624 swapFree=5956/173832
[pid=9894] ppid=9886 vsize=496388 CPUtime=1780.69 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (MistralXCSP) R 9886 9894 9830 0 -1 4202496 403106 0 3 0 178031 38 0 0 20 0 1 0 84340 508301312 117789 33554432000 4194304 7402444 140729628342320 140729628337496 5327213 0 0 4096 16386 0 0 0 17 11 0 0 2 0 0 9500608 9505824 21671936 140729628345513 140729628345662 140729628345662 140729628348361 0
/proc/9894/statm: 124097 117789 726 784 0 117111 0
Current children cumulated CPU time (s) 1780.69
Current children cumulated vsize (KiB) 496388
[startup+1842.3 s]
/proc/loadavg: 2.02 2.01 1.75 4/244 9978
/proc/meminfo: memFree=31503096/32770624 swapFree=5956/173860
[pid=9894] ppid=9886 vsize=496388 CPUtime=1840.63 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (MistralXCSP) R 9886 9894 9830 0 -1 4202496 404287 0 3 0 184025 38 0 0 20 0 1 0 84340 508301312 117789 33554432000 4194304 7402444 140729628342320 140729628337496 5818609 0 0 4096 16386 0 0 0 17 11 0 0 2 0 0 9500608 9505824 21671936 140729628345513 140729628345662 140729628345662 140729628348361 0
/proc/9894/statm: 124097 117789 726 784 0 117111 0
Current children cumulated CPU time (s) 1840.63
Current children cumulated vsize (KiB) 496388
[startup+1902.3 s]
/proc/loadavg: 2.01 2.01 1.76 4/244 9979
/proc/meminfo: memFree=31504532/32770624 swapFree=5956/173888
[pid=9894] ppid=9886 vsize=496388 CPUtime=1900.57 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (MistralXCSP) R 9886 9894 9830 0 -1 4202496 405458 0 3 0 190019 38 0 0 20 0 1 0 84340 508301312 117789 33554432000 4194304 7402444 140729628342320 140729628337496 5872796 0 0 4096 16386 0 0 0 17 11 0 0 2 0 0 9500608 9505824 21671936 140729628345513 140729628345662 140729628345662 140729628348361 0
/proc/9894/statm: 124097 117789 726 784 0 117111 0
Current children cumulated CPU time (s) 1900.57
Current children cumulated vsize (KiB) 496388
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.78 4/243 9980
/proc/meminfo: memFree=31504812/32770624 swapFree=5956/173924
[pid=9894] ppid=9886 vsize=496388 CPUtime=1960.52 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (MistralXCSP) R 9886 9894 9830 0 -1 4202496 406609 0 3 0 196014 38 0 0 20 0 1 0 84340 508301312 117789 33554432000 4194304 7402444 140729628342320 140729628337496 5327204 0 0 4096 16386 0 0 0 17 11 0 0 2 0 0 9500608 9505824 21671936 140729628345513 140729628345662 140729628345662 140729628348361 0
/proc/9894/statm: 124097 117789 726 784 0 117111 0
Current children cumulated CPU time (s) 1960.52
Current children cumulated vsize (KiB) 496388
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.79 4/243 9981
/proc/meminfo: memFree=31502952/32770624 swapFree=5956/173948
[pid=9894] ppid=9886 vsize=496388 CPUtime=2020.47 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (MistralXCSP) R 9886 9894 9830 0 -1 4202496 407767 0 3 0 202009 38 0 0 20 0 1 0 84340 508301312 117789 33554432000 4194304 7402444 140729628342320 140729628337496 4248926 0 0 4096 16386 0 0 0 17 11 0 0 2 0 0 9500608 9505824 21671936 140729628345513 140729628345662 140729628345662 140729628348361 0
/proc/9894/statm: 124097 117789 726 784 0 117111 0
Current children cumulated CPU time (s) 2020.47
Current children cumulated vsize (KiB) 496388
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.80 4/243 9982
/proc/meminfo: memFree=31502320/32770624 swapFree=5956/173976
[pid=9894] ppid=9886 vsize=496388 CPUtime=2080.42 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (MistralXCSP) R 9886 9894 9830 0 -1 4202496 408910 0 3 0 208004 38 0 0 20 0 1 0 84340 508301312 117789 33554432000 4194304 7402444 140729628342320 140729628337496 4467200 0 0 4096 16386 0 0 0 17 11 0 0 2 0 0 9500608 9505824 21671936 140729628345513 140729628345662 140729628345662 140729628348361 0
/proc/9894/statm: 124097 117789 726 784 0 117111 0
Current children cumulated CPU time (s) 2080.42
Current children cumulated vsize (KiB) 496388
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.81 4/243 9983
/proc/meminfo: memFree=31502904/32770624 swapFree=5956/174000
[pid=9894] ppid=9886 vsize=496388 CPUtime=2140.36 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (MistralXCSP) R 9886 9894 9830 0 -1 4202496 410361 0 3 0 213998 38 0 0 20 0 1 0 84340 508301312 117789 33554432000 4194304 7402444 140729628342320 140729628337496 5327213 0 0 4096 16386 0 0 0 17 11 0 0 2 0 0 9500608 9505824 21671936 140729628345513 140729628345662 140729628345662 140729628348361 0
/proc/9894/statm: 124097 117789 726 784 0 117111 0
Current children cumulated CPU time (s) 2140.36
Current children cumulated vsize (KiB) 496388
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 1.83 4/243 9984
/proc/meminfo: memFree=31502840/32770624 swapFree=5956/174028
[pid=9894] ppid=9886 vsize=496388 CPUtime=2200.32 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (MistralXCSP) R 9886 9894 9830 0 -1 4202496 411483 0 3 0 219994 38 0 0 20 0 1 0 84340 508301312 117789 33554432000 4194304 7402444 140729628342320 140729628337496 4747743 0 0 4096 16386 0 0 0 17 11 0 0 2 0 0 9500608 9505824 21671936 140729628345513 140729628345662 140729628345662 140729628348361 0
/proc/9894/statm: 124097 117789 726 784 0 117111 0
Current children cumulated CPU time (s) 2200.32
Current children cumulated vsize (KiB) 496388
[startup+2262.3 s]
/proc/loadavg: 2.06 2.04 1.85 4/244 9993
/proc/meminfo: memFree=31501768/32770624 swapFree=5956/174060
[pid=9894] ppid=9886 vsize=496388 CPUtime=2260.27 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (MistralXCSP) R 9886 9894 9830 0 -1 4202496 412604 0 3 0 225988 39 0 0 20 0 1 0 84340 508301312 117789 33554432000 4194304 7402444 140729628342320 140729628337496 4342315 0 0 4096 16386 0 0 0 17 11 0 0 2 0 0 9500608 9505824 21671936 140729628345513 140729628345662 140729628345662 140729628348361 0
/proc/9894/statm: 124097 117789 726 784 0 117111 0
Current children cumulated CPU time (s) 2260.27
Current children cumulated vsize (KiB) 496388
[startup+2322.3 s]
/proc/loadavg: 2.02 2.03 1.86 4/244 9994
/proc/meminfo: memFree=31502516/32770624 swapFree=5956/174088
[pid=9894] ppid=9886 vsize=496388 CPUtime=2320.21 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (MistralXCSP) R 9886 9894 9830 0 -1 4202496 413727 0 3 0 231982 39 0 0 20 0 1 0 84340 508301312 117789 33554432000 4194304 7402444 140729628342320 140729628337496 5327250 0 0 4096 16386 0 0 0 17 11 0 0 2 0 0 9500608 9505824 21671936 140729628345513 140729628345662 140729628345662 140729628348361 0
/proc/9894/statm: 124097 117789 726 784 0 117111 0
Current children cumulated CPU time (s) 2320.21
Current children cumulated vsize (KiB) 496388
[startup+2382.3 s]
/proc/loadavg: 2.01 2.03 1.87 4/244 9995
/proc/meminfo: memFree=31502908/32770624 swapFree=5956/174120
[pid=9894] ppid=9886 vsize=496388 CPUtime=2380.16 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (MistralXCSP) R 9886 9894 9830 0 -1 4202496 414834 0 3 0 237977 39 0 0 20 0 1 0 84340 508301312 117789 33554432000 4194304 7402444 140729628342320 140729628337496 5327213 0 0 4096 16386 0 0 0 17 11 0 0 2 0 0 9500608 9505824 21671936 140729628345513 140729628345662 140729628345662 140729628348361 0
/proc/9894/statm: 124097 117789 726 784 0 117111 0
Current children cumulated CPU time (s) 2380.16
Current children cumulated vsize (KiB) 496388
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2402.2 s]
/proc/loadavg: 2.01 2.03 1.87 2/239 10003
/proc/meminfo: memFree=31601960/32770624 swapFree=5956/174368
[pid=9894] ppid=9886 vsize=496388 CPUtime=2400.04 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (MistralXCSP) R 9886 9894 9830 0 -1 4202496 415419 0 3 0 239965 39 0 0 20 0 1 0 84340 508301312 117789 33554432000 4194304 7402444 140729628342320 140729628337496 4537282 0 0 4096 16386 0 0 0 17 11 0 0 2 0 0 9500608 9505824 21671936 140729628345513 140729628345662 140729628345662 140729628348361 0
/proc/9894/statm: 124097 117789 726 784 0 117111 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 496388
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 9894 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2402.2
CPU time (s): 2400.06
CPU user time (s): 2399.66
CPU system time (s): 0.397661
CPU usage (%): 99.9107
Max. virtual memory (cumulated for all children) (KiB): 496520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.66
system time used= 0.397661
maximum resident set size= 472616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 415460
page faults= 3
swaps= 0
block input operations= 1528
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 123
involuntary context switches= 122009
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.32143 second user time and 12.858 second system time
The end