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-4261741-1502403458/watcher-4261741-1502403458 -o /tmp/evaluation-result-4261741-1502403458/solver-4261741-1502403458 -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 266406355 HOME/instance-4261741-1502403458.xml
pid=15627
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: 2.01 2.02 2.05 3/181 15630
/proc/meminfo: memFree=31413016/32770624 swapFree=0/286164
[pid=15630] ppid=15627 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/15630/stat : 15630 (runsolver) D 15627 15630 15981 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 42541395 24240128 107 18446744073709551615 4194304 4338465 140731295879600 140731295877240 139738181333719 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 15966208 140731295887501 140731295887946 140731295887946 140731295891402 0
/proc/15630/statm: 5918 107 54 36 0 2156 0
[startup+0.100157 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 15630
/proc/meminfo: memFree=31413016/32770624 swapFree=0/286164
[pid=15630] ppid=15627 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/15630/stat : 15630 (runsolver) D 15627 15630 15981 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 42541395 24240128 107 18446744073709551615 4194304 4338465 140731295879600 140731295877240 139738181333719 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 15966208 140731295887501 140731295887946 140731295887946 140731295891402 0
/proc/15630/statm: 5918 107 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200845 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 15630
/proc/meminfo: memFree=31413016/32770624 swapFree=0/286164
[pid=15630] ppid=15627 vsize=29536 CPUtime=0.09 cores=1,3,5,7
/proc/15630/stat : 15630 (MistralXCSP) R 15627 15630 15981 0 -1 4202496 1113 0 0 0 9 0 0 0 20 0 1 0 42541395 30244864 934 18446744073709551615 4194304 7396336 140731952833136 140731952825176 5880884 0 0 1 0 0 0 0 17 7 0 0 10 0 0 9496464 9501696 33050624 140731952837044 140731952837193 140731952837193 140731952840649 0
/proc/15630/statm: 7384 934 613 782 0 400 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29536
[startup+0.300843 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 15630
/proc/meminfo: memFree=31413016/32770624 swapFree=0/286164
[pid=15630] ppid=15627 vsize=29860 CPUtime=0.19 cores=1,3,5,7
/proc/15630/stat : 15630 (MistralXCSP) R 15627 15630 15981 0 -1 4202496 1220 0 0 0 19 0 0 0 20 0 1 0 42541395 30576640 1003 18446744073709551615 4194304 7396336 140731952833136 140731952826376 5882064 0 0 1 0 0 0 0 17 7 0 0 10 0 0 9496464 9501696 33050624 140731952837044 140731952837193 140731952837193 140731952840649 0
/proc/15630/statm: 7465 1003 613 782 0 481 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 29860
[startup+0.70022 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 15630
/proc/meminfo: memFree=31413016/32770624 swapFree=0/286164
[pid=15630] ppid=15627 vsize=32088 CPUtime=0.59 cores=1,3,5,7
/proc/15630/stat : 15630 (MistralXCSP) R 15627 15630 15981 0 -1 4202496 1946 0 0 0 59 0 0 0 20 0 1 0 42541395 32858112 1608 18446744073709551615 4194304 7396336 140731952833136 140731952826376 6163869 0 0 1 0 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33050624 140731952837044 140731952837193 140731952837193 140731952840649 0
/proc/15630/statm: 8022 1608 723 782 0 1038 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 32088
[startup+1.50022 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 15631
/proc/meminfo: memFree=31399376/32770624 swapFree=0/286164
[pid=15630] ppid=15627 vsize=37896 CPUtime=1.38 cores=1,3,5,7
/proc/15630/stat : 15630 (MistralXCSP) R 15627 15630 15981 0 -1 4202496 3399 0 0 0 138 0 0 0 20 0 1 0 42541395 38805504 3060 18446744073709551615 4194304 7396336 140731952833136 140731952826376 6163652 0 0 1 0 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33050624 140731952837044 140731952837193 140731952837193 140731952840649 0
/proc/15630/statm: 9474 3060 724 782 0 2490 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 37896
[startup+3.10022 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 15631
/proc/meminfo: memFree=31381520/32770624 swapFree=0/286164
[pid=15630] ppid=15627 vsize=49636 CPUtime=2.99 cores=1,3,5,7
/proc/15630/stat : 15630 (MistralXCSP) R 15627 15630 15981 0 -1 4202496 9280 0 0 0 298 1 0 0 20 0 1 0 42541395 50827264 6000 18446744073709551615 4194304 7396336 140731952833136 140731952823688 6190550 0 0 1 0 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33050624 140731952837044 140731952837193 140731952837193 140731952840649 0
/proc/15630/statm: 12409 6000 724 782 0 5425 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 49636
[startup+6.30022 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 15631
/proc/meminfo: memFree=31346356/32770624 swapFree=0/286164
[pid=15630] ppid=15627 vsize=79680 CPUtime=6.18 cores=1,3,5,7
/proc/15630/stat : 15630 (MistralXCSP) R 15627 15630 15981 0 -1 4202496 22784 0 0 0 616 2 0 0 20 0 1 0 42541395 81592320 13566 18446744073709551615 4194304 7396336 140731952833136 140731952823624 6180757 0 0 1 0 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33050624 140731952837044 140731952837193 140731952837193 140731952840649 0
/proc/15630/statm: 19920 13566 724 782 0 12936 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 79680
[startup+12.7002 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 15632
/proc/meminfo: memFree=31246776/32770624 swapFree=0/286164
[pid=15630] ppid=15627 vsize=110732 CPUtime=12.58 cores=1,3,5,7
/proc/15630/stat : 15630 (MistralXCSP) R 15627 15630 15981 0 -1 4202496 32646 0 0 0 1255 3 0 0 20 0 1 0 42541395 113389568 21247 18446744073709551615 4194304 7396336 140731952833136 140731952823688 6009383 0 0 1 0 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33050624 140731952837044 140731952837193 140731952837193 140731952840649 0
/proc/15630/statm: 27683 21247 724 782 0 20699 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 110732
[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 15632
/proc/meminfo: memFree=31103420/32770624 swapFree=0/286240
[pid=15630] ppid=15627 vsize=187720 CPUtime=25.38 cores=1,3,5,7
/proc/15630/stat : 15630 (MistralXCSP) R 15627 15630 15981 0 -1 4202496 68610 0 0 0 2532 6 0 0 20 0 1 0 42541395 192225280 40523 18446744073709551615 4194304 7396336 140731952833136 140731952823688 4566032 0 0 1 0 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33050624 140731952837044 140731952837193 140731952837193 140731952840649 0
/proc/15630/statm: 46930 40523 724 782 0 39946 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 187720
[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 15632
/proc/meminfo: memFree=30931084/32770624 swapFree=0/286240
[pid=15630] ppid=15627 vsize=327764 CPUtime=50.99 cores=1,3,5,7
/proc/15630/stat : 15630 (MistralXCSP) R 15627 15630 15981 0 -1 4202496 145498 0 0 0 5086 13 0 0 20 0 1 0 42541395 335630336 75693 18446744073709551615 4194304 7396336 140731952833136 140731952827800 5586214 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33050624 140731952837044 140731952837193 140731952837193 140731952840649 0
/proc/15630/statm: 81941 75693 775 782 0 74957 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 327764
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 15634
/proc/meminfo: memFree=30930388/32770624 swapFree=0/286268
[pid=15630] ppid=15627 vsize=327764 CPUtime=102.18 cores=1,3,5,7
/proc/15630/stat : 15630 (MistralXCSP) R 15627 15630 15981 0 -1 4202496 195648 0 0 0 10203 15 0 0 20 0 1 0 42541395 335630336 75695 18446744073709551615 4194304 7396336 140731952833136 140731952827800 4252486 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33050624 140731952837044 140731952837193 140731952837193 140731952840649 0
/proc/15630/statm: 81941 75695 777 782 0 74957 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 327764
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15636
/proc/meminfo: memFree=30929540/32770624 swapFree=0/286280
[pid=15630] ppid=15627 vsize=327764 CPUtime=162.16 cores=1,3,5,7
/proc/15630/stat : 15630 (MistralXCSP) R 15627 15630 15981 0 -1 4202496 245227 0 0 0 16198 18 0 0 20 0 1 0 42541395 335630336 75723 18446744073709551615 4194304 7396336 140731952833136 140731952827800 5576291 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33050624 140731952837044 140731952837193 140731952837193 140731952840649 0
/proc/15630/statm: 81941 75723 777 782 0 74957 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 327764
[startup+222.306 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 15638
/proc/meminfo: memFree=30925796/32770624 swapFree=0/286276
[pid=15630] ppid=15627 vsize=328160 CPUtime=222.14 cores=1,3,5,7
/proc/15630/stat : 15630 (MistralXCSP) R 15627 15630 15981 0 -1 4202496 273018 0 0 0 22194 20 0 0 20 0 1 0 42541395 336035840 75788 18446744073709551615 4194304 7396336 140731952833136 140731952827352 4252455 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33050624 140731952837044 140731952837193 140731952837193 140731952840649 0
/proc/15630/statm: 82040 75788 777 782 0 75056 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 328160
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 15641
/proc/meminfo: memFree=30925384/32770624 swapFree=0/286324
[pid=15630] ppid=15627 vsize=328160 CPUtime=282.1 cores=1,3,5,7
/proc/15630/stat : 15630 (MistralXCSP) R 15627 15630 15981 0 -1 4202496 286945 0 0 0 28189 21 0 0 20 0 1 0 42541395 336035840 75814 18446744073709551615 4194304 7396336 140731952833136 140731952827352 5165796 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33050624 140731952837044 140731952837193 140731952837193 140731952840649 0
/proc/15630/statm: 82040 75814 778 782 0 75056 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 328160
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 15643
/proc/meminfo: memFree=30925044/32770624 swapFree=0/286344
[pid=15630] ppid=15627 vsize=328888 CPUtime=342.09 cores=1,3,5,7
/proc/15630/stat : 15630 (MistralXCSP) R 15627 15630 15981 0 -1 4202496 287789 0 0 0 34188 21 0 0 20 0 1 0 42541395 336781312 75977 18446744073709551615 4194304 7396336 140731952833136 140731952827704 5610044 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33050624 140731952837044 140731952837193 140731952837193 140731952840649 0
/proc/15630/statm: 82222 75977 778 782 0 75238 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 328888
[startup+402.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/185 15661
/proc/meminfo: memFree=30919484/32770624 swapFree=0/286372
[pid=15630] ppid=15627 vsize=330460 CPUtime=402.09 cores=1,3,5,7
/proc/15630/stat : 15630 (MistralXCSP) R 15627 15630 15981 0 -1 4202496 289451 0 0 0 40187 22 0 0 20 0 1 0 42541395 338391040 76384 18446744073709551615 4194304 7396336 140731952833136 140731952827480 5575964 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33050624 140731952837044 140731952837193 140731952837193 140731952840649 0
/proc/15630/statm: 82615 76384 778 782 0 75631 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 330460
[startup+462.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/185 15663
/proc/meminfo: memFree=30919456/32770624 swapFree=0/286404
[pid=15630] ppid=15627 vsize=330460 CPUtime=462.08 cores=1,3,5,7
/proc/15630/stat : 15630 (MistralXCSP) R 15627 15630 15981 0 -1 4202496 290798 0 0 0 46186 22 0 0 20 0 1 0 42541395 338391040 76401 18446744073709551615 4194304 7396336 140731952833136 140731952827480 4379207 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33050624 140731952837044 140731952837193 140731952837193 140731952840649 0
/proc/15630/statm: 82615 76401 778 782 0 75631 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 330460
[startup+522.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 15665
/proc/meminfo: memFree=30921872/32770624 swapFree=0/286424
[pid=15630] ppid=15627 vsize=330724 CPUtime=522.08 cores=1,3,5,7
/proc/15630/stat : 15630 (MistralXCSP) R 15627 15630 15981 0 -1 4202496 293034 0 0 0 52185 23 0 0 20 0 1 0 42541395 338661376 76457 18446744073709551615 4194304 7396336 140731952833136 140731952828152 5165796 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33050624 140731952837044 140731952837193 140731952837193 140731952840649 0
/proc/15630/statm: 82681 76457 779 782 0 75697 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 330724
[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 15667
/proc/meminfo: memFree=30921996/32770624 swapFree=0/286444
[pid=15630] ppid=15627 vsize=330724 CPUtime=582.08 cores=1,3,5,7
/proc/15630/stat : 15630 (MistralXCSP) R 15627 15630 15981 0 -1 4202496 294650 0 0 0 58185 23 0 0 20 0 1 0 42541395 338661376 76468 18446744073709551615 4194304 7396336 140731952833136 140731952828152 4581731 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33050624 140731952837044 140731952837193 140731952837193 140731952840649 0
/proc/15630/statm: 82681 76468 779 782 0 75697 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 330724
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 15731
/proc/meminfo: memFree=30916520/32770624 swapFree=0/286756
[pid=15630] ppid=15627 vsize=332268 CPUtime=1602.03 cores=1,3,5,7
/proc/15630/stat : 15630 (MistralXCSP) R 15627 15630 15981 0 -1 4202496 314019 0 0 0 160177 26 0 0 20 0 1 0 42541395 340242432 76823 18446744073709551615 4194304 7396336 140731952833136 140731952828152 4542718 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33050624 140731952837044 140731952837193 140731952837193 140731952840649 0
/proc/15630/statm: 83067 76823 779 782 0 76083 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 332268
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 15733
/proc/meminfo: memFree=30917052/32770624 swapFree=0/286784
[pid=15630] ppid=15627 vsize=332268 CPUtime=1662.02 cores=1,3,5,7
/proc/15630/stat : 15630 (MistralXCSP) R 15627 15630 15981 0 -1 4202496 315120 0 0 0 166176 26 0 0 20 0 1 0 42541395 340242432 76823 18446744073709551615 4194304 7396336 140731952833136 140731952828152 5165796 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33050624 140731952837044 140731952837193 140731952837193 140731952840649 0
/proc/15630/statm: 83067 76823 779 782 0 76083 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 332268
[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 15735
/proc/meminfo: memFree=30920212/32770624 swapFree=0/286792
[pid=15630] ppid=15627 vsize=332268 CPUtime=1722.02 cores=1,3,5,7
/proc/15630/stat : 15630 (MistralXCSP) R 15627 15630 15981 0 -1 4202496 316184 0 0 0 172176 26 0 0 20 0 1 0 42541395 340242432 76823 18446744073709551615 4194304 7396336 140731952833136 140731952828152 5586214 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33050624 140731952837044 140731952837193 140731952837193 140731952840649 0
/proc/15630/statm: 83067 76823 779 782 0 76083 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 332268
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 15737
/proc/meminfo: memFree=30920708/32770624 swapFree=0/286816
[pid=15630] ppid=15627 vsize=332268 CPUtime=1782.02 cores=1,3,5,7
/proc/15630/stat : 15630 (MistralXCSP) R 15627 15630 15981 0 -1 4202496 317215 0 0 0 178175 27 0 0 20 0 1 0 42541395 340242432 76823 18446744073709551615 4194304 7396336 140731952833136 140731952828152 5165796 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33050624 140731952837044 140731952837193 140731952837193 140731952840649 0
/proc/15630/statm: 83067 76823 779 782 0 76083 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 332268
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 15739
/proc/meminfo: memFree=30920424/32770624 swapFree=0/286824
[pid=15630] ppid=15627 vsize=332268 CPUtime=1842.02 cores=1,3,5,7
/proc/15630/stat : 15630 (MistralXCSP) R 15627 15630 15981 0 -1 4202496 318255 0 0 0 184175 27 0 0 20 0 1 0 42541395 340242432 76823 18446744073709551615 4194304 7396336 140731952833136 140731952828152 4246647 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33050624 140731952837044 140731952837193 140731952837193 140731952840649 0
/proc/15630/statm: 83067 76823 779 782 0 76083 0
Current children cumulated CPU time (s) 1842.02
Current children cumulated vsize (KiB) 332268
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15741
/proc/meminfo: memFree=30920992/32770624 swapFree=0/286844
[pid=15630] ppid=15627 vsize=332268 CPUtime=1902.01 cores=1,3,5,7
/proc/15630/stat : 15630 (MistralXCSP) R 15627 15630 15981 0 -1 4202496 319291 0 0 0 190174 27 0 0 20 0 1 0 42541395 340242432 76823 18446744073709551615 4194304 7396336 140731952833136 140731952828152 5165928 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33050624 140731952837044 140731952837193 140731952837193 140731952840649 0
/proc/15630/statm: 83067 76823 779 782 0 76083 0
Current children cumulated CPU time (s) 1902.01
Current children cumulated vsize (KiB) 332268
[startup+1962.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 15743
/proc/meminfo: memFree=30920372/32770624 swapFree=0/286856
[pid=15630] ppid=15627 vsize=332268 CPUtime=1962.01 cores=1,3,5,7
/proc/15630/stat : 15630 (MistralXCSP) R 15627 15630 15981 0 -1 4202496 320330 0 0 0 196174 27 0 0 20 0 1 0 42541395 340242432 76823 18446744073709551615 4194304 7396336 140731952833136 140731952828152 5165796 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33050624 140731952837044 140731952837193 140731952837193 140731952840649 0
/proc/15630/statm: 83067 76823 779 782 0 76083 0
Current children cumulated CPU time (s) 1962.01
Current children cumulated vsize (KiB) 332268
[startup+2022.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 15745
/proc/meminfo: memFree=30920872/32770624 swapFree=0/286876
[pid=15630] ppid=15627 vsize=332268 CPUtime=2022.01 cores=1,3,5,7
/proc/15630/stat : 15630 (MistralXCSP) R 15627 15630 15981 0 -1 4202496 321506 0 0 0 202174 27 0 0 20 0 1 0 42541395 340242432 76823 18446744073709551615 4194304 7396336 140731952833136 140731952828152 5575964 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33050624 140731952837044 140731952837193 140731952837193 140731952840649 0
/proc/15630/statm: 83067 76823 779 782 0 76083 0
Current children cumulated CPU time (s) 2022.01
Current children cumulated vsize (KiB) 332268
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 15747
/proc/meminfo: memFree=30920624/32770624 swapFree=0/286896
[pid=15630] ppid=15627 vsize=332268 CPUtime=2082.01 cores=1,3,5,7
/proc/15630/stat : 15630 (MistralXCSP) R 15627 15630 15981 0 -1 4202496 322552 0 0 0 208174 27 0 0 20 0 1 0 42541395 340242432 76823 18446744073709551615 4194304 7396336 140731952833136 140731952828152 5165805 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33050624 140731952837044 140731952837193 140731952837193 140731952840649 0
/proc/15630/statm: 83067 76823 779 782 0 76083 0
Current children cumulated CPU time (s) 2082.01
Current children cumulated vsize (KiB) 332268
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15749
/proc/meminfo: memFree=30921000/32770624 swapFree=0/286920
[pid=15630] ppid=15627 vsize=332268 CPUtime=2142.01 cores=1,3,5,7
/proc/15630/stat : 15630 (MistralXCSP) R 15627 15630 15981 0 -1 4202496 323642 0 0 0 214173 28 0 0 20 0 1 0 42541395 340242432 76823 18446744073709551615 4194304 7396336 140731952833136 140731952828152 4253024 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33050624 140731952837044 140731952837193 140731952837193 140731952840649 0
/proc/15630/statm: 83067 76823 779 782 0 76083 0
Current children cumulated CPU time (s) 2142.01
Current children cumulated vsize (KiB) 332268
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 15765
/proc/meminfo: memFree=30916268/32770624 swapFree=0/286956
[pid=15630] ppid=15627 vsize=332268 CPUtime=2202.01 cores=1,3,5,7
/proc/15630/stat : 15630 (MistralXCSP) R 15627 15630 15981 0 -1 4202496 324736 0 0 0 220173 28 0 0 20 0 1 0 42541395 340242432 76823 18446744073709551615 4194304 7396336 140731952833136 140731952828152 4253026 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33050624 140731952837044 140731952837193 140731952837193 140731952840649 0
/proc/15630/statm: 83067 76823 779 782 0 76083 0
Current children cumulated CPU time (s) 2202.01
Current children cumulated vsize (KiB) 332268
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 15767
/proc/meminfo: memFree=30916512/32770624 swapFree=0/286984
[pid=15630] ppid=15627 vsize=332268 CPUtime=2261.99 cores=1,3,5,7
/proc/15630/stat : 15630 (MistralXCSP) R 15627 15630 15981 0 -1 4202496 325762 0 0 0 226171 28 0 0 20 0 1 0 42541395 340242432 76823 18446744073709551615 4194304 7396336 140731952833136 140731952828152 4581738 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33050624 140731952837044 140731952837193 140731952837193 140731952840649 0
/proc/15630/statm: 83067 76823 779 782 0 76083 0
Current children cumulated CPU time (s) 2261.99
Current children cumulated vsize (KiB) 332268
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15769
/proc/meminfo: memFree=30920032/32770624 swapFree=0/286996
[pid=15630] ppid=15627 vsize=332268 CPUtime=2321.99 cores=1,3,5,7
/proc/15630/stat : 15630 (MistralXCSP) R 15627 15630 15981 0 -1 4202496 326815 0 0 0 232171 28 0 0 20 0 1 0 42541395 340242432 76823 18446744073709551615 4194304 7396336 140731952833136 140731952828152 5165796 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33050624 140731952837044 140731952837193 140731952837193 140731952840649 0
/proc/15630/statm: 83067 76823 779 782 0 76083 0
Current children cumulated CPU time (s) 2321.99
Current children cumulated vsize (KiB) 332268
[startup+2382.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 15771
/proc/meminfo: memFree=30920032/32770624 swapFree=0/287008
[pid=15630] ppid=15627 vsize=332268 CPUtime=2381.99 cores=1,3,5,7
/proc/15630/stat : 15630 (MistralXCSP) R 15627 15630 15981 0 -1 4202496 327841 0 0 0 238171 28 0 0 20 0 1 0 42541395 340242432 76823 18446744073709551615 4194304 7396336 140731952833136 140731952828152 5586259 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33050624 140731952837044 140731952837193 140731952837193 140731952840649 0
/proc/15630/statm: 83067 76823 779 782 0 76083 0
Current children cumulated CPU time (s) 2381.99
Current children cumulated vsize (KiB) 332268
[startup+2442.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 15773
/proc/meminfo: memFree=30920032/32770624 swapFree=0/287004
[pid=15630] ppid=15627 vsize=332268 CPUtime=2441.98 cores=1,3,5,7
/proc/15630/stat : 15630 (MistralXCSP) R 15627 15630 15981 0 -1 4202496 328866 0 0 0 244170 28 0 0 20 0 1 0 42541395 340242432 76823 18446744073709551615 4194304 7396336 140731952833136 140731952828152 4264787 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33050624 140731952837044 140731952837193 140731952837193 140731952840649 0
/proc/15630/statm: 83067 76823 779 782 0 76083 0
Current children cumulated CPU time (s) 2441.98
Current children cumulated vsize (KiB) 332268
[startup+2502.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 15775
/proc/meminfo: memFree=30920528/32770624 swapFree=0/287036
[pid=15630] ppid=15627 vsize=332268 CPUtime=2501.98 cores=1,3,5,7
/proc/15630/stat : 15630 (MistralXCSP) R 15627 15630 15981 0 -1 4202496 329943 0 0 0 250170 28 0 0 20 0 1 0 42541395 340242432 76823 18446744073709551615 4194304 7396336 140731952833136 140731952828152 5586214 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33050624 140731952837044 140731952837193 140731952837193 140731952840649 0
/proc/15630/statm: 83067 76823 779 782 0 76083 0
Current children cumulated CPU time (s) 2501.98
Current children cumulated vsize (KiB) 332268
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.26 2.08 2.06 3/181 15836
/proc/meminfo: memFree=31117844/32770624 swapFree=0/287060
[pid=15630] ppid=15627 vsize=332268 CPUtime=2519.68 cores=1,3,5,7
/proc/15630/stat : 15630 (MistralXCSP) R 15627 15630 15981 0 -1 4202496 329944 0 0 0 251940 28 0 0 20 0 1 0 42541395 340242432 76823 18446744073709551615 4194304 7396336 140731952833136 140731952828152 5165805 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33050624 140731952837044 140731952837193 140731952837193 140731952840649 0
/proc/15630/statm: 83067 76823 779 782 0 76083 0
Current children cumulated CPU time (s) 2519.68
Current children cumulated vsize (KiB) 332268
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 15630 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.7
CPU user time (s): 2519.41
CPU system time (s): 0.290984
CPU usage (%): 99.9879
Max. virtual memory (cumulated for all children) (KiB): 332268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.41
system time used= 0.290984
maximum resident set size= 312808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 329977
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= 99
involuntary context switches= 720
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.42264 second user time and 10.7924 second system time
The end