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-4260881-1502395893/watcher-4260881-1502395893 -o /tmp/evaluation-result-4260881-1502395893/solver-4260881-1502395893 -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 363445524 HOME/instance-4260881-1502395893.xml
pid=14720
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.13 2.05 2.05 2/180 14723
/proc/meminfo: memFree=31175088/32770624 swapFree=0/282776
[pid=14723] ppid=14720 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/14723/stat : 14723 (runsolver) D 14720 14723 15981 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 41784882 24240128 107 18446744073709551615 4194304 4338465 140726646067664 140726646065304 139809539257047 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 21991424 140726646075533 140726646075978 140726646075978 140726646079434 0
/proc/14723/statm: 5918 107 54 36 0 2156 0
[startup+0.100846 s]
/proc/loadavg: 2.13 2.05 2.05 2/180 14723
/proc/meminfo: memFree=31175088/32770624 swapFree=0/282776
[pid=14723] ppid=14720 vsize=29244 CPUtime=0.02 cores=1,3,5,7
/proc/14723/stat : 14723 (MistralXCSP) R 14720 14723 15981 0 -1 4202496 1048 0 0 0 2 0 0 0 20 0 1 0 41784882 29945856 868 18446744073709551615 4194304 7396336 140725412822144 140725412815384 5878325 0 0 1 0 0 0 0 17 7 0 0 7 0 0 9496464 9501696 11800576 140725412827572 140725412827721 140725412827721 140725412831177 0
/proc/14723/statm: 7311 868 612 782 0 327 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 29244
[startup+0.200851 s]
/proc/loadavg: 2.13 2.05 2.05 2/180 14723
/proc/meminfo: memFree=31175088/32770624 swapFree=0/282776
[pid=14723] ppid=14720 vsize=30280 CPUtime=0.12 cores=1,3,5,7
/proc/14723/stat : 14723 (MistralXCSP) R 14720 14723 15981 0 -1 4202496 1373 0 0 0 12 0 0 0 20 0 1 0 41784882 31006720 1068 18446744073709551615 4194304 7396336 140725412822144 140725412813816 5880276 0 0 1 0 0 0 0 17 7 0 0 7 0 0 9496464 9501696 11800576 140725412827572 140725412827721 140725412827721 140725412831177 0
/proc/14723/statm: 7570 1068 612 782 0 586 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 30280
[startup+0.300848 s]
/proc/loadavg: 2.13 2.05 2.05 2/180 14723
/proc/meminfo: memFree=31175088/32770624 swapFree=0/282776
[pid=14723] ppid=14720 vsize=30676 CPUtime=0.22 cores=1,3,5,7
/proc/14723/stat : 14723 (MistralXCSP) R 14720 14723 15981 0 -1 4202496 1564 0 0 0 22 0 0 0 20 0 1 0 41784882 31412224 1199 18446744073709551615 4194304 7396336 140725412822144 140725412815384 140659348171776 0 0 1 0 0 0 0 17 3 0 0 7 0 0 9496464 9501696 11800576 140725412827572 140725412827721 140725412827721 140725412831177 0
/proc/14723/statm: 7669 1199 612 782 0 685 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 30676
[startup+0.700222 s]
/proc/loadavg: 2.13 2.05 2.05 2/180 14723
/proc/meminfo: memFree=31175088/32770624 swapFree=0/282776
[pid=14723] ppid=14720 vsize=34696 CPUtime=0.61 cores=1,3,5,7
/proc/14723/stat : 14723 (MistralXCSP) R 14720 14723 15981 0 -1 4202496 2880 0 0 0 61 0 0 0 20 0 1 0 41784882 35528704 1937 18446744073709551615 4194304 7396336 140725412822144 140725412815384 140659347733477 0 0 1 0 0 0 0 17 3 0 0 7 0 0 9496464 9501696 11800576 140725412827572 140725412827721 140725412827721 140725412831177 0
/proc/14723/statm: 8674 1937 612 782 0 1690 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 34696
[startup+1.50023 s]
/proc/loadavg: 2.13 2.05 2.05 3/181 14724
/proc/meminfo: memFree=31158972/32770624 swapFree=0/282776
[pid=14723] ppid=14720 vsize=41200 CPUtime=1.41 cores=1,3,5,7
/proc/14723/stat : 14723 (MistralXCSP) R 14720 14723 15981 0 -1 4202496 4472 0 0 0 141 0 0 0 20 0 1 0 41784882 42188800 3816 18446744073709551615 4194304 7396336 140725412822144 140725412815384 5882996 0 0 1 0 0 0 0 17 3 0 0 7 0 0 9496464 9501696 11800576 140725412827572 140725412827721 140725412827721 140725412831177 0
/proc/14723/statm: 10300 3816 612 782 0 3316 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 41200
[startup+3.10022 s]
/proc/loadavg: 2.13 2.05 2.05 3/181 14724
/proc/meminfo: memFree=31141112/32770624 swapFree=0/282776
[pid=14723] ppid=14720 vsize=54076 CPUtime=3.01 cores=1,3,5,7
/proc/14723/stat : 14723 (MistralXCSP) R 14720 14723 15981 0 -1 4202496 6723 0 0 0 300 1 0 0 20 0 1 0 41784882 55373824 6562 18446744073709551615 4194304 7396336 140725412822144 140725412815384 5882943 0 0 1 0 0 0 0 17 3 0 0 7 0 0 9496464 9501696 11800576 140725412827572 140725412827721 140725412827721 140725412831177 0
/proc/14723/statm: 13519 6562 612 782 0 6535 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 54076
[startup+6.30022 s]
/proc/loadavg: 2.12 2.04 2.05 3/181 14724
/proc/meminfo: memFree=31089196/32770624 swapFree=0/282776
[pid=14723] ppid=14720 vsize=80092 CPUtime=6.22 cores=1,3,5,7
/proc/14723/stat : 14723 (MistralXCSP) R 14720 14723 15981 0 -1 4202496 11161 0 0 0 619 3 0 0 20 0 1 0 41784882 82014208 12489 18446744073709551615 4194304 7396336 140725412822144 140725412815384 5879092 0 0 1 0 0 0 0 17 3 0 0 7 0 0 9496464 9501696 11800576 140725412827572 140725412827721 140725412827721 140725412831177 0
/proc/14723/statm: 20023 12489 612 782 0 13039 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 80092
[startup+12.7002 s]
/proc/loadavg: 2.11 2.04 2.05 3/181 14724
/proc/meminfo: memFree=28826152/32770624 swapFree=0/282776
[pid=14723] ppid=14720 vsize=132256 CPUtime=12.61 cores=1,3,5,7
/proc/14723/stat : 14723 (MistralXCSP) R 14720 14723 15981 0 -1 4202496 19113 0 0 0 1257 4 0 0 20 0 1 0 41784882 135430144 24569 18446744073709551615 4194304 7396336 140725412822144 140725412815384 140659347733477 0 0 1 0 0 0 0 17 3 0 0 7 0 0 9496464 9501696 11800576 140725412827572 140725412827721 140725412827721 140725412831177 0
/proc/14723/statm: 33064 24569 612 782 0 26080 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 132256
[startup+25.5004 s]
/proc/loadavg: 2.09 2.04 2.05 3/181 14724
/proc/meminfo: memFree=18882700/32770624 swapFree=0/282776
[pid=14723] ppid=14720 vsize=1507752 CPUtime=25.42 cores=1,3,5,7
/proc/14723/stat : 14723 (MistralXCSP) R 14720 14723 15981 0 -1 4202496 229050 0 0 0 2502 40 0 0 20 0 1 0 41784882 1543938048 365334 18446744073709551615 4194304 7396336 140725412822144 140725412815384 140659347781536 0 0 1 0 0 0 0 17 3 0 0 7 0 0 9496464 9501696 11800576 140725412827572 140725412827721 140725412827721 140725412831177 0
/proc/14723/statm: 376938 365334 641 782 0 369954 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 1507752
[startup+51.1004 s]
/proc/loadavg: 2.06 2.04 2.05 3/181 14725
/proc/meminfo: memFree=7957724/32770624 swapFree=0/282940
[pid=14723] ppid=14720 vsize=10938464 CPUtime=51.01 cores=1,3,5,7
/proc/14723/stat : 14723 (MistralXCSP) R 14720 14723 15981 0 -1 4202496 1548699 0 0 0 4850 251 0 0 20 0 1 0 41784882 11200987136 2728354 18446744073709551615 4194304 7396336 140725412822144 140725412817496 5792030 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 11800576 140725412827572 140725412827721 140725412827721 140725412831177 0
/proc/14723/statm: 2734616 2728354 762 782 0 2727632 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 10938464
[startup+102.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 14727
/proc/meminfo: memFree=7956680/32770624 swapFree=0/282948
[pid=14723] ppid=14720 vsize=10938464 CPUtime=102.22 cores=1,3,5,7
/proc/14723/stat : 14723 (MistralXCSP) R 14720 14723 15981 0 -1 4202496 1630992 0 0 0 9966 256 0 0 20 0 1 0 41784882 11200987136 2728354 18446744073709551615 4194304 7396336 140725412822144 140725412817496 5792030 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 11800576 140725412827572 140725412827721 140725412827721 140725412831177 0
/proc/14723/statm: 2734616 2728354 762 782 0 2727632 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 10938464
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 14744
/proc/meminfo: memFree=7953080/32770624 swapFree=0/282980
[pid=14723] ppid=14720 vsize=10938464 CPUtime=162.2 cores=1,3,5,7
/proc/14723/stat : 14723 (MistralXCSP) R 14720 14723 15981 0 -1 4202496 1778154 0 0 0 15958 262 0 0 20 0 1 0 41784882 11200987136 2728354 18446744073709551615 4194304 7396336 140725412822144 140725412817496 5792074 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 11800576 140725412827572 140725412827721 140725412827721 140725412831177 0
/proc/14723/statm: 2734616 2728354 762 782 0 2727632 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 10938464
[startup+222.306 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 14771
/proc/meminfo: memFree=7950036/32770624 swapFree=0/283020
[pid=14723] ppid=14720 vsize=10938464 CPUtime=222.21 cores=1,3,5,7
/proc/14723/stat : 14723 (MistralXCSP) R 14720 14723 15981 0 -1 4202496 1872075 0 0 0 21955 266 0 0 20 0 1 0 41784882 11200987136 2728354 18446744073709551615 4194304 7396336 140725412822144 140725412817496 5792016 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 11800576 140725412827572 140725412827721 140725412827721 140725412831177 0
/proc/14723/statm: 2734616 2728354 762 782 0 2727632 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 10938464
[startup+282.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/186 14773
/proc/meminfo: memFree=7950452/32770624 swapFree=0/283036
[pid=14723] ppid=14720 vsize=10938464 CPUtime=282.2 cores=1,3,5,7
/proc/14723/stat : 14723 (MistralXCSP) R 14720 14723 15981 0 -1 4202496 2013615 0 0 0 27948 272 0 0 20 0 1 0 41784882 11200987136 2728354 18446744073709551615 4194304 7396336 140725412822144 140725412817496 5792023 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 11800576 140725412827572 140725412827721 140725412827721 140725412831177 0
/proc/14723/statm: 2734616 2728354 762 782 0 2727632 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 10938464
[startup+342.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/183 14775
/proc/meminfo: memFree=7955208/32770624 swapFree=0/283052
[pid=14723] ppid=14720 vsize=10938464 CPUtime=342.2 cores=1,3,5,7
/proc/14723/stat : 14723 (MistralXCSP) R 14720 14723 15981 0 -1 4202496 2110995 0 0 0 33943 277 0 0 20 0 1 0 41784882 11200987136 2728354 18446744073709551615 4194304 7396336 140725412822144 140725412817496 4253003 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 11800576 140725412827572 140725412827721 140725412827721 140725412831177 0
/proc/14723/statm: 2734616 2728354 762 782 0 2727632 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 10938464
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 14777
/proc/meminfo: memFree=7955624/32770624 swapFree=0/283072
[pid=14723] ppid=14720 vsize=10938464 CPUtime=402.2 cores=1,3,5,7
/proc/14723/stat : 14723 (MistralXCSP) R 14720 14723 15981 0 -1 4202496 2239510 0 0 0 39938 282 0 0 20 0 1 0 41784882 11200987136 2728354 18446744073709551615 4194304 7396336 140725412822144 140725412817496 5792043 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 11800576 140725412827572 140725412827721 140725412827721 140725412831177 0
/proc/14723/statm: 2734616 2728354 762 782 0 2727632 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 10938464
[startup+462.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 14779
/proc/meminfo: memFree=7954600/32770624 swapFree=0/283076
[pid=14723] ppid=14720 vsize=10938464 CPUtime=462.19 cores=1,3,5,7
/proc/14723/stat : 14723 (MistralXCSP) R 14720 14723 15981 0 -1 4202496 2343454 0 0 0 45933 286 0 0 20 0 1 0 41784882 11200987136 2728354 18446744073709551615 4194304 7396336 140725412822144 140725412817496 4252880 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 11800576 140725412827572 140725412827721 140725412827721 140725412831177 0
/proc/14723/statm: 2734616 2728354 762 782 0 2727632 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 10938464
[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 14781
/proc/meminfo: memFree=7955220/32770624 swapFree=0/283092
[pid=14723] ppid=14720 vsize=10938464 CPUtime=522.19 cores=1,3,5,7
/proc/14723/stat : 14723 (MistralXCSP) R 14720 14723 15981 0 -1 4202496 2471695 0 0 0 51928 291 0 0 20 0 1 0 41784882 11200987136 2728354 18446744073709551615 4194304 7396336 140725412822144 140725412817496 5792030 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 11800576 140725412827572 140725412827721 140725412827721 140725412831177 0
/proc/14723/statm: 2734616 2728354 762 782 0 2727632 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 10938464
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 14783
/proc/meminfo: memFree=7955336/32770624 swapFree=0/283112
[pid=14723] ppid=14720 vsize=10938464 CPUtime=582.18 cores=1,3,5,7
/proc/14723/stat : 14723 (MistralXCSP) R 14720 14723 15981 0 -1 4202496 2527531 0 0 0 57925 293 0 0 20 0 1 0 41784882 11200987136 2728354 18446744073709551615 4194304 7396336 140725412822144 140725412817496 4253029 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 11800576 140725412827572 140725412827721 140725412827721 140725412831177 0
/proc/14723/statm: 2734616 2728354 762 782 0 2727632 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 10938464
################
# More data... #
################
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14853
/proc/meminfo: memFree=7957700/32770624 swapFree=0/283516
[pid=14723] ppid=14720 vsize=10938464 CPUtime=1722.13 cores=1,3,5,7
/proc/14723/stat : 14723 (MistralXCSP) R 14720 14723 15981 0 -1 4202496 16955761 0 0 0 171311 902 0 0 20 0 1 0 41784882 11200987136 2728354 18446744073709551615 4194304 7396336 140725412822144 140725412817496 5792030 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 11800576 140725412827572 140725412827721 140725412827721 140725412831177 0
/proc/14723/statm: 2734616 2728354 762 782 0 2727632 0
Current children cumulated CPU time (s) 1722.13
Current children cumulated vsize (KiB) 10938464
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14855
/proc/meminfo: memFree=7956384/32770624 swapFree=0/283528
[pid=14723] ppid=14720 vsize=10938464 CPUtime=1782.13 cores=1,3,5,7
/proc/14723/stat : 14723 (MistralXCSP) R 14720 14723 15981 0 -1 4202496 18246696 0 0 0 177256 957 0 0 20 0 1 0 41784882 11200987136 2728354 18446744073709551615 4194304 7396336 140725412822144 140725412817496 4252880 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 11800576 140725412827572 140725412827721 140725412827721 140725412831177 0
/proc/14723/statm: 2734616 2728354 762 782 0 2727632 0
Current children cumulated CPU time (s) 1782.13
Current children cumulated vsize (KiB) 10938464
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14858
/proc/meminfo: memFree=7956832/32770624 swapFree=0/283544
[pid=14723] ppid=14720 vsize=10938464 CPUtime=1842.12 cores=1,3,5,7
/proc/14723/stat : 14723 (MistralXCSP) R 14720 14723 15981 0 -1 4202496 19016406 0 0 0 183220 992 0 0 20 0 1 0 41784882 11200987136 2728354 18446744073709551615 4194304 7396336 140725412822144 140725412817496 5792030 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 11800576 140725412827572 140725412827721 140725412827721 140725412831177 0
/proc/14723/statm: 2734616 2728354 762 782 0 2727632 0
Current children cumulated CPU time (s) 1842.12
Current children cumulated vsize (KiB) 10938464
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14860
/proc/meminfo: memFree=7956680/32770624 swapFree=0/283564
[pid=14723] ppid=14720 vsize=10938464 CPUtime=1902.12 cores=1,3,5,7
/proc/14723/stat : 14723 (MistralXCSP) R 14720 14723 15981 0 -1 4202496 19619305 0 0 0 189195 1017 0 0 20 0 1 0 41784882 11200987136 2728354 18446744073709551615 4194304 7396336 140725412822144 140725412817496 5792030 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 11800576 140725412827572 140725412827721 140725412827721 140725412831177 0
/proc/14723/statm: 2734616 2728354 762 782 0 2727632 0
Current children cumulated CPU time (s) 1902.12
Current children cumulated vsize (KiB) 10938464
[startup+1962.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/184 14876
/proc/meminfo: memFree=7953192/32770624 swapFree=0/283600
[pid=14723] ppid=14720 vsize=10938464 CPUtime=1962.11 cores=1,3,5,7
/proc/14723/stat : 14723 (MistralXCSP) R 14720 14723 15981 0 -1 4202496 20202801 0 0 0 195169 1042 0 0 20 0 1 0 41784882 11200987136 2728354 18446744073709551615 4194304 7396336 140725412822144 140725412817496 4253040 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 11800576 140725412827572 140725412827721 140725412827721 140725412831177 0
/proc/14723/statm: 2734616 2728354 762 782 0 2727632 0
Current children cumulated CPU time (s) 1962.11
Current children cumulated vsize (KiB) 10938464
[startup+2022.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/184 14878
/proc/meminfo: memFree=7952396/32770624 swapFree=0/283616
[pid=14723] ppid=14720 vsize=10938464 CPUtime=2022.11 cores=1,3,5,7
/proc/14723/stat : 14723 (MistralXCSP) R 14720 14723 15981 0 -1 4202496 21414495 0 0 0 201116 1095 0 0 20 0 1 0 41784882 11200987136 2728354 18446744073709551615 4194304 7396336 140725412822144 140725412817496 5792030 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 11800576 140725412827572 140725412827721 140725412827721 140725412831177 0
/proc/14723/statm: 2734616 2728354 762 782 0 2727632 0
Current children cumulated CPU time (s) 2022.11
Current children cumulated vsize (KiB) 10938464
[startup+2082.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 14880
/proc/meminfo: memFree=7955628/32770624 swapFree=0/283652
[pid=14723] ppid=14720 vsize=10938464 CPUtime=2082.12 cores=1,3,5,7
/proc/14723/stat : 14723 (MistralXCSP) R 14720 14723 15981 0 -1 4202496 22295875 0 0 0 207079 1133 0 0 20 0 1 0 41784882 11200987136 2728354 18446744073709551615 4194304 7396336 140725412822144 140725412817496 4253026 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 11800576 140725412827572 140725412827721 140725412827721 140725412831177 0
/proc/14723/statm: 2734616 2728354 762 782 0 2727632 0
Current children cumulated CPU time (s) 2082.12
Current children cumulated vsize (KiB) 10938464
[startup+2142.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 14882
/proc/meminfo: memFree=7955880/32770624 swapFree=0/283668
[pid=14723] ppid=14720 vsize=10938464 CPUtime=2142.11 cores=1,3,5,7
/proc/14723/stat : 14723 (MistralXCSP) R 14720 14723 15981 0 -1 4202496 23241456 0 0 0 213037 1174 0 0 20 0 1 0 41784882 11200987136 2728354 18446744073709551615 4194304 7396336 140725412822144 140725412817496 4253003 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 11800576 140725412827572 140725412827721 140725412827721 140725412831177 0
/proc/14723/statm: 2734616 2728354 762 782 0 2727632 0
Current children cumulated CPU time (s) 2142.11
Current children cumulated vsize (KiB) 10938464
[startup+2202.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 14884
/proc/meminfo: memFree=7956952/32770624 swapFree=0/283680
[pid=14723] ppid=14720 vsize=10938464 CPUtime=2202.11 cores=1,3,5,7
/proc/14723/stat : 14723 (MistralXCSP) R 14720 14723 15981 0 -1 4202496 24156024 0 0 0 218999 1212 0 0 20 0 1 0 41784882 11200987136 2728354 18446744073709551615 4194304 7396336 140725412822144 140725412817496 5792023 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 11800576 140725412827572 140725412827721 140725412827721 140725412831177 0
/proc/14723/statm: 2734616 2728354 762 782 0 2727632 0
Current children cumulated CPU time (s) 2202.11
Current children cumulated vsize (KiB) 10938464
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14886
/proc/meminfo: memFree=7956536/32770624 swapFree=0/283680
[pid=14723] ppid=14720 vsize=10938464 CPUtime=2262.1 cores=1,3,5,7
/proc/14723/stat : 14723 (MistralXCSP) R 14720 14723 15981 0 -1 4202496 25095908 0 0 0 224959 1251 0 0 20 0 1 0 41784882 11200987136 2728354 18446744073709551615 4194304 7396336 140725412822144 140725412817496 5792030 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 11800576 140725412827572 140725412827721 140725412827721 140725412831177 0
/proc/14723/statm: 2734616 2728354 762 782 0 2727632 0
Current children cumulated CPU time (s) 2262.1
Current children cumulated vsize (KiB) 10938464
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14888
/proc/meminfo: memFree=7956060/32770624 swapFree=0/283736
[pid=14723] ppid=14720 vsize=10938464 CPUtime=2322.11 cores=1,3,5,7
/proc/14723/stat : 14723 (MistralXCSP) R 14720 14723 15981 0 -1 4202496 26016196 0 0 0 230924 1287 0 0 20 0 1 0 41784882 11200987136 2728354 18446744073709551615 4194304 7396336 140725412822144 140725412817496 4253003 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 11800576 140725412827572 140725412827721 140725412827721 140725412831177 0
/proc/14723/statm: 2734616 2728354 762 782 0 2727632 0
Current children cumulated CPU time (s) 2322.11
Current children cumulated vsize (KiB) 10938464
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14890
/proc/meminfo: memFree=7956176/32770624 swapFree=0/283752
[pid=14723] ppid=14720 vsize=10938464 CPUtime=2382.1 cores=1,3,5,7
/proc/14723/stat : 14723 (MistralXCSP) R 14720 14723 15981 0 -1 4202496 26729871 0 0 0 236892 1318 0 0 20 0 1 0 41784882 11200987136 2728354 18446744073709551615 4194304 7396336 140725412822144 140725412817496 5792043 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 11800576 140725412827572 140725412827721 140725412827721 140725412831177 0
/proc/14723/statm: 2734616 2728354 762 782 0 2727632 0
Current children cumulated CPU time (s) 2382.1
Current children cumulated vsize (KiB) 10938464
[startup+2442.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 14892
/proc/meminfo: memFree=7956204/32770624 swapFree=0/283772
[pid=14723] ppid=14720 vsize=10938464 CPUtime=2442.1 cores=1,3,5,7
/proc/14723/stat : 14723 (MistralXCSP) R 14720 14723 15981 0 -1 4202496 27865578 0 0 0 242840 1370 0 0 20 0 1 0 41784882 11200987136 2728354 18446744073709551615 4194304 7396336 140725412822144 140725412817496 5792030 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 11800576 140725412827572 140725412827721 140725412827721 140725412831177 0
/proc/14723/statm: 2734616 2728354 762 782 0 2727632 0
Current children cumulated CPU time (s) 2442.1
Current children cumulated vsize (KiB) 10938464
[startup+2502.3 s]
/proc/loadavg: 2.02 2.02 2.05 4/194 14923
/proc/meminfo: memFree=20364036/32770624 swapFree=0/283792
[pid=14723] ppid=14720 vsize=10938464 CPUtime=2502.09 cores=1,3,5,7
/proc/14723/stat : 14723 (MistralXCSP) R 14720 14723 15981 0 -1 4202496 28740053 0 0 0 248804 1405 0 0 20 0 1 0 41784882 11200987136 2728354 18446744073709551615 4194304 7396336 140725412822144 140725412817496 5792023 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 11800576 140725412827572 140725412827721 140725412827721 140725412831177 0
/proc/14723/statm: 2734616 2728354 762 782 0 2727632 0
Current children cumulated CPU time (s) 2502.09
Current children cumulated vsize (KiB) 10938464
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.09 2.04 2.05 3/181 14958
/proc/meminfo: memFree=20472684/32770624 swapFree=0/283816
[pid=14723] ppid=14720 vsize=10938464 CPUtime=2519.79 cores=1,3,5,7
/proc/14723/stat : 14723 (MistralXCSP) R 14720 14723 15981 0 -1 4202496 29102123 0 0 0 250559 1420 0 0 20 0 1 0 41784882 11200987136 2728354 18446744073709551615 4194304 7396336 140725412822144 140725412817496 4253003 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 11800576 140725412827572 140725412827721 140725412827721 140725412831177 0
/proc/14723/statm: 2734616 2728354 762 782 0 2727632 0
Current children cumulated CPU time (s) 2519.79
Current children cumulated vsize (KiB) 10938464
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 14723 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520.21 s]
/proc/loadavg: 2.09 2.04 2.05 3/181 14959
/proc/meminfo: memFree=22910432/32770624 swapFree=0/283816
[pid=14723] ppid=14720 vsize=0 CPUtime=2520 cores=1,3,5,7
/proc/14723/stat : 14723 (MistralXCSP) R 14720 14723 15981 0 -1 4202500 29102159 0 0 0 250559 1441 0 0 20 0 1 0 41784882 0 0 18446744073709551615 0 0 0 0 0 0 16384 1 16386 18446744073709551615 0 0 17 3 0 0 7 0 0 0 0 0 0 0 0 0 0
/proc/14723/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2520
Current children cumulated vsize (KiB) 0
[startup+2520.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/181 14959
/proc/meminfo: memFree=22910432/32770624 swapFree=0/283816
[pid=14723] ppid=14720 vsize=0 CPUtime=2520.09 cores=1,3,5,7
/proc/14723/stat : 14723 (MistralXCSP) R 14720 14723 15981 0 -1 4202500 29102159 0 0 0 250559 1450 0 0 20 0 1 0 41784882 0 0 18446744073709551615 0 0 0 0 0 0 16384 1 16386 18446744073709551615 0 0 17 3 0 0 7 0 0 0 0 0 0 0 0 0 0
/proc/14723/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2520.09
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 2520.34
CPU time (s): 2520.14
CPU user time (s): 2505.59
CPU system time (s): 14.5463
CPU usage (%): 99.9921
Max. virtual memory (cumulated for all children) (KiB): 11036772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2505.59
system time used= 14.5463
maximum resident set size= 10990492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29102159
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= 6
involuntary context switches= 649
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.62482 second user time and 10.9919 second system time
The end