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-4242775-1500660391/watcher-4242775-1500660391 -o /tmp/evaluation-result-4242775-1500660391/solver-4242775-1500660391 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1500648178-2476 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 578648689 HOME/instance-4242775-1500660391.xml
pid=4878
running on 8 cores: 0,2,4,6,8,10,12,14
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: 2.05 2.03 2.05 3/242 4881
/proc/meminfo: memFree=31018328/32770624 swapFree=5956/215448
[pid=4881] ppid=4878 vsize=29064 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4881/stat : 4881 (MistralXCSP) R 4878 4881 2444 0 -1 4202496 1047 0 0 0 0 0 0 0 20 0 1 0 1307703 29761536 854 33554432000 4194304 7402444 140736950031712 140736950031296 140094766214117 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 34332672 140736950035625 140736950035774 140736950035774 140736950038473 0
/proc/4881/statm: 7266 854 621 784 0 280 0
[startup+0.10012 s]
/proc/loadavg: 2.05 2.03 2.05 3/242 4881
/proc/meminfo: memFree=31018328/32770624 swapFree=5956/215448
[pid=4881] ppid=4878 vsize=39928 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/4881/stat : 4881 (MistralXCSP) R 4878 4881 2444 0 -1 4202496 3894 0 0 0 9 0 0 0 20 0 1 0 1307703 40886272 3632 33554432000 4194304 7402444 140736950031712 140736950022472 4731480 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 34332672 140736950035625 140736950035774 140736950035774 140736950038473 0
/proc/4881/statm: 9982 3632 691 784 0 2996 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39928
[startup+0.200382 s]
/proc/loadavg: 2.05 2.03 2.05 3/242 4881
/proc/meminfo: memFree=31018328/32770624 swapFree=5956/215448
[pid=4881] ppid=4878 vsize=49440 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/4881/stat : 4881 (MistralXCSP) R 4878 4881 2444 0 -1 4202496 6528 0 0 0 18 1 0 0 20 0 1 0 1307703 50626560 6008 33554432000 4194304 7402444 140736950031712 140736950022472 4731632 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 34332672 140736950035625 140736950035774 140736950035774 140736950038473 0
/proc/4881/statm: 12360 6008 691 784 0 5374 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 49440
[startup+0.300334 s]
/proc/loadavg: 2.05 2.03 2.05 3/242 4881
/proc/meminfo: memFree=31018328/32770624 swapFree=5956/215448
[pid=4881] ppid=4878 vsize=54052 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/4881/stat : 4881 (MistralXCSP) R 4878 4881 2444 0 -1 4202496 7719 0 0 0 28 1 0 0 20 0 1 0 1307703 55349248 7115 33554432000 4194304 7402444 140736950031712 140736950022472 4731639 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 34332672 140736950035625 140736950035774 140736950035774 140736950038473 0
/proc/4881/statm: 13513 7115 691 784 0 6527 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54052
[startup+0.70027 s]
/proc/loadavg: 2.05 2.03 2.05 3/242 4881
/proc/meminfo: memFree=31018328/32770624 swapFree=5956/215448
[pid=4881] ppid=4878 vsize=73624 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/4881/stat : 4881 (MistralXCSP) R 4878 4881 2444 0 -1 4202496 12346 0 0 0 68 1 0 0 20 0 1 0 1307703 75390976 12045 33554432000 4194304 7402444 140736950031712 140736950022456 4731648 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 34332672 140736950035625 140736950035774 140736950035774 140736950038473 0
/proc/4881/statm: 18406 12045 691 784 0 11420 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 73624
[startup+1.50025 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 4882
/proc/meminfo: memFree=30959740/32770624 swapFree=5956/215160
[pid=4881] ppid=4878 vsize=91988 CPUtime=1.48 cores=0,2,4,6,8,10,12,14
/proc/4881/stat : 4881 (MistralXCSP) R 4878 4881 2444 0 -1 4202496 17057 0 0 0 147 1 0 0 20 0 1 0 1307703 94195712 16638 33554432000 4194304 7402444 140736950031712 140736950022472 4731639 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 34332672 140736950035625 140736950035774 140736950035774 140736950038473 0
/proc/4881/statm: 22997 16638 691 784 0 16011 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 91988
[startup+3.10029 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 4882
/proc/meminfo: memFree=30938536/32770624 swapFree=5956/215160
[pid=4881] ppid=4878 vsize=111944 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/4881/stat : 4881 (MistralXCSP) R 4878 4881 2444 0 -1 4202496 24044 0 0 0 307 2 0 0 20 0 1 0 1307703 114630656 21638 33554432000 4194304 7402444 140736950031712 140736950022472 4731632 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 34332672 140736950035625 140736950035774 140736950035774 140736950038473 0
/proc/4881/statm: 27986 21638 691 784 0 21000 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 111944
[startup+6.30033 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 4882
/proc/meminfo: memFree=30876952/32770624 swapFree=5956/215164
[pid=4881] ppid=4878 vsize=164532 CPUtime=6.28 cores=0,2,4,6,8,10,12,14
/proc/4881/stat : 4881 (MistralXCSP) R 4878 4881 2444 0 -1 4202496 52230 0 0 0 624 4 0 0 20 0 1 0 1307703 168480768 34732 33554432000 4194304 7402444 140736950031712 140736950022472 4731639 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 34332672 140736950035625 140736950035774 140736950035774 140736950038473 0
/proc/4881/statm: 41133 34732 691 784 0 34147 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 164532
[startup+12.7003 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 4882
/proc/meminfo: memFree=30811340/32770624 swapFree=5956/215172
[pid=4881] ppid=4878 vsize=209448 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/4881/stat : 4881 (MistralXCSP) R 4878 4881 2444 0 -1 4202496 81742 0 0 0 1262 7 0 0 20 0 1 0 1307703 214474752 46089 33554432000 4194304 7402444 140736950031712 140736950027064 5327204 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 34332672 140736950035625 140736950035774 140736950035774 140736950038473 0
/proc/4881/statm: 52362 46089 757 784 0 45376 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 209448
[startup+25.5004 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 4882
/proc/meminfo: memFree=30785964/32770624 swapFree=5956/215180
[pid=4881] ppid=4878 vsize=209448 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/4881/stat : 4881 (MistralXCSP) R 4878 4881 2444 0 -1 4202496 132979 0 0 0 2539 9 0 0 20 0 1 0 1307703 214474752 46099 33554432000 4194304 7402444 140736950031712 140736950027064 5327204 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 34332672 140736950035625 140736950035774 140736950035774 140736950038473 0
/proc/4881/statm: 52362 46099 767 784 0 45376 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 209448
[startup+51.1005 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 4882
/proc/meminfo: memFree=30443884/32770624 swapFree=5956/215188
[pid=4881] ppid=4878 vsize=209448 CPUtime=51.07 cores=0,2,4,6,8,10,12,14
/proc/4881/stat : 4881 (MistralXCSP) R 4878 4881 2444 0 -1 4202496 157632 0 0 0 5097 10 0 0 20 0 1 0 1307703 214474752 46123 33554432000 4194304 7402444 140736950031712 140736950027064 4748142 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 34332672 140736950035625 140736950035774 140736950035774 140736950038473 0
/proc/4881/statm: 52362 46123 767 784 0 45376 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 209448
[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4883
/proc/meminfo: memFree=30444256/32770624 swapFree=5956/215216
[pid=4881] ppid=4878 vsize=209688 CPUtime=102.26 cores=0,2,4,6,8,10,12,14
/proc/4881/stat : 4881 (MistralXCSP) R 4878 4881 2444 0 -1 4202496 184834 0 0 0 10214 12 0 0 20 0 1 0 1307703 214720512 46159 33554432000 4194304 7402444 140736950031712 140736950026376 5327204 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 34332672 140736950035625 140736950035774 140736950035774 140736950038473 0
/proc/4881/statm: 52422 46159 767 784 0 45436 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 209688
[startup+162.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 4884
/proc/meminfo: memFree=30442412/32770624 swapFree=5956/215256
[pid=4881] ppid=4878 vsize=209688 CPUtime=162.23 cores=0,2,4,6,8,10,12,14
/proc/4881/stat : 4881 (MistralXCSP) R 4878 4881 2444 0 -1 4202496 210747 0 0 0 16210 13 0 0 20 0 1 0 1307703 214720512 46159 33554432000 4194304 7402444 140736950031712 140736950026376 5327213 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 34332672 140736950035625 140736950035774 140736950035774 140736950038473 0
/proc/4881/statm: 52422 46159 767 784 0 45436 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 209688
[startup+222.309 s]
/proc/loadavg: 2.03 2.03 2.05 3/244 4893
/proc/meminfo: memFree=30368660/32770624 swapFree=5956/215312
[pid=4881] ppid=4878 vsize=209688 CPUtime=222.22 cores=0,2,4,6,8,10,12,14
/proc/4881/stat : 4881 (MistralXCSP) R 4878 4881 2444 0 -1 4202496 236690 0 0 0 22207 15 0 0 20 0 1 0 1307703 214720512 46159 33554432000 4194304 7402444 140736950031712 140736950026376 5877534 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 34332672 140736950035625 140736950035774 140736950035774 140736950038473 0
/proc/4881/statm: 52422 46159 767 784 0 45436 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 209688
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 4894
/proc/meminfo: memFree=30302828/32770624 swapFree=5956/215348
[pid=4881] ppid=4878 vsize=209688 CPUtime=282.19 cores=0,2,4,6,8,10,12,14
/proc/4881/stat : 4881 (MistralXCSP) R 4878 4881 2444 0 -1 4202496 262506 0 0 0 28203 16 0 0 20 0 1 0 1307703 214720512 46159 33554432000 4194304 7402444 140736950031712 140736950026376 4248948 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 34332672 140736950035625 140736950035774 140736950035774 140736950038473 0
/proc/4881/statm: 52422 46159 767 784 0 45436 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 209688
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4895
/proc/meminfo: memFree=30236912/32770624 swapFree=5956/215388
[pid=4881] ppid=4878 vsize=209688 CPUtime=342.16 cores=0,2,4,6,8,10,12,14
/proc/4881/stat : 4881 (MistralXCSP) R 4878 4881 2444 0 -1 4202496 288305 0 0 0 34199 17 0 0 20 0 1 0 1307703 214720512 46159 33554432000 4194304 7402444 140736950031712 140736950026376 5327204 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 34332672 140736950035625 140736950035774 140736950035774 140736950038473 0
/proc/4881/statm: 52422 46159 767 784 0 45436 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 209688
[startup+402.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/244 4896
/proc/meminfo: memFree=30182588/32770624 swapFree=5956/215424
[pid=4881] ppid=4878 vsize=209688 CPUtime=402.13 cores=0,2,4,6,8,10,12,14
/proc/4881/stat : 4881 (MistralXCSP) R 4878 4881 2444 0 -1 4202496 313763 0 0 0 40195 18 0 0 20 0 1 0 1307703 214720512 46159 33554432000 4194304 7402444 140736950031712 140736950026376 4748090 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 34332672 140736950035625 140736950035774 140736950035774 140736950038473 0
/proc/4881/statm: 52422 46159 767 784 0 45436 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 209688
[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/244 4897
/proc/meminfo: memFree=30056740/32770624 swapFree=5956/215444
[pid=4881] ppid=4878 vsize=209688 CPUtime=462.11 cores=0,2,4,6,8,10,12,14
/proc/4881/stat : 4881 (MistralXCSP) R 4878 4881 2444 0 -1 4202496 339449 0 0 0 46191 20 0 0 20 0 1 0 1307703 214720512 46159 33554432000 4194304 7402444 140736950031712 140736950026376 5327204 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 34332672 140736950035625 140736950035774 140736950035774 140736950038473 0
/proc/4881/statm: 52422 46159 767 784 0 45436 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 209688
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 4898
/proc/meminfo: memFree=30012732/32770624 swapFree=5956/215484
[pid=4881] ppid=4878 vsize=209688 CPUtime=522.08 cores=0,2,4,6,8,10,12,14
/proc/4881/stat : 4881 (MistralXCSP) R 4878 4881 2444 0 -1 4202496 365082 0 0 0 52188 20 0 0 20 0 1 0 1307703 214720512 46159 33554432000 4194304 7402444 140736950031712 140736950026376 4239291 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 34332672 140736950035625 140736950035774 140736950035774 140736950038473 0
/proc/4881/statm: 52422 46159 767 784 0 45436 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 209688
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4899
/proc/meminfo: memFree=29963320/32770624 swapFree=5956/215524
[pid=4881] ppid=4878 vsize=209688 CPUtime=582.06 cores=0,2,4,6,8,10,12,14
/proc/4881/stat : 4881 (MistralXCSP) R 4878 4881 2444 0 -1 4202496 390701 0 0 0 58184 22 0 0 20 0 1 0 1307703 214720512 46159 33554432000 4194304 7402444 140736950031712 140736950026376 5327336 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 34332672 140736950035625 140736950035774 140736950035774 140736950038473 0
/proc/4881/statm: 52422 46159 767 784 0 45436 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 209688
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4931
/proc/meminfo: memFree=29048952/32770624 swapFree=5956/216072
[pid=4881] ppid=4878 vsize=210944 CPUtime=1481.7 cores=0,2,4,6,8,10,12,14
/proc/4881/stat : 4881 (MistralXCSP) R 4878 4881 2444 0 -1 4202496 771394 0 0 0 148132 38 0 0 20 0 1 0 1307703 216006656 46478 33554432000 4194304 7402444 140736950031712 140736950026408 5327213 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 34332672 140736950035625 140736950035774 140736950035774 140736950038473 0
/proc/4881/statm: 52736 46478 767 784 0 45750 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 210944
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4932
/proc/meminfo: memFree=28961296/32770624 swapFree=5956/216108
[pid=4881] ppid=4878 vsize=210944 CPUtime=1541.67 cores=0,2,4,6,8,10,12,14
/proc/4881/stat : 4881 (MistralXCSP) R 4878 4881 2444 0 -1 4202496 779760 0 0 0 154128 39 0 0 20 0 1 0 1307703 216006656 46478 33554432000 4194304 7402444 140736950031712 140736950026408 4238492 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 34332672 140736950035625 140736950035774 140736950035774 140736950038473 0
/proc/4881/statm: 52736 46478 767 784 0 45750 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 210944
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4933
/proc/meminfo: memFree=28935792/32770624 swapFree=5956/216140
[pid=4881] ppid=4878 vsize=210944 CPUtime=1601.64 cores=0,2,4,6,8,10,12,14
/proc/4881/stat : 4881 (MistralXCSP) R 4878 4881 2444 0 -1 4202496 780654 0 0 0 160125 39 0 0 20 0 1 0 1307703 216006656 46478 33554432000 4194304 7402444 140736950031712 140736950026408 5327204 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 34332672 140736950035625 140736950035774 140736950035774 140736950038473 0
/proc/4881/statm: 52736 46478 767 784 0 45750 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 210944
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4934
/proc/meminfo: memFree=28901168/32770624 swapFree=5956/216176
[pid=4881] ppid=4878 vsize=211196 CPUtime=1661.62 cores=0,2,4,6,8,10,12,14
/proc/4881/stat : 4881 (MistralXCSP) R 4878 4881 2444 0 -1 4202496 781710 0 0 0 166123 39 0 0 20 0 1 0 1307703 216264704 46541 33554432000 4194304 7402444 140736950031712 140736950026888 5327213 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 34332672 140736950035625 140736950035774 140736950035774 140736950038473 0
/proc/4881/statm: 52799 46541 767 784 0 45813 0
Current children cumulated CPU time (s) 1661.62
Current children cumulated vsize (KiB) 211196
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4935
/proc/meminfo: memFree=28866488/32770624 swapFree=5956/216216
[pid=4881] ppid=4878 vsize=211196 CPUtime=1721.6 cores=0,2,4,6,8,10,12,14
/proc/4881/stat : 4881 (MistralXCSP) R 4878 4881 2444 0 -1 4202496 782557 0 0 0 172121 39 0 0 20 0 1 0 1307703 216264704 46541 33554432000 4194304 7402444 140736950031712 140736950026888 4238492 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 34332672 140736950035625 140736950035774 140736950035774 140736950038473 0
/proc/4881/statm: 52799 46541 767 784 0 45813 0
Current children cumulated CPU time (s) 1721.6
Current children cumulated vsize (KiB) 211196
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4936
/proc/meminfo: memFree=28830724/32770624 swapFree=5956/216248
[pid=4881] ppid=4878 vsize=211196 CPUtime=1781.58 cores=0,2,4,6,8,10,12,14
/proc/4881/stat : 4881 (MistralXCSP) R 4878 4881 2444 0 -1 4202496 783389 0 0 0 178119 39 0 0 20 0 1 0 1307703 216264704 46541 33554432000 4194304 7402444 140736950031712 140736950026888 5327204 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 34332672 140736950035625 140736950035774 140736950035774 140736950038473 0
/proc/4881/statm: 52799 46541 767 784 0 45813 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 211196
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4937
/proc/meminfo: memFree=28806136/32770624 swapFree=5956/216284
[pid=4881] ppid=4878 vsize=211196 CPUtime=1841.56 cores=0,2,4,6,8,10,12,14
/proc/4881/stat : 4881 (MistralXCSP) R 4878 4881 2444 0 -1 4202496 784297 0 0 0 184117 39 0 0 20 0 1 0 1307703 216264704 46541 33554432000 4194304 7402444 140736950031712 140736950026888 5327204 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 34332672 140736950035625 140736950035774 140736950035774 140736950038473 0
/proc/4881/statm: 52799 46541 767 784 0 45813 0
Current children cumulated CPU time (s) 1841.56
Current children cumulated vsize (KiB) 211196
[startup+1902.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 4938
/proc/meminfo: memFree=28775472/32770624 swapFree=5956/216320
[pid=4881] ppid=4878 vsize=211196 CPUtime=1901.54 cores=0,2,4,6,8,10,12,14
/proc/4881/stat : 4881 (MistralXCSP) R 4878 4881 2444 0 -1 4202496 785199 0 0 0 190114 40 0 0 20 0 1 0 1307703 216264704 46541 33554432000 4194304 7402444 140736950031712 140736950026888 5747585 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 34332672 140736950035625 140736950035774 140736950035774 140736950038473 0
/proc/4881/statm: 52799 46541 767 784 0 45813 0
Current children cumulated CPU time (s) 1901.54
Current children cumulated vsize (KiB) 211196
[startup+1962.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/243 4939
/proc/meminfo: memFree=28750404/32770624 swapFree=5956/216360
[pid=4881] ppid=4878 vsize=211196 CPUtime=1961.52 cores=0,2,4,6,8,10,12,14
/proc/4881/stat : 4881 (MistralXCSP) R 4878 4881 2444 0 -1 4202496 786106 0 0 0 196112 40 0 0 20 0 1 0 1307703 216264704 46541 33554432000 4194304 7402444 140736950031712 140736950026888 5327204 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 34332672 140736950035625 140736950035774 140736950035774 140736950038473 0
/proc/4881/statm: 52799 46541 767 784 0 45813 0
Current children cumulated CPU time (s) 1961.52
Current children cumulated vsize (KiB) 211196
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4947
/proc/meminfo: memFree=28718728/32770624 swapFree=5956/216400
[pid=4881] ppid=4878 vsize=211196 CPUtime=2021.5 cores=0,2,4,6,8,10,12,14
/proc/4881/stat : 4881 (MistralXCSP) R 4878 4881 2444 0 -1 4202496 786952 0 0 0 202110 40 0 0 20 0 1 0 1307703 216264704 46541 33554432000 4194304 7402444 140736950031712 140736950026888 4748026 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 34332672 140736950035625 140736950035774 140736950035774 140736950038473 0
/proc/4881/statm: 52799 46541 767 784 0 45813 0
Current children cumulated CPU time (s) 2021.5
Current children cumulated vsize (KiB) 211196
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4948
/proc/meminfo: memFree=28693048/32770624 swapFree=5956/216436
[pid=4881] ppid=4878 vsize=211196 CPUtime=2081.49 cores=0,2,4,6,8,10,12,14
/proc/4881/stat : 4881 (MistralXCSP) R 4878 4881 2444 0 -1 4202496 787842 0 0 0 208109 40 0 0 20 0 1 0 1307703 216264704 46541 33554432000 4194304 7402444 140736950031712 140736950026888 4238492 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 34332672 140736950035625 140736950035774 140736950035774 140736950038473 0
/proc/4881/statm: 52799 46541 767 784 0 45813 0
Current children cumulated CPU time (s) 2081.49
Current children cumulated vsize (KiB) 211196
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4949
/proc/meminfo: memFree=27782700/32770624 swapFree=5956/216468
[pid=4881] ppid=4878 vsize=211196 CPUtime=2141.46 cores=0,2,4,6,8,10,12,14
/proc/4881/stat : 4881 (MistralXCSP) R 4878 4881 2444 0 -1 4202496 788750 0 0 0 214106 40 0 0 20 0 1 0 1307703 216264704 46541 33554432000 4194304 7402444 140736950031712 140736950026888 5747647 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 34332672 140736950035625 140736950035774 140736950035774 140736950038473 0
/proc/4881/statm: 52799 46541 767 784 0 45813 0
Current children cumulated CPU time (s) 2141.46
Current children cumulated vsize (KiB) 211196
[startup+2202.31 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 4950
/proc/meminfo: memFree=27782336/32770624 swapFree=5956/216504
[pid=4881] ppid=4878 vsize=211196 CPUtime=2201.45 cores=0,2,4,6,8,10,12,14
/proc/4881/stat : 4881 (MistralXCSP) R 4878 4881 2444 0 -1 4202496 789621 0 0 0 220104 41 0 0 20 0 1 0 1307703 216264704 46541 33554432000 4194304 7402444 140736950031712 140736950026888 4709414 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 34332672 140736950035625 140736950035774 140736950035774 140736950038473 0
/proc/4881/statm: 52799 46541 767 784 0 45813 0
Current children cumulated CPU time (s) 2201.45
Current children cumulated vsize (KiB) 211196
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 4/243 5016
/proc/meminfo: memFree=31701136/32770624 swapFree=5956/216608
[pid=4881] ppid=4878 vsize=211196 CPUtime=2261.42 cores=0,2,4,6,8,10,12,14
/proc/4881/stat : 4881 (MistralXCSP) R 4878 4881 2444 0 -1 4202496 790456 0 0 0 226101 41 0 0 20 0 1 0 1307703 216264704 46541 33554432000 4194304 7402444 140736950031712 140736950026888 5747605 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 34332672 140736950035625 140736950035774 140736950035774 140736950038473 0
/proc/4881/statm: 52799 46541 767 784 0 45813 0
Current children cumulated CPU time (s) 2261.42
Current children cumulated vsize (KiB) 211196
[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 4/243 5017
/proc/meminfo: memFree=31699152/32770624 swapFree=5956/216656
[pid=4881] ppid=4878 vsize=211196 CPUtime=2321.4 cores=0,2,4,6,8,10,12,14
/proc/4881/stat : 4881 (MistralXCSP) R 4878 4881 2444 0 -1 4202496 791359 0 0 0 232099 41 0 0 20 0 1 0 1307703 216264704 46551 33554432000 4194304 7402444 140736950031712 140736950026888 5327204 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 34332672 140736950035625 140736950035774 140736950035774 140736950038473 0
/proc/4881/statm: 52799 46551 767 784 0 45813 0
Current children cumulated CPU time (s) 2321.4
Current children cumulated vsize (KiB) 211196
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/243 5018
/proc/meminfo: memFree=31697064/32770624 swapFree=5956/216684
[pid=4881] ppid=4878 vsize=211196 CPUtime=2381.37 cores=0,2,4,6,8,10,12,14
/proc/4881/stat : 4881 (MistralXCSP) R 4878 4881 2444 0 -1 4202496 792107 0 0 0 238096 41 0 0 20 0 1 0 1307703 216264704 46551 33554432000 4194304 7402444 140736950031712 140736950026888 4341748 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 34332672 140736950035625 140736950035774 140736950035774 140736950038473 0
/proc/4881/statm: 52799 46551 767 784 0 45813 0
Current children cumulated CPU time (s) 2381.37
Current children cumulated vsize (KiB) 211196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401 s]
/proc/loadavg: 2.00 2.01 2.05 4/243 5019
/proc/meminfo: memFree=31697136/32770624 swapFree=5956/216720
[pid=4881] ppid=4878 vsize=211196 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14
/proc/4881/stat : 4881 (MistralXCSP) R 4878 4881 2444 0 -1 4202496 792856 0 0 0 239965 41 0 0 20 0 1 0 1307703 216264704 46551 33554432000 4194304 7402444 140736950031712 140736950026888 5753458 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 34332672 140736950035625 140736950035774 140736950035774 140736950038473 0
/proc/4881/statm: 52799 46551 767 784 0 45813 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 211196
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 4881 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2401
CPU time (s): 2400.07
CPU user time (s): 2399.66
CPU system time (s): 0.414848
CPU usage (%): 99.9613
Max. virtual memory (cumulated for all children) (KiB): 211196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.66
system time used= 0.414848
maximum resident set size= 186228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 792893
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= 67
involuntary context switches= 120690
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.51619 second user time and 12.9388 second system time
The end