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-4241629-1502075493/watcher-4241629-1502075493 -o /tmp/evaluation-result-4241629-1502075493/solver-4241629-1502075493 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502041295-28342 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 129511574 HOME/instance-4241629-1502075493.xml
pid=1120
running on 4 cores: 0,2,4,6
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.08 2.03 2.05 2/180 1123
/proc/meminfo: memFree=31130848/32770624 swapFree=0/353660
[pid=1123] ppid=1120 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/1123/stat : 1123 (runsolver) D 1120 1123 20633 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9743015 24240128 619 18446744073709551615 4194304 4338465 140728741916160 140728741913800 140153216475863 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 24342528 140728741920908 140728741921354 140728741921354 140728741924810 0
/proc/1123/statm: 5918 619 54 36 0 2156 0
[startup+0.100199 s]
/proc/loadavg: 2.08 2.03 2.05 2/180 1123
/proc/meminfo: memFree=31130848/32770624 swapFree=0/353660
[pid=1123] ppid=1120 vsize=29068 CPUtime=0.01 cores=0,2,4,6
/proc/1123/stat : 1123 (MistralXCSP) R 1120 1123 20633 0 -1 4202496 1022 0 0 0 1 0 0 0 20 0 1 0 9743015 29765632 803 18446744073709551615 4194304 7402444 140723580726928 140723580723976 6143894 0 0 1 0 0 0 0 17 4 0 0 7 0 0 9500608 9505824 28700672 140723580735924 140723580736073 140723580736073 140723580739529 0
/proc/1123/statm: 7267 803 618 784 0 281 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 29068
[startup+0.20034 s]
/proc/loadavg: 2.08 2.03 2.05 2/180 1123
/proc/meminfo: memFree=31130848/32770624 swapFree=0/353660
[pid=1123] ppid=1120 vsize=29856 CPUtime=0.11 cores=0,2,4,6
/proc/1123/stat : 1123 (MistralXCSP) R 1120 1123 20633 0 -1 4202496 1244 0 0 0 11 0 0 0 20 0 1 0 9743015 30572544 1010 18446744073709551615 4194304 7402444 140723580726928 140723580723976 140666034912229 0 0 1 0 0 0 0 17 4 0 0 7 0 0 9500608 9505824 28700672 140723580735924 140723580736073 140723580736073 140723580739529 0
/proc/1123/statm: 7464 1010 629 784 0 478 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 29856
[startup+0.300319 s]
/proc/loadavg: 2.08 2.03 2.05 2/180 1123
/proc/meminfo: memFree=31130848/32770624 swapFree=0/353660
[pid=1123] ppid=1120 vsize=30768 CPUtime=0.21 cores=0,2,4,6
/proc/1123/stat : 1123 (MistralXCSP) R 1120 1123 20633 0 -1 4202496 1517 0 0 0 21 0 0 0 20 0 1 0 9743015 31506432 1186 18446744073709551615 4194304 7402444 140723580726928 140723580723976 140666034912229 0 0 1 0 0 0 0 17 4 0 0 7 0 0 9500608 9505824 28700672 140723580735924 140723580736073 140723580736073 140723580739529 0
/proc/1123/statm: 7692 1186 629 784 0 706 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 30768
[startup+0.70028 s]
/proc/loadavg: 2.08 2.03 2.05 2/180 1123
/proc/meminfo: memFree=31130848/32770624 swapFree=0/353660
[pid=1123] ppid=1120 vsize=33516 CPUtime=0.61 cores=0,2,4,6
/proc/1123/stat : 1123 (MistralXCSP) R 1120 1123 20633 0 -1 4202496 2415 0 0 0 61 0 0 0 20 0 1 0 9743015 34320384 1867 18446744073709551615 4194304 7402444 140723580726928 140723580720168 140666034912229 0 0 1 0 0 0 0 17 4 0 0 7 0 0 9500608 9505824 28700672 140723580735924 140723580736073 140723580736073 140723580739529 0
/proc/1123/statm: 8379 1867 629 784 0 1393 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 33516
[startup+1.50033 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 1124
/proc/meminfo: memFree=30991952/32770624 swapFree=0/353852
[pid=1123] ppid=1120 vsize=423720 CPUtime=1.41 cores=0,2,4,6
/proc/1123/stat : 1123 (MistralXCSP) R 1120 1123 20633 0 -1 4202496 99816 0 0 0 129 12 0 0 20 0 1 0 9743015 433889280 99402 18446744073709551615 4194304 7402444 140723580726928 140723580720168 5753888 0 0 1 0 0 0 0 17 4 0 0 7 0 0 9500608 9505824 28700672 140723580735924 140723580736073 140723580736073 140723580739529 0
/proc/1123/statm: 105930 99402 655 784 0 98944 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 423720
[startup+3.10033 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 1124
/proc/meminfo: memFree=30652132/32770624 swapFree=0/353852
[pid=1123] ppid=1120 vsize=506480 CPUtime=3.01 cores=0,2,4,6
/proc/1123/stat : 1123 (MistralXCSP) R 1120 1123 20633 0 -1 4202496 161247 0 0 0 285 16 0 0 20 0 1 0 9743015 518635520 120281 18446744073709551615 4194304 7402444 140723580726928 140723580722280 4484551 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9500608 9505824 28700672 140723580735924 140723580736073 140723580736073 140723580739529 0
/proc/1123/statm: 126620 120281 687 784 0 119634 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 506480
[startup+6.30034 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 1124
/proc/meminfo: memFree=30651776/32770624 swapFree=0/353852
[pid=1123] ppid=1120 vsize=506480 CPUtime=6.21 cores=0,2,4,6
/proc/1123/stat : 1123 (MistralXCSP) R 1120 1123 20633 0 -1 4202496 227017 0 0 0 602 19 0 0 20 0 1 0 9743015 518635520 120283 18446744073709551615 4194304 7402444 140723580726928 140723580722280 4484558 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9500608 9505824 28700672 140723580735924 140723580736073 140723580736073 140723580739529 0
/proc/1123/statm: 126620 120283 689 784 0 119634 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 506480
[startup+12.7003 s]
/proc/loadavg: 2.07 2.03 2.05 3/181 1124
/proc/meminfo: memFree=30651432/32770624 swapFree=0/353860
[pid=1123] ppid=1120 vsize=506480 CPUtime=12.61 cores=0,2,4,6
/proc/1123/stat : 1123 (MistralXCSP) R 1120 1123 20633 0 -1 4202496 312844 0 0 0 1238 23 0 0 20 0 1 0 9743015 518635520 120283 18446744073709551615 4194304 7402444 140723580726928 140723580722280 5754011 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9500608 9505824 28700672 140723580735924 140723580736073 140723580736073 140723580739529 0
/proc/1123/statm: 126620 120283 689 784 0 119634 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 506480
[startup+25.5004 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 1124
/proc/meminfo: memFree=30651432/32770624 swapFree=0/353876
[pid=1123] ppid=1120 vsize=506480 CPUtime=25.41 cores=0,2,4,6
/proc/1123/stat : 1123 (MistralXCSP) R 1120 1123 20633 0 -1 4202496 409837 0 0 0 2515 26 0 0 20 0 1 0 9743015 518635520 120283 18446744073709551615 4194304 7402444 140723580726928 140723580722280 4484558 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9500608 9505824 28700672 140723580735924 140723580736073 140723580736073 140723580739529 0
/proc/1123/statm: 126620 120283 689 784 0 119634 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 506480
[startup+51.1004 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 1125
/proc/meminfo: memFree=30651312/32770624 swapFree=0/353888
[pid=1123] ppid=1120 vsize=506480 CPUtime=51.01 cores=0,2,4,6
/proc/1123/stat : 1123 (MistralXCSP) R 1120 1123 20633 0 -1 4202496 494689 0 0 0 5070 31 0 0 20 0 1 0 9743015 518635520 120283 18446744073709551615 4194304 7402444 140723580726928 140723580722280 4484558 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9500608 9505824 28700672 140723580735924 140723580736073 140723580736073 140723580739529 0
/proc/1123/statm: 126620 120283 689 784 0 119634 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 506480
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 1127
/proc/meminfo: memFree=30651308/32770624 swapFree=0/353924
[pid=1123] ppid=1120 vsize=506480 CPUtime=102.21 cores=0,2,4,6
/proc/1123/stat : 1123 (MistralXCSP) R 1120 1123 20633 0 -1 4202496 616074 0 0 0 10184 37 0 0 20 0 1 0 9743015 518635520 120283 18446744073709551615 4194304 7402444 140723580726928 140723580722280 4484558 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9500608 9505824 28700672 140723580735924 140723580736073 140723580736073 140723580739529 0
/proc/1123/statm: 126620 120283 689 784 0 119634 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 506480
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 1144
/proc/meminfo: memFree=30645828/32770624 swapFree=0/353996
[pid=1123] ppid=1120 vsize=506480 CPUtime=162.2 cores=0,2,4,6
/proc/1123/stat : 1123 (MistralXCSP) R 1120 1123 20633 0 -1 4202496 688438 0 0 0 16179 41 0 0 20 0 1 0 9743015 518635520 120283 18446744073709551615 4194304 7402444 140723580726928 140723580722280 4484558 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9500608 9505824 28700672 140723580735924 140723580736073 140723580736073 140723580739529 0
/proc/1123/statm: 126620 120283 689 784 0 119634 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 506480
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 1172
/proc/meminfo: memFree=30644328/32770624 swapFree=0/354060
[pid=1123] ppid=1120 vsize=506480 CPUtime=222.21 cores=0,2,4,6
/proc/1123/stat : 1123 (MistralXCSP) R 1120 1123 20633 0 -1 4202496 771396 0 0 0 22175 46 0 0 20 0 1 0 9743015 518635520 120283 18446744073709551615 4194304 7402444 140723580726928 140723580722280 4484558 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9500608 9505824 28700672 140723580735924 140723580736073 140723580736073 140723580739529 0
/proc/1123/statm: 126620 120283 689 784 0 119634 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 506480
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 1174
/proc/meminfo: memFree=30646032/32770624 swapFree=0/354104
[pid=1123] ppid=1120 vsize=506480 CPUtime=282.19 cores=0,2,4,6
/proc/1123/stat : 1123 (MistralXCSP) R 1120 1123 20633 0 -1 4202496 849400 0 0 0 28169 50 0 0 20 0 1 0 9743015 518635520 120283 18446744073709551615 4194304 7402444 140723580726928 140723580722280 4484558 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9500608 9505824 28700672 140723580735924 140723580736073 140723580736073 140723580739529 0
/proc/1123/statm: 126620 120283 689 784 0 119634 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 506480
[startup+342.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 1176
/proc/meminfo: memFree=30649872/32770624 swapFree=0/354132
[pid=1123] ppid=1120 vsize=506480 CPUtime=342.2 cores=0,2,4,6
/proc/1123/stat : 1123 (MistralXCSP) R 1120 1123 20633 0 -1 4202496 925485 0 0 0 34164 56 0 0 20 0 1 0 9743015 518635520 120283 18446744073709551615 4194304 7402444 140723580726928 140723580722280 5754037 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9500608 9505824 28700672 140723580735924 140723580736073 140723580736073 140723580739529 0
/proc/1123/statm: 126620 120283 689 784 0 119634 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 506480
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 1200
/proc/meminfo: memFree=30649716/32770624 swapFree=0/354176
[pid=1123] ppid=1120 vsize=506480 CPUtime=402.18 cores=0,2,4,6
/proc/1123/stat : 1123 (MistralXCSP) R 1120 1123 20633 0 -1 4202496 978405 0 0 0 40160 58 0 0 20 0 1 0 9743015 518635520 120283 18446744073709551615 4194304 7402444 140723580726928 140723580722280 4484558 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9500608 9505824 28700672 140723580735924 140723580736073 140723580736073 140723580739529 0
/proc/1123/statm: 126620 120283 689 784 0 119634 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 506480
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 1202
/proc/meminfo: memFree=30650752/32770624 swapFree=0/354220
[pid=1123] ppid=1120 vsize=506480 CPUtime=462.17 cores=0,2,4,6
/proc/1123/stat : 1123 (MistralXCSP) R 1120 1123 20633 0 -1 4202496 1061613 0 0 0 46154 63 0 0 20 0 1 0 9743015 518635520 120283 18446744073709551615 4194304 7402444 140723580726928 140723580722280 4484558 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9500608 9505824 28700672 140723580735924 140723580736073 140723580736073 140723580739529 0
/proc/1123/statm: 126620 120283 689 784 0 119634 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 506480
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 1204
/proc/meminfo: memFree=30650572/32770624 swapFree=0/354248
[pid=1123] ppid=1120 vsize=506480 CPUtime=522.16 cores=0,2,4,6
/proc/1123/stat : 1123 (MistralXCSP) R 1120 1123 20633 0 -1 4202496 1107895 0 0 0 52151 65 0 0 20 0 1 0 9743015 518635520 120283 18446744073709551615 4194304 7402444 140723580726928 140723580722280 4484558 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9500608 9505824 28700672 140723580735924 140723580736073 140723580736073 140723580739529 0
/proc/1123/statm: 126620 120283 689 784 0 119634 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 506480
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 1206
/proc/meminfo: memFree=30651096/32770624 swapFree=0/354280
[pid=1123] ppid=1120 vsize=506480 CPUtime=582.15 cores=0,2,4,6
/proc/1123/stat : 1123 (MistralXCSP) R 1120 1123 20633 0 -1 4202496 1142937 0 0 0 58148 67 0 0 20 0 1 0 9743015 518635520 120283 18446744073709551615 4194304 7402444 140723580726928 140723580722280 4484528 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9500608 9505824 28700672 140723580735924 140723580736073 140723580736073 140723580739529 0
/proc/1123/statm: 126620 120283 689 784 0 119634 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 506480
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 1530
/proc/meminfo: memFree=31196600/32770624 swapFree=0/354780
[pid=1123] ppid=1120 vsize=506480 CPUtime=1542.11 cores=0,2,4,6
/proc/1123/stat : 1123 (MistralXCSP) R 1120 1123 20633 0 -1 4202496 1174672 0 0 0 154142 69 0 0 20 0 1 0 9743015 518635520 120283 18446744073709551615 4194304 7402444 140723580726928 140723580722280 4484555 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9500608 9505824 28700672 140723580735924 140723580736073 140723580736073 140723580739529 0
/proc/1123/statm: 126620 120283 689 784 0 119634 0
Current children cumulated CPU time (s) 1542.11
Current children cumulated vsize (KiB) 506480
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 1532
/proc/meminfo: memFree=31197036/32770624 swapFree=0/354808
[pid=1123] ppid=1120 vsize=506480 CPUtime=1602.1 cores=0,2,4,6
/proc/1123/stat : 1123 (MistralXCSP) R 1120 1123 20633 0 -1 4202496 1175043 0 0 0 160141 69 0 0 20 0 1 0 9743015 518635520 120283 18446744073709551615 4194304 7402444 140723580726928 140723580722280 4484558 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9500608 9505824 28700672 140723580735924 140723580736073 140723580736073 140723580739529 0
/proc/1123/statm: 126620 120283 689 784 0 119634 0
Current children cumulated CPU time (s) 1602.1
Current children cumulated vsize (KiB) 506480
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 1535
/proc/meminfo: memFree=31196912/32770624 swapFree=0/354848
[pid=1123] ppid=1120 vsize=506480 CPUtime=1662.09 cores=0,2,4,6
/proc/1123/stat : 1123 (MistralXCSP) R 1120 1123 20633 0 -1 4202496 1175414 0 0 0 166140 69 0 0 20 0 1 0 9743015 518635520 120283 18446744073709551615 4194304 7402444 140723580726928 140723580722280 4484555 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9500608 9505824 28700672 140723580735924 140723580736073 140723580736073 140723580739529 0
/proc/1123/statm: 126620 120283 689 784 0 119634 0
Current children cumulated CPU time (s) 1662.09
Current children cumulated vsize (KiB) 506480
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 1537
/proc/meminfo: memFree=31197160/32770624 swapFree=0/354880
[pid=1123] ppid=1120 vsize=506480 CPUtime=1722.09 cores=0,2,4,6
/proc/1123/stat : 1123 (MistralXCSP) R 1120 1123 20633 0 -1 4202496 1175783 0 0 0 172140 69 0 0 20 0 1 0 9743015 518635520 120283 18446744073709551615 4194304 7402444 140723580726928 140723580722280 4484558 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9500608 9505824 28700672 140723580735924 140723580736073 140723580736073 140723580739529 0
/proc/1123/statm: 126620 120283 689 784 0 119634 0
Current children cumulated CPU time (s) 1722.09
Current children cumulated vsize (KiB) 506480
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 1539
/proc/meminfo: memFree=31197284/32770624 swapFree=0/354912
[pid=1123] ppid=1120 vsize=506480 CPUtime=1782.09 cores=0,2,4,6
/proc/1123/stat : 1123 (MistralXCSP) R 1120 1123 20633 0 -1 4202496 1176154 0 0 0 178140 69 0 0 20 0 1 0 9743015 518635520 120283 18446744073709551615 4194304 7402444 140723580726928 140723580722280 4483946 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9500608 9505824 28700672 140723580735924 140723580736073 140723580736073 140723580739529 0
/proc/1123/statm: 126620 120283 689 784 0 119634 0
Current children cumulated CPU time (s) 1782.09
Current children cumulated vsize (KiB) 506480
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 1542
/proc/meminfo: memFree=31196860/32770624 swapFree=0/354944
[pid=1123] ppid=1120 vsize=506480 CPUtime=1842.09 cores=0,2,4,6
/proc/1123/stat : 1123 (MistralXCSP) R 1120 1123 20633 0 -1 4202496 1176521 0 0 0 184140 69 0 0 20 0 1 0 9743015 518635520 120283 18446744073709551615 4194304 7402444 140723580726928 140723580722280 4484516 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9500608 9505824 28700672 140723580735924 140723580736073 140723580736073 140723580739529 0
/proc/1123/statm: 126620 120283 689 784 0 119634 0
Current children cumulated CPU time (s) 1842.09
Current children cumulated vsize (KiB) 506480
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 1544
/proc/meminfo: memFree=31196976/32770624 swapFree=0/354976
[pid=1123] ppid=1120 vsize=506480 CPUtime=1902.08 cores=0,2,4,6
/proc/1123/stat : 1123 (MistralXCSP) R 1120 1123 20633 0 -1 4202496 1176893 0 0 0 190139 69 0 0 20 0 1 0 9743015 518635520 120283 18446744073709551615 4194304 7402444 140723580726928 140723580722280 4484558 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9500608 9505824 28700672 140723580735924 140723580736073 140723580736073 140723580739529 0
/proc/1123/statm: 126620 120283 689 784 0 119634 0
Current children cumulated CPU time (s) 1902.08
Current children cumulated vsize (KiB) 506480
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 1561
/proc/meminfo: memFree=31191632/32770624 swapFree=0/355048
[pid=1123] ppid=1120 vsize=506480 CPUtime=1962.08 cores=0,2,4,6
/proc/1123/stat : 1123 (MistralXCSP) R 1120 1123 20633 0 -1 4202496 1177262 0 0 0 196139 69 0 0 20 0 1 0 9743015 518635520 120283 18446744073709551615 4194304 7402444 140723580726928 140723580722280 4484558 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9500608 9505824 28700672 140723580735924 140723580736073 140723580736073 140723580739529 0
/proc/1123/statm: 126620 120283 689 784 0 119634 0
Current children cumulated CPU time (s) 1962.08
Current children cumulated vsize (KiB) 506480
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 1563
/proc/meminfo: memFree=31192448/32770624 swapFree=0/355064
[pid=1123] ppid=1120 vsize=506480 CPUtime=2022.08 cores=0,2,4,6
/proc/1123/stat : 1123 (MistralXCSP) R 1120 1123 20633 0 -1 4202496 1177615 0 0 0 202139 69 0 0 20 0 1 0 9743015 518635520 120283 18446744073709551615 4194304 7402444 140723580726928 140723580722280 4484571 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9500608 9505824 28700672 140723580735924 140723580736073 140723580736073 140723580739529 0
/proc/1123/statm: 126620 120283 689 784 0 119634 0
Current children cumulated CPU time (s) 2022.08
Current children cumulated vsize (KiB) 506480
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 1565
/proc/meminfo: memFree=31195864/32770624 swapFree=0/355112
[pid=1123] ppid=1120 vsize=506480 CPUtime=2082.08 cores=0,2,4,6
/proc/1123/stat : 1123 (MistralXCSP) R 1120 1123 20633 0 -1 4202496 1177970 0 0 0 208139 69 0 0 20 0 1 0 9743015 518635520 120283 18446744073709551615 4194304 7402444 140723580726928 140723580722280 4484558 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9500608 9505824 28700672 140723580735924 140723580736073 140723580736073 140723580739529 0
/proc/1123/statm: 126620 120283 689 784 0 119634 0
Current children cumulated CPU time (s) 2082.08
Current children cumulated vsize (KiB) 506480
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 1567
/proc/meminfo: memFree=31196484/32770624 swapFree=0/355144
[pid=1123] ppid=1120 vsize=506480 CPUtime=2142.07 cores=0,2,4,6
/proc/1123/stat : 1123 (MistralXCSP) R 1120 1123 20633 0 -1 4202496 1178323 0 0 0 214138 69 0 0 20 0 1 0 9743015 518635520 120283 18446744073709551615 4194304 7402444 140723580726928 140723580722280 4484558 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9500608 9505824 28700672 140723580735924 140723580736073 140723580736073 140723580739529 0
/proc/1123/statm: 126620 120283 689 784 0 119634 0
Current children cumulated CPU time (s) 2142.07
Current children cumulated vsize (KiB) 506480
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 1569
/proc/meminfo: memFree=31197168/32770624 swapFree=0/355172
[pid=1123] ppid=1120 vsize=506480 CPUtime=2202.08 cores=0,2,4,6
/proc/1123/stat : 1123 (MistralXCSP) R 1120 1123 20633 0 -1 4202496 1178676 0 0 0 220139 69 0 0 20 0 1 0 9743015 518635520 120283 18446744073709551615 4194304 7402444 140723580726928 140723580722280 4484555 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9500608 9505824 28700672 140723580735924 140723580736073 140723580736073 140723580739529 0
/proc/1123/statm: 126620 120283 689 784 0 119634 0
Current children cumulated CPU time (s) 2202.08
Current children cumulated vsize (KiB) 506480
[startup+2262.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 1571
/proc/meminfo: memFree=31197504/32770624 swapFree=0/355192
[pid=1123] ppid=1120 vsize=506480 CPUtime=2262.07 cores=0,2,4,6
/proc/1123/stat : 1123 (MistralXCSP) R 1120 1123 20633 0 -1 4202496 1179027 0 0 0 226138 69 0 0 20 0 1 0 9743015 518635520 120283 18446744073709551615 4194304 7402444 140723580726928 140723580722280 4484535 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9500608 9505824 28700672 140723580735924 140723580736073 140723580736073 140723580739529 0
/proc/1123/statm: 126620 120283 689 784 0 119634 0
Current children cumulated CPU time (s) 2262.07
Current children cumulated vsize (KiB) 506480
[startup+2322.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 1573
/proc/meminfo: memFree=31197456/32770624 swapFree=0/355240
[pid=1123] ppid=1120 vsize=506480 CPUtime=2322.06 cores=0,2,4,6
/proc/1123/stat : 1123 (MistralXCSP) R 1120 1123 20633 0 -1 4202496 1179398 0 0 0 232137 69 0 0 20 0 1 0 9743015 518635520 120283 18446744073709551615 4194304 7402444 140723580726928 140723580722280 4484558 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9500608 9505824 28700672 140723580735924 140723580736073 140723580736073 140723580739529 0
/proc/1123/statm: 126620 120283 689 784 0 119634 0
Current children cumulated CPU time (s) 2322.06
Current children cumulated vsize (KiB) 506480
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 1575
/proc/meminfo: memFree=31197232/32770624 swapFree=0/355260
[pid=1123] ppid=1120 vsize=506480 CPUtime=2382.06 cores=0,2,4,6
/proc/1123/stat : 1123 (MistralXCSP) R 1120 1123 20633 0 -1 4202496 1179769 0 0 0 238137 69 0 0 20 0 1 0 9743015 518635520 120283 18446744073709551615 4194304 7402444 140723580726928 140723580722280 4484558 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9500608 9505824 28700672 140723580735924 140723580736073 140723580736073 140723580739529 0
/proc/1123/statm: 126620 120283 689 784 0 119634 0
Current children cumulated CPU time (s) 2382.06
Current children cumulated vsize (KiB) 506480
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.31 s]
/proc/loadavg: 2.07 2.03 2.05 3/181 1576
/proc/meminfo: memFree=31197216/32770624 swapFree=0/355284
[pid=1123] ppid=1120 vsize=506480 CPUtime=2400.07 cores=0,2,4,6
/proc/1123/stat : 1123 (MistralXCSP) R 1120 1123 20633 0 -1 4202496 1179891 0 0 0 239938 69 0 0 20 0 1 0 9743015 518635520 120283 18446744073709551615 4194304 7402444 140723580726928 140723580722280 4484558 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9500608 9505824 28700672 140723580735924 140723580736073 140723580736073 140723580739529 0
/proc/1123/statm: 126620 120283 689 784 0 119634 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 506480
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 1123 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.31 s]
/proc/loadavg: 2.07 2.03 2.05 3/181 1576
/proc/meminfo: memFree=31197216/32770624 swapFree=0/355284
[pid=1123] ppid=1120 vsize=506480 CPUtime=2400.07 cores=0,2,4,6
/proc/1123/stat : 1123 (MistralXCSP) R 1120 1123 20633 0 -1 4202496 1179891 0 0 0 239938 69 0 0 20 0 1 0 9743015 518635520 120283 18446744073709551615 4194304 7402444 140723580726928 140723580722280 4484558 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9500608 9505824 28700672 140723580735924 140723580736073 140723580736073 140723580739529 0
/proc/1123/statm: 126620 120283 689 784 0 119634 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 506480
Child status: 0
Real time (s): 2400.31
CPU time (s): 2400.08
CPU user time (s): 2399.38
CPU system time (s): 0.700972
CPU usage (%): 99.9906
Max. virtual memory (cumulated for all children) (KiB): 506480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.38
system time used= 0.700972
maximum resident set size= 483408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1179929
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= 77
involuntary context switches= 607
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.24951 second user time and 10.0104 second system time
The end