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-4241871-1500653086/watcher-4241871-1500653086 -o /tmp/evaluation-result-4241871-1500653086/solver-4241871-1500653086 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1500648178-9871 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1372758943 HOME/instance-4241871-1500653086.xml
pid=10592
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.01 2.03 1.99 3/244 10595
/proc/meminfo: memFree=31997844/32770624 swapFree=5952/210500
[pid=10595] ppid=10592 vsize=29076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/10595/stat : 10595 (MistralXCSP) R 10592 10595 9838 0 -1 4202496 1092 0 0 0 1 0 0 0 20 0 1 0 578681 29773824 888 33554432000 4194304 7402444 140726436109792 140726436101544 139778658614944 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22048768 140726436111528 140726436111678 140726436111678 140726436114377 0
/proc/10595/statm: 7269 888 649 784 0 283 0
[startup+0.100122 s]
/proc/loadavg: 2.01 2.03 1.99 3/244 10595
/proc/meminfo: memFree=31997844/32770624 swapFree=5952/210500
[pid=10595] ppid=10592 vsize=30176 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10595/stat : 10595 (MistralXCSP) R 10592 10595 9838 0 -1 4202496 1440 0 0 0 9 0 0 0 20 0 1 0 578681 30900224 1214 33554432000 4194304 7402444 140726436109792 140726436099704 6063778 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22048768 140726436111528 140726436111678 140726436111678 140726436114377 0
/proc/10595/statm: 7544 1214 741 784 0 558 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30176
[startup+0.200257 s]
/proc/loadavg: 2.01 2.03 1.99 3/244 10595
/proc/meminfo: memFree=31997844/32770624 swapFree=5952/210500
[pid=10595] ppid=10592 vsize=31588 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/10595/stat : 10595 (MistralXCSP) R 10592 10595 9838 0 -1 4202496 1808 0 0 0 19 0 0 0 20 0 1 0 578681 32346112 1612 33554432000 4194304 7402444 140726436109792 140726436100296 6057247 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22048768 140726436111528 140726436111678 140726436111678 140726436114377 0
/proc/10595/statm: 7897 1612 741 784 0 911 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31588
[startup+0.300207 s]
/proc/loadavg: 2.01 2.03 1.99 3/244 10595
/proc/meminfo: memFree=31997844/32770624 swapFree=5952/210500
[pid=10595] ppid=10592 vsize=33900 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/10595/stat : 10595 (MistralXCSP) R 10592 10595 9838 0 -1 4202496 2457 0 0 0 29 0 0 0 20 0 1 0 578681 34713600 2189 33554432000 4194304 7402444 140726436109792 140726436100344 139778664728517 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22048768 140726436111528 140726436111678 140726436111678 140726436114377 0
/proc/10595/statm: 8475 2189 741 784 0 1489 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33900
[startup+0.700224 s]
/proc/loadavg: 2.01 2.03 1.99 3/244 10595
/proc/meminfo: memFree=31997844/32770624 swapFree=5952/210500
[pid=10595] ppid=10592 vsize=39820 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/10595/stat : 10595 (MistralXCSP) R 10592 10595 9838 0 -1 4202496 3983 0 0 0 69 0 0 0 20 0 1 0 578681 40775680 3704 33554432000 4194304 7402444 140726436109792 140726436104216 5327250 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22048768 140726436111528 140726436111678 140726436111678 140726436114377 0
/proc/10595/statm: 9955 3704 800 784 0 2969 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39820
[startup+1.50018 s]
/proc/loadavg: 2.01 2.03 1.99 3/245 10596
/proc/meminfo: memFree=31985636/32770624 swapFree=5952/210496
[pid=10595] ppid=10592 vsize=39820 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/10595/stat : 10595 (MistralXCSP) R 10592 10595 9838 0 -1 4202496 3989 0 0 0 149 0 0 0 20 0 1 0 578681 40775680 3704 33554432000 4194304 7402444 140726436109792 140726436104216 5753494 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22048768 140726436111528 140726436111678 140726436111678 140726436114377 0
/proc/10595/statm: 9955 3704 800 784 0 2969 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39820
[startup+3.10018 s]
/proc/loadavg: 2.01 2.03 1.99 3/245 10596
/proc/meminfo: memFree=31984764/32770624 swapFree=5952/210516
[pid=10595] ppid=10592 vsize=39820 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/10595/stat : 10595 (MistralXCSP) R 10592 10595 9838 0 -1 4202496 6342 0 0 0 309 0 0 0 20 0 1 0 578681 40775680 3738 33554432000 4194304 7402444 140726436109792 140726436104216 4361419 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22048768 140726436111528 140726436111678 140726436111678 140726436114377 0
/proc/10595/statm: 9955 3738 800 784 0 2969 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39820
[startup+6.30019 s]
/proc/loadavg: 2.01 2.03 1.99 3/245 10596
/proc/meminfo: memFree=31984160/32770624 swapFree=5952/210500
[pid=10595] ppid=10592 vsize=40348 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/10595/stat : 10595 (MistralXCSP) R 10592 10595 9838 0 -1 4202496 9174 0 0 0 628 1 0 0 20 0 1 0 578681 41316352 3879 33554432000 4194304 7402444 140726436109792 140726436104216 5728576 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22048768 140726436111528 140726436111678 140726436111678 140726436114377 0
/proc/10595/statm: 10087 3879 800 784 0 3101 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40348
[startup+12.7002 s]
/proc/loadavg: 2.00 2.03 1.99 3/245 10596
/proc/meminfo: memFree=31983624/32770624 swapFree=5952/210508
[pid=10595] ppid=10592 vsize=40480 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/10595/stat : 10595 (MistralXCSP) R 10592 10595 9838 0 -1 4202496 11787 0 0 0 1268 1 0 0 20 0 1 0 578681 41451520 3886 33554432000 4194304 7402444 140726436109792 140726436104040 5718400 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22048768 140726436111528 140726436111678 140726436111678 140726436114377 0
/proc/10595/statm: 10120 3886 800 784 0 3134 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40480
[startup+25.5003 s]
/proc/loadavg: 2.00 2.03 1.99 3/245 10596
/proc/meminfo: memFree=31983252/32770624 swapFree=5952/210516
[pid=10595] ppid=10592 vsize=40612 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/10595/stat : 10595 (MistralXCSP) R 10592 10595 9838 0 -1 4202496 17012 0 0 0 2547 1 0 0 20 0 1 0 578681 41586688 3931 33554432000 4194304 7402444 140726436109792 140726436104040 4377730 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22048768 140726436111528 140726436111678 140726436111678 140726436114377 0
/proc/10595/statm: 10153 3931 800 784 0 3167 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 40612
[startup+51.1003 s]
/proc/loadavg: 2.00 2.03 1.99 3/245 10596
/proc/meminfo: memFree=31981696/32770624 swapFree=5952/210528
[pid=10595] ppid=10592 vsize=41664 CPUtime=51.07 cores=0,2,4,6,8,10,12,14
/proc/10595/stat : 10595 (MistralXCSP) R 10592 10595 9838 0 -1 4202496 20142 0 0 0 5106 1 0 0 20 0 1 0 578681 42663936 4184 33554432000 4194304 7402444 140726436109792 140726436104040 5877640 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22048768 140726436111528 140726436111678 140726436111678 140726436114377 0
/proc/10595/statm: 10416 4184 800 784 0 3430 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 41664
[startup+102.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/243 10597
/proc/meminfo: memFree=31981808/32770624 swapFree=5952/210568
[pid=10595] ppid=10592 vsize=41664 CPUtime=102.26 cores=0,2,4,6,8,10,12,14
/proc/10595/stat : 10595 (MistralXCSP) R 10592 10595 9838 0 -1 4202496 21051 0 0 0 10225 1 0 0 20 0 1 0 578681 42663936 4201 33554432000 4194304 7402444 140726436109792 140726436104040 5327250 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22048768 140726436111528 140726436111678 140726436111678 140726436114377 0
/proc/10595/statm: 10416 4201 800 784 0 3430 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 41664
[startup+162.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/243 10598
/proc/meminfo: memFree=31982388/32770624 swapFree=5952/210600
[pid=10595] ppid=10592 vsize=41796 CPUtime=162.24 cores=0,2,4,6,8,10,12,14
/proc/10595/stat : 10595 (MistralXCSP) R 10592 10595 9838 0 -1 4202496 21991 0 0 0 16223 1 0 0 20 0 1 0 578681 42799104 4215 33554432000 4194304 7402444 140726436109792 140726436104232 5750704 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22048768 140726436111528 140726436111678 140726436111678 140726436114377 0
/proc/10595/statm: 10449 4215 800 784 0 3463 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 41796
[startup+222.308 s]
/proc/loadavg: 2.01 2.03 2.00 3/242 10599
/proc/meminfo: memFree=31983200/32770624 swapFree=5952/210636
[pid=10595] ppid=10592 vsize=41796 CPUtime=222.23 cores=0,2,4,6,8,10,12,14
/proc/10595/stat : 10595 (MistralXCSP) R 10592 10595 9838 0 -1 4202496 22912 0 0 0 22222 1 0 0 20 0 1 0 578681 42799104 4239 33554432000 4194304 7402444 140726436109792 140726436104232 5746096 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22048768 140726436111528 140726436111678 140726436111678 140726436114377 0
/proc/10595/statm: 10449 4239 800 784 0 3463 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 41796
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/243 10601
/proc/meminfo: memFree=31982668/32770624 swapFree=5952/210672
[pid=10595] ppid=10592 vsize=41796 CPUtime=282.21 cores=0,2,4,6,8,10,12,14
/proc/10595/stat : 10595 (MistralXCSP) R 10592 10595 9838 0 -1 4202496 23366 0 0 0 28220 1 0 0 20 0 1 0 578681 42799104 4250 33554432000 4194304 7402444 140726436109792 140726436104232 5691523 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22048768 140726436111528 140726436111678 140726436111678 140726436114377 0
/proc/10595/statm: 10449 4250 800 784 0 3463 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 41796
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/243 10609
/proc/meminfo: memFree=31982116/32770624 swapFree=5952/210716
[pid=10595] ppid=10592 vsize=41928 CPUtime=342.19 cores=0,2,4,6,8,10,12,14
/proc/10595/stat : 10595 (MistralXCSP) R 10592 10595 9838 0 -1 4202496 23809 0 0 0 34218 1 0 0 20 0 1 0 578681 42934272 4256 33554432000 4194304 7402444 140726436109792 140726436104040 5821841 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22048768 140726436111528 140726436111678 140726436111678 140726436114377 0
/proc/10595/statm: 10482 4256 800 784 0 3496 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 41928
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/243 10610
/proc/meminfo: memFree=31982936/32770624 swapFree=5952/210756
[pid=10595] ppid=10592 vsize=41928 CPUtime=402.18 cores=0,2,4,6,8,10,12,14
/proc/10595/stat : 10595 (MistralXCSP) R 10592 10595 9838 0 -1 4202496 24250 0 0 0 40217 1 0 0 20 0 1 0 578681 42934272 4258 33554432000 4194304 7402444 140726436109792 140726436104040 4361303 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22048768 140726436111528 140726436111678 140726436111678 140726436114377 0
/proc/10595/statm: 10482 4258 800 784 0 3496 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 41928
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/243 10611
/proc/meminfo: memFree=31982936/32770624 swapFree=5952/210792
[pid=10595] ppid=10592 vsize=41928 CPUtime=462.16 cores=0,2,4,6,8,10,12,14
/proc/10595/stat : 10595 (MistralXCSP) R 10592 10595 9838 0 -1 4202496 24717 0 0 0 46215 1 0 0 20 0 1 0 578681 42934272 4261 33554432000 4194304 7402444 140726436109792 140726436104040 5877540 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22048768 140726436111528 140726436111678 140726436111678 140726436114377 0
/proc/10595/statm: 10482 4261 800 784 0 3496 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 41928
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/243 10612
/proc/meminfo: memFree=31983160/32770624 swapFree=5952/210828
[pid=10595] ppid=10592 vsize=41928 CPUtime=522.14 cores=0,2,4,6,8,10,12,14
/proc/10595/stat : 10595 (MistralXCSP) R 10592 10595 9838 0 -1 4202496 25180 0 0 0 52213 1 0 0 20 0 1 0 578681 42934272 4264 33554432000 4194304 7402444 140726436109792 140726436104040 5726930 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22048768 140726436111528 140726436111678 140726436111678 140726436114377 0
/proc/10595/statm: 10482 4264 800 784 0 3496 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 41928
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/243 10613
/proc/meminfo: memFree=31983072/32770624 swapFree=5952/210876
[pid=10595] ppid=10592 vsize=41928 CPUtime=582.13 cores=0,2,4,6,8,10,12,14
/proc/10595/stat : 10595 (MistralXCSP) R 10592 10595 9838 0 -1 4202496 25634 0 0 0 58212 1 0 0 20 0 1 0 578681 42934272 4267 33554432000 4194304 7402444 140726436109792 140726436104040 139778658533341 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22048768 140726436111528 140726436111678 140726436111678 140726436114377 0
/proc/10595/statm: 10482 4267 800 784 0 3496 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 41928
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.03 2.02 3/244 10646
/proc/meminfo: memFree=31979588/32770624 swapFree=5912/211476
[pid=10595] ppid=10592 vsize=42060 CPUtime=1541.9 cores=0,2,4,6,8,10,12,14
/proc/10595/stat : 10595 (MistralXCSP) R 10592 10595 9838 0 -1 4202496 33559 0 0 0 154189 1 0 0 20 0 1 0 578681 43069440 4305 33554432000 4194304 7402444 140726436109792 140726436104056 5691104 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22048768 140726436111528 140726436111678 140726436111678 140726436114377 0
/proc/10595/statm: 10515 4305 800 784 0 3529 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 42060
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/244 10647
/proc/meminfo: memFree=31980012/32770624 swapFree=5912/211512
[pid=10595] ppid=10592 vsize=42060 CPUtime=1601.88 cores=0,2,4,6,8,10,12,14
/proc/10595/stat : 10595 (MistralXCSP) R 10592 10595 9838 0 -1 4202496 34055 0 0 0 160187 1 0 0 20 0 1 0 578681 43069440 4305 33554432000 4194304 7402444 140726436109792 140726436104056 4489752 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22048768 140726436111528 140726436111678 140726436111678 140726436114377 0
/proc/10595/statm: 10515 4305 800 784 0 3529 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 42060
[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 2.03 3/244 10648
/proc/meminfo: memFree=31979568/32770624 swapFree=5912/211552
[pid=10595] ppid=10592 vsize=42060 CPUtime=1661.86 cores=0,2,4,6,8,10,12,14
/proc/10595/stat : 10595 (MistralXCSP) R 10592 10595 9838 0 -1 4202496 34558 0 0 0 166185 1 0 0 20 0 1 0 578681 43069440 4306 33554432000 4194304 7402444 140726436109792 140726436104056 5871069 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22048768 140726436111528 140726436111678 140726436111678 140726436114377 0
/proc/10595/statm: 10515 4306 800 784 0 3529 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 42060
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.03 3/244 10649
/proc/meminfo: memFree=31979752/32770624 swapFree=5912/211588
[pid=10595] ppid=10592 vsize=42060 CPUtime=1721.85 cores=0,2,4,6,8,10,12,14
/proc/10595/stat : 10595 (MistralXCSP) R 10592 10595 9838 0 -1 4202496 35055 0 0 0 172184 1 0 0 20 0 1 0 578681 43069440 4307 33554432000 4194304 7402444 140726436109792 140726436104056 4361424 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22048768 140726436111528 140726436111678 140726436111678 140726436114377 0
/proc/10595/statm: 10515 4307 800 784 0 3529 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 42060
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/244 10650
/proc/meminfo: memFree=31979920/32770624 swapFree=5912/211632
[pid=10595] ppid=10592 vsize=42060 CPUtime=1781.84 cores=0,2,4,6,8,10,12,14
/proc/10595/stat : 10595 (MistralXCSP) R 10592 10595 9838 0 -1 4202496 35567 0 0 0 178183 1 0 0 20 0 1 0 578681 43069440 4308 33554432000 4194304 7402444 140726436109792 140726436104056 4361758 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22048768 140726436111528 140726436111678 140726436111678 140726436114377 0
/proc/10595/statm: 10515 4308 800 784 0 3529 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 42060
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/243 10651
/proc/meminfo: memFree=31979312/32770624 swapFree=5912/211672
[pid=10595] ppid=10592 vsize=42060 CPUtime=1841.82 cores=0,2,4,6,8,10,12,14
/proc/10595/stat : 10595 (MistralXCSP) R 10592 10595 9838 0 -1 4202496 36081 0 0 0 184181 1 0 0 20 0 1 0 578681 43069440 4310 33554432000 4194304 7402444 140726436109792 140726436104056 5750552 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22048768 140726436111528 140726436111678 140726436111678 140726436114377 0
/proc/10595/statm: 10515 4310 800 784 0 3529 0
Current children cumulated CPU time (s) 1841.82
Current children cumulated vsize (KiB) 42060
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/243 10652
/proc/meminfo: memFree=31979224/32770624 swapFree=5912/211708
[pid=10595] ppid=10592 vsize=42060 CPUtime=1901.81 cores=0,2,4,6,8,10,12,14
/proc/10595/stat : 10595 (MistralXCSP) R 10592 10595 9838 0 -1 4202496 36572 0 0 0 190180 1 0 0 20 0 1 0 578681 43069440 4310 33554432000 4194304 7402444 140726436109792 140726436104056 5327242 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22048768 140726436111528 140726436111678 140726436111678 140726436114377 0
/proc/10595/statm: 10515 4310 800 784 0 3529 0
Current children cumulated CPU time (s) 1901.81
Current children cumulated vsize (KiB) 42060
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/243 10653
/proc/meminfo: memFree=31979724/32770624 swapFree=5912/211748
[pid=10595] ppid=10592 vsize=42060 CPUtime=1961.79 cores=0,2,4,6,8,10,12,14
/proc/10595/stat : 10595 (MistralXCSP) R 10592 10595 9838 0 -1 4202496 37072 0 0 0 196178 1 0 0 20 0 1 0 578681 43069440 4310 33554432000 4194304 7402444 140726436109792 140726436104056 4747750 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22048768 140726436111528 140726436111678 140726436111678 140726436114377 0
/proc/10595/statm: 10515 4310 800 784 0 3529 0
Current children cumulated CPU time (s) 1961.79
Current children cumulated vsize (KiB) 42060
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/243 10654
/proc/meminfo: memFree=31979192/32770624 swapFree=5912/211784
[pid=10595] ppid=10592 vsize=42060 CPUtime=2021.78 cores=0,2,4,6,8,10,12,14
/proc/10595/stat : 10595 (MistralXCSP) R 10592 10595 9838 0 -1 4202496 37567 0 0 0 202177 1 0 0 20 0 1 0 578681 43069440 4310 33554432000 4194304 7402444 140726436109792 140726436104056 139778658516648 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22048768 140726436111528 140726436111678 140726436111678 140726436114377 0
/proc/10595/statm: 10515 4310 800 784 0 3529 0
Current children cumulated CPU time (s) 2021.78
Current children cumulated vsize (KiB) 42060
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/243 10655
/proc/meminfo: memFree=31979468/32770624 swapFree=5912/211832
[pid=10595] ppid=10592 vsize=42060 CPUtime=2081.78 cores=0,2,4,6,8,10,12,14
/proc/10595/stat : 10595 (MistralXCSP) R 10592 10595 9838 0 -1 4202496 38057 0 0 0 208176 2 0 0 20 0 1 0 578681 43069440 4310 33554432000 4194304 7402444 140726436109792 140726436104056 4361856 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22048768 140726436111528 140726436111678 140726436111678 140726436114377 0
/proc/10595/statm: 10515 4310 800 784 0 3529 0
Current children cumulated CPU time (s) 2081.78
Current children cumulated vsize (KiB) 42060
[startup+2142.3 s]
/proc/loadavg: 2.04 2.03 2.04 3/243 10663
/proc/meminfo: memFree=31979300/32770624 swapFree=5912/211836
[pid=10595] ppid=10592 vsize=42060 CPUtime=2141.76 cores=0,2,4,6,8,10,12,14
/proc/10595/stat : 10595 (MistralXCSP) R 10592 10595 9838 0 -1 4202496 38554 0 0 0 214174 2 0 0 20 0 1 0 578681 43069440 4310 33554432000 4194304 7402444 140726436109792 140726436104056 4379221 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22048768 140726436111528 140726436111678 140726436111678 140726436114377 0
/proc/10595/statm: 10515 4310 800 784 0 3529 0
Current children cumulated CPU time (s) 2141.76
Current children cumulated vsize (KiB) 42060
[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.04 3/243 10664
/proc/meminfo: memFree=31978480/32770624 swapFree=5912/211872
[pid=10595] ppid=10592 vsize=42060 CPUtime=2201.75 cores=0,2,4,6,8,10,12,14
/proc/10595/stat : 10595 (MistralXCSP) R 10592 10595 9838 0 -1 4202496 39058 0 0 0 220173 2 0 0 20 0 1 0 578681 43069440 4310 33554432000 4194304 7402444 140726436109792 140726436104056 4379281 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22048768 140726436111528 140726436111678 140726436111678 140726436114377 0
/proc/10595/statm: 10515 4310 800 784 0 3529 0
Current children cumulated CPU time (s) 2201.75
Current children cumulated vsize (KiB) 42060
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.04 3/243 10665
/proc/meminfo: memFree=31979440/32770624 swapFree=5912/211916
[pid=10595] ppid=10592 vsize=42060 CPUtime=2261.73 cores=0,2,4,6,8,10,12,14
/proc/10595/stat : 10595 (MistralXCSP) R 10592 10595 9838 0 -1 4202496 39563 0 0 0 226171 2 0 0 20 0 1 0 578681 43069440 4310 33554432000 4194304 7402444 140726436109792 140726436104056 5871069 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22048768 140726436111528 140726436111678 140726436111678 140726436114377 0
/proc/10595/statm: 10515 4310 800 784 0 3529 0
Current children cumulated CPU time (s) 2261.73
Current children cumulated vsize (KiB) 42060
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/243 10666
/proc/meminfo: memFree=31979708/32770624 swapFree=5912/211944
[pid=10595] ppid=10592 vsize=42060 CPUtime=2321.71 cores=0,2,4,6,8,10,12,14
/proc/10595/stat : 10595 (MistralXCSP) R 10592 10595 9838 0 -1 4202496 40060 0 0 0 232169 2 0 0 20 0 1 0 578681 43069440 4310 33554432000 4194304 7402444 140726436109792 140726436104056 4490061 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22048768 140726436111528 140726436111678 140726436111678 140726436114377 0
/proc/10595/statm: 10515 4310 800 784 0 3529 0
Current children cumulated CPU time (s) 2321.71
Current children cumulated vsize (KiB) 42060
[startup+2382.3 s]
/proc/loadavg: 2.04 2.03 2.04 3/243 10733
/proc/meminfo: memFree=31962160/32770624 swapFree=5912/212088
[pid=10595] ppid=10592 vsize=42060 CPUtime=2381.69 cores=0,2,4,6,8,10,12,14
/proc/10595/stat : 10595 (MistralXCSP) R 10592 10595 9838 0 -1 4202496 40567 0 0 0 238167 2 0 0 20 0 1 0 578681 43069440 4310 33554432000 4194304 7402444 140726436109792 140726436104056 4378449 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22048768 140726436111528 140726436111678 140726436111678 140726436114377 0
/proc/10595/statm: 10515 4310 800 784 0 3529 0
Current children cumulated CPU time (s) 2381.69
Current children cumulated vsize (KiB) 42060
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.7 s]
/proc/loadavg: 2.03 2.02 2.04 3/243 10733
/proc/meminfo: memFree=31962160/32770624 swapFree=5912/212096
[pid=10595] ppid=10592 vsize=42060 CPUtime=2400.08 cores=0,2,4,6,8,10,12,14
/proc/10595/stat : 10595 (MistralXCSP) R 10592 10595 9838 0 -1 4202496 41056 0 0 0 240006 2 0 0 20 0 1 0 578681 43069440 4311 33554432000 4194304 7402444 140726436109792 140726436104056 5327254 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22048768 140726436111528 140726436111678 140726436111678 140726436114377 0
/proc/10595/statm: 10515 4311 800 784 0 3529 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 42060
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 10595 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.7 s]
/proc/loadavg: 2.03 2.02 2.04 3/243 10733
/proc/meminfo: memFree=31962160/32770624 swapFree=5912/212096
[pid=10595] ppid=10592 vsize=42060 CPUtime=2400.08 cores=0,2,4,6,8,10,12,14
/proc/10595/stat : 10595 (MistralXCSP) R 10592 10595 9838 0 -1 4202496 41056 0 0 0 240006 2 0 0 20 0 1 0 578681 43069440 4311 33554432000 4194304 7402444 140726436109792 140726436104056 5327254 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22048768 140726436111528 140726436111678 140726436111678 140726436114377 0
/proc/10595/statm: 10515 4311 800 784 0 3529 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 42060
Child status: 0
Real time (s): 2400.7
CPU time (s): 2400.09
CPU user time (s): 2400.07
CPU system time (s): 0.023993
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 42060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.07
system time used= 0.023993
maximum resident set size= 17268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41087
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= 11
involuntary context switches= 120801
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.68031 second user time and 10.7113 second system time
The end