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-4242330-1500631740/watcher-4242330-1500631740 -o /tmp/evaluation-result-4242330-1500631740/solver-4242330-1500631740 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1500623787-3572 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 417066848 HOME/instance-4242330-1500631740.xml
pid=7869
running on 4 cores: 1,3,5,7
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.00 2.01 2.02 3/186 7872
/proc/meminfo: memFree=30787968/32770624 swapFree=6376/1115212
[pid=7872] ppid=7869 vsize=29204 CPUtime=0 cores=1,3,5,7
/proc/7872/stat : 7872 (MistralXCSP) R 7869 7872 3540 0 -1 4202496 1072 0 0 0 0 0 0 0 20 0 1 0 16451230 29904896 868 33554432000 4194304 7402444 140722124343888 140722124340936 139707564358629 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 10072064 140722124346537 140722124346686 140722124346686 140722124349385 0
/proc/7872/statm: 7301 868 618 784 0 315 0
[startup+0.100126 s]
/proc/loadavg: 2.00 2.01 2.02 3/186 7872
/proc/meminfo: memFree=30787968/32770624 swapFree=6376/1115212
[pid=7872] ppid=7869 vsize=74076 CPUtime=0.09 cores=1,3,5,7
/proc/7872/stat : 7872 (MistralXCSP) R 7869 7872 3540 0 -1 4202496 12319 0 0 0 8 1 0 0 20 0 1 0 16451230 75853824 12154 33554432000 4194304 7402444 140722124343888 140722124334968 4482323 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 10072064 140722124346537 140722124346686 140722124346686 140722124349385 0
/proc/7872/statm: 18519 12154 656 784 0 11533 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 74076
[startup+0.200398 s]
/proc/loadavg: 2.00 2.01 2.02 3/186 7872
/proc/meminfo: memFree=30787968/32770624 swapFree=6376/1115212
[pid=7872] ppid=7869 vsize=143672 CPUtime=0.19 cores=1,3,5,7
/proc/7872/stat : 7872 (MistralXCSP) R 7869 7872 3540 0 -1 4202496 29847 0 0 0 15 4 0 0 20 0 1 0 16451230 147120128 29552 33554432000 4194304 7402444 140722124343888 140722124333704 4731480 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 10072064 140722124346537 140722124346686 140722124346686 140722124349385 0
/proc/7872/statm: 35918 29552 681 784 0 28932 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 143672
[startup+0.300293 s]
/proc/loadavg: 2.00 2.01 2.02 3/186 7872
/proc/meminfo: memFree=30787968/32770624 swapFree=6376/1115212
[pid=7872] ppid=7869 vsize=154152 CPUtime=0.29 cores=1,3,5,7
/proc/7872/stat : 7872 (MistralXCSP) R 7869 7872 3540 0 -1 4202496 32708 0 0 0 24 5 0 0 20 0 1 0 16451230 157851648 32155 33554432000 4194304 7402444 140722124343888 140722124333704 4731480 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 10072064 140722124346537 140722124346686 140722124346686 140722124349385 0
/proc/7872/statm: 38538 32155 681 784 0 31552 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 154152
[startup+0.700267 s]
/proc/loadavg: 2.00 2.01 2.02 3/186 7872
/proc/meminfo: memFree=30787968/32770624 swapFree=6376/1115212
[pid=7872] ppid=7869 vsize=176564 CPUtime=0.68 cores=1,3,5,7
/proc/7872/stat : 7872 (MistralXCSP) R 7869 7872 3540 0 -1 4202496 37538 0 0 0 63 5 0 0 20 0 1 0 16451230 180801536 37771 33554432000 4194304 7402444 140722124343888 140722124333704 4731639 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 10072064 140722124346537 140722124346686 140722124346686 140722124349385 0
/proc/7872/statm: 44141 37771 681 784 0 37155 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 176564
[startup+1.50021 s]
/proc/loadavg: 1.92 2.00 2.02 3/187 7873
/proc/meminfo: memFree=30628488/32770624 swapFree=6376/1115228
[pid=7872] ppid=7869 vsize=195800 CPUtime=1.48 cores=1,3,5,7
/proc/7872/stat : 7872 (MistralXCSP) R 7869 7872 3540 0 -1 4202496 42567 0 0 0 142 6 0 0 20 0 1 0 16451230 200499200 42619 33554432000 4194304 7402444 140722124343888 140722124333784 139707564358629 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 10072064 140722124346537 140722124346686 140722124346686 140722124349385 0
/proc/7872/statm: 48950 42619 755 784 0 41964 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 195800
[startup+3.10018 s]
/proc/loadavg: 1.92 2.00 2.02 3/187 7873
/proc/meminfo: memFree=30609020/32770624 swapFree=6376/1115228
[pid=7872] ppid=7869 vsize=218340 CPUtime=3.09 cores=1,3,5,7
/proc/7872/stat : 7872 (MistralXCSP) R 7869 7872 3540 0 -1 4202496 49509 0 0 0 302 7 0 0 20 0 1 0 16451230 223580160 48310 33554432000 4194304 7402444 140722124343888 140722124333784 4529232 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 10072064 140722124346537 140722124346686 140722124346686 140722124349385 0
/proc/7872/statm: 54585 48310 755 784 0 47599 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 218340
[startup+6.30027 s]
/proc/loadavg: 1.92 2.00 2.02 3/187 7873
/proc/meminfo: memFree=30462732/32770624 swapFree=6376/1115236
[pid=7872] ppid=7869 vsize=360892 CPUtime=6.29 cores=1,3,5,7
/proc/7872/stat : 7872 (MistralXCSP) R 7869 7872 3540 0 -1 4202496 124191 0 0 0 617 12 0 0 20 0 1 0 16451230 369553408 83972 33554432000 4194304 7402444 140722124343888 140722124338312 5750450 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 10072064 140722124346537 140722124346686 140722124346686 140722124349385 0
/proc/7872/statm: 90223 83972 794 784 0 83237 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 360892
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.02 3/187 7873
/proc/meminfo: memFree=30432024/32770624 swapFree=6376/1115244
[pid=7872] ppid=7869 vsize=383604 CPUtime=12.68 cores=1,3,5,7
/proc/7872/stat : 7872 (MistralXCSP) R 7869 7872 3540 0 -1 4202496 185416 0 0 0 1252 16 0 0 20 0 1 0 16451230 392810496 89642 33554432000 4194304 7402444 140722124343888 140722124338424 5324390 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 10072064 140722124346537 140722124346686 140722124346686 140722124349385 0
/proc/7872/statm: 95901 89642 796 784 0 88915 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 383604
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.02 3/187 7873
/proc/meminfo: memFree=30426288/32770624 swapFree=6376/1115256
[pid=7872] ppid=7869 vsize=388920 CPUtime=25.48 cores=1,3,5,7
/proc/7872/stat : 7872 (MistralXCSP) R 7869 7872 3540 0 -1 4202496 244255 0 0 0 2529 19 0 0 20 0 1 0 16451230 398254080 91006 33554432000 4194304 7402444 140722124343888 140722124338424 5324390 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 10072064 140722124346537 140722124346686 140722124346686 140722124349385 0
/proc/7872/statm: 97230 91006 796 784 0 90244 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 388920
[startup+51.1003 s]
/proc/loadavg: 1.96 2.00 2.02 3/187 7873
/proc/meminfo: memFree=30423408/32770624 swapFree=6376/1115264
[pid=7872] ppid=7869 vsize=391692 CPUtime=51.05 cores=1,3,5,7
/proc/7872/stat : 7872 (MistralXCSP) R 7869 7872 3540 0 -1 4202496 300534 0 0 0 5083 22 0 0 20 0 1 0 16451230 401092608 91682 33554432000 4194304 7402444 140722124343888 140722124338424 5324377 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 10072064 140722124346537 140722124346686 140722124346686 140722124349385 0
/proc/7872/statm: 97923 91682 796 784 0 90937 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 391692
[startup+102.3 s]
/proc/loadavg: 2.10 2.03 2.03 3/187 7881
/proc/meminfo: memFree=30417080/32770624 swapFree=6376/1115304
[pid=7872] ppid=7869 vsize=397376 CPUtime=102.2 cores=1,3,5,7
/proc/7872/stat : 7872 (MistralXCSP) R 7869 7872 3540 0 -1 4202496 353406 0 0 0 10194 26 0 0 20 0 1 0 16451230 406913024 93098 33554432000 4194304 7402444 140722124343888 140722124338424 4484555 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 10072064 140722124346537 140722124346686 140722124346686 140722124349385 0
/proc/7872/statm: 99344 93098 796 784 0 92358 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 397376
[startup+162.3 s]
/proc/loadavg: 2.07 2.04 2.04 3/187 7882
/proc/meminfo: memFree=30413660/32770624 swapFree=6376/1115336
[pid=7872] ppid=7869 vsize=400156 CPUtime=162.13 cores=1,3,5,7
/proc/7872/stat : 7872 (MistralXCSP) R 7869 7872 3540 0 -1 4202496 392428 0 0 0 16185 28 0 0 20 0 1 0 16451230 409759744 93783 33554432000 4194304 7402444 140722124343888 140722124338424 4484555 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 10072064 140722124346537 140722124346686 140722124346686 140722124349385 0
/proc/7872/statm: 100039 93783 796 784 0 93053 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 400156
[startup+222.306 s]
/proc/loadavg: 2.03 2.03 2.04 3/187 7883
/proc/meminfo: memFree=30409936/32770624 swapFree=6376/1115364
[pid=7872] ppid=7869 vsize=403988 CPUtime=222.08 cores=1,3,5,7
/proc/7872/stat : 7872 (MistralXCSP) R 7869 7872 3540 0 -1 4202496 410051 0 0 0 22178 30 0 0 20 0 1 0 16451230 413683712 94709 33554432000 4194304 7402444 140722124343888 140722124338424 5324377 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 10072064 140722124346537 140722124346686 140722124346686 140722124349385 0
/proc/7872/statm: 100997 94709 796 784 0 94011 0
Current children cumulated CPU time (s) 222.08
Current children cumulated vsize (KiB) 403988
[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.04 3/187 7884
/proc/meminfo: memFree=30404488/32770624 swapFree=6376/1115400
[pid=7872] ppid=7869 vsize=409532 CPUtime=282.05 cores=1,3,5,7
/proc/7872/stat : 7872 (MistralXCSP) R 7869 7872 3540 0 -1 4202496 413371 0 0 0 28174 31 0 0 20 0 1 0 16451230 419360768 96143 33554432000 4194304 7402444 140722124343888 140722124338424 5324377 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 10072064 140722124346537 140722124346686 140722124346686 140722124349385 0
/proc/7872/statm: 102383 96143 796 784 0 95397 0
Current children cumulated CPU time (s) 282.05
Current children cumulated vsize (KiB) 409532
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/187 7885
/proc/meminfo: memFree=30400864/32770624 swapFree=6376/1115432
[pid=7872] ppid=7869 vsize=413888 CPUtime=342.01 cores=1,3,5,7
/proc/7872/stat : 7872 (MistralXCSP) R 7869 7872 3540 0 -1 4202496 417681 0 0 0 34170 31 0 0 20 0 1 0 16451230 423821312 97213 33554432000 4194304 7402444 140722124343888 140722124338424 4398296 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 10072064 140722124346537 140722124346686 140722124346686 140722124349385 0
/proc/7872/statm: 103472 97213 796 784 0 96486 0
Current children cumulated CPU time (s) 342.01
Current children cumulated vsize (KiB) 413888
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/187 7886
/proc/meminfo: memFree=30396936/32770624 swapFree=6376/1115460
[pid=7872] ppid=7869 vsize=417320 CPUtime=401.97 cores=1,3,5,7
/proc/7872/stat : 7872 (MistralXCSP) R 7869 7872 3540 0 -1 4202496 422791 0 0 0 40165 32 0 0 20 0 1 0 16451230 427335680 98107 33554432000 4194304 7402444 140722124343888 140722124338424 4377943 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 10072064 140722124346537 140722124346686 140722124346686 140722124349385 0
/proc/7872/statm: 104330 98107 796 784 0 97344 0
Current children cumulated CPU time (s) 401.97
Current children cumulated vsize (KiB) 417320
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 7887
/proc/meminfo: memFree=30394248/32770624 swapFree=6376/1115488
[pid=7872] ppid=7869 vsize=419828 CPUtime=461.93 cores=1,3,5,7
/proc/7872/stat : 7872 (MistralXCSP) R 7869 7872 3540 0 -1 4202496 428427 0 0 0 46160 33 0 0 20 0 1 0 16451230 429903872 98704 33554432000 4194304 7402444 140722124343888 140722124338424 4484555 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 10072064 140722124346537 140722124346686 140722124346686 140722124349385 0
/proc/7872/statm: 104957 98704 796 784 0 97971 0
Current children cumulated CPU time (s) 461.93
Current children cumulated vsize (KiB) 419828
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 7888
/proc/meminfo: memFree=30391840/32770624 swapFree=6376/1115520
[pid=7872] ppid=7869 vsize=421808 CPUtime=521.91 cores=1,3,5,7
/proc/7872/stat : 7872 (MistralXCSP) R 7869 7872 3540 0 -1 4202496 434354 0 0 0 52157 34 0 0 20 0 1 0 16451230 431931392 99239 33554432000 4194304 7402444 140722124343888 140722124338424 5324377 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 10072064 140722124346537 140722124346686 140722124346686 140722124349385 0
/proc/7872/statm: 105452 99239 796 784 0 98466 0
Current children cumulated CPU time (s) 521.91
Current children cumulated vsize (KiB) 421808
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 7889
/proc/meminfo: memFree=30389436/32770624 swapFree=6376/1115556
[pid=7872] ppid=7869 vsize=424052 CPUtime=581.86 cores=1,3,5,7
/proc/7872/stat : 7872 (MistralXCSP) R 7869 7872 3540 0 -1 4202496 436317 0 0 0 58152 34 0 0 20 0 1 0 16451230 434229248 99725 33554432000 4194304 7402444 140722124343888 140722124338424 5324390 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 10072064 140722124346537 140722124346686 140722124346686 140722124349385 0
/proc/7872/statm: 106013 99725 796 784 0 99027 0
Current children cumulated CPU time (s) 581.86
Current children cumulated vsize (KiB) 424052
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7921
/proc/meminfo: memFree=30364472/32770624 swapFree=6376/1116092
[pid=7872] ppid=7869 vsize=447384 CPUtime=1541.31 cores=1,3,5,7
/proc/7872/stat : 7872 (MistralXCSP) R 7869 7872 3540 0 -1 4202496 477308 0 0 0 154090 41 0 0 20 0 1 0 16451230 458121216 105635 33554432000 4194304 7402444 140722124343888 140722124338424 4712981 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 10072064 140722124346537 140722124346686 140722124346686 140722124349385 0
/proc/7872/statm: 111846 105635 796 784 0 104860 0
Current children cumulated CPU time (s) 1541.31
Current children cumulated vsize (KiB) 447384
[startup+1602.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 7922
/proc/meminfo: memFree=30363996/32770624 swapFree=6376/1116132
[pid=7872] ppid=7869 vsize=448044 CPUtime=1601.27 cores=1,3,5,7
/proc/7872/stat : 7872 (MistralXCSP) R 7869 7872 3540 0 -1 4202496 478995 0 0 0 160086 41 0 0 20 0 1 0 16451230 458797056 105764 33554432000 4194304 7402444 140722124343888 140722124338424 4484555 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 10072064 140722124346537 140722124346686 140722124346686 140722124349385 0
/proc/7872/statm: 112011 105764 796 784 0 105025 0
Current children cumulated CPU time (s) 1601.27
Current children cumulated vsize (KiB) 448044
[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/187 7923
/proc/meminfo: memFree=30364232/32770624 swapFree=6376/1116160
[pid=7872] ppid=7869 vsize=448440 CPUtime=1661.24 cores=1,3,5,7
/proc/7872/stat : 7872 (MistralXCSP) R 7869 7872 3540 0 -1 4202496 480701 0 0 0 166082 42 0 0 20 0 1 0 16451230 459202560 105865 33554432000 4194304 7402444 140722124343888 140722124338424 5758815 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 10072064 140722124346537 140722124346686 140722124346686 140722124349385 0
/proc/7872/statm: 112110 105865 796 784 0 105124 0
Current children cumulated CPU time (s) 1661.24
Current children cumulated vsize (KiB) 448440
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 7924
/proc/meminfo: memFree=30363048/32770624 swapFree=6376/1116180
[pid=7872] ppid=7869 vsize=449100 CPUtime=1721.2 cores=1,3,5,7
/proc/7872/stat : 7872 (MistralXCSP) R 7869 7872 3540 0 -1 4202496 482636 0 0 0 172078 42 0 0 20 0 1 0 16451230 459878400 106003 33554432000 4194304 7402444 140722124343888 140722124338424 4484555 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 10072064 140722124346537 140722124346686 140722124346686 140722124349385 0
/proc/7872/statm: 112275 106003 796 784 0 105289 0
Current children cumulated CPU time (s) 1721.2
Current children cumulated vsize (KiB) 449100
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7925
/proc/meminfo: memFree=30362220/32770624 swapFree=6376/1116220
[pid=7872] ppid=7869 vsize=449628 CPUtime=1781.16 cores=1,3,5,7
/proc/7872/stat : 7872 (MistralXCSP) R 7869 7872 3540 0 -1 4202496 484688 0 0 0 178074 42 0 0 20 0 1 0 16451230 460419072 106144 33554432000 4194304 7402444 140722124343888 140722124338424 5324377 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 10072064 140722124346537 140722124346686 140722124346686 140722124349385 0
/proc/7872/statm: 112407 106144 796 784 0 105421 0
Current children cumulated CPU time (s) 1781.16
Current children cumulated vsize (KiB) 449628
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 7926
/proc/meminfo: memFree=30360988/32770624 swapFree=6376/1116248
[pid=7872] ppid=7869 vsize=450288 CPUtime=1841.13 cores=1,3,5,7
/proc/7872/stat : 7872 (MistralXCSP) R 7869 7872 3540 0 -1 4202496 486956 0 0 0 184070 43 0 0 20 0 1 0 16451230 461094912 106357 33554432000 4194304 7402444 140722124343888 140722124338424 4484665 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 10072064 140722124346537 140722124346686 140722124346686 140722124349385 0
/proc/7872/statm: 112572 106357 796 784 0 105586 0
Current children cumulated CPU time (s) 1841.13
Current children cumulated vsize (KiB) 450288
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7935
/proc/meminfo: memFree=30361420/32770624 swapFree=6376/1116280
[pid=7872] ppid=7869 vsize=450684 CPUtime=1901.09 cores=1,3,5,7
/proc/7872/stat : 7872 (MistralXCSP) R 7869 7872 3540 0 -1 4202496 488720 0 0 0 190066 43 0 0 20 0 1 0 16451230 461500416 106414 33554432000 4194304 7402444 140722124343888 140722124338424 5324597 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 10072064 140722124346537 140722124346686 140722124346686 140722124349385 0
/proc/7872/statm: 112671 106414 796 784 0 105685 0
Current children cumulated CPU time (s) 1901.09
Current children cumulated vsize (KiB) 450684
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7936
/proc/meminfo: memFree=30361080/32770624 swapFree=6376/1116316
[pid=7872] ppid=7869 vsize=450948 CPUtime=1961.06 cores=1,3,5,7
/proc/7872/stat : 7872 (MistralXCSP) R 7869 7872 3540 0 -1 4202496 490552 0 0 0 196063 43 0 0 20 0 1 0 16451230 461770752 106505 33554432000 4194304 7402444 140722124343888 140722124338424 4378348 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 10072064 140722124346537 140722124346686 140722124346686 140722124349385 0
/proc/7872/statm: 112737 106505 796 784 0 105751 0
Current children cumulated CPU time (s) 1961.06
Current children cumulated vsize (KiB) 450948
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7937
/proc/meminfo: memFree=30360116/32770624 swapFree=6376/1116340
[pid=7872] ppid=7869 vsize=452344 CPUtime=2021.02 cores=1,3,5,7
/proc/7872/stat : 7872 (MistralXCSP) R 7869 7872 3540 0 -1 4202496 493008 0 0 0 202059 43 0 0 20 0 1 0 16451230 463200256 106860 33554432000 4194304 7402444 140722124343888 140722124338424 5324390 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 10072064 140722124346537 140722124346686 140722124346686 140722124349385 0
/proc/7872/statm: 113086 106860 796 784 0 106100 0
Current children cumulated CPU time (s) 2021.02
Current children cumulated vsize (KiB) 452344
[startup+2082.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 7938
/proc/meminfo: memFree=30354372/32770624 swapFree=6376/1116376
[pid=7872] ppid=7869 vsize=457840 CPUtime=2081 cores=1,3,5,7
/proc/7872/stat : 7872 (MistralXCSP) R 7869 7872 3540 0 -1 4202496 497589 0 0 0 208056 44 0 0 20 0 1 0 16451230 468828160 108187 33554432000 4194304 7402444 140722124343888 140722124338424 4484558 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 10072064 140722124346537 140722124346686 140722124346686 140722124349385 0
/proc/7872/statm: 114460 108187 796 784 0 107474 0
Current children cumulated CPU time (s) 2081
Current children cumulated vsize (KiB) 457840
[startup+2142.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/188 8000
/proc/meminfo: memFree=30331120/32770624 swapFree=6376/1116444
[pid=7872] ppid=7869 vsize=458104 CPUtime=2140.97 cores=1,3,5,7
/proc/7872/stat : 7872 (MistralXCSP) R 7869 7872 3540 0 -1 4202496 501062 0 0 0 214052 45 0 0 20 0 1 0 16451230 469098496 108277 33554432000 4194304 7402444 140722124343888 140722124338424 5324390 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 10072064 140722124346537 140722124346686 140722124346686 140722124349385 0
/proc/7872/statm: 114526 108277 796 784 0 107540 0
Current children cumulated CPU time (s) 2140.97
Current children cumulated vsize (KiB) 458104
[startup+2202.31 s]
/proc/loadavg: 2.06 2.05 2.05 3/187 8001
/proc/meminfo: memFree=30330176/32770624 swapFree=6376/1116504
[pid=7872] ppid=7869 vsize=458236 CPUtime=2200.94 cores=1,3,5,7
/proc/7872/stat : 7872 (MistralXCSP) R 7869 7872 3540 0 -1 4202496 504576 0 0 0 220049 45 0 0 20 0 1 0 16451230 469233664 108330 33554432000 4194304 7402444 140722124343888 140722124338424 4379264 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 10072064 140722124346537 140722124346686 140722124346686 140722124349385 0
/proc/7872/statm: 114559 108330 796 784 0 107573 0
Current children cumulated CPU time (s) 2200.94
Current children cumulated vsize (KiB) 458236
[startup+2262.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 8002
/proc/meminfo: memFree=30328092/32770624 swapFree=6376/1116528
[pid=7872] ppid=7869 vsize=458500 CPUtime=2260.9 cores=1,3,5,7
/proc/7872/stat : 7872 (MistralXCSP) R 7869 7872 3540 0 -1 4202496 506294 0 0 0 226045 45 0 0 20 0 1 0 16451230 469504000 108394 33554432000 4194304 7402444 140722124343888 140722124338424 5818609 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 10072064 140722124346537 140722124346686 140722124346686 140722124349385 0
/proc/7872/statm: 114625 108394 796 784 0 107639 0
Current children cumulated CPU time (s) 2260.9
Current children cumulated vsize (KiB) 458500
[startup+2322.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 8003
/proc/meminfo: memFree=30328388/32770624 swapFree=6376/1116560
[pid=7872] ppid=7869 vsize=458764 CPUtime=2320.88 cores=1,3,5,7
/proc/7872/stat : 7872 (MistralXCSP) R 7869 7872 3540 0 -1 4202496 508057 0 0 0 232042 46 0 0 20 0 1 0 16451230 469774336 108461 33554432000 4194304 7402444 140722124343888 140722124338424 5877812 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 10072064 140722124346537 140722124346686 140722124346686 140722124349385 0
/proc/7872/statm: 114691 108461 796 784 0 107705 0
Current children cumulated CPU time (s) 2320.88
Current children cumulated vsize (KiB) 458764
[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 8004
/proc/meminfo: memFree=30328864/32770624 swapFree=6376/1116596
[pid=7872] ppid=7869 vsize=459028 CPUtime=2380.86 cores=1,3,5,7
/proc/7872/stat : 7872 (MistralXCSP) R 7869 7872 3540 0 -1 4202496 509897 0 0 0 238040 46 0 0 20 0 1 0 16451230 470044672 108535 33554432000 4194304 7402444 140722124343888 140722124338424 5324377 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 10072064 140722124346537 140722124346686 140722124346686 140722124349385 0
/proc/7872/statm: 114757 108535 796 784 0 107771 0
Current children cumulated CPU time (s) 2380.86
Current children cumulated vsize (KiB) 459028
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.5 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 8004
/proc/meminfo: memFree=30329188/32770624 swapFree=6376/1116604
[pid=7872] ppid=7869 vsize=459160 CPUtime=2400.05 cores=1,3,5,7
/proc/7872/stat : 7872 (MistralXCSP) R 7869 7872 3540 0 -1 4202496 510089 0 0 0 239959 46 0 0 20 0 1 0 16451230 470179840 108558 33554432000 4194304 7402444 140722124343888 140722124338424 5324377 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 10072064 140722124346537 140722124346686 140722124346686 140722124349385 0
/proc/7872/statm: 114790 108558 796 784 0 107804 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 459160
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 7872 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2401.5 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 8004
/proc/meminfo: memFree=30329188/32770624 swapFree=6376/1116604
[pid=7872] ppid=7869 vsize=459160 CPUtime=2400.05 cores=1,3,5,7
/proc/7872/stat : 7872 (MistralXCSP) R 7869 7872 3540 0 -1 4202496 510089 0 0 0 239959 46 0 0 20 0 1 0 16451230 470179840 108558 33554432000 4194304 7402444 140722124343888 140722124338424 5324377 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 10072064 140722124346537 140722124346686 140722124346686 140722124349385 0
/proc/7872/statm: 114790 108558 796 784 0 107804 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 459160
Child status: 0
Real time (s): 2401.5
CPU time (s): 2400.06
CPU user time (s): 2399.59
CPU system time (s): 0.465736
CPU usage (%): 99.9398
Max. virtual memory (cumulated for all children) (KiB): 459160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.59
system time used= 0.465736
maximum resident set size= 434300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510118
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= 139
involuntary context switches= 120901
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.25425 second user time and 10.0115 second system time
The end