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-4241862-1500653017/watcher-4241862-1500653017 -o /tmp/evaluation-result-4241862-1500653017/solver-4241862-1500653017 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node113-1500648178-9856 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 161685712 HOME/instance-4241862-1500653017.xml
pid=10764
running on 8 cores: 1,3,5,7,9,11,13,15
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.03 1.99 3/243 10767
/proc/meminfo: memFree=32017900/32770624 swapFree=5956/186552
[pid=10767] ppid=10764 vsize=29512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10767/stat : 10767 (MistralXCSP) R 10764 10767 9824 0 -1 4202496 1166 0 0 0 0 0 0 0 20 0 1 0 570669 30220288 934 33554432000 4194304 7402444 140734002623568 140734002615096 5919819 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27308032 140734002631849 140734002631998 140734002631998 140734002634697 0
/proc/10767/statm: 7378 934 634 784 0 392 0
[startup+0.100144 s]
/proc/loadavg: 2.00 2.03 1.99 3/243 10767
/proc/meminfo: memFree=32017900/32770624 swapFree=5956/186552
[pid=10767] ppid=10764 vsize=30816 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/10767/stat : 10767 (MistralXCSP) R 10764 10767 9824 0 -1 4202496 1595 0 0 0 9 0 0 0 20 0 1 0 570669 31555584 1396 33554432000 4194304 7402444 140734002623568 140734002614040 140175378131941 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27308032 140734002631849 140734002631998 140734002631998 140734002634697 0
/proc/10767/statm: 7704 1396 742 784 0 718 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30816
[startup+0.200272 s]
/proc/loadavg: 2.00 2.03 1.99 3/243 10767
/proc/meminfo: memFree=32017900/32770624 swapFree=5956/186552
[pid=10767] ppid=10764 vsize=33076 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/10767/stat : 10767 (MistralXCSP) R 10764 10767 9824 0 -1 4202496 2214 0 0 0 19 0 0 0 20 0 1 0 570669 33869824 2003 33554432000 4194304 7402444 140734002623568 140734002613704 6074949 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27308032 140734002631849 140734002631998 140734002631998 140734002634697 0
/proc/10767/statm: 8269 2003 742 784 0 1283 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 33076
[startup+0.300243 s]
/proc/loadavg: 2.00 2.03 1.99 3/243 10767
/proc/meminfo: memFree=32017900/32770624 swapFree=5956/186552
[pid=10767] ppid=10764 vsize=34732 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/10767/stat : 10767 (MistralXCSP) R 10764 10767 9824 0 -1 4202496 2679 0 0 0 29 0 0 0 20 0 1 0 570669 35565568 2418 33554432000 4194304 7402444 140734002623568 140734002613848 4731480 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27308032 140734002631849 140734002631998 140734002631998 140734002634697 0
/proc/10767/statm: 8683 2418 742 784 0 1697 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34732
[startup+0.70026 s]
/proc/loadavg: 2.00 2.03 1.99 3/243 10767
/proc/meminfo: memFree=32017900/32770624 swapFree=5956/186552
[pid=10767] ppid=10764 vsize=42036 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/10767/stat : 10767 (MistralXCSP) R 10764 10767 9824 0 -1 4202496 4619 0 0 0 69 0 0 0 20 0 1 0 570669 43044864 4229 33554432000 4194304 7402444 140734002623568 140734002614056 6012323 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27308032 140734002631849 140734002631998 140734002631998 140734002634697 0
/proc/10767/statm: 10509 4229 742 784 0 3523 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42036
[startup+1.50029 s]
/proc/loadavg: 2.00 2.03 1.99 3/244 10768
/proc/meminfo: memFree=31992140/32770624 swapFree=5956/186584
[pid=10767] ppid=10764 vsize=53640 CPUtime=1.48 cores=1,3,5,7,9,11,13,15
/proc/10767/stat : 10767 (MistralXCSP) R 10764 10767 9824 0 -1 4202496 7704 0 0 0 148 0 0 0 20 0 1 0 570669 54927360 7152 33554432000 4194304 7402444 140734002623568 140734002617848 5721634 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27308032 140734002631849 140734002631998 140734002631998 140734002634697 0
/proc/10767/statm: 13410 7152 800 784 0 6424 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 53640
[startup+3.10025 s]
/proc/loadavg: 2.00 2.03 1.99 3/244 10768
/proc/meminfo: memFree=31990080/32770624 swapFree=5956/186592
[pid=10767] ppid=10764 vsize=53772 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/10767/stat : 10767 (MistralXCSP) R 10764 10767 9824 0 -1 4202496 11952 0 0 0 308 1 0 0 20 0 1 0 570669 55062528 7246 33554432000 4194304 7402444 140734002623568 140734002617976 5327242 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27308032 140734002631849 140734002631998 140734002631998 140734002634697 0
/proc/10767/statm: 13443 7246 800 784 0 6457 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53772
[startup+6.30024 s]
/proc/loadavg: 2.00 2.03 1.99 3/244 10768
/proc/meminfo: memFree=31989832/32770624 swapFree=5956/186592
[pid=10767] ppid=10764 vsize=53904 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/10767/stat : 10767 (MistralXCSP) R 10764 10767 9824 0 -1 4202496 16115 0 0 0 628 1 0 0 20 0 1 0 570669 55197696 7260 33554432000 4194304 7402444 140734002623568 140734002617816 4377716 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27308032 140734002631849 140734002631998 140734002631998 140734002634697 0
/proc/10767/statm: 13476 7260 800 784 0 6490 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53904
[startup+12.7003 s]
/proc/loadavg: 2.00 2.03 1.99 3/244 10768
/proc/meminfo: memFree=31989012/32770624 swapFree=5956/186604
[pid=10767] ppid=10764 vsize=54300 CPUtime=12.68 cores=1,3,5,7,9,11,13,15
/proc/10767/stat : 10767 (MistralXCSP) R 10764 10767 9824 0 -1 4202496 20456 0 0 0 1267 1 0 0 20 0 1 0 570669 55603200 7350 33554432000 4194304 7402444 140734002623568 140734002617816 5871216 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27308032 140734002631849 140734002631998 140734002631998 140734002634697 0
/proc/10767/statm: 13575 7350 800 784 0 6589 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 54300
[startup+25.5004 s]
/proc/loadavg: 2.00 2.03 1.99 3/244 10768
/proc/meminfo: memFree=31987776/32770624 swapFree=5956/186608
[pid=10767] ppid=10764 vsize=55400 CPUtime=25.47 cores=1,3,5,7,9,11,13,15
/proc/10767/stat : 10767 (MistralXCSP) R 10764 10767 9824 0 -1 4202496 23574 0 0 0 2546 1 0 0 20 0 1 0 570669 56729600 7632 33554432000 4194304 7402444 140734002623568 140734002617992 140175378124590 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27308032 140734002631849 140734002631998 140734002631998 140734002634697 0
/proc/10767/statm: 13850 7632 800 784 0 6864 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 55400
[startup+51.1004 s]
/proc/loadavg: 2.00 2.02 1.99 3/244 10768
/proc/meminfo: memFree=31987520/32770624 swapFree=5956/186628
[pid=10767] ppid=10764 vsize=55532 CPUtime=51.07 cores=1,3,5,7,9,11,13,15
/proc/10767/stat : 10767 (MistralXCSP) R 10764 10767 9824 0 -1 4202496 25143 0 0 0 5106 1 0 0 20 0 1 0 570669 56864768 7662 33554432000 4194304 7402444 140734002623568 140734002617816 4220960 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27308032 140734002631849 140734002631998 140734002631998 140734002634697 0
/proc/10767/statm: 13883 7662 800 784 0 6897 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 55532
[startup+102.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/243 10769
/proc/meminfo: memFree=31986784/32770624 swapFree=5956/186664
[pid=10767] ppid=10764 vsize=55664 CPUtime=102.26 cores=1,3,5,7,9,11,13,15
/proc/10767/stat : 10767 (MistralXCSP) R 10764 10767 9824 0 -1 4202496 26764 0 0 0 10225 1 0 0 20 0 1 0 570669 56999936 7684 33554432000 4194304 7402444 140734002623568 140734002617816 5871081 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27308032 140734002631849 140734002631998 140734002631998 140734002634697 0
/proc/10767/statm: 13916 7684 800 784 0 6930 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 55664
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/243 10770
/proc/meminfo: memFree=31986380/32770624 swapFree=5956/186700
[pid=10767] ppid=10764 vsize=55796 CPUtime=162.23 cores=1,3,5,7,9,11,13,15
/proc/10767/stat : 10767 (MistralXCSP) R 10764 10767 9824 0 -1 4202496 27916 0 0 0 16222 1 0 0 20 0 1 0 570669 57135104 7728 33554432000 4194304 7402444 140734002623568 140734002617816 140175378141087 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27308032 140734002631849 140734002631998 140734002631998 140734002634697 0
/proc/10767/statm: 13949 7728 800 784 0 6963 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 55796
[startup+222.308 s]
/proc/loadavg: 2.00 2.01 1.99 3/243 10771
/proc/meminfo: memFree=31985960/32770624 swapFree=5956/186732
[pid=10767] ppid=10764 vsize=56060 CPUtime=222.22 cores=1,3,5,7,9,11,13,15
/proc/10767/stat : 10767 (MistralXCSP) R 10764 10767 9824 0 -1 4202496 29213 0 0 0 22221 1 0 0 20 0 1 0 570669 57405440 7802 33554432000 4194304 7402444 140734002623568 140734002617816 5820802 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27308032 140734002631849 140734002631998 140734002631998 140734002634697 0
/proc/10767/statm: 14015 7802 800 784 0 7029 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 56060
[startup+282.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/242 10772
/proc/meminfo: memFree=31987040/32770624 swapFree=5956/186768
[pid=10767] ppid=10764 vsize=56192 CPUtime=282.21 cores=1,3,5,7,9,11,13,15
/proc/10767/stat : 10767 (MistralXCSP) R 10764 10767 9824 0 -1 4202496 29994 0 0 0 28219 2 0 0 20 0 1 0 570669 57540608 7817 33554432000 4194304 7402444 140734002623568 140734002617816 5715740 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27308032 140734002631849 140734002631998 140734002631998 140734002634697 0
/proc/10767/statm: 14048 7817 800 784 0 7062 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 56192
[startup+342.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/243 10774
/proc/meminfo: memFree=31985784/32770624 swapFree=5956/186808
[pid=10767] ppid=10764 vsize=56192 CPUtime=342.19 cores=1,3,5,7,9,11,13,15
/proc/10767/stat : 10767 (MistralXCSP) R 10764 10767 9824 0 -1 4202496 30818 0 0 0 34217 2 0 0 20 0 1 0 570669 57540608 7831 33554432000 4194304 7402444 140734002623568 140734002617816 5719591 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27308032 140734002631849 140734002631998 140734002631998 140734002634697 0
/proc/10767/statm: 14048 7831 800 784 0 7062 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 56192
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/243 10782
/proc/meminfo: memFree=31985652/32770624 swapFree=5956/186852
[pid=10767] ppid=10764 vsize=56192 CPUtime=402.18 cores=1,3,5,7,9,11,13,15
/proc/10767/stat : 10767 (MistralXCSP) R 10764 10767 9824 0 -1 4202496 31621 0 0 0 40216 2 0 0 20 0 1 0 570669 57540608 7835 33554432000 4194304 7402444 140734002623568 140734002617816 5327213 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27308032 140734002631849 140734002631998 140734002631998 140734002634697 0
/proc/10767/statm: 14048 7835 800 784 0 7062 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 56192
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/243 10783
/proc/meminfo: memFree=31985380/32770624 swapFree=5956/186896
[pid=10767] ppid=10764 vsize=56192 CPUtime=462.16 cores=1,3,5,7,9,11,13,15
/proc/10767/stat : 10767 (MistralXCSP) R 10764 10767 9824 0 -1 4202496 32442 0 0 0 46214 2 0 0 20 0 1 0 570669 57540608 7842 33554432000 4194304 7402444 140734002623568 140734002617816 5758615 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27308032 140734002631849 140734002631998 140734002631998 140734002634697 0
/proc/10767/statm: 14048 7842 800 784 0 7062 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 56192
[startup+522.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/243 10784
/proc/meminfo: memFree=31984476/32770624 swapFree=5956/186928
[pid=10767] ppid=10764 vsize=56324 CPUtime=522.14 cores=1,3,5,7,9,11,13,15
/proc/10767/stat : 10767 (MistralXCSP) R 10764 10767 9824 0 -1 4202496 33292 0 0 0 52212 2 0 0 20 0 1 0 570669 57675776 7853 33554432000 4194304 7402444 140734002623568 140734002617816 5877540 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27308032 140734002631849 140734002631998 140734002631998 140734002634697 0
/proc/10767/statm: 14081 7853 800 784 0 7095 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 56324
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/243 10785
/proc/meminfo: memFree=31984464/32770624 swapFree=5956/186964
[pid=10767] ppid=10764 vsize=56324 CPUtime=582.12 cores=1,3,5,7,9,11,13,15
/proc/10767/stat : 10767 (MistralXCSP) R 10764 10767 9824 0 -1 4202496 34108 0 0 0 58210 2 0 0 20 0 1 0 570669 57675776 7870 33554432000 4194304 7402444 140734002623568 140734002617816 140175378141208 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27308032 140734002631849 140734002631998 140734002631998 140734002634697 0
/proc/10767/statm: 14081 7870 800 784 0 7095 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 56324
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.04 2.03 2.02 3/243 10810
/proc/meminfo: memFree=31983012/32770624 swapFree=5920/187560
[pid=10767] ppid=10764 vsize=56588 CPUtime=1541.88 cores=1,3,5,7,9,11,13,15
/proc/10767/stat : 10767 (MistralXCSP) R 10764 10767 9824 0 -1 4202496 47993 0 0 0 154185 3 0 0 20 0 1 0 570669 57946112 7927 33554432000 4194304 7402444 140734002623568 140734002617816 140175378124595 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27308032 140734002631849 140734002631998 140734002631998 140734002634697 0
/proc/10767/statm: 14147 7927 800 784 0 7161 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 56588
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.02 3/243 10818
/proc/meminfo: memFree=31982856/32770624 swapFree=5920/187588
[pid=10767] ppid=10764 vsize=56588 CPUtime=1601.86 cores=1,3,5,7,9,11,13,15
/proc/10767/stat : 10767 (MistralXCSP) R 10764 10767 9824 0 -1 4202496 48865 0 0 0 160183 3 0 0 20 0 1 0 570669 57946112 7930 33554432000 4194304 7402444 140734002623568 140734002617816 5327213 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27308032 140734002631849 140734002631998 140734002631998 140734002634697 0
/proc/10767/statm: 14147 7930 800 784 0 7161 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 56588
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 10819
/proc/meminfo: memFree=31983412/32770624 swapFree=5920/187624
[pid=10767] ppid=10764 vsize=56588 CPUtime=1661.84 cores=1,3,5,7,9,11,13,15
/proc/10767/stat : 10767 (MistralXCSP) R 10764 10767 9824 0 -1 4202496 49766 0 0 0 166181 3 0 0 20 0 1 0 570669 57946112 7931 33554432000 4194304 7402444 140734002623568 140734002617816 4361856 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27308032 140734002631849 140734002631998 140734002631998 140734002634697 0
/proc/10767/statm: 14147 7931 800 784 0 7161 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 56588
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 10820
/proc/meminfo: memFree=31983928/32770624 swapFree=5920/187660
[pid=10767] ppid=10764 vsize=56588 CPUtime=1721.83 cores=1,3,5,7,9,11,13,15
/proc/10767/stat : 10767 (MistralXCSP) R 10764 10767 9824 0 -1 4202496 50623 0 0 0 172180 3 0 0 20 0 1 0 570669 57946112 7931 33554432000 4194304 7402444 140734002623568 140734002617816 5719568 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27308032 140734002631849 140734002631998 140734002631998 140734002634697 0
/proc/10767/statm: 14147 7931 800 784 0 7161 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 56588
[startup+1782.3 s]
/proc/loadavg: 2.08 2.03 2.02 3/243 10821
/proc/meminfo: memFree=31984480/32770624 swapFree=5920/187692
[pid=10767] ppid=10764 vsize=56588 CPUtime=1781.81 cores=1,3,5,7,9,11,13,15
/proc/10767/stat : 10767 (MistralXCSP) R 10764 10767 9824 0 -1 4202496 51503 0 0 0 178178 3 0 0 20 0 1 0 570669 57946112 7932 33554432000 4194304 7402444 140734002623568 140734002617816 5877690 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27308032 140734002631849 140734002631998 140734002631998 140734002634697 0
/proc/10767/statm: 14147 7932 800 784 0 7161 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 56588
[startup+1842.3 s]
/proc/loadavg: 2.03 2.03 2.02 3/243 10822
/proc/meminfo: memFree=31984104/32770624 swapFree=5920/187736
[pid=10767] ppid=10764 vsize=56588 CPUtime=1841.8 cores=1,3,5,7,9,11,13,15
/proc/10767/stat : 10767 (MistralXCSP) R 10764 10767 9824 0 -1 4202496 52366 0 0 0 184177 3 0 0 20 0 1 0 570669 57946112 7932 33554432000 4194304 7402444 140734002623568 140734002617816 5746096 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27308032 140734002631849 140734002631998 140734002631998 140734002634697 0
/proc/10767/statm: 14147 7932 800 784 0 7161 0
Current children cumulated CPU time (s) 1841.8
Current children cumulated vsize (KiB) 56588
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.02 3/243 10823
/proc/meminfo: memFree=31983204/32770624 swapFree=5920/187768
[pid=10767] ppid=10764 vsize=56588 CPUtime=1901.78 cores=1,3,5,7,9,11,13,15
/proc/10767/stat : 10767 (MistralXCSP) R 10764 10767 9824 0 -1 4202496 53246 0 0 0 190175 3 0 0 20 0 1 0 570669 57946112 7933 33554432000 4194304 7402444 140734002623568 140734002617816 5327213 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27308032 140734002631849 140734002631998 140734002631998 140734002634697 0
/proc/10767/statm: 14147 7933 800 784 0 7161 0
Current children cumulated CPU time (s) 1901.78
Current children cumulated vsize (KiB) 56588
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 10824
/proc/meminfo: memFree=31983680/32770624 swapFree=5920/187804
[pid=10767] ppid=10764 vsize=56588 CPUtime=1961.77 cores=1,3,5,7,9,11,13,15
/proc/10767/stat : 10767 (MistralXCSP) R 10764 10767 9824 0 -1 4202496 54150 0 0 0 196174 3 0 0 20 0 1 0 570669 57946112 7934 33554432000 4194304 7402444 140734002623568 140734002617816 5872847 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27308032 140734002631849 140734002631998 140734002631998 140734002634697 0
/proc/10767/statm: 14147 7934 800 784 0 7161 0
Current children cumulated CPU time (s) 1961.77
Current children cumulated vsize (KiB) 56588
[startup+2022.3 s]
/proc/loadavg: 2.04 2.03 2.03 3/243 10825
/proc/meminfo: memFree=31983596/32770624 swapFree=5920/187832
[pid=10767] ppid=10764 vsize=56588 CPUtime=2021.75 cores=1,3,5,7,9,11,13,15
/proc/10767/stat : 10767 (MistralXCSP) R 10764 10767 9824 0 -1 4202496 55026 0 0 0 202172 3 0 0 20 0 1 0 570669 57946112 7935 33554432000 4194304 7402444 140734002623568 140734002617816 5750704 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27308032 140734002631849 140734002631998 140734002631998 140734002634697 0
/proc/10767/statm: 14147 7935 800 784 0 7161 0
Current children cumulated CPU time (s) 2021.75
Current children cumulated vsize (KiB) 56588
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.03 3/243 10826
/proc/meminfo: memFree=31983296/32770624 swapFree=5920/187864
[pid=10767] ppid=10764 vsize=56588 CPUtime=2081.74 cores=1,3,5,7,9,11,13,15
/proc/10767/stat : 10767 (MistralXCSP) R 10764 10767 9824 0 -1 4202496 55891 0 0 0 208171 3 0 0 20 0 1 0 570669 57946112 7936 33554432000 4194304 7402444 140734002623568 140734002617816 5721647 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27308032 140734002631849 140734002631998 140734002631998 140734002634697 0
/proc/10767/statm: 14147 7936 800 784 0 7161 0
Current children cumulated CPU time (s) 2081.74
Current children cumulated vsize (KiB) 56588
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.03 3/243 10827
/proc/meminfo: memFree=31983744/32770624 swapFree=5920/187908
[pid=10767] ppid=10764 vsize=56588 CPUtime=2141.72 cores=1,3,5,7,9,11,13,15
/proc/10767/stat : 10767 (MistralXCSP) R 10764 10767 9824 0 -1 4202496 56764 0 0 0 214169 3 0 0 20 0 1 0 570669 57946112 7936 33554432000 4194304 7402444 140734002623568 140734002617816 4377887 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27308032 140734002631849 140734002631998 140734002631998 140734002634697 0
/proc/10767/statm: 14147 7936 800 784 0 7161 0
Current children cumulated CPU time (s) 2141.72
Current children cumulated vsize (KiB) 56588
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.03 3/244 10836
/proc/meminfo: memFree=31983720/32770624 swapFree=5920/187956
[pid=10767] ppid=10764 vsize=56588 CPUtime=2201.71 cores=1,3,5,7,9,11,13,15
/proc/10767/stat : 10767 (MistralXCSP) R 10764 10767 9824 0 -1 4202496 57646 0 0 0 220168 3 0 0 20 0 1 0 570669 57946112 7937 33554432000 4194304 7402444 140734002623568 140734002617816 4249063 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27308032 140734002631849 140734002631998 140734002631998 140734002634697 0
/proc/10767/statm: 14147 7937 800 784 0 7161 0
Current children cumulated CPU time (s) 2201.71
Current children cumulated vsize (KiB) 56588
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/244 10837
/proc/meminfo: memFree=31983192/32770624 swapFree=5920/187996
[pid=10767] ppid=10764 vsize=56588 CPUtime=2261.68 cores=1,3,5,7,9,11,13,15
/proc/10767/stat : 10767 (MistralXCSP) R 10764 10767 9824 0 -1 4202496 58548 0 0 0 226165 3 0 0 20 0 1 0 570669 57946112 7938 33554432000 4194304 7402444 140734002623568 140734002617816 5750704 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27308032 140734002631849 140734002631998 140734002631998 140734002634697 0
/proc/10767/statm: 14147 7938 800 784 0 7161 0
Current children cumulated CPU time (s) 2261.68
Current children cumulated vsize (KiB) 56588
[startup+2322.3 s]
/proc/loadavg: 2.03 2.03 2.03 3/244 10838
/proc/meminfo: memFree=31983740/32770624 swapFree=5920/188024
[pid=10767] ppid=10764 vsize=56588 CPUtime=2321.67 cores=1,3,5,7,9,11,13,15
/proc/10767/stat : 10767 (MistralXCSP) R 10764 10767 9824 0 -1 4202496 59455 0 0 0 232164 3 0 0 20 0 1 0 570669 57946112 7939 33554432000 4194304 7402444 140734002623568 140734002617816 5821841 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27308032 140734002631849 140734002631998 140734002631998 140734002634697 0
/proc/10767/statm: 14147 7939 800 784 0 7161 0
Current children cumulated CPU time (s) 2321.67
Current children cumulated vsize (KiB) 56588
[startup+2382.3 s]
/proc/loadavg: 1.93 2.00 2.03 3/244 10905
/proc/meminfo: memFree=32001240/32770624 swapFree=5920/188096
[pid=10767] ppid=10764 vsize=56588 CPUtime=2381.65 cores=1,3,5,7,9,11,13,15
/proc/10767/stat : 10767 (MistralXCSP) R 10764 10767 9824 0 -1 4202496 60335 0 0 0 238162 3 0 0 20 0 1 0 570669 57946112 7940 33554432000 4194304 7402444 140734002623568 140734002617816 140175378129451 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27308032 140734002631849 140734002631998 140734002631998 140734002634697 0
/proc/10767/statm: 14147 7940 800 784 0 7161 0
Current children cumulated CPU time (s) 2381.65
Current children cumulated vsize (KiB) 56588
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.7 s]
/proc/loadavg: 1.95 2.00 2.03 3/244 10971
/proc/meminfo: memFree=31842004/32770624 swapFree=5920/188144
[pid=10767] ppid=10764 vsize=56588 CPUtime=2400.05 cores=1,3,5,7,9,11,13,15
/proc/10767/stat : 10767 (MistralXCSP) R 10764 10767 9824 0 -1 4202496 61229 0 0 0 240002 3 0 0 20 0 1 0 570669 57946112 7942 33554432000 4194304 7402444 140734002623568 140734002617816 4491034 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27308032 140734002631849 140734002631998 140734002631998 140734002634697 0
/proc/10767/statm: 14147 7942 800 784 0 7161 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 56588
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 10767 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.7 s]
/proc/loadavg: 1.95 2.00 2.03 3/244 10971
/proc/meminfo: memFree=31842004/32770624 swapFree=5920/188144
[pid=10767] ppid=10764 vsize=56588 CPUtime=2400.05 cores=1,3,5,7,9,11,13,15
/proc/10767/stat : 10767 (MistralXCSP) R 10764 10767 9824 0 -1 4202496 61229 0 0 0 240002 3 0 0 20 0 1 0 570669 57946112 7942 33554432000 4194304 7402444 140734002623568 140734002617816 4491034 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27308032 140734002631849 140734002631998 140734002631998 140734002634697 0
/proc/10767/statm: 14147 7942 800 784 0 7161 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 56588
Child status: 0
Real time (s): 2400.7
CPU time (s): 2400.06
CPU user time (s): 2400.02
CPU system time (s): 0.03799
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 56588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.02
system time used= 0.03799
maximum resident set size= 31792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61260
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= 22
involuntary context switches= 121025
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.27176 second user time and 12.3084 second system time
The end