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-4242594-1500657801/watcher-4242594-1500657801 -o /tmp/evaluation-result-4242594-1500657801/solver-4242594-1500657801 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1500648178-2477 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 244687382 HOME/instance-4242594-1500657801.xml
pid=4574
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: 2.01 2.02 2.05 3/242 4577
/proc/meminfo: memFree=31929280/32770624 swapFree=5956/213048
[pid=4577] ppid=4574 vsize=28928 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4577/stat : 4577 (MistralXCSP) R 4574 4577 2444 0 -1 4202496 978 0 0 0 0 0 0 0 20 0 1 0 1048648 29622272 796 33554432000 4194304 7402444 140734560414032 140734560411080 6137196 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 9500608 9505824 32546816 140734560416937 140734560417086 140734560417086 140734560419785 0
/proc/4577/statm: 7232 796 593 784 0 246 0
[startup+0.100151 s]
/proc/loadavg: 2.01 2.02 2.05 3/242 4577
/proc/meminfo: memFree=31929280/32770624 swapFree=5956/213048
[pid=4577] ppid=4574 vsize=33276 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/4577/stat : 4577 (MistralXCSP) R 4574 4577 2444 0 -1 4202496 2187 0 0 0 9 0 0 0 20 0 1 0 1048648 34074624 1950 33554432000 4194304 7402444 140734560414032 140734560404104 5910901 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 9500608 9505824 32546816 140734560416937 140734560417086 140734560417086 140734560419785 0
/proc/4577/statm: 8319 1950 678 784 0 1333 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33276
[startup+0.200352 s]
/proc/loadavg: 2.01 2.02 2.05 3/242 4577
/proc/meminfo: memFree=31929280/32770624 swapFree=5956/213048
[pid=4577] ppid=4574 vsize=34672 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/4577/stat : 4577 (MistralXCSP) R 4574 4577 2444 0 -1 4202496 2576 0 0 0 19 0 0 0 20 0 1 0 1048648 35504128 2360 33554432000 4194304 7402444 140734560414032 140734560408664 4463914 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 32546816 140734560416937 140734560417086 140734560417086 140734560419785 0
/proc/4577/statm: 8668 2360 722 784 0 1682 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34672
[startup+0.300249 s]
/proc/loadavg: 2.01 2.02 2.05 3/242 4577
/proc/meminfo: memFree=31929280/32770624 swapFree=5956/213048
[pid=4577] ppid=4574 vsize=34924 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/4577/stat : 4577 (MistralXCSP) R 4574 4577 2444 0 -1 4202496 2644 0 0 0 29 0 0 0 20 0 1 0 1048648 35762176 2426 33554432000 4194304 7402444 140734560414032 140734560408664 4463845 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 32546816 140734560416937 140734560417086 140734560417086 140734560419785 0
/proc/4577/statm: 8731 2426 730 784 0 1745 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34924
[startup+0.700224 s]
/proc/loadavg: 2.01 2.02 2.05 3/242 4577
/proc/meminfo: memFree=31929280/32770624 swapFree=5956/213048
[pid=4577] ppid=4574 vsize=34924 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/4577/stat : 4577 (MistralXCSP) R 4574 4577 2444 0 -1 4202496 2650 0 0 0 69 0 0 0 20 0 1 0 1048648 35762176 2426 33554432000 4194304 7402444 140734560414032 140734560408664 4466912 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 32546816 140734560416937 140734560417086 140734560417086 140734560419785 0
/proc/4577/statm: 8731 2426 730 784 0 1745 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34924
[startup+1.50022 s]
/proc/loadavg: 1.93 2.00 2.04 3/243 4578
/proc/meminfo: memFree=31922172/32770624 swapFree=5956/213048
[pid=4577] ppid=4574 vsize=35064 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/4577/stat : 4577 (MistralXCSP) R 4574 4577 2444 0 -1 4202496 2681 0 0 0 149 0 0 0 20 0 1 0 1048648 35905536 2426 33554432000 4194304 7402444 140734560414032 140734560408552 5327250 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 32546816 140734560416937 140734560417086 140734560417086 140734560419785 0
/proc/4577/statm: 8766 2426 730 784 0 1780 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35064
[startup+3.10022 s]
/proc/loadavg: 1.93 2.00 2.04 3/243 4578
/proc/meminfo: memFree=31921240/32770624 swapFree=5956/213096
[pid=4577] ppid=4574 vsize=35064 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/4577/stat : 4577 (MistralXCSP) R 4574 4577 2444 0 -1 4202496 3750 0 0 0 309 0 0 0 20 0 1 0 1048648 35905536 2474 33554432000 4194304 7402444 140734560414032 140734560408552 4465465 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 32546816 140734560416937 140734560417086 140734560417086 140734560419785 0
/proc/4577/statm: 8766 2474 732 784 0 1780 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35064
[startup+6.30022 s]
/proc/loadavg: 1.93 2.00 2.04 3/243 4578
/proc/meminfo: memFree=31921224/32770624 swapFree=5956/213104
[pid=4577] ppid=4574 vsize=35064 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/4577/stat : 4577 (MistralXCSP) R 4574 4577 2444 0 -1 4202496 4854 0 0 0 629 0 0 0 20 0 1 0 1048648 35905536 2474 33554432000 4194304 7402444 140734560414032 140734560408552 5750448 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 32546816 140734560416937 140734560417086 140734560417086 140734560419785 0
/proc/4577/statm: 8766 2474 732 784 0 1780 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35064
[startup+12.7002 s]
/proc/loadavg: 1.94 2.00 2.04 3/243 4578
/proc/meminfo: memFree=31920356/32770624 swapFree=5956/213104
[pid=4577] ppid=4574 vsize=35280 CPUtime=12.68 cores=1,3,5,7,9,11,13,15
/proc/4577/stat : 4577 (MistralXCSP) R 4574 4577 2444 0 -1 4202496 6017 0 0 0 1268 0 0 0 20 0 1 0 1048648 36126720 2513 33554432000 4194304 7402444 140734560414032 140734560408568 4463792 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 32546816 140734560416937 140734560417086 140734560417086 140734560419785 0
/proc/4577/statm: 8820 2513 732 784 0 1834 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 35280
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/243 4578
/proc/meminfo: memFree=31920356/32770624 swapFree=5956/213120
[pid=4577] ppid=4574 vsize=35280 CPUtime=25.48 cores=1,3,5,7,9,11,13,15
/proc/4577/stat : 4577 (MistralXCSP) R 4574 4577 2444 0 -1 4202496 8209 0 0 0 2548 0 0 0 20 0 1 0 1048648 36126720 2528 33554432000 4194304 7402444 140734560414032 140734560408568 5750720 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 32546816 140734560416937 140734560417086 140734560417086 140734560419785 0
/proc/4577/statm: 8820 2528 732 784 0 1834 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 35280
[startup+51.1002 s]
/proc/loadavg: 1.97 2.00 2.04 3/243 4578
/proc/meminfo: memFree=31920464/32770624 swapFree=5956/213080
[pid=4577] ppid=4574 vsize=35280 CPUtime=51.08 cores=1,3,5,7,9,11,13,15
/proc/4577/stat : 4577 (MistralXCSP) R 4574 4577 2444 0 -1 4202496 9323 0 0 0 5108 0 0 0 20 0 1 0 1048648 36126720 2528 33554432000 4194304 7402444 140734560414032 140734560408568 4466976 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 32546816 140734560416937 140734560417086 140734560417086 140734560419785 0
/proc/4577/statm: 8820 2528 732 784 0 1834 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 35280
[startup+102.3 s]
/proc/loadavg: 2.05 2.02 2.05 3/243 4580
/proc/meminfo: memFree=31920208/32770624 swapFree=5956/213120
[pid=4577] ppid=4574 vsize=35280 CPUtime=102.28 cores=1,3,5,7,9,11,13,15
/proc/4577/stat : 4577 (MistralXCSP) R 4574 4577 2444 0 -1 4202496 10447 0 0 0 10228 0 0 0 20 0 1 0 1048648 36126720 2528 33554432000 4194304 7402444 140734560414032 140734560408568 4466967 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 32546816 140734560416937 140734560417086 140734560417086 140734560419785 0
/proc/4577/statm: 8820 2528 732 784 0 1834 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 35280
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/243 4581
/proc/meminfo: memFree=31920008/32770624 swapFree=5956/213160
[pid=4577] ppid=4574 vsize=35280 CPUtime=162.27 cores=1,3,5,7,9,11,13,15
/proc/4577/stat : 4577 (MistralXCSP) R 4574 4577 2444 0 -1 4202496 10755 0 0 0 16227 0 0 0 20 0 1 0 1048648 36126720 2528 33554432000 4194304 7402444 140734560414032 140734560408568 4466976 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 32546816 140734560416937 140734560417086 140734560417086 140734560419785 0
/proc/4577/statm: 8820 2528 732 784 0 1834 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 35280
[startup+222.308 s]
/proc/loadavg: 2.01 2.01 2.05 4/243 4648
/proc/meminfo: memFree=31545868/32770624 swapFree=5956/213296
[pid=4577] ppid=4574 vsize=35280 CPUtime=222.28 cores=1,3,5,7,9,11,13,15
/proc/4577/stat : 4577 (MistralXCSP) R 4574 4577 2444 0 -1 4202496 11067 0 0 0 22228 0 0 0 20 0 1 0 1048648 36126720 2528 33554432000 4194304 7402444 140734560414032 140734560408568 5327213 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 32546816 140734560416937 140734560417086 140734560417086 140734560419785 0
/proc/4577/statm: 8820 2528 732 784 0 1834 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 35280
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4650
/proc/meminfo: memFree=31545660/32770624 swapFree=5956/213396
[pid=4577] ppid=4574 vsize=35280 CPUtime=282.26 cores=1,3,5,7,9,11,13,15
/proc/4577/stat : 4577 (MistralXCSP) R 4574 4577 2444 0 -1 4202496 11379 0 0 0 28226 0 0 0 20 0 1 0 1048648 36126720 2528 33554432000 4194304 7402444 140734560414032 140734560408568 4466976 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 32546816 140734560416937 140734560417086 140734560417086 140734560419785 0
/proc/4577/statm: 8820 2528 732 784 0 1834 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 35280
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4651
/proc/meminfo: memFree=31545952/32770624 swapFree=5956/213488
[pid=4577] ppid=4574 vsize=35280 CPUtime=342.26 cores=1,3,5,7,9,11,13,15
/proc/4577/stat : 4577 (MistralXCSP) R 4574 4577 2444 0 -1 4202496 11690 0 0 0 34226 0 0 0 20 0 1 0 1048648 36126720 2528 33554432000 4194304 7402444 140734560414032 140734560408568 4466947 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 32546816 140734560416937 140734560417086 140734560417086 140734560419785 0
/proc/4577/statm: 8820 2528 732 784 0 1834 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 35280
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4660
/proc/meminfo: memFree=31544352/32770624 swapFree=5956/213540
[pid=4577] ppid=4574 vsize=35280 CPUtime=402.26 cores=1,3,5,7,9,11,13,15
/proc/4577/stat : 4577 (MistralXCSP) R 4574 4577 2444 0 -1 4202496 12001 0 0 0 40226 0 0 0 20 0 1 0 1048648 36126720 2528 33554432000 4194304 7402444 140734560414032 140734560408568 5327204 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 32546816 140734560416937 140734560417086 140734560417086 140734560419785 0
/proc/4577/statm: 8820 2528 732 784 0 1834 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 35280
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4661
/proc/meminfo: memFree=31544820/32770624 swapFree=5956/213608
[pid=4577] ppid=4574 vsize=35280 CPUtime=462.25 cores=1,3,5,7,9,11,13,15
/proc/4577/stat : 4577 (MistralXCSP) R 4574 4577 2444 0 -1 4202496 12308 0 0 0 46225 0 0 0 20 0 1 0 1048648 36126720 2528 33554432000 4194304 7402444 140734560414032 140734560408568 4466654 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 32546816 140734560416937 140734560417086 140734560417086 140734560419785 0
/proc/4577/statm: 8820 2528 732 784 0 1834 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 35280
[startup+522.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/244 4662
/proc/meminfo: memFree=31544424/32770624 swapFree=5956/213672
[pid=4577] ppid=4574 vsize=35280 CPUtime=522.25 cores=1,3,5,7,9,11,13,15
/proc/4577/stat : 4577 (MistralXCSP) R 4574 4577 2444 0 -1 4202496 12627 0 0 0 52225 0 0 0 20 0 1 0 1048648 36126720 2528 33554432000 4194304 7402444 140734560414032 140734560408568 5750459 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 32546816 140734560416937 140734560417086 140734560417086 140734560419785 0
/proc/4577/statm: 8820 2528 732 784 0 1834 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 35280
[startup+582.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/244 4663
/proc/meminfo: memFree=31544644/32770624 swapFree=5956/213716
[pid=4577] ppid=4574 vsize=35280 CPUtime=582.25 cores=1,3,5,7,9,11,13,15
/proc/4577/stat : 4577 (MistralXCSP) R 4574 4577 2444 0 -1 4202496 12943 0 0 0 58225 0 0 0 20 0 1 0 1048648 36126720 2528 33554432000 4194304 7402444 140734560414032 140734560408568 5750704 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 32546816 140734560416937 140734560417086 140734560417086 140734560419785 0
/proc/4577/statm: 8820 2528 732 784 0 1834 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 35280
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4685
/proc/meminfo: memFree=31544668/32770624 swapFree=5956/214300
[pid=4577] ppid=4574 vsize=35280 CPUtime=1482.2 cores=1,3,5,7,9,11,13,15
/proc/4577/stat : 4577 (MistralXCSP) R 4574 4577 2444 0 -1 4202496 17624 0 0 0 148219 1 0 0 20 0 1 0 1048648 36126720 2528 33554432000 4194304 7402444 140734560414032 140734560408568 5750735 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 32546816 140734560416937 140734560417086 140734560417086 140734560419785 0
/proc/4577/statm: 8820 2528 732 784 0 1834 0
Current children cumulated CPU time (s) 1482.2
Current children cumulated vsize (KiB) 35280
[startup+1542.31 s]
/proc/loadavg: 2.08 2.03 2.05 3/242 4686
/proc/meminfo: memFree=31544292/32770624 swapFree=5956/214160
[pid=4577] ppid=4574 vsize=35280 CPUtime=1542.2 cores=1,3,5,7,9,11,13,15
/proc/4577/stat : 4577 (MistralXCSP) R 4574 4577 2444 0 -1 4202496 17933 0 0 0 154219 1 0 0 20 0 1 0 1048648 36126720 2528 33554432000 4194304 7402444 140734560414032 140734560408568 5750740 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 32546816 140734560416937 140734560417086 140734560417086 140734560419785 0
/proc/4577/statm: 8820 2528 732 784 0 1834 0
Current children cumulated CPU time (s) 1542.2
Current children cumulated vsize (KiB) 35280
[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/243 4695
/proc/meminfo: memFree=31543208/32770624 swapFree=5956/214200
[pid=4577] ppid=4574 vsize=35280 CPUtime=1602.19 cores=1,3,5,7,9,11,13,15
/proc/4577/stat : 4577 (MistralXCSP) R 4574 4577 2444 0 -1 4202496 18261 0 0 0 160218 1 0 0 20 0 1 0 1048648 36126720 2528 33554432000 4194304 7402444 140734560414032 140734560408568 4463923 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 32546816 140734560416937 140734560417086 140734560417086 140734560419785 0
/proc/4577/statm: 8820 2528 732 784 0 1834 0
Current children cumulated CPU time (s) 1602.19
Current children cumulated vsize (KiB) 35280
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4696
/proc/meminfo: memFree=31543672/32770624 swapFree=5956/214240
[pid=4577] ppid=4574 vsize=35280 CPUtime=1662.19 cores=1,3,5,7,9,11,13,15
/proc/4577/stat : 4577 (MistralXCSP) R 4574 4577 2444 0 -1 4202496 18577 0 0 0 166218 1 0 0 20 0 1 0 1048648 36126720 2528 33554432000 4194304 7402444 140734560414032 140734560408568 4463859 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 32546816 140734560416937 140734560417086 140734560417086 140734560419785 0
/proc/4577/statm: 8820 2528 732 784 0 1834 0
Current children cumulated CPU time (s) 1662.19
Current children cumulated vsize (KiB) 35280
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4697
/proc/meminfo: memFree=31543584/32770624 swapFree=5956/214276
[pid=4577] ppid=4574 vsize=35280 CPUtime=1722.19 cores=1,3,5,7,9,11,13,15
/proc/4577/stat : 4577 (MistralXCSP) R 4574 4577 2444 0 -1 4202496 18888 0 0 0 172218 1 0 0 20 0 1 0 1048648 36126720 2528 33554432000 4194304 7402444 140734560414032 140734560408568 4466976 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 32546816 140734560416937 140734560417086 140734560417086 140734560419785 0
/proc/4577/statm: 8820 2528 732 784 0 1834 0
Current children cumulated CPU time (s) 1722.19
Current children cumulated vsize (KiB) 35280
[startup+1782.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 4698
/proc/meminfo: memFree=31543236/32770624 swapFree=5956/214312
[pid=4577] ppid=4574 vsize=35280 CPUtime=1782.18 cores=1,3,5,7,9,11,13,15
/proc/4577/stat : 4577 (MistralXCSP) R 4574 4577 2444 0 -1 4202496 19203 0 0 0 178217 1 0 0 20 0 1 0 1048648 36126720 2528 33554432000 4194304 7402444 140734560414032 140734560408568 5871081 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 32546816 140734560416937 140734560417086 140734560417086 140734560419785 0
/proc/4577/statm: 8820 2528 732 784 0 1834 0
Current children cumulated CPU time (s) 1782.18
Current children cumulated vsize (KiB) 35280
[startup+1842.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 4699
/proc/meminfo: memFree=31542940/32770624 swapFree=5956/214340
[pid=4577] ppid=4574 vsize=35280 CPUtime=1842.18 cores=1,3,5,7,9,11,13,15
/proc/4577/stat : 4577 (MistralXCSP) R 4574 4577 2444 0 -1 4202496 19515 0 0 0 184217 1 0 0 20 0 1 0 1048648 36126720 2528 33554432000 4194304 7402444 140734560414032 140734560408568 4463833 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 32546816 140734560416937 140734560417086 140734560417086 140734560419785 0
/proc/4577/statm: 8820 2528 732 784 0 1834 0
Current children cumulated CPU time (s) 1842.18
Current children cumulated vsize (KiB) 35280
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4701
/proc/meminfo: memFree=31542424/32770624 swapFree=5956/214384
[pid=4577] ppid=4574 vsize=35280 CPUtime=1902.18 cores=1,3,5,7,9,11,13,15
/proc/4577/stat : 4577 (MistralXCSP) R 4574 4577 2444 0 -1 4202496 19826 0 0 0 190217 1 0 0 20 0 1 0 1048648 36126720 2528 33554432000 4194304 7402444 140734560414032 140734560408568 4466947 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 32546816 140734560416937 140734560417086 140734560417086 140734560419785 0
/proc/4577/statm: 8820 2528 732 784 0 1834 0
Current children cumulated CPU time (s) 1902.18
Current children cumulated vsize (KiB) 35280
[startup+1962.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 4702
/proc/meminfo: memFree=31542640/32770624 swapFree=5956/214424
[pid=4577] ppid=4574 vsize=35280 CPUtime=1962.17 cores=1,3,5,7,9,11,13,15
/proc/4577/stat : 4577 (MistralXCSP) R 4574 4577 2444 0 -1 4202496 20132 0 0 0 196216 1 0 0 20 0 1 0 1048648 36126720 2528 33554432000 4194304 7402444 140734560414032 140734560408568 4466947 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 32546816 140734560416937 140734560417086 140734560417086 140734560419785 0
/proc/4577/statm: 8820 2528 732 784 0 1834 0
Current children cumulated CPU time (s) 1962.17
Current children cumulated vsize (KiB) 35280
[startup+2022.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/243 4703
/proc/meminfo: memFree=31543048/32770624 swapFree=5956/214464
[pid=4577] ppid=4574 vsize=35280 CPUtime=2022.17 cores=1,3,5,7,9,11,13,15
/proc/4577/stat : 4577 (MistralXCSP) R 4574 4577 2444 0 -1 4202496 20435 0 0 0 202216 1 0 0 20 0 1 0 1048648 36126720 2528 33554432000 4194304 7402444 140734560414032 140734560408568 4465423 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 32546816 140734560416937 140734560417086 140734560417086 140734560419785 0
/proc/4577/statm: 8820 2528 732 784 0 1834 0
Current children cumulated CPU time (s) 2022.17
Current children cumulated vsize (KiB) 35280
[startup+2082.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/243 4705
/proc/meminfo: memFree=31542660/32770624 swapFree=5956/214492
[pid=4577] ppid=4574 vsize=35280 CPUtime=2082.17 cores=1,3,5,7,9,11,13,15
/proc/4577/stat : 4577 (MistralXCSP) R 4574 4577 2444 0 -1 4202496 20668 0 0 0 208216 1 0 0 20 0 1 0 1048648 36126720 2528 33554432000 4194304 7402444 140734560414032 140734560408568 5750479 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 32546816 140734560416937 140734560417086 140734560417086 140734560419785 0
/proc/4577/statm: 8820 2528 732 784 0 1834 0
Current children cumulated CPU time (s) 2082.17
Current children cumulated vsize (KiB) 35280
[startup+2142.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 4706
/proc/meminfo: memFree=31542884/32770624 swapFree=5956/214536
[pid=4577] ppid=4574 vsize=35280 CPUtime=2142.16 cores=1,3,5,7,9,11,13,15
/proc/4577/stat : 4577 (MistralXCSP) R 4574 4577 2444 0 -1 4202496 20907 0 0 0 214215 1 0 0 20 0 1 0 1048648 36126720 2528 33554432000 4194304 7402444 140734560414032 140734560408568 4465472 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 32546816 140734560416937 140734560417086 140734560417086 140734560419785 0
/proc/4577/statm: 8820 2528 732 784 0 1834 0
Current children cumulated CPU time (s) 2142.16
Current children cumulated vsize (KiB) 35280
[startup+2202.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/244 4715
/proc/meminfo: memFree=31542008/32770624 swapFree=5956/214584
[pid=4577] ppid=4574 vsize=35280 CPUtime=2202.17 cores=1,3,5,7,9,11,13,15
/proc/4577/stat : 4577 (MistralXCSP) R 4574 4577 2444 0 -1 4202496 21214 0 0 0 220216 1 0 0 20 0 1 0 1048648 36126720 2528 33554432000 4194304 7402444 140734560414032 140734560408568 4463806 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 32546816 140734560416937 140734560417086 140734560417086 140734560419785 0
/proc/4577/statm: 8820 2528 732 784 0 1834 0
Current children cumulated CPU time (s) 2202.17
Current children cumulated vsize (KiB) 35280
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/244 4738
/proc/meminfo: memFree=31540404/32770624 swapFree=5956/214628
[pid=4577] ppid=4574 vsize=35280 CPUtime=2262.16 cores=1,3,5,7,9,11,13,15
/proc/4577/stat : 4577 (MistralXCSP) R 4574 4577 2444 0 -1 4202496 21522 0 0 0 226215 1 0 0 20 0 1 0 1048648 36126720 2528 33554432000 4194304 7402444 140734560414032 140734560408568 4465423 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 32546816 140734560416937 140734560417086 140734560417086 140734560419785 0
/proc/4577/statm: 8820 2528 732 784 0 1834 0
Current children cumulated CPU time (s) 2262.16
Current children cumulated vsize (KiB) 35280
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4739
/proc/meminfo: memFree=31541592/32770624 swapFree=5956/214676
[pid=4577] ppid=4574 vsize=35280 CPUtime=2322.15 cores=1,3,5,7,9,11,13,15
/proc/4577/stat : 4577 (MistralXCSP) R 4574 4577 2444 0 -1 4202496 21831 0 0 0 232214 1 0 0 20 0 1 0 1048648 36126720 2528 33554432000 4194304 7402444 140734560414032 140734560408568 4466976 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 32546816 140734560416937 140734560417086 140734560417086 140734560419785 0
/proc/4577/statm: 8820 2528 732 784 0 1834 0
Current children cumulated CPU time (s) 2322.15
Current children cumulated vsize (KiB) 35280
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4740
/proc/meminfo: memFree=31542040/32770624 swapFree=5956/214716
[pid=4577] ppid=4574 vsize=35280 CPUtime=2382.15 cores=1,3,5,7,9,11,13,15
/proc/4577/stat : 4577 (MistralXCSP) R 4574 4577 2444 0 -1 4202496 22142 0 0 0 238214 1 0 0 20 0 1 0 1048648 36126720 2528 33554432000 4194304 7402444 140734560414032 140734560408568 4466927 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 32546816 140734560416937 140734560417086 140734560417086 140734560419785 0
/proc/4577/statm: 8820 2528 732 784 0 1834 0
Current children cumulated CPU time (s) 2382.15
Current children cumulated vsize (KiB) 35280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4740
/proc/meminfo: memFree=31542340/32770624 swapFree=5956/214732
[pid=4577] ppid=4574 vsize=35280 CPUtime=2400.06 cores=1,3,5,7,9,11,13,15
/proc/4577/stat : 4577 (MistralXCSP) R 4574 4577 2444 0 -1 4202496 22446 0 0 0 240005 1 0 0 20 0 1 0 1048648 36126720 2528 33554432000 4194304 7402444 140734560414032 140734560408568 5327250 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 32546816 140734560416937 140734560417086 140734560417086 140734560419785 0
/proc/4577/statm: 8820 2528 732 784 0 1834 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 35280
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 4577 sig 9
??? kill -4577 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400.21
CPU time (s): 2400.07
CPU user time (s): 2400.05
CPU system time (s): 0.012999
CPU usage (%): 99.994
Max. virtual memory (cumulated for all children) (KiB): 35280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.05
system time used= 0.012999
maximum resident set size= 10144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22487
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= 8
involuntary context switches= 120615
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.96637 second user time and 12.074 second system time
The end