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-4261666-1502365452/watcher-4261666-1502365452 -o /tmp/evaluation-result-4261666-1502365452/solver-4261666-1502365452 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502333727-2687 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2028199750 HOME/instance-4261666-1502365452.xml
pid=9657
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.70 1.94 2.02 4/183 9660
/proc/meminfo: memFree=31380456/32770624 swapFree=0/230060
[pid=9660] ppid=9657 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/9660/stat : 9660 (runsolver) D 9657 9660 15981 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 38740769 24240128 106 18446744073709551615 4194304 4338465 140726512367744 140726512365384 140625121698519 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 31903744 140726512369804 140726512370250 140726512370250 140726512373706 0
/proc/9660/statm: 5918 106 53 36 0 2156 0
[startup+0.10016 s]
/proc/loadavg: 1.70 1.94 2.02 4/183 9660
/proc/meminfo: memFree=31380456/32770624 swapFree=0/230060
[pid=9660] ppid=9657 vsize=35688 CPUtime=0.04 cores=1,3,5,7
/proc/9660/stat : 9660 (MistralXCSP) R 9657 9660 15981 0 -1 4202496 2799 0 0 0 4 0 0 0 20 0 1 0 38740769 36544512 2537 18446744073709551615 4194304 7396336 140732433919040 140732433916040 140089986620389 0 0 1 0 0 0 0 17 3 0 0 4 0 0 9496464 9501696 40984576 140732433920435 140732433920585 140732433920585 140732433924041 0
/proc/9660/statm: 8922 2537 667 782 0 1938 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 35688
[startup+0.200334 s]
/proc/loadavg: 1.70 1.94 2.02 4/183 9660
/proc/meminfo: memFree=31380456/32770624 swapFree=0/230060
[pid=9660] ppid=9657 vsize=38428 CPUtime=0.15 cores=1,3,5,7
/proc/9660/stat : 9660 (MistralXCSP) R 9657 9660 15981 0 -1 4202496 3494 0 0 0 14 1 0 0 20 0 1 0 38740769 39350272 3197 18446744073709551615 4194304 7396336 140732433919040 140732433916040 140089986620389 0 0 1 0 0 0 0 17 3 0 0 4 0 0 9496464 9501696 40984576 140732433920435 140732433920585 140732433920585 140732433924041 0
/proc/9660/statm: 9607 3197 668 782 0 2623 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 38428
[startup+0.300284 s]
/proc/loadavg: 1.70 1.94 2.02 4/183 9660
/proc/meminfo: memFree=31380456/32770624 swapFree=0/230060
[pid=9660] ppid=9657 vsize=39776 CPUtime=0.25 cores=1,3,5,7
/proc/9660/stat : 9660 (MistralXCSP) R 9657 9660 15981 0 -1 4202496 3796 0 0 0 24 1 0 0 20 0 1 0 38740769 40730624 3507 18446744073709551615 4194304 7396336 140732433919040 140732433916040 140089987058688 0 0 1 0 0 0 0 17 3 0 0 4 0 0 9496464 9501696 40984576 140732433920435 140732433920585 140732433920585 140732433924041 0
/proc/9660/statm: 9944 3507 668 782 0 2960 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 39776
[startup+0.70022 s]
/proc/loadavg: 1.70 1.94 2.02 4/183 9660
/proc/meminfo: memFree=31380456/32770624 swapFree=0/230060
[pid=9660] ppid=9657 vsize=43456 CPUtime=0.64 cores=1,3,5,7
/proc/9660/stat : 9660 (MistralXCSP) R 9657 9660 15981 0 -1 4202496 4954 0 0 0 63 1 0 0 20 0 1 0 38740769 44498944 4534 18446744073709551615 4194304 7396336 140732433919040 140732433912280 6190153 0 0 1 0 0 0 0 17 3 0 0 4 0 0 9496464 9501696 40984576 140732433920435 140732433920585 140732433920585 140732433924041 0
/proc/9660/statm: 10864 4534 697 782 0 3880 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 43456
[startup+1.50022 s]
/proc/loadavg: 1.70 1.94 2.02 3/184 9661
/proc/meminfo: memFree=31364344/32770624 swapFree=0/230060
[pid=9660] ppid=9657 vsize=47584 CPUtime=1.44 cores=1,3,5,7
/proc/9660/stat : 9660 (MistralXCSP) R 9657 9660 15981 0 -1 4202496 6113 0 0 0 143 1 0 0 20 0 1 0 38740769 48726016 5600 18446744073709551615 4194304 7396336 140732433919040 140732433907848 6036730 0 0 1 0 0 0 0 17 3 0 0 4 0 0 9496464 9501696 40984576 140732433920435 140732433920585 140732433920585 140732433924041 0
/proc/9660/statm: 11896 5600 732 782 0 4912 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 47584
[startup+3.10022 s]
/proc/loadavg: 1.70 1.94 2.02 3/184 9661
/proc/meminfo: memFree=31358920/32770624 swapFree=0/230060
[pid=9660] ppid=9657 vsize=49168 CPUtime=3.04 cores=1,3,5,7
/proc/9660/stat : 9660 (MistralXCSP) R 9657 9660 15981 0 -1 4202496 7381 0 0 0 303 1 0 0 20 0 1 0 38740769 50348032 5982 18446744073709551615 4194304 7396336 140732433919040 140732433909608 6181457 0 0 1 0 0 0 0 17 3 0 0 4 0 0 9496464 9501696 40984576 140732433920435 140732433920585 140732433920585 140732433924041 0
/proc/9660/statm: 12292 5982 732 782 0 5308 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 49168
[startup+6.30021 s]
/proc/loadavg: 1.64 1.92 2.01 3/184 9661
/proc/meminfo: memFree=31346880/32770624 swapFree=0/230068
[pid=9660] ppid=9657 vsize=57224 CPUtime=6.25 cores=1,3,5,7
/proc/9660/stat : 9660 (MistralXCSP) R 9657 9660 15981 0 -1 4202496 11305 0 0 0 623 2 0 0 20 0 1 0 38740769 58597376 7969 18446744073709551615 4194304 7396336 140732433919040 140732433909640 6009353 0 0 1 0 0 0 0 17 3 0 0 4 0 0 9496464 9501696 40984576 140732433920435 140732433920585 140732433920585 140732433924041 0
/proc/9660/statm: 14306 7969 732 782 0 7322 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 57224
[startup+12.7002 s]
/proc/loadavg: 1.67 1.92 2.01 3/184 9661
/proc/meminfo: memFree=31308624/32770624 swapFree=0/230068
[pid=9660] ppid=9657 vsize=70448 CPUtime=12.64 cores=1,3,5,7
/proc/9660/stat : 9660 (MistralXCSP) R 9657 9660 15981 0 -1 4202496 16637 0 0 0 1262 2 0 0 20 0 1 0 38740769 72138752 11315 18446744073709551615 4194304 7396336 140732433919040 140732433909608 6162980 0 0 1 0 0 0 0 17 3 0 0 4 0 0 9496464 9501696 40984576 140732433920435 140732433920585 140732433920585 140732433924041 0
/proc/9660/statm: 17612 11315 732 782 0 10628 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 70448
[startup+25.5003 s]
/proc/loadavg: 1.75 1.93 2.01 3/184 9661
/proc/meminfo: memFree=31274364/32770624 swapFree=0/230068
[pid=9660] ppid=9657 vsize=101528 CPUtime=25.45 cores=1,3,5,7
/proc/9660/stat : 9660 (MistralXCSP) R 9657 9660 15981 0 -1 4202496 37050 0 0 0 2541 4 0 0 20 0 1 0 38740769 103964672 19064 18446744073709551615 4194304 7396336 140732433919040 140732433909640 140089990099122 0 0 1 0 0 0 0 17 3 0 0 4 0 0 9496464 9501696 40984576 140732433920435 140732433920585 140732433920585 140732433924041 0
/proc/9660/statm: 25382 19064 732 782 0 18398 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 101528
[startup+51.1003 s]
/proc/loadavg: 1.83 1.93 2.01 3/184 9661
/proc/meminfo: memFree=31231048/32770624 swapFree=0/230068
[pid=9660] ppid=9657 vsize=145496 CPUtime=51.04 cores=1,3,5,7
/proc/9660/stat : 9660 (MistralXCSP) R 9657 9660 15981 0 -1 4202496 52208 0 0 0 5099 5 0 0 20 0 1 0 38740769 148987904 29944 18446744073709551615 4194304 7396336 140732433919040 140732433909608 6163292 0 0 1 0 0 0 0 17 3 0 0 4 0 0 9496464 9501696 40984576 140732433920435 140732433920585 140732433920585 140732433924041 0
/proc/9660/statm: 36374 29944 732 782 0 29390 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 145496
[startup+102.3 s]
/proc/loadavg: 1.93 1.94 2.01 3/181 9663
/proc/meminfo: memFree=31173792/32770624 swapFree=0/230096
[pid=9660] ppid=9657 vsize=204560 CPUtime=102.25 cores=1,3,5,7
/proc/9660/stat : 9660 (MistralXCSP) R 9657 9660 15981 0 -1 4202496 112682 0 0 0 10215 10 0 0 20 0 1 0 38740769 209469440 44825 18446744073709551615 4194304 7396336 140732433919040 140732433913592 5162982 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 40984576 140732433920435 140732433920585 140732433920585 140732433924041 0
/proc/9660/statm: 51140 44825 759 782 0 44156 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 204560
[startup+162.3 s]
/proc/loadavg: 1.97 1.95 2.01 3/181 9665
/proc/meminfo: memFree=31173640/32770624 swapFree=0/230108
[pid=9660] ppid=9657 vsize=204560 CPUtime=162.21 cores=1,3,5,7
/proc/9660/stat : 9660 (MistralXCSP) R 9657 9660 15981 0 -1 4202496 139202 0 0 0 16210 11 0 0 20 0 1 0 38740769 209469440 44889 18446744073709551615 4194304 7396336 140732433919040 140732433913592 5163046 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 40984576 140732433920435 140732433920585 140732433920585 140732433924041 0
/proc/9660/statm: 51140 44889 759 782 0 44156 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 204560
[startup+222.306 s]
/proc/loadavg: 1.99 1.96 2.01 3/181 9667
/proc/meminfo: memFree=31173644/32770624 swapFree=0/230140
[pid=9660] ppid=9657 vsize=204560 CPUtime=222.2 cores=1,3,5,7
/proc/9660/stat : 9660 (MistralXCSP) R 9657 9660 15981 0 -1 4202496 143747 0 0 0 22209 11 0 0 20 0 1 0 38740769 209469440 44889 18446744073709551615 4194304 7396336 140732433919040 140732433913592 4246647 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 40984576 140732433920435 140732433920585 140732433920585 140732433924041 0
/proc/9660/statm: 51140 44889 759 782 0 44156 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 204560
[startup+282.3 s]
/proc/loadavg: 2.00 1.97 2.01 3/181 9669
/proc/meminfo: memFree=31173840/32770624 swapFree=0/230160
[pid=9660] ppid=9657 vsize=204560 CPUtime=282.19 cores=1,3,5,7
/proc/9660/stat : 9660 (MistralXCSP) R 9657 9660 15981 0 -1 4202496 144631 0 0 0 28208 11 0 0 20 0 1 0 38740769 209469440 44889 18446744073709551615 4194304 7396336 140732433919040 140732433913592 4246647 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 40984576 140732433920435 140732433920585 140732433920585 140732433924041 0
/proc/9660/statm: 51140 44889 759 782 0 44156 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 204560
[startup+342.3 s]
/proc/loadavg: 2.05 1.99 2.02 3/181 9671
/proc/meminfo: memFree=31173468/32770624 swapFree=0/230172
[pid=9660] ppid=9657 vsize=204560 CPUtime=342.19 cores=1,3,5,7
/proc/9660/stat : 9660 (MistralXCSP) R 9657 9660 15981 0 -1 4202496 145516 0 0 0 34208 11 0 0 20 0 1 0 38740769 209469440 44889 18446744073709551615 4194304 7396336 140732433919040 140732433913592 5163189 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 40984576 140732433920435 140732433920585 140732433920585 140732433924041 0
/proc/9660/statm: 51140 44889 759 782 0 44156 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 204560
[startup+402.3 s]
/proc/loadavg: 2.02 1.99 2.02 3/181 9673
/proc/meminfo: memFree=31173716/32770624 swapFree=0/230184
[pid=9660] ppid=9657 vsize=204560 CPUtime=402.19 cores=1,3,5,7
/proc/9660/stat : 9660 (MistralXCSP) R 9657 9660 15981 0 -1 4202496 146400 0 0 0 40207 12 0 0 20 0 1 0 38740769 209469440 44889 18446744073709551615 4194304 7396336 140732433919040 140732433913592 4246647 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 40984576 140732433920435 140732433920585 140732433920585 140732433924041 0
/proc/9660/statm: 51140 44889 759 782 0 44156 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 204560
[startup+462.3 s]
/proc/loadavg: 2.01 1.99 2.02 3/181 9675
/proc/meminfo: memFree=31173592/32770624 swapFree=0/230208
[pid=9660] ppid=9657 vsize=204560 CPUtime=462.19 cores=1,3,5,7
/proc/9660/stat : 9660 (MistralXCSP) R 9657 9660 15981 0 -1 4202496 147284 0 0 0 46207 12 0 0 20 0 1 0 38740769 209469440 44889 18446744073709551615 4194304 7396336 140732433919040 140732433913592 4246647 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 40984576 140732433920435 140732433920585 140732433920585 140732433924041 0
/proc/9660/statm: 51140 44889 759 782 0 44156 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 204560
[startup+522.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/181 9677
/proc/meminfo: memFree=31173840/32770624 swapFree=0/230236
[pid=9660] ppid=9657 vsize=204560 CPUtime=522.18 cores=1,3,5,7
/proc/9660/stat : 9660 (MistralXCSP) R 9657 9660 15981 0 -1 4202496 148169 0 0 0 52206 12 0 0 20 0 1 0 38740769 209469440 44889 18446744073709551615 4194304 7396336 140732433919040 140732433913592 4246647 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 40984576 140732433920435 140732433920585 140732433920585 140732433924041 0
/proc/9660/statm: 51140 44889 759 782 0 44156 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 204560
[startup+582.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/181 9679
/proc/meminfo: memFree=31173344/32770624 swapFree=0/230260
[pid=9660] ppid=9657 vsize=204560 CPUtime=582.18 cores=1,3,5,7
/proc/9660/stat : 9660 (MistralXCSP) R 9657 9660 15981 0 -1 4202496 149053 0 0 0 58206 12 0 0 20 0 1 0 38740769 209469440 44889 18446744073709551615 4194304 7396336 140732433919040 140732433913592 5162982 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 40984576 140732433920435 140732433920585 140732433920585 140732433924041 0
/proc/9660/statm: 51140 44889 759 782 0 44156 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 204560
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/181 9743
/proc/meminfo: memFree=31172332/32770624 swapFree=0/230660
[pid=9660] ppid=9657 vsize=204560 CPUtime=1602.14 cores=1,3,5,7
/proc/9660/stat : 9660 (MistralXCSP) R 9657 9660 15981 0 -1 4202496 164083 0 0 0 160200 14 0 0 20 0 1 0 38740769 209469440 44889 18446744073709551615 4194304 7396336 140732433919040 140732433913592 4582165 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 40984576 140732433920435 140732433920585 140732433920585 140732433924041 0
/proc/9660/statm: 51140 44889 759 782 0 44156 0
Current children cumulated CPU time (s) 1602.14
Current children cumulated vsize (KiB) 204560
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 9745
/proc/meminfo: memFree=31172456/32770624 swapFree=0/230676
[pid=9660] ppid=9657 vsize=204560 CPUtime=1662.14 cores=1,3,5,7
/proc/9660/stat : 9660 (MistralXCSP) R 9657 9660 15981 0 -1 4202496 164968 0 0 0 166200 14 0 0 20 0 1 0 38740769 209469440 44889 18446744073709551615 4194304 7396336 140732433919040 140732433913592 4582355 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 40984576 140732433920435 140732433920585 140732433920585 140732433924041 0
/proc/9660/statm: 51140 44889 759 782 0 44156 0
Current children cumulated CPU time (s) 1662.14
Current children cumulated vsize (KiB) 204560
[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/181 9748
/proc/meminfo: memFree=31172304/32770624 swapFree=0/230696
[pid=9660] ppid=9657 vsize=204560 CPUtime=1722.14 cores=1,3,5,7
/proc/9660/stat : 9660 (MistralXCSP) R 9657 9660 15981 0 -1 4202496 165858 0 0 0 172200 14 0 0 20 0 1 0 38740769 209469440 44889 18446744073709551615 4194304 7396336 140732433919040 140732433913592 4246647 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 40984576 140732433920435 140732433920585 140732433920585 140732433924041 0
/proc/9660/statm: 51140 44889 759 782 0 44156 0
Current children cumulated CPU time (s) 1722.14
Current children cumulated vsize (KiB) 204560
[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 9750
/proc/meminfo: memFree=31171560/32770624 swapFree=0/230692
[pid=9660] ppid=9657 vsize=204560 CPUtime=1782.13 cores=1,3,5,7
/proc/9660/stat : 9660 (MistralXCSP) R 9657 9660 15981 0 -1 4202496 166742 0 0 0 178199 14 0 0 20 0 1 0 38740769 209469440 44889 18446744073709551615 4194304 7396336 140732433919040 140732433913592 5162982 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 40984576 140732433920435 140732433920585 140732433920585 140732433924041 0
/proc/9660/statm: 51140 44889 759 782 0 44156 0
Current children cumulated CPU time (s) 1782.13
Current children cumulated vsize (KiB) 204560
[startup+1842.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/185 9767
/proc/meminfo: memFree=31167856/32770624 swapFree=0/230732
[pid=9660] ppid=9657 vsize=204560 CPUtime=1842.13 cores=1,3,5,7
/proc/9660/stat : 9660 (MistralXCSP) R 9657 9660 15981 0 -1 4202496 167626 0 0 0 184199 14 0 0 20 0 1 0 38740769 209469440 44889 18446744073709551615 4194304 7396336 140732433919040 140732433913592 4245088 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 40984576 140732433920435 140732433920585 140732433920585 140732433924041 0
/proc/9660/statm: 51140 44889 759 782 0 44156 0
Current children cumulated CPU time (s) 1842.13
Current children cumulated vsize (KiB) 204560
[startup+1902.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/186 9794
/proc/meminfo: memFree=31167536/32770624 swapFree=0/230796
[pid=9660] ppid=9657 vsize=204560 CPUtime=1902.13 cores=1,3,5,7
/proc/9660/stat : 9660 (MistralXCSP) R 9657 9660 15981 0 -1 4202496 168510 0 0 0 190199 14 0 0 20 0 1 0 38740769 209469440 44889 18446744073709551615 4194304 7396336 140732433919040 140732433913592 4246647 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 40984576 140732433920435 140732433920585 140732433920585 140732433924041 0
/proc/9660/statm: 51140 44889 759 782 0 44156 0
Current children cumulated CPU time (s) 1902.13
Current children cumulated vsize (KiB) 204560
[startup+1962.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/183 9796
/proc/meminfo: memFree=31171540/32770624 swapFree=0/230828
[pid=9660] ppid=9657 vsize=204560 CPUtime=1962.12 cores=1,3,5,7
/proc/9660/stat : 9660 (MistralXCSP) R 9657 9660 15981 0 -1 4202496 169394 0 0 0 196198 14 0 0 20 0 1 0 38740769 209469440 44889 18446744073709551615 4194304 7396336 140732433919040 140732433913592 4246647 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 40984576 140732433920435 140732433920585 140732433920585 140732433924041 0
/proc/9660/statm: 51140 44889 759 782 0 44156 0
Current children cumulated CPU time (s) 1962.12
Current children cumulated vsize (KiB) 204560
[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/183 9798
/proc/meminfo: memFree=31171888/32770624 swapFree=0/230840
[pid=9660] ppid=9657 vsize=204560 CPUtime=2022.12 cores=1,3,5,7
/proc/9660/stat : 9660 (MistralXCSP) R 9657 9660 15981 0 -1 4202496 170278 0 0 0 202198 14 0 0 20 0 1 0 38740769 209469440 44889 18446744073709551615 4194304 7396336 140732433919040 140732433913592 5162982 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 40984576 140732433920435 140732433920585 140732433920585 140732433924041 0
/proc/9660/statm: 51140 44889 759 782 0 44156 0
Current children cumulated CPU time (s) 2022.12
Current children cumulated vsize (KiB) 204560
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/183 9800
/proc/meminfo: memFree=31172100/32770624 swapFree=0/230860
[pid=9660] ppid=9657 vsize=204560 CPUtime=2082.12 cores=1,3,5,7
/proc/9660/stat : 9660 (MistralXCSP) R 9657 9660 15981 0 -1 4202496 171162 0 0 0 208198 14 0 0 20 0 1 0 38740769 209469440 44889 18446744073709551615 4194304 7396336 140732433919040 140732433913592 5575964 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 40984576 140732433920435 140732433920585 140732433920585 140732433924041 0
/proc/9660/statm: 51140 44889 759 782 0 44156 0
Current children cumulated CPU time (s) 2082.12
Current children cumulated vsize (KiB) 204560
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 9802
/proc/meminfo: memFree=31172504/32770624 swapFree=0/230884
[pid=9660] ppid=9657 vsize=204560 CPUtime=2142.12 cores=1,3,5,7
/proc/9660/stat : 9660 (MistralXCSP) R 9657 9660 15981 0 -1 4202496 172047 0 0 0 214197 15 0 0 20 0 1 0 38740769 209469440 44889 18446744073709551615 4194304 7396336 140732433919040 140732433913592 5163042 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 40984576 140732433920435 140732433920585 140732433920585 140732433924041 0
/proc/9660/statm: 51140 44889 759 782 0 44156 0
Current children cumulated CPU time (s) 2142.12
Current children cumulated vsize (KiB) 204560
[startup+2202.31 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 9804
/proc/meminfo: memFree=31172332/32770624 swapFree=0/230904
[pid=9660] ppid=9657 vsize=204560 CPUtime=2202.13 cores=1,3,5,7
/proc/9660/stat : 9660 (MistralXCSP) R 9657 9660 15981 0 -1 4202496 172931 0 0 0 220198 15 0 0 20 0 1 0 38740769 209469440 44889 18446744073709551615 4194304 7396336 140732433919040 140732433913592 4246647 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 40984576 140732433920435 140732433920585 140732433920585 140732433924041 0
/proc/9660/statm: 51140 44889 759 782 0 44156 0
Current children cumulated CPU time (s) 2202.13
Current children cumulated vsize (KiB) 204560
[startup+2262.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 9806
/proc/meminfo: memFree=31172704/32770624 swapFree=0/230916
[pid=9660] ppid=9657 vsize=204560 CPUtime=2262.12 cores=1,3,5,7
/proc/9660/stat : 9660 (MistralXCSP) R 9657 9660 15981 0 -1 4202496 173815 0 0 0 226197 15 0 0 20 0 1 0 38740769 209469440 44889 18446744073709551615 4194304 7396336 140732433919040 140732433913592 5162943 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 40984576 140732433920435 140732433920585 140732433920585 140732433924041 0
/proc/9660/statm: 51140 44889 759 782 0 44156 0
Current children cumulated CPU time (s) 2262.12
Current children cumulated vsize (KiB) 204560
[startup+2322.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/181 9808
/proc/meminfo: memFree=31172456/32770624 swapFree=0/230920
[pid=9660] ppid=9657 vsize=204560 CPUtime=2322.11 cores=1,3,5,7
/proc/9660/stat : 9660 (MistralXCSP) R 9657 9660 15981 0 -1 4202496 174699 0 0 0 232196 15 0 0 20 0 1 0 38740769 209469440 44889 18446744073709551615 4194304 7396336 140732433919040 140732433913592 4246650 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 40984576 140732433920435 140732433920585 140732433920585 140732433924041 0
/proc/9660/statm: 51140 44889 759 782 0 44156 0
Current children cumulated CPU time (s) 2322.11
Current children cumulated vsize (KiB) 204560
[startup+2382.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 9810
/proc/meminfo: memFree=31172332/32770624 swapFree=0/230936
[pid=9660] ppid=9657 vsize=204560 CPUtime=2382.11 cores=1,3,5,7
/proc/9660/stat : 9660 (MistralXCSP) R 9657 9660 15981 0 -1 4202496 175583 0 0 0 238196 15 0 0 20 0 1 0 38740769 209469440 44889 18446744073709551615 4194304 7396336 140732433919040 140732433913592 4246653 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 40984576 140732433920435 140732433920585 140732433920585 140732433924041 0
/proc/9660/statm: 51140 44889 759 782 0 44156 0
Current children cumulated CPU time (s) 2382.11
Current children cumulated vsize (KiB) 204560
[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 9827
/proc/meminfo: memFree=31167504/32770624 swapFree=0/230976
[pid=9660] ppid=9657 vsize=204560 CPUtime=2442.11 cores=1,3,5,7
/proc/9660/stat : 9660 (MistralXCSP) R 9657 9660 15981 0 -1 4202496 176473 0 0 0 244196 15 0 0 20 0 1 0 38740769 209469440 44889 18446744073709551615 4194304 7396336 140732433919040 140732433913592 5162982 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 40984576 140732433920435 140732433920585 140732433920585 140732433924041 0
/proc/9660/statm: 51140 44889 759 782 0 44156 0
Current children cumulated CPU time (s) 2442.11
Current children cumulated vsize (KiB) 204560
[startup+2502.3 s]
/proc/loadavg: 1.97 2.00 2.04 3/182 10133
/proc/meminfo: memFree=31257136/32770624 swapFree=0/231236
[pid=9660] ppid=9657 vsize=204560 CPUtime=2502.1 cores=1,3,5,7
/proc/9660/stat : 9660 (MistralXCSP) R 9657 9660 15981 0 -1 4202496 177358 0 0 0 250195 15 0 0 20 0 1 0 38740769 209469440 44889 18446744073709551615 4194304 7396336 140732433919040 140732433913592 4246650 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 40984576 140732433920435 140732433920585 140732433920585 140732433924041 0
/proc/9660/statm: 51140 44889 759 782 0 44156 0
Current children cumulated CPU time (s) 2502.1
Current children cumulated vsize (KiB) 204560
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 1.97 2.00 2.04 3/182 10133
/proc/meminfo: memFree=31202296/32770624 swapFree=0/231240
[pid=9660] ppid=9657 vsize=204560 CPUtime=2519.8 cores=1,3,5,7
/proc/9660/stat : 9660 (MistralXCSP) R 9657 9660 15981 0 -1 4202496 178242 0 0 0 251965 15 0 0 20 0 1 0 38740769 209469440 44889 18446744073709551615 4194304 7396336 140732433919040 140732433913592 4246650 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 40984576 140732433920435 140732433920585 140732433920585 140732433924041 0
/proc/9660/statm: 51140 44889 759 782 0 44156 0
Current children cumulated CPU time (s) 2519.8
Current children cumulated vsize (KiB) 204560
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 9660 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520
CPU time (s): 2519.82
CPU user time (s): 2519.66
CPU system time (s): 0.159993
CPU usage (%): 99.9926
Max. virtual memory (cumulated for all children) (KiB): 204560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.66
system time used= 0.159993
maximum resident set size= 179576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 178277
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= 708
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.34514 second user time and 10.9744 second system time
The end