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-4241110-1500626296/watcher-4241110-1500626296 -o /tmp/evaluation-result-4241110-1500626296/solver-4241110-1500626296 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500623778-4880 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 19395258 HOME/instance-4241110-1500626296.xml
pid=5756
running on 4 cores: 0,2,4,6
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.88 2/190 5759
/proc/meminfo: memFree=31571804/32770624 swapFree=6452/415184
[pid=5759] ppid=5756 vsize=28672 CPUtime=0 cores=0,2,4,6
/proc/5759/stat : 5759 (MistralXCSP) R 5756 5759 4849 0 -1 4202496 962 0 0 0 0 0 0 0 20 0 1 0 16071479 29360128 735 33554432000 4194304 7402444 140731870121936 140731870115176 6143905 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 19243008 140731870123178 140731870123326 140731870123326 140731870126025 0
/proc/5759/statm: 7168 735 583 784 0 182 0
[startup+0.100157 s]
/proc/loadavg: 2.01 2.03 1.88 2/190 5759
/proc/meminfo: memFree=31571804/32770624 swapFree=6452/415184
[pid=5759] ppid=5756 vsize=29656 CPUtime=0.09 cores=0,2,4,6
/proc/5759/stat : 5759 (MistralXCSP) R 5756 5759 4849 0 -1 4202496 1202 0 0 0 9 0 0 0 20 0 1 0 16071479 30367744 935 33554432000 4194304 7402444 140731870121936 140731870115176 5881857 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 19243008 140731870123178 140731870123326 140731870123326 140731870126025 0
/proc/5759/statm: 7414 935 629 784 0 428 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29656
[startup+0.200326 s]
/proc/loadavg: 2.01 2.03 1.88 2/190 5759
/proc/meminfo: memFree=31571804/32770624 swapFree=6452/415184
[pid=5759] ppid=5756 vsize=30700 CPUtime=0.19 cores=0,2,4,6
/proc/5759/stat : 5759 (MistralXCSP) R 5756 5759 4849 0 -1 4202496 1580 0 0 0 19 0 0 0 20 0 1 0 16071479 31436800 1210 33554432000 4194304 7402444 140731870121936 140731870115176 5887831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 19243008 140731870123178 140731870123326 140731870123326 140731870126025 0
/proc/5759/statm: 7675 1210 629 784 0 689 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 30700
[startup+0.30032 s]
/proc/loadavg: 2.01 2.03 1.88 2/190 5759
/proc/meminfo: memFree=31571804/32770624 swapFree=6452/415184
[pid=5759] ppid=5756 vsize=39268 CPUtime=0.29 cores=0,2,4,6
/proc/5759/stat : 5759 (MistralXCSP) R 5756 5759 4849 0 -1 4202496 4159 0 0 0 29 0 0 0 20 0 1 0 16071479 40210432 3437 33554432000 4194304 7402444 140731870121936 140731870115176 5888982 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 19243008 140731870123178 140731870123326 140731870123326 140731870126025 0
/proc/5759/statm: 9817 3437 650 784 0 2831 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39268
[startup+0.700335 s]
/proc/loadavg: 2.01 2.03 1.88 2/190 5759
/proc/meminfo: memFree=31571804/32770624 swapFree=6452/415184
[pid=5759] ppid=5756 vsize=49252 CPUtime=0.69 cores=0,2,4,6
/proc/5759/stat : 5759 (MistralXCSP) R 5756 5759 4849 0 -1 4202496 6512 0 0 0 69 0 0 0 20 0 1 0 16071479 50434048 5746 33554432000 4194304 7402444 140731870121936 140731870115176 5888349 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 19243008 140731870123178 140731870123326 140731870123326 140731870126025 0
/proc/5759/statm: 12313 5746 650 784 0 5327 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49252
[startup+1.50028 s]
/proc/loadavg: 2.01 2.03 1.88 3/191 5760
/proc/meminfo: memFree=31537468/32770624 swapFree=6452/415144
[pid=5759] ppid=5756 vsize=73640 CPUtime=1.49 cores=0,2,4,6
/proc/5759/stat : 5759 (MistralXCSP) R 5756 5759 4849 0 -1 4202496 12527 0 0 0 148 1 0 0 20 0 1 0 16071479 75407360 11752 33554432000 4194304 7402444 140731870121936 140731870113176 5888607 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 19243008 140731870123178 140731870123326 140731870123326 140731870126025 0
/proc/5759/statm: 18410 11752 650 784 0 11424 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 73640
[startup+3.10028 s]
/proc/loadavg: 2.01 2.03 1.88 3/191 5760
/proc/meminfo: memFree=31502748/32770624 swapFree=6452/415144
[pid=5759] ppid=5756 vsize=124720 CPUtime=3.08 cores=0,2,4,6
/proc/5759/stat : 5759 (MistralXCSP) R 5756 5759 4849 0 -1 4202496 26327 0 0 0 306 2 0 0 20 0 1 0 16071479 127713280 24506 33554432000 4194304 7402444 140731870121936 140731870115176 6143894 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 19243008 140731870123178 140731870123326 140731870123326 140731870126025 0
/proc/5759/statm: 31180 24506 650 784 0 24194 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 124720
[startup+6.30028 s]
/proc/loadavg: 2.01 2.03 1.88 3/191 5760
/proc/meminfo: memFree=31394184/32770624 swapFree=6452/415152
[pid=5759] ppid=5756 vsize=231272 CPUtime=6.29 cores=0,2,4,6
/proc/5759/stat : 5759 (MistralXCSP) R 5756 5759 4849 0 -1 4202496 53968 0 0 0 623 6 0 0 20 0 1 0 16071479 236822528 51224 33554432000 4194304 7402444 140731870121936 140731870115176 5886504 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 19243008 140731870123178 140731870123326 140731870123326 140731870126025 0
/proc/5759/statm: 57818 51224 651 784 0 50832 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 231272
[startup+12.7003 s]
/proc/loadavg: 2.01 2.03 1.88 3/191 5760
/proc/meminfo: memFree=31185172/32770624 swapFree=6452/415152
[pid=5759] ppid=5756 vsize=438580 CPUtime=12.69 cores=0,2,4,6
/proc/5759/stat : 5759 (MistralXCSP) R 5756 5759 4849 0 -1 4202496 106905 0 0 0 1257 12 0 0 20 0 1 0 16071479 449105920 103064 33554432000 4194304 7402444 140731870121936 140731870115176 5884950 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 19243008 140731870123178 140731870123326 140731870123326 140731870126025 0
/proc/5759/statm: 109645 103064 651 784 0 102659 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 438580
[startup+25.5004 s]
/proc/loadavg: 2.01 2.03 1.89 3/191 5760
/proc/meminfo: memFree=31100776/32770624 swapFree=6452/415172
[pid=5759] ppid=5756 vsize=496508 CPUtime=25.48 cores=0,2,4,6
/proc/5759/stat : 5759 (MistralXCSP) R 5756 5759 4849 0 -1 4202496 179185 0 0 0 2532 16 0 0 20 0 1 0 16071479 508424192 117636 33554432000 4194304 7402444 140731870121936 140731870117288 5754034 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 19243008 140731870123178 140731870123326 140731870123326 140731870126025 0
/proc/5759/statm: 124127 117636 685 784 0 117141 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 496508
[startup+51.1004 s]
/proc/loadavg: 2.00 2.02 1.89 3/191 5760
/proc/meminfo: memFree=31101276/32770624 swapFree=6452/415180
[pid=5759] ppid=5756 vsize=496508 CPUtime=51.06 cores=0,2,4,6
/proc/5759/stat : 5759 (MistralXCSP) R 5756 5759 4849 0 -1 4202496 235288 0 0 0 5088 18 0 0 20 0 1 0 16071479 508424192 117636 33554432000 4194304 7402444 140731870121936 140731870117288 4484558 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 19243008 140731870123178 140731870123326 140731870123326 140731870126025 0
/proc/5759/statm: 124127 117636 685 784 0 117141 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 496508
[startup+102.3 s]
/proc/loadavg: 2.00 2.02 1.89 3/190 5761
/proc/meminfo: memFree=31099632/32770624 swapFree=6452/415220
[pid=5759] ppid=5756 vsize=496508 CPUtime=102.23 cores=0,2,4,6
/proc/5759/stat : 5759 (MistralXCSP) R 5756 5759 4849 0 -1 4202496 295547 0 0 0 10202 21 0 0 20 0 1 0 16071479 508424192 117636 33554432000 4194304 7402444 140731870121936 140731870117288 5754004 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 19243008 140731870123178 140731870123326 140731870123326 140731870126025 0
/proc/5759/statm: 124127 117636 685 784 0 117141 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 496508
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.90 3/191 5770
/proc/meminfo: memFree=31100032/32770624 swapFree=6452/415256
[pid=5759] ppid=5756 vsize=496508 CPUtime=162.17 cores=0,2,4,6
/proc/5759/stat : 5759 (MistralXCSP) R 5756 5759 4849 0 -1 4202496 330926 0 0 0 16194 23 0 0 20 0 1 0 16071479 508424192 117636 33554432000 4194304 7402444 140731870121936 140731870117288 5754016 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 19243008 140731870123178 140731870123326 140731870123326 140731870126025 0
/proc/5759/statm: 124127 117636 685 784 0 117141 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 496508
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 1.91 3/191 5771
/proc/meminfo: memFree=31099104/32770624 swapFree=6452/415292
[pid=5759] ppid=5756 vsize=496508 CPUtime=222.13 cores=0,2,4,6
/proc/5759/stat : 5759 (MistralXCSP) R 5756 5759 4849 0 -1 4202496 354582 0 0 0 22188 25 0 0 20 0 1 0 16071479 508424192 117636 33554432000 4194304 7402444 140731870121936 140731870117288 4484558 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 19243008 140731870123178 140731870123326 140731870123326 140731870126025 0
/proc/5759/statm: 124127 117636 685 784 0 117141 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 496508
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/191 5772
/proc/meminfo: memFree=31098536/32770624 swapFree=6452/415320
[pid=5759] ppid=5756 vsize=496508 CPUtime=282.08 cores=0,2,4,6
/proc/5759/stat : 5759 (MistralXCSP) R 5756 5759 4849 0 -1 4202496 364254 0 0 0 28182 26 0 0 20 0 1 0 16071479 508424192 117636 33554432000 4194304 7402444 140731870121936 140731870117288 4484558 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 19243008 140731870123178 140731870123326 140731870123326 140731870126025 0
/proc/5759/statm: 124127 117636 685 784 0 117141 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 496508
[startup+342.3 s]
/proc/loadavg: 2.05 2.03 1.92 3/192 5774
/proc/meminfo: memFree=31098752/32770624 swapFree=6452/415352
[pid=5759] ppid=5756 vsize=496508 CPUtime=342.05 cores=0,2,4,6
/proc/5759/stat : 5759 (MistralXCSP) R 5756 5759 4849 0 -1 4202496 365553 0 0 0 34179 26 0 0 20 0 1 0 16071479 508424192 117785 33554432000 4194304 7402444 140731870121936 140731870117288 4484558 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 19243008 140731870123178 140731870123326 140731870123326 140731870126025 0
/proc/5759/statm: 124127 117785 685 784 0 117141 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 496508
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 1.93 3/192 5775
/proc/meminfo: memFree=31098640/32770624 swapFree=6452/415380
[pid=5759] ppid=5756 vsize=496508 CPUtime=402.01 cores=0,2,4,6
/proc/5759/stat : 5759 (MistralXCSP) R 5756 5759 4849 0 -1 4202496 366325 0 0 0 40175 26 0 0 20 0 1 0 16071479 508424192 117785 33554432000 4194304 7402444 140731870121936 140731870117288 4484558 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 19243008 140731870123178 140731870123326 140731870123326 140731870126025 0
/proc/5759/statm: 124127 117785 685 784 0 117141 0
Current children cumulated CPU time (s) 402.01
Current children cumulated vsize (KiB) 496508
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 1.93 3/191 5776
/proc/meminfo: memFree=31098912/32770624 swapFree=6452/415416
[pid=5759] ppid=5756 vsize=496508 CPUtime=461.98 cores=0,2,4,6
/proc/5759/stat : 5759 (MistralXCSP) R 5756 5759 4849 0 -1 4202496 367094 0 0 0 46172 26 0 0 20 0 1 0 16071479 508424192 117785 33554432000 4194304 7402444 140731870121936 140731870117288 4484558 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 19243008 140731870123178 140731870123326 140731870123326 140731870126025 0
/proc/5759/statm: 124127 117785 685 784 0 117141 0
Current children cumulated CPU time (s) 461.98
Current children cumulated vsize (KiB) 496508
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/191 5777
/proc/meminfo: memFree=31099036/32770624 swapFree=6452/415448
[pid=5759] ppid=5756 vsize=496508 CPUtime=521.95 cores=0,2,4,6
/proc/5759/stat : 5759 (MistralXCSP) R 5756 5759 4849 0 -1 4202496 367747 0 0 0 52169 26 0 0 20 0 1 0 16071479 508424192 117785 33554432000 4194304 7402444 140731870121936 140731870117288 4484776 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 19243008 140731870123178 140731870123326 140731870123326 140731870126025 0
/proc/5759/statm: 124127 117785 685 784 0 117141 0
Current children cumulated CPU time (s) 521.95
Current children cumulated vsize (KiB) 496508
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/191 5778
/proc/meminfo: memFree=31098840/32770624 swapFree=6452/415476
[pid=5759] ppid=5756 vsize=496508 CPUtime=581.91 cores=0,2,4,6
/proc/5759/stat : 5759 (MistralXCSP) R 5756 5759 4849 0 -1 4202496 368531 0 0 0 58165 26 0 0 20 0 1 0 16071479 508424192 117785 33554432000 4194304 7402444 140731870121936 140731870117288 4484571 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 19243008 140731870123178 140731870123326 140731870123326 140731870126025 0
/proc/5759/statm: 124127 117785 685 784 0 117141 0
Current children cumulated CPU time (s) 581.91
Current children cumulated vsize (KiB) 496508
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 1.98 3/191 5837
/proc/meminfo: memFree=31100128/32770624 swapFree=6452/415996
[pid=5759] ppid=5756 vsize=496508 CPUtime=1481.43 cores=0,2,4,6
/proc/5759/stat : 5759 (MistralXCSP) R 5756 5759 4849 0 -1 4202496 379300 0 0 0 148116 27 0 0 20 0 1 0 16071479 508424192 117785 33554432000 4194304 7402444 140731870121936 140731870117288 5754027 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 19243008 140731870123178 140731870123326 140731870123326 140731870126025 0
/proc/5759/statm: 124127 117785 685 784 0 117141 0
Current children cumulated CPU time (s) 1481.43
Current children cumulated vsize (KiB) 496508
[startup+1542.31 s]
/proc/loadavg: 2.00 2.03 1.98 3/190 5838
/proc/meminfo: memFree=31099912/32770624 swapFree=6452/416024
[pid=5759] ppid=5756 vsize=496508 CPUtime=1541.4 cores=0,2,4,6
/proc/5759/stat : 5759 (MistralXCSP) R 5756 5759 4849 0 -1 4202496 380072 0 0 0 154113 27 0 0 20 0 1 0 16071479 508424192 117785 33554432000 4194304 7402444 140731870121936 140731870117288 4484602 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 19243008 140731870123178 140731870123326 140731870123326 140731870126025 0
/proc/5759/statm: 124127 117785 685 784 0 117141 0
Current children cumulated CPU time (s) 1541.4
Current children cumulated vsize (KiB) 496508
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/190 5839
/proc/meminfo: memFree=31100152/32770624 swapFree=6452/416052
[pid=5759] ppid=5756 vsize=496508 CPUtime=1601.36 cores=0,2,4,6
/proc/5759/stat : 5759 (MistralXCSP) R 5756 5759 4849 0 -1 4202496 380787 0 0 0 160109 27 0 0 20 0 1 0 16071479 508424192 117785 33554432000 4194304 7402444 140731870121936 140731870117288 4484571 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 19243008 140731870123178 140731870123326 140731870123326 140731870126025 0
/proc/5759/statm: 124127 117785 685 784 0 117141 0
Current children cumulated CPU time (s) 1601.36
Current children cumulated vsize (KiB) 496508
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/190 5840
/proc/meminfo: memFree=31100080/32770624 swapFree=6452/416092
[pid=5759] ppid=5756 vsize=496508 CPUtime=1661.33 cores=0,2,4,6
/proc/5759/stat : 5759 (MistralXCSP) R 5756 5759 4849 0 -1 4202496 381578 0 0 0 166106 27 0 0 20 0 1 0 16071479 508424192 117785 33554432000 4194304 7402444 140731870121936 140731870117288 4484558 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 19243008 140731870123178 140731870123326 140731870123326 140731870126025 0
/proc/5759/statm: 124127 117785 685 784 0 117141 0
Current children cumulated CPU time (s) 1661.33
Current children cumulated vsize (KiB) 496508
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/190 5841
/proc/meminfo: memFree=31099968/32770624 swapFree=6452/416120
[pid=5759] ppid=5756 vsize=496508 CPUtime=1721.3 cores=0,2,4,6
/proc/5759/stat : 5759 (MistralXCSP) R 5756 5759 4849 0 -1 4202496 382365 0 0 0 172103 27 0 0 20 0 1 0 16071479 508424192 117785 33554432000 4194304 7402444 140731870121936 140731870117288 4484558 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 19243008 140731870123178 140731870123326 140731870123326 140731870126025 0
/proc/5759/statm: 124127 117785 685 784 0 117141 0
Current children cumulated CPU time (s) 1721.3
Current children cumulated vsize (KiB) 496508
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/190 5842
/proc/meminfo: memFree=31099636/32770624 swapFree=6452/416148
[pid=5759] ppid=5756 vsize=496508 CPUtime=1781.26 cores=0,2,4,6
/proc/5759/stat : 5759 (MistralXCSP) R 5756 5759 4849 0 -1 4202496 383125 0 0 0 178099 27 0 0 20 0 1 0 16071479 508424192 117785 33554432000 4194304 7402444 140731870121936 140731870117288 4484558 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 19243008 140731870123178 140731870123326 140731870123326 140731870126025 0
/proc/5759/statm: 124127 117785 685 784 0 117141 0
Current children cumulated CPU time (s) 1781.26
Current children cumulated vsize (KiB) 496508
[startup+1842.3 s]
/proc/loadavg: 2.06 2.03 1.99 3/190 5843
/proc/meminfo: memFree=31099376/32770624 swapFree=6452/416180
[pid=5759] ppid=5756 vsize=496508 CPUtime=1841.23 cores=0,2,4,6
/proc/5759/stat : 5759 (MistralXCSP) R 5756 5759 4849 0 -1 4202496 383853 0 0 0 184096 27 0 0 20 0 1 0 16071479 508424192 117785 33554432000 4194304 7402444 140731870121936 140731870117288 4484535 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 19243008 140731870123178 140731870123326 140731870123326 140731870126025 0
/proc/5759/statm: 124127 117785 685 784 0 117141 0
Current children cumulated CPU time (s) 1841.23
Current children cumulated vsize (KiB) 496508
[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 1.99 3/190 5844
/proc/meminfo: memFree=31098992/32770624 swapFree=6452/416208
[pid=5759] ppid=5756 vsize=496508 CPUtime=1901.19 cores=0,2,4,6
/proc/5759/stat : 5759 (MistralXCSP) R 5756 5759 4849 0 -1 4202496 384337 0 0 0 190092 27 0 0 20 0 1 0 16071479 508424192 117785 33554432000 4194304 7402444 140731870121936 140731870117288 4484558 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 19243008 140731870123178 140731870123326 140731870123326 140731870126025 0
/proc/5759/statm: 124127 117785 685 784 0 117141 0
Current children cumulated CPU time (s) 1901.19
Current children cumulated vsize (KiB) 496508
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/190 5852
/proc/meminfo: memFree=31098972/32770624 swapFree=6452/416256
[pid=5759] ppid=5756 vsize=496508 CPUtime=1961.17 cores=0,2,4,6
/proc/5759/stat : 5759 (MistralXCSP) R 5756 5759 4849 0 -1 4202496 384977 0 0 0 196089 28 0 0 20 0 1 0 16071479 508424192 117785 33554432000 4194304 7402444 140731870121936 140731870117288 4484544 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 19243008 140731870123178 140731870123326 140731870123326 140731870126025 0
/proc/5759/statm: 124127 117785 685 784 0 117141 0
Current children cumulated CPU time (s) 1961.17
Current children cumulated vsize (KiB) 496508
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/191 5854
/proc/meminfo: memFree=31099300/32770624 swapFree=6452/416284
[pid=5759] ppid=5756 vsize=496508 CPUtime=2021.14 cores=0,2,4,6
/proc/5759/stat : 5759 (MistralXCSP) R 5756 5759 4849 0 -1 4202496 386055 0 0 0 202086 28 0 0 20 0 1 0 16071479 508424192 117785 33554432000 4194304 7402444 140731870121936 140731870117288 4484558 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 19243008 140731870123178 140731870123326 140731870123326 140731870126025 0
/proc/5759/statm: 124127 117785 685 784 0 117141 0
Current children cumulated CPU time (s) 2021.14
Current children cumulated vsize (KiB) 496508
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/191 5855
/proc/meminfo: memFree=31099300/32770624 swapFree=6452/416312
[pid=5759] ppid=5756 vsize=496508 CPUtime=2081.11 cores=0,2,4,6
/proc/5759/stat : 5759 (MistralXCSP) R 5756 5759 4849 0 -1 4202496 386821 0 0 0 208083 28 0 0 20 0 1 0 16071479 508424192 117785 33554432000 4194304 7402444 140731870121936 140731870117288 4484602 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 19243008 140731870123178 140731870123326 140731870123326 140731870126025 0
/proc/5759/statm: 124127 117785 685 784 0 117141 0
Current children cumulated CPU time (s) 2081.11
Current children cumulated vsize (KiB) 496508
[startup+2142.3 s]
/proc/loadavg: 2.05 2.03 1.99 3/191 5856
/proc/meminfo: memFree=31099132/32770624 swapFree=6452/416344
[pid=5759] ppid=5756 vsize=496508 CPUtime=2141.07 cores=0,2,4,6
/proc/5759/stat : 5759 (MistralXCSP) R 5756 5759 4849 0 -1 4202496 387582 0 0 0 214079 28 0 0 20 0 1 0 16071479 508424192 117785 33554432000 4194304 7402444 140731870121936 140731870117288 4484558 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 19243008 140731870123178 140731870123326 140731870123326 140731870126025 0
/proc/5759/statm: 124127 117785 685 784 0 117141 0
Current children cumulated CPU time (s) 2141.07
Current children cumulated vsize (KiB) 496508
[startup+2202.31 s]
/proc/loadavg: 2.02 2.02 1.99 3/191 5857
/proc/meminfo: memFree=31099072/32770624 swapFree=6452/416372
[pid=5759] ppid=5756 vsize=496508 CPUtime=2201.04 cores=0,2,4,6
/proc/5759/stat : 5759 (MistralXCSP) R 5756 5759 4849 0 -1 4202496 388341 0 0 0 220076 28 0 0 20 0 1 0 16071479 508424192 117785 33554432000 4194304 7402444 140731870121936 140731870117288 5754027 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 19243008 140731870123178 140731870123326 140731870123326 140731870126025 0
/proc/5759/statm: 124127 117785 685 784 0 117141 0
Current children cumulated CPU time (s) 2201.04
Current children cumulated vsize (KiB) 496508
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/191 5858
/proc/meminfo: memFree=31099020/32770624 swapFree=6452/416412
[pid=5759] ppid=5756 vsize=496508 CPUtime=2261 cores=0,2,4,6
/proc/5759/stat : 5759 (MistralXCSP) R 5756 5759 4849 0 -1 4202496 388899 0 0 0 226072 28 0 0 20 0 1 0 16071479 508424192 117785 33554432000 4194304 7402444 140731870121936 140731870117288 5754032 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 19243008 140731870123178 140731870123326 140731870123326 140731870126025 0
/proc/5759/statm: 124127 117785 685 784 0 117141 0
Current children cumulated CPU time (s) 2261
Current children cumulated vsize (KiB) 496508
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/190 5920
/proc/meminfo: memFree=31101228/32770624 swapFree=6452/416468
[pid=5759] ppid=5756 vsize=496508 CPUtime=2320.97 cores=0,2,4,6
/proc/5759/stat : 5759 (MistralXCSP) R 5756 5759 4849 0 -1 4202496 389858 0 0 0 232069 28 0 0 20 0 1 0 16071479 508424192 117785 33554432000 4194304 7402444 140731870121936 140731870117288 4484558 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 19243008 140731870123178 140731870123326 140731870123326 140731870126025 0
/proc/5759/statm: 124127 117785 685 784 0 117141 0
Current children cumulated CPU time (s) 2320.97
Current children cumulated vsize (KiB) 496508
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/190 5921
/proc/meminfo: memFree=31101516/32770624 swapFree=6452/416524
[pid=5759] ppid=5756 vsize=496508 CPUtime=2380.94 cores=0,2,4,6
/proc/5759/stat : 5759 (MistralXCSP) R 5756 5759 4849 0 -1 4202496 390582 0 0 0 238066 28 0 0 20 0 1 0 16071479 508424192 117785 33554432000 4194304 7402444 140731870121936 140731870117288 5754016 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 19243008 140731870123178 140731870123326 140731870123326 140731870126025 0
/proc/5759/statm: 124127 117785 685 784 0 117141 0
Current children cumulated CPU time (s) 2380.94
Current children cumulated vsize (KiB) 496508
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.41 s]
/proc/loadavg: 2.00 2.01 1.99 3/190 5921
/proc/meminfo: memFree=31101144/32770624 swapFree=6452/416532
[pid=5759] ppid=5756 vsize=496508 CPUtime=2400.04 cores=0,2,4,6
/proc/5759/stat : 5759 (MistralXCSP) R 5756 5759 4849 0 -1 4202496 390610 0 0 0 239976 28 0 0 20 0 1 0 16071479 508424192 117785 33554432000 4194304 7402444 140731870121936 140731870117288 4484558 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 19243008 140731870123178 140731870123326 140731870123326 140731870126025 0
/proc/5759/statm: 124127 117785 685 784 0 117141 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 496508
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 5759 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2401.41
CPU time (s): 2400.05
CPU user time (s): 2399.76
CPU system time (s): 0.285844
CPU usage (%): 99.9433
Max. virtual memory (cumulated for all children) (KiB): 496508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.76
system time used= 0.285844
maximum resident set size= 471172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 390648
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= 117
involuntary context switches= 125142
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.37705 second user time and 10.6535 second system time
The end