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-4261260-1502382756/watcher-4261260-1502382756 -o /tmp/evaluation-result-4261260-1502382756/solver-4261260-1502382756 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502331121-20548 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1727094913 HOME/instance-4261260-1502382756.xml
pid=29597
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.00 2.00 2.04 2/180 29600
/proc/meminfo: memFree=30874796/32770624 swapFree=0/486060
[pid=29600] ppid=29597 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/29600/stat : 29600 (runsolver) D 29597 29600 4057 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 40496411 24240128 106 18446744073709551615 4194304 4338465 140732397632288 140732397629928 140571470512855 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 20750336 140732397633675 140732397634122 140732397634122 140732397637578 0
/proc/29600/statm: 5918 106 53 36 0 2156 0
[startup+0.100169 s]
/proc/loadavg: 2.00 2.00 2.04 2/180 29600
/proc/meminfo: memFree=30874796/32770624 swapFree=0/486060
[pid=29600] ppid=29597 vsize=42008 CPUtime=0.01 cores=1,3,5,7
/proc/29600/stat : 29600 (MistralXCSP) R 29597 29600 4057 0 -1 4202496 4289 0 0 0 1 0 0 0 20 0 1 0 40496411 43016192 4102 18446744073709551615 4194304 7396336 140729778775184 140729778772184 140191947233184 0 0 1 0 0 0 0 17 1 0 0 7 0 0 9496464 9501696 41803776 140729778778547 140729778778697 140729778778697 140729778782153 0
/proc/29600/statm: 10543 4102 641 782 0 3559 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 42008
[startup+0.200365 s]
/proc/loadavg: 2.00 2.00 2.04 2/180 29600
/proc/meminfo: memFree=30874796/32770624 swapFree=0/486060
[pid=29600] ppid=29597 vsize=132864 CPUtime=0.11 cores=1,3,5,7
/proc/29600/stat : 29600 (MistralXCSP) R 29597 29600 4057 0 -1 4202496 27053 0 0 0 8 3 0 0 20 0 1 0 40496411 136052736 26872 18446744073709551615 4194304 7396336 140729778775184 140729778772184 4399501 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 41803776 140729778778547 140729778778697 140729778778697 140729778782153 0
/proc/29600/statm: 33216 26872 670 782 0 26232 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 132864
[startup+0.30034 s]
/proc/loadavg: 2.00 2.00 2.04 2/180 29600
/proc/meminfo: memFree=30874796/32770624 swapFree=0/486060
[pid=29600] ppid=29597 vsize=132864 CPUtime=0.21 cores=1,3,5,7
/proc/29600/stat : 29600 (MistralXCSP) R 29597 29600 4057 0 -1 4202496 27053 0 0 0 18 3 0 0 20 0 1 0 40496411 136052736 26872 18446744073709551615 4194304 7396336 140729778775184 140729778769720 5594154 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 41803776 140729778778547 140729778778697 140729778778697 140729778782153 0
/proc/29600/statm: 33216 26872 670 782 0 26232 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 132864
[startup+0.700229 s]
/proc/loadavg: 2.00 2.00 2.04 2/180 29600
/proc/meminfo: memFree=30874796/32770624 swapFree=0/486060
[pid=29600] ppid=29597 vsize=132864 CPUtime=0.61 cores=1,3,5,7
/proc/29600/stat : 29600 (MistralXCSP) R 29597 29600 4057 0 -1 4202496 27055 0 0 0 58 3 0 0 20 0 1 0 40496411 136052736 26872 18446744073709551615 4194304 7396336 140729778775184 140729778769720 5791952 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 41803776 140729778778547 140729778778697 140729778778697 140729778782153 0
/proc/29600/statm: 33216 26872 670 782 0 26232 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 132864
[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 29601
/proc/meminfo: memFree=30769996/32770624 swapFree=0/486072
[pid=29600] ppid=29597 vsize=132864 CPUtime=1.41 cores=1,3,5,7
/proc/29600/stat : 29600 (MistralXCSP) R 29597 29600 4057 0 -1 4202496 27056 0 0 0 138 3 0 0 20 0 1 0 40496411 136052736 26872 18446744073709551615 4194304 7396336 140729778775184 140729778769720 5653808 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 41803776 140729778778547 140729778778697 140729778778697 140729778782153 0
/proc/29600/statm: 33216 26872 670 782 0 26232 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 132864
[startup+3.10023 s]
/proc/loadavg: 1.92 1.98 2.03 3/181 29601
/proc/meminfo: memFree=30769624/32770624 swapFree=0/486072
[pid=29600] ppid=29597 vsize=132864 CPUtime=3.01 cores=1,3,5,7
/proc/29600/stat : 29600 (MistralXCSP) R 29597 29600 4057 0 -1 4202496 28993 0 0 0 298 3 0 0 20 0 1 0 40496411 136052736 26897 18446744073709551615 4194304 7396336 140729778775184 140729778769720 5593904 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 41803776 140729778778547 140729778778697 140729778778697 140729778782153 0
/proc/29600/statm: 33216 26897 674 782 0 26232 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 132864
[startup+6.30022 s]
/proc/loadavg: 1.92 1.98 2.03 3/181 29602
/proc/meminfo: memFree=30769632/32770624 swapFree=0/486072
[pid=29600] ppid=29597 vsize=132864 CPUtime=6.21 cores=1,3,5,7
/proc/29600/stat : 29600 (MistralXCSP) R 29597 29600 4057 0 -1 4202496 30934 0 0 0 618 3 0 0 20 0 1 0 40496411 136052736 26898 18446744073709551615 4194304 7396336 140729778775184 140729778769720 5593866 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 41803776 140729778778547 140729778778697 140729778778697 140729778782153 0
/proc/29600/statm: 33216 26898 674 782 0 26232 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 132864
[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 2.03 3/181 29602
/proc/meminfo: memFree=30767292/32770624 swapFree=0/486068
[pid=29600] ppid=29597 vsize=132996 CPUtime=12.61 cores=1,3,5,7
/proc/29600/stat : 29600 (MistralXCSP) R 29597 29600 4057 0 -1 4202496 32878 0 0 0 1258 3 0 0 20 0 1 0 40496411 136187904 26899 18446744073709551615 4194304 7396336 140729778775184 140729778769672 5594331 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 41803776 140729778778547 140729778778697 140729778778697 140729778782153 0
/proc/29600/statm: 33249 26899 674 782 0 26265 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 132996
[startup+25.5003 s]
/proc/loadavg: 1.94 1.98 2.03 3/181 29602
/proc/meminfo: memFree=30768248/32770624 swapFree=0/486068
[pid=29600] ppid=29597 vsize=132996 CPUtime=25.41 cores=1,3,5,7
/proc/29600/stat : 29600 (MistralXCSP) R 29597 29600 4057 0 -1 4202496 36760 0 0 0 2538 3 0 0 20 0 1 0 40496411 136187904 26900 18446744073709551615 4194304 7396336 140729778775184 140729778769672 4543901 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 41803776 140729778778547 140729778778697 140729778778697 140729778782153 0
/proc/29600/statm: 33249 26900 674 782 0 26265 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 132996
[startup+51.1003 s]
/proc/loadavg: 1.96 1.99 2.03 3/181 29602
/proc/meminfo: memFree=30767764/32770624 swapFree=0/486060
[pid=29600] ppid=29597 vsize=132996 CPUtime=51 cores=1,3,5,7
/proc/29600/stat : 29600 (MistralXCSP) R 29597 29600 4057 0 -1 4202496 38702 0 0 0 5097 3 0 0 20 0 1 0 40496411 136187904 26900 18446744073709551615 4194304 7396336 140729778775184 140729778769672 5594326 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 41803776 140729778778547 140729778778697 140729778778697 140729778782153 0
/proc/29600/statm: 33249 26900 674 782 0 26265 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 132996
[startup+102.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/184 29618
/proc/meminfo: memFree=30762056/32770624 swapFree=0/486076
[pid=29600] ppid=29597 vsize=132996 CPUtime=102.2 cores=1,3,5,7
/proc/29600/stat : 29600 (MistralXCSP) R 29597 29600 4057 0 -1 4202496 40651 0 0 0 10217 3 0 0 20 0 1 0 40496411 136187904 26901 18446744073709551615 4194304 7396336 140729778775184 140729778769672 4249696 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 41803776 140729778778547 140729778778697 140729778778697 140729778782153 0
/proc/29600/statm: 33249 26901 674 782 0 26265 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 132996
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/184 29620
/proc/meminfo: memFree=30761216/32770624 swapFree=0/486100
[pid=29600] ppid=29597 vsize=132996 CPUtime=162.16 cores=1,3,5,7
/proc/29600/stat : 29600 (MistralXCSP) R 29597 29600 4057 0 -1 4202496 42057 0 0 0 16213 3 0 0 20 0 1 0 40496411 136187904 26901 18446744073709551615 4194304 7396336 140729778775184 140729778769672 5593866 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 41803776 140729778778547 140729778778697 140729778778697 140729778782153 0
/proc/29600/statm: 33249 26901 674 782 0 26265 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 132996
[startup+222.306 s]
/proc/loadavg: 2.00 1.99 2.03 3/181 29622
/proc/meminfo: memFree=30763876/32770624 swapFree=0/486104
[pid=29600] ppid=29597 vsize=132996 CPUtime=222.16 cores=1,3,5,7
/proc/29600/stat : 29600 (MistralXCSP) R 29597 29600 4057 0 -1 4202496 42219 0 0 0 22213 3 0 0 20 0 1 0 40496411 136187904 26901 18446744073709551615 4194304 7396336 140729778775184 140729778769672 4543796 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 41803776 140729778778547 140729778778697 140729778778697 140729778782153 0
/proc/29600/statm: 33249 26901 674 782 0 26265 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 132996
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/181 29624
/proc/meminfo: memFree=30762776/32770624 swapFree=0/486112
[pid=29600] ppid=29597 vsize=132996 CPUtime=282.15 cores=1,3,5,7
/proc/29600/stat : 29600 (MistralXCSP) R 29597 29600 4057 0 -1 4202496 42379 0 0 0 28212 3 0 0 20 0 1 0 40496411 136187904 26902 18446744073709551615 4194304 7396336 140729778775184 140729778769672 5654395 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 41803776 140729778778547 140729778778697 140729778778697 140729778782153 0
/proc/29600/statm: 33249 26902 674 782 0 26265 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 132996
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/181 29626
/proc/meminfo: memFree=30762172/32770624 swapFree=0/486116
[pid=29600] ppid=29597 vsize=132996 CPUtime=342.14 cores=1,3,5,7
/proc/29600/stat : 29600 (MistralXCSP) R 29597 29600 4057 0 -1 4202496 42540 0 0 0 34211 3 0 0 20 0 1 0 40496411 136187904 26902 18446744073709551615 4194304 7396336 140729778775184 140729778769672 4582617 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 41803776 140729778778547 140729778778697 140729778778697 140729778782153 0
/proc/29600/statm: 33249 26902 674 782 0 26265 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 132996
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/181 29629
/proc/meminfo: memFree=30761064/32770624 swapFree=0/486128
[pid=29600] ppid=29597 vsize=132996 CPUtime=402.14 cores=1,3,5,7
/proc/29600/stat : 29600 (MistralXCSP) R 29597 29600 4057 0 -1 4202496 42699 0 0 0 40211 3 0 0 20 0 1 0 40496411 136187904 26902 18446744073709551615 4194304 7396336 140729778775184 140729778769672 5586631 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 41803776 140729778778547 140729778778697 140729778778697 140729778782153 0
/proc/29600/statm: 33249 26902 674 782 0 26265 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 132996
[startup+462.3 s]
/proc/loadavg: 1.94 1.97 2.03 3/181 29631
/proc/meminfo: memFree=30759768/32770624 swapFree=0/486136
[pid=29600] ppid=29597 vsize=132996 CPUtime=462.14 cores=1,3,5,7
/proc/29600/stat : 29600 (MistralXCSP) R 29597 29600 4057 0 -1 4202496 42860 0 0 0 46211 3 0 0 20 0 1 0 40496411 136187904 26902 18446744073709551615 4194304 7396336 140729778775184 140729778769672 5594166 0 0 1 16386 0 0 0 17 5 0 0 7 0 0 9496464 9501696 41803776 140729778778547 140729778778697 140729778778697 140729778782153 0
/proc/29600/statm: 33249 26902 674 782 0 26265 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 132996
[startup+522.3 s]
/proc/loadavg: 1.98 1.98 2.03 3/181 29633
/proc/meminfo: memFree=30754816/32770624 swapFree=0/486148
[pid=29600] ppid=29597 vsize=132996 CPUtime=522.14 cores=1,3,5,7
/proc/29600/stat : 29600 (MistralXCSP) R 29597 29600 4057 0 -1 4202496 43021 0 0 0 52211 3 0 0 20 0 1 0 40496411 136187904 26902 18446744073709551615 4194304 7396336 140729778775184 140729778769672 5593920 0 0 1 16386 0 0 0 17 5 0 0 7 0 0 9496464 9501696 41803776 140729778778547 140729778778697 140729778778697 140729778782153 0
/proc/29600/statm: 33249 26902 674 782 0 26265 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 132996
[startup+582.3 s]
/proc/loadavg: 1.99 1.98 2.03 3/181 29636
/proc/meminfo: memFree=30754756/32770624 swapFree=0/486176
[pid=29600] ppid=29597 vsize=132996 CPUtime=582.15 cores=1,3,5,7
/proc/29600/stat : 29600 (MistralXCSP) R 29597 29600 4057 0 -1 4202496 43021 0 0 0 58212 3 0 0 20 0 1 0 40496411 136187904 26902 18446744073709551615 4194304 7396336 140729778775184 140729778769672 5784854 0 0 1 16386 0 0 0 17 5 0 0 7 0 0 9496464 9501696 41803776 140729778778547 140729778778697 140729778778697 140729778782153 0
/proc/29600/statm: 33249 26902 674 782 0 26265 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 132996
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 29760
/proc/meminfo: memFree=31224768/32770624 swapFree=0/486492
[pid=29600] ppid=29597 vsize=132996 CPUtime=1602.25 cores=1,3,5,7
/proc/29600/stat : 29600 (MistralXCSP) R 29597 29600 4057 0 -1 4202496 44494 0 0 0 160222 3 0 0 20 0 1 0 40496411 136187904 26905 18446744073709551615 4194304 7396336 140729778775184 140729778769672 5594293 0 0 1 16386 0 0 0 17 5 0 0 7 0 0 9496464 9501696 41803776 140729778778547 140729778778697 140729778778697 140729778782153 0
/proc/29600/statm: 33249 26905 674 782 0 26265 0
Current children cumulated CPU time (s) 1602.25
Current children cumulated vsize (KiB) 132996
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 29762
/proc/meminfo: memFree=31225496/32770624 swapFree=0/486492
[pid=29600] ppid=29597 vsize=132996 CPUtime=1662.26 cores=1,3,5,7
/proc/29600/stat : 29600 (MistralXCSP) R 29597 29600 4057 0 -1 4202496 44494 0 0 0 166223 3 0 0 20 0 1 0 40496411 136187904 26905 18446744073709551615 4194304 7396336 140729778775184 140729778769672 4252327 0 0 1 16386 0 0 0 17 5 0 0 7 0 0 9496464 9501696 41803776 140729778778547 140729778778697 140729778778697 140729778782153 0
/proc/29600/statm: 33249 26905 674 782 0 26265 0
Current children cumulated CPU time (s) 1662.26
Current children cumulated vsize (KiB) 132996
[startup+1722.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/181 29764
/proc/meminfo: memFree=31225680/32770624 swapFree=0/486504
[pid=29600] ppid=29597 vsize=132996 CPUtime=1722.27 cores=1,3,5,7
/proc/29600/stat : 29600 (MistralXCSP) R 29597 29600 4057 0 -1 4202496 44659 0 0 0 172224 3 0 0 20 0 1 0 40496411 136187904 26906 18446744073709551615 4194304 7396336 140729778775184 140729778769672 5784543 0 0 1 16386 0 0 0 17 5 0 0 7 0 0 9496464 9501696 41803776 140729778778547 140729778778697 140729778778697 140729778782153 0
/proc/29600/statm: 33249 26906 674 782 0 26265 0
Current children cumulated CPU time (s) 1722.27
Current children cumulated vsize (KiB) 132996
[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 29766
/proc/meminfo: memFree=31225220/32770624 swapFree=0/486508
[pid=29600] ppid=29597 vsize=132996 CPUtime=1782.27 cores=1,3,5,7
/proc/29600/stat : 29600 (MistralXCSP) R 29597 29600 4057 0 -1 4202496 44659 0 0 0 178224 3 0 0 20 0 1 0 40496411 136187904 26906 18446744073709551615 4194304 7396336 140729778775184 140729778769672 5784816 0 0 1 16386 0 0 0 17 5 0 0 7 0 0 9496464 9501696 41803776 140729778778547 140729778778697 140729778778697 140729778782153 0
/proc/29600/statm: 33249 26906 674 782 0 26265 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 132996
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 29768
/proc/meminfo: memFree=31225448/32770624 swapFree=0/486512
[pid=29600] ppid=29597 vsize=132996 CPUtime=1842.28 cores=1,3,5,7
/proc/29600/stat : 29600 (MistralXCSP) R 29597 29600 4057 0 -1 4202496 44806 0 0 0 184225 3 0 0 20 0 1 0 40496411 136187904 26906 18446744073709551615 4194304 7396336 140729778775184 140729778769672 5784992 0 0 1 16386 0 0 0 17 5 0 0 7 0 0 9496464 9501696 41803776 140729778778547 140729778778697 140729778778697 140729778782153 0
/proc/29600/statm: 33249 26906 674 782 0 26265 0
Current children cumulated CPU time (s) 1842.28
Current children cumulated vsize (KiB) 132996
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 29784
/proc/meminfo: memFree=31221236/32770624 swapFree=0/486576
[pid=29600] ppid=29597 vsize=132996 CPUtime=1902.29 cores=1,3,5,7
/proc/29600/stat : 29600 (MistralXCSP) R 29597 29600 4057 0 -1 4202496 44806 0 0 0 190226 3 0 0 20 0 1 0 40496411 136187904 26906 18446744073709551615 4194304 7396336 140729778775184 140729778769672 5653837 0 0 1 16386 0 0 0 17 5 0 0 7 0 0 9496464 9501696 41803776 140729778778547 140729778778697 140729778778697 140729778782153 0
/proc/29600/statm: 33249 26906 674 782 0 26265 0
Current children cumulated CPU time (s) 1902.29
Current children cumulated vsize (KiB) 132996
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 29786
/proc/meminfo: memFree=31220792/32770624 swapFree=0/486604
[pid=29600] ppid=29597 vsize=132996 CPUtime=1962.29 cores=1,3,5,7
/proc/29600/stat : 29600 (MistralXCSP) R 29597 29600 4057 0 -1 4202496 44972 0 0 0 196226 3 0 0 20 0 1 0 40496411 136187904 26906 18446744073709551615 4194304 7396336 140729778775184 140729778769672 5594166 0 0 1 16386 0 0 0 17 5 0 0 7 0 0 9496464 9501696 41803776 140729778778547 140729778778697 140729778778697 140729778782153 0
/proc/29600/statm: 33249 26906 674 782 0 26265 0
Current children cumulated CPU time (s) 1962.29
Current children cumulated vsize (KiB) 132996
[startup+2022.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 29788
/proc/meminfo: memFree=31224420/32770624 swapFree=0/486608
[pid=29600] ppid=29597 vsize=132996 CPUtime=2022.3 cores=1,3,5,7
/proc/29600/stat : 29600 (MistralXCSP) R 29597 29600 4057 0 -1 4202496 44972 0 0 0 202227 3 0 0 20 0 1 0 40496411 136187904 26906 18446744073709551615 4194304 7396336 140729778775184 140729778769672 5785000 0 0 1 16386 0 0 0 17 5 0 0 7 0 0 9496464 9501696 41803776 140729778778547 140729778778697 140729778778697 140729778782153 0
/proc/29600/statm: 33249 26906 674 782 0 26265 0
Current children cumulated CPU time (s) 2022.3
Current children cumulated vsize (KiB) 132996
[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 29790
/proc/meminfo: memFree=31224668/32770624 swapFree=0/486624
[pid=29600] ppid=29597 vsize=132996 CPUtime=2082.31 cores=1,3,5,7
/proc/29600/stat : 29600 (MistralXCSP) R 29597 29600 4057 0 -1 4202496 45138 0 0 0 208228 3 0 0 20 0 1 0 40496411 136187904 26907 18446744073709551615 4194304 7396336 140729778775184 140729778769672 4542470 0 0 1 16386 0 0 0 17 5 0 0 7 0 0 9496464 9501696 41803776 140729778778547 140729778778697 140729778778697 140729778782153 0
/proc/29600/statm: 33249 26907 674 782 0 26265 0
Current children cumulated CPU time (s) 2082.31
Current children cumulated vsize (KiB) 132996
[startup+2142.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 29855
/proc/meminfo: memFree=31168296/32770624 swapFree=0/486664
[pid=29600] ppid=29597 vsize=132996 CPUtime=2142.31 cores=1,3,5,7
/proc/29600/stat : 29600 (MistralXCSP) R 29597 29600 4057 0 -1 4202496 45138 0 0 0 214228 3 0 0 20 0 1 0 40496411 136187904 26907 18446744073709551615 4194304 7396336 140729778775184 140729778769672 5784838 0 0 1 16386 0 0 0 17 5 0 0 7 0 0 9496464 9501696 41803776 140729778778547 140729778778697 140729778778697 140729778782153 0
/proc/29600/statm: 33249 26907 674 782 0 26265 0
Current children cumulated CPU time (s) 2142.31
Current children cumulated vsize (KiB) 132996
[startup+2202.31 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 29858
/proc/meminfo: memFree=31168112/32770624 swapFree=0/486680
[pid=29600] ppid=29597 vsize=132996 CPUtime=2202.32 cores=1,3,5,7
/proc/29600/stat : 29600 (MistralXCSP) R 29597 29600 4057 0 -1 4202496 45304 0 0 0 220229 3 0 0 20 0 1 0 40496411 136187904 26907 18446744073709551615 4194304 7396336 140729778775184 140729778769672 5593928 0 0 1 16386 0 0 0 17 5 0 0 7 0 0 9496464 9501696 41803776 140729778778547 140729778778697 140729778778697 140729778782153 0
/proc/29600/statm: 33249 26907 674 782 0 26265 0
Current children cumulated CPU time (s) 2202.32
Current children cumulated vsize (KiB) 132996
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 29860
/proc/meminfo: memFree=31168068/32770624 swapFree=0/486708
[pid=29600] ppid=29597 vsize=132996 CPUtime=2262.32 cores=1,3,5,7
/proc/29600/stat : 29600 (MistralXCSP) R 29597 29600 4057 0 -1 4202496 45304 0 0 0 226229 3 0 0 20 0 1 0 40496411 136187904 26907 18446744073709551615 4194304 7396336 140729778775184 140729778769672 5586528 0 0 1 16386 0 0 0 17 5 0 0 7 0 0 9496464 9501696 41803776 140729778778547 140729778778697 140729778778697 140729778782153 0
/proc/29600/statm: 33249 26907 674 782 0 26265 0
Current children cumulated CPU time (s) 2262.32
Current children cumulated vsize (KiB) 132996
[startup+2322.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 29862
/proc/meminfo: memFree=31168000/32770624 swapFree=0/486724
[pid=29600] ppid=29597 vsize=132996 CPUtime=2322.33 cores=1,3,5,7
/proc/29600/stat : 29600 (MistralXCSP) R 29597 29600 4057 0 -1 4202496 45469 0 0 0 232230 3 0 0 20 0 1 0 40496411 136187904 26907 18446744073709551615 4194304 7396336 140729778775184 140729778769672 5784719 0 0 1 16386 0 0 0 17 5 0 0 7 0 0 9496464 9501696 41803776 140729778778547 140729778778697 140729778778697 140729778782153 0
/proc/29600/statm: 33249 26907 674 782 0 26265 0
Current children cumulated CPU time (s) 2322.33
Current children cumulated vsize (KiB) 132996
[startup+2382.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 29865
/proc/meminfo: memFree=31167352/32770624 swapFree=0/486716
[pid=29600] ppid=29597 vsize=132996 CPUtime=2382.34 cores=1,3,5,7
/proc/29600/stat : 29600 (MistralXCSP) R 29597 29600 4057 0 -1 4202496 45470 0 0 0 238231 3 0 0 20 0 1 0 40496411 136187904 26907 18446744073709551615 4194304 7396336 140729778775184 140729778769672 5593916 0 0 1 16386 0 0 0 17 5 0 0 7 0 0 9496464 9501696 41803776 140729778778547 140729778778697 140729778778697 140729778782153 0
/proc/29600/statm: 33249 26907 674 782 0 26265 0
Current children cumulated CPU time (s) 2382.34
Current children cumulated vsize (KiB) 132996
[startup+2442.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/181 29867
/proc/meminfo: memFree=31167468/32770624 swapFree=0/486728
[pid=29600] ppid=29597 vsize=132996 CPUtime=2442.34 cores=1,3,5,7
/proc/29600/stat : 29600 (MistralXCSP) R 29597 29600 4057 0 -1 4202496 45638 0 0 0 244231 3 0 0 20 0 1 0 40496411 136187904 26908 18446744073709551615 4194304 7396336 140729778775184 140729778769672 4543827 0 0 1 16386 0 0 0 17 5 0 0 7 0 0 9496464 9501696 41803776 140729778778547 140729778778697 140729778778697 140729778782153 0
/proc/29600/statm: 33249 26908 674 782 0 26265 0
Current children cumulated CPU time (s) 2442.34
Current children cumulated vsize (KiB) 132996
[startup+2502.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/184 29883
/proc/meminfo: memFree=31163444/32770624 swapFree=0/486740
[pid=29600] ppid=29597 vsize=132996 CPUtime=2502.35 cores=1,3,5,7
/proc/29600/stat : 29600 (MistralXCSP) R 29597 29600 4057 0 -1 4202496 45638 0 0 0 250232 3 0 0 20 0 1 0 40496411 136187904 26908 18446744073709551615 4194304 7396336 140729778775184 140729778769672 4248715 0 0 1 16386 0 0 0 17 5 0 0 7 0 0 9496464 9501696 41803776 140729778778547 140729778778697 140729778778697 140729778782153 0
/proc/29600/statm: 33249 26908 674 782 0 26265 0
Current children cumulated CPU time (s) 2502.35
Current children cumulated vsize (KiB) 132996
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.01 2.03 2.05 3/184 29883
/proc/meminfo: memFree=31163444/32770624 swapFree=0/486752
[pid=29600] ppid=29597 vsize=132996 CPUtime=2520.05 cores=1,3,5,7
/proc/29600/stat : 29600 (MistralXCSP) R 29597 29600 4057 0 -1 4202496 45799 0 0 0 252002 3 0 0 20 0 1 0 40496411 136187904 26908 18446744073709551615 4194304 7396336 140729778775184 140729778769672 5784884 0 0 1 16386 0 0 0 17 5 0 0 7 0 0 9496464 9501696 41803776 140729778778547 140729778778697 140729778778697 140729778782153 0
/proc/29600/statm: 33249 26908 674 782 0 26265 0
Current children cumulated CPU time (s) 2520.05
Current children cumulated vsize (KiB) 132996
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 29600 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520
CPU time (s): 2520.06
CPU user time (s): 2520.03
CPU system time (s): 0.039002
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 132996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.03
system time used= 0.039002
maximum resident set size= 107660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45836
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= 53
involuntary context switches= 978
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.54463 second user time and 8.5209 second system time
The end