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-4260936-1502362449/watcher-4260936-1502362449 -o /tmp/evaluation-result-4260936-1502362449/solver-4260936-1502362449 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502333491-25568 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1863951700 HOME/instance-4260936-1502362449.xml
pid=29251
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.12 2.08 2.05 3/183 29254
/proc/meminfo: memFree=31196448/32770624 swapFree=0/426108
[pid=29254] ppid=29251 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/29254/stat : 29254 (runsolver) D 29251 29254 4525 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 135897854 24240128 106 18446744073709551615 4194304 4338465 140729148763104 140729148760744 139865302786775 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 8130560 140729148768394 140729148768841 140729148768841 140729148772298 0
/proc/29254/statm: 5918 106 53 36 0 2156 0
[startup+0.100842 s]
/proc/loadavg: 2.12 2.08 2.05 3/183 29254
/proc/meminfo: memFree=31196448/32770624 swapFree=0/426108
[pid=29254] ppid=29251 vsize=29060 CPUtime=0.05 cores=1,3,5,7
/proc/29254/stat : 29254 (MistralXCSP) R 29251 29254 4525 0 -1 4202496 1126 0 0 0 5 0 0 0 20 0 1 0 135897854 29757440 934 18446744073709551615 4194304 7396336 140720755905568 140720755895672 139901338059404 0 0 1 0 0 0 0 17 7 0 0 4 0 0 9496464 9501696 26042368 140720755913138 140720755913288 140720755913288 140720755916745 0
/proc/29254/statm: 7265 934 710 782 0 281 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 29060
[startup+0.200838 s]
/proc/loadavg: 2.12 2.08 2.05 3/183 29254
/proc/meminfo: memFree=31196448/32770624 swapFree=0/426108
[pid=29254] ppid=29251 vsize=29184 CPUtime=0.15 cores=1,3,5,7
/proc/29254/stat : 29254 (MistralXCSP) R 29251 29254 4525 0 -1 4202496 1145 0 0 0 15 0 0 0 20 0 1 0 135897854 29884416 983 18446744073709551615 4194304 7396336 140720755905568 140720755896264 6181549 0 0 1 0 0 0 0 17 7 0 0 4 0 0 9496464 9501696 26042368 140720755913138 140720755913288 140720755913288 140720755916745 0
/proc/29254/statm: 7296 983 711 782 0 312 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 29184
[startup+0.300838 s]
/proc/loadavg: 2.12 2.08 2.05 3/183 29254
/proc/meminfo: memFree=31196448/32770624 swapFree=0/426108
[pid=29254] ppid=29251 vsize=29724 CPUtime=0.25 cores=1,3,5,7
/proc/29254/stat : 29254 (MistralXCSP) R 29251 29254 4525 0 -1 4202496 1334 0 0 0 25 0 0 0 20 0 1 0 135897854 30437376 1114 18446744073709551615 4194304 7396336 140720755905568 140720755900120 4222880 0 0 1 16386 0 0 0 17 7 0 0 4 0 0 9496464 9501696 26042368 140720755913138 140720755913288 140720755913288 140720755916745 0
/proc/29254/statm: 7431 1114 763 782 0 447 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 29724
[startup+0.700227 s]
/proc/loadavg: 2.12 2.08 2.05 3/183 29254
/proc/meminfo: memFree=31196448/32770624 swapFree=0/426108
[pid=29254] ppid=29251 vsize=29856 CPUtime=0.65 cores=1,3,5,7
/proc/29254/stat : 29254 (MistralXCSP) R 29251 29254 4525 0 -1 4202496 1382 0 0 0 65 0 0 0 20 0 1 0 135897854 30572544 1180 18446744073709551615 4194304 7396336 140720755905568 140720755899800 4581616 0 0 1 16386 0 0 0 17 1 0 0 4 0 0 9496464 9501696 26042368 140720755913138 140720755913288 140720755913288 140720755916745 0
/proc/29254/statm: 7464 1180 763 782 0 480 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 29856
[startup+1.50022 s]
/proc/loadavg: 2.12 2.08 2.05 3/184 29255
/proc/meminfo: memFree=31194240/32770624 swapFree=0/426092
[pid=29254] ppid=29251 vsize=30912 CPUtime=1.45 cores=1,3,5,7
/proc/29254/stat : 29254 (MistralXCSP) R 29251 29254 4525 0 -1 4202496 1633 0 0 0 145 0 0 0 20 0 1 0 135897854 31653888 1444 18446744073709551615 4194304 7396336 140720755905568 140720755899816 4249751 0 0 1 16386 0 0 0 17 1 0 0 4 0 0 9496464 9501696 26042368 140720755913138 140720755913288 140720755913288 140720755916745 0
/proc/29254/statm: 7728 1444 764 782 0 744 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 30912
[startup+3.10022 s]
/proc/loadavg: 2.12 2.08 2.05 3/184 29255
/proc/meminfo: memFree=31193744/32770624 swapFree=0/426092
[pid=29254] ppid=29251 vsize=30912 CPUtime=3.05 cores=1,3,5,7
/proc/29254/stat : 29254 (MistralXCSP) R 29251 29254 4525 0 -1 4202496 2199 0 0 0 305 0 0 0 20 0 1 0 135897854 31653888 1474 18446744073709551615 4194304 7396336 140720755905568 140720755900584 4407022 0 0 1 16386 0 0 0 17 1 0 0 4 0 0 9496464 9501696 26042368 140720755913138 140720755913288 140720755913288 140720755916745 0
/proc/29254/statm: 7728 1474 764 782 0 744 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 30912
[startup+6.30021 s]
/proc/loadavg: 2.03 2.06 2.05 3/184 29255
/proc/meminfo: memFree=31193532/32770624 swapFree=0/426092
[pid=29254] ppid=29251 vsize=30912 CPUtime=6.24 cores=1,3,5,7
/proc/29254/stat : 29254 (MistralXCSP) R 29251 29254 4525 0 -1 4202496 2750 0 0 0 624 0 0 0 20 0 1 0 135897854 31653888 1474 18446744073709551615 4194304 7396336 140720755905568 140720755900584 5685383 0 0 1 16386 0 0 0 17 1 0 0 4 0 0 9496464 9501696 26042368 140720755913138 140720755913288 140720755913288 140720755916745 0
/proc/29254/statm: 7728 1474 764 782 0 744 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 30912
[startup+12.7002 s]
/proc/loadavg: 2.03 2.06 2.05 3/184 29255
/proc/meminfo: memFree=31193160/32770624 swapFree=0/426092
[pid=29254] ppid=29251 vsize=30912 CPUtime=12.64 cores=1,3,5,7
/proc/29254/stat : 29254 (MistralXCSP) R 29251 29254 4525 0 -1 4202496 3301 0 0 0 1264 0 0 0 20 0 1 0 135897854 31653888 1474 18446744073709551615 4194304 7396336 140720755905568 140720755900584 4319875 0 0 1 16386 0 0 0 17 1 0 0 4 0 0 9496464 9501696 26042368 140720755913138 140720755913288 140720755913288 140720755916745 0
/proc/29254/statm: 7728 1474 764 782 0 744 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 30912
[startup+25.5003 s]
/proc/loadavg: 2.02 2.05 2.05 3/188 29270
/proc/meminfo: memFree=31188208/32770624 swapFree=0/426116
[pid=29254] ppid=29251 vsize=30912 CPUtime=25.44 cores=1,3,5,7
/proc/29254/stat : 29254 (MistralXCSP) R 29251 29254 4525 0 -1 4202496 4402 0 0 0 2544 0 0 0 20 0 1 0 135897854 31653888 1474 18446744073709551615 4194304 7396336 140720755905568 140720755900584 5685066 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 26042368 140720755913138 140720755913288 140720755913288 140720755916745 0
/proc/29254/statm: 7728 1474 764 782 0 744 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 30912
[startup+51.1003 s]
/proc/loadavg: 2.02 2.05 2.05 3/189 29271
/proc/meminfo: memFree=31189320/32770624 swapFree=0/426116
[pid=29254] ppid=29251 vsize=30912 CPUtime=51.04 cores=1,3,5,7
/proc/29254/stat : 29254 (MistralXCSP) R 29251 29254 4525 0 -1 4202496 4954 0 0 0 5104 0 0 0 20 0 1 0 135897854 31653888 1474 18446744073709551615 4194304 7396336 140720755905568 140720755900584 139901341497015 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 26042368 140720755913138 140720755913288 140720755913288 140720755916745 0
/proc/29254/statm: 7728 1474 764 782 0 744 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 30912
[startup+102.3 s]
/proc/loadavg: 2.04 2.06 2.05 3/189 29273
/proc/meminfo: memFree=31189708/32770624 swapFree=0/426136
[pid=29254] ppid=29251 vsize=30912 CPUtime=102.24 cores=1,3,5,7
/proc/29254/stat : 29254 (MistralXCSP) R 29251 29254 4525 0 -1 4202496 5528 0 0 0 10224 0 0 0 20 0 1 0 135897854 31653888 1474 18446744073709551615 4194304 7396336 140720755905568 140720755900584 4379197 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 26042368 140720755913138 140720755913288 140720755913288 140720755916745 0
/proc/29254/statm: 7728 1474 764 782 0 744 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 30912
[startup+162.3 s]
/proc/loadavg: 2.13 2.08 2.05 3/186 29275
/proc/meminfo: memFree=31192464/32770624 swapFree=0/426140
[pid=29254] ppid=29251 vsize=30912 CPUtime=162.24 cores=1,3,5,7
/proc/29254/stat : 29254 (MistralXCSP) R 29251 29254 4525 0 -1 4202496 6085 0 0 0 16224 0 0 0 20 0 1 0 135897854 31653888 1480 18446744073709551615 4194304 7396336 140720755905568 140720755900584 4257837 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 26042368 140720755913138 140720755913288 140720755913288 140720755916745 0
/proc/29254/statm: 7728 1480 764 782 0 744 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 30912
[startup+222.306 s]
/proc/loadavg: 2.05 2.06 2.05 3/186 29277
/proc/meminfo: memFree=31192932/32770624 swapFree=0/426156
[pid=29254] ppid=29251 vsize=30912 CPUtime=222.24 cores=1,3,5,7
/proc/29254/stat : 29254 (MistralXCSP) R 29251 29254 4525 0 -1 4202496 6662 0 0 0 22224 0 0 0 20 0 1 0 135897854 31653888 1480 18446744073709551615 4194304 7396336 140720755905568 140720755900584 5685826 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 26042368 140720755913138 140720755913288 140720755913288 140720755916745 0
/proc/29254/statm: 7728 1480 764 782 0 744 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 30912
[startup+282.3 s]
/proc/loadavg: 1.98 2.04 2.04 3/186 29279
/proc/meminfo: memFree=31192808/32770624 swapFree=0/426176
[pid=29254] ppid=29251 vsize=30912 CPUtime=282.23 cores=1,3,5,7
/proc/29254/stat : 29254 (MistralXCSP) R 29251 29254 4525 0 -1 4202496 7234 0 0 0 28223 0 0 0 20 0 1 0 135897854 31653888 1495 18446744073709551615 4194304 7396336 140720755905568 140720755900584 4581738 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 26042368 140720755913138 140720755913288 140720755913288 140720755916745 0
/proc/29254/statm: 7728 1495 764 782 0 744 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 30912
[startup+342.3 s]
/proc/loadavg: 1.99 2.03 2.04 3/185 29281
/proc/meminfo: memFree=31192848/32770624 swapFree=0/426180
[pid=29254] ppid=29251 vsize=30912 CPUtime=342.23 cores=1,3,5,7
/proc/29254/stat : 29254 (MistralXCSP) R 29251 29254 4525 0 -1 4202496 7812 0 0 0 34223 0 0 0 20 0 1 0 135897854 31653888 1495 18446744073709551615 4194304 7396336 140720755905568 140720755900584 4323031 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 26042368 140720755913138 140720755913288 140720755913288 140720755916745 0
/proc/29254/statm: 7728 1495 764 782 0 744 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 30912
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.04 3/184 29283
/proc/meminfo: memFree=31192960/32770624 swapFree=0/426184
[pid=29254] ppid=29251 vsize=30912 CPUtime=402.23 cores=1,3,5,7
/proc/29254/stat : 29254 (MistralXCSP) R 29251 29254 4525 0 -1 4202496 8385 0 0 0 40223 0 0 0 20 0 1 0 135897854 31653888 1496 18446744073709551615 4194304 7396336 140720755905568 140720755900584 4581738 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 26042368 140720755913138 140720755913288 140720755913288 140720755916745 0
/proc/29254/statm: 7728 1496 764 782 0 744 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 30912
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/184 29285
/proc/meminfo: memFree=31192928/32770624 swapFree=0/426200
[pid=29254] ppid=29251 vsize=30912 CPUtime=462.23 cores=1,3,5,7
/proc/29254/stat : 29254 (MistralXCSP) R 29251 29254 4525 0 -1 4202496 8958 0 0 0 46223 0 0 0 20 0 1 0 135897854 31653888 1496 18446744073709551615 4194304 7396336 140720755905568 140720755900584 4319798 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 26042368 140720755913138 140720755913288 140720755913288 140720755916745 0
/proc/29254/statm: 7728 1496 764 782 0 744 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 30912
[startup+522.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/184 29287
/proc/meminfo: memFree=31191600/32770624 swapFree=0/426216
[pid=29254] ppid=29251 vsize=30912 CPUtime=522.23 cores=1,3,5,7
/proc/29254/stat : 29254 (MistralXCSP) R 29251 29254 4525 0 -1 4202496 9531 0 0 0 52223 0 0 0 20 0 1 0 135897854 31653888 1496 18446744073709551615 4194304 7396336 140720755905568 140720755900584 4406960 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 26042368 140720755913138 140720755913288 140720755913288 140720755916745 0
/proc/29254/statm: 7728 1496 764 782 0 744 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 30912
[startup+582.3 s]
/proc/loadavg: 1.97 2.01 2.04 3/185 29290
/proc/meminfo: memFree=31191484/32770624 swapFree=0/426220
[pid=29254] ppid=29251 vsize=30912 CPUtime=582.23 cores=1,3,5,7
/proc/29254/stat : 29254 (MistralXCSP) R 29251 29254 4525 0 -1 4202496 10127 0 0 0 58223 0 0 0 20 0 1 0 135897854 31653888 1497 18446744073709551615 4194304 7396336 140720755905568 140720755900584 5685068 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 26042368 140720755913138 140720755913288 140720755913288 140720755916745 0
/proc/29254/statm: 7728 1497 764 782 0 744 0
Current children cumulated CPU time (s) 582.23
Current children cumulated vsize (KiB) 30912
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/185 29381
/proc/meminfo: memFree=31190596/32770624 swapFree=0/426460
[pid=29254] ppid=29251 vsize=30912 CPUtime=1602.2 cores=1,3,5,7
/proc/29254/stat : 29254 (MistralXCSP) R 29251 29254 4525 0 -1 4202496 19968 0 0 0 160220 0 0 0 20 0 1 0 135897854 31653888 1500 18446744073709551615 4194304 7396336 140720755905568 140720755900584 4581600 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 26042368 140720755913138 140720755913288 140720755913288 140720755916745 0
/proc/29254/statm: 7728 1500 764 782 0 744 0
Current children cumulated CPU time (s) 1602.2
Current children cumulated vsize (KiB) 30912
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 29383
/proc/meminfo: memFree=31190708/32770624 swapFree=0/426468
[pid=29254] ppid=29251 vsize=30912 CPUtime=1662.2 cores=1,3,5,7
/proc/29254/stat : 29254 (MistralXCSP) R 29251 29254 4525 0 -1 4202496 20545 0 0 0 166220 0 0 0 20 0 1 0 135897854 31653888 1500 18446744073709551615 4194304 7396336 140720755905568 140720755900584 5605375 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 26042368 140720755913138 140720755913288 140720755913288 140720755916745 0
/proc/29254/statm: 7728 1500 764 782 0 744 0
Current children cumulated CPU time (s) 1662.2
Current children cumulated vsize (KiB) 30912
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/184 29385
/proc/meminfo: memFree=31190904/32770624 swapFree=0/426480
[pid=29254] ppid=29251 vsize=30912 CPUtime=1722.2 cores=1,3,5,7
/proc/29254/stat : 29254 (MistralXCSP) R 29251 29254 4525 0 -1 4202496 21127 0 0 0 172220 0 0 0 20 0 1 0 135897854 31653888 1500 18446744073709551615 4194304 7396336 140720755905568 140720755900584 4257811 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 26042368 140720755913138 140720755913288 140720755913288 140720755916745 0
/proc/29254/statm: 7728 1500 764 782 0 744 0
Current children cumulated CPU time (s) 1722.2
Current children cumulated vsize (KiB) 30912
[startup+1782.3 s]
/proc/loadavg: 1.91 1.98 2.03 3/184 29387
/proc/meminfo: memFree=31190412/32770624 swapFree=0/426488
[pid=29254] ppid=29251 vsize=30912 CPUtime=1782.2 cores=1,3,5,7
/proc/29254/stat : 29254 (MistralXCSP) R 29251 29254 4525 0 -1 4202496 21704 0 0 0 178220 0 0 0 20 0 1 0 135897854 31653888 1500 18446744073709551615 4194304 7396336 140720755905568 140720755900584 4222880 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 26042368 140720755913138 140720755913288 140720755913288 140720755916745 0
/proc/29254/statm: 7728 1500 764 782 0 744 0
Current children cumulated CPU time (s) 1782.2
Current children cumulated vsize (KiB) 30912
[startup+1842.3 s]
/proc/loadavg: 2.02 2.00 2.04 3/187 29403
/proc/meminfo: memFree=31186036/32770624 swapFree=0/426508
[pid=29254] ppid=29251 vsize=30912 CPUtime=1842.2 cores=1,3,5,7
/proc/29254/stat : 29254 (MistralXCSP) R 29251 29254 4525 0 -1 4202496 22287 0 0 0 184220 0 0 0 20 0 1 0 135897854 31653888 1501 18446744073709551615 4194304 7396336 140720755905568 140720755900584 5685801 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 26042368 140720755913138 140720755913288 140720755913288 140720755916745 0
/proc/29254/statm: 7728 1501 764 782 0 744 0
Current children cumulated CPU time (s) 1842.2
Current children cumulated vsize (KiB) 30912
[startup+1902.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/188 29406
/proc/meminfo: memFree=31186732/32770624 swapFree=0/426512
[pid=29254] ppid=29251 vsize=30912 CPUtime=1902.2 cores=1,3,5,7
/proc/29254/stat : 29254 (MistralXCSP) R 29251 29254 4525 0 -1 4202496 22863 0 0 0 190220 0 0 0 20 0 1 0 135897854 31653888 1501 18446744073709551615 4194304 7396336 140720755905568 140720755900584 4406995 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 26042368 140720755913138 140720755913288 140720755913288 140720755916745 0
/proc/29254/statm: 7728 1501 764 782 0 744 0
Current children cumulated CPU time (s) 1902.2
Current children cumulated vsize (KiB) 30912
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 29408
/proc/meminfo: memFree=31190188/32770624 swapFree=0/426528
[pid=29254] ppid=29251 vsize=30912 CPUtime=1962.2 cores=1,3,5,7
/proc/29254/stat : 29254 (MistralXCSP) R 29251 29254 4525 0 -1 4202496 23439 0 0 0 196220 0 0 0 20 0 1 0 135897854 31653888 1501 18446744073709551615 4194304 7396336 140720755905568 140720755900584 4257784 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 26042368 140720755913138 140720755913288 140720755913288 140720755916745 0
/proc/29254/statm: 7728 1501 764 782 0 744 0
Current children cumulated CPU time (s) 1962.2
Current children cumulated vsize (KiB) 30912
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 29410
/proc/meminfo: memFree=31190040/32770624 swapFree=0/426536
[pid=29254] ppid=29251 vsize=30912 CPUtime=2022.2 cores=1,3,5,7
/proc/29254/stat : 29254 (MistralXCSP) R 29251 29254 4525 0 -1 4202496 24004 0 0 0 202220 0 0 0 20 0 1 0 135897854 31653888 1501 18446744073709551615 4194304 7396336 140720755905568 140720755900584 4407675 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 26042368 140720755913138 140720755913288 140720755913288 140720755916745 0
/proc/29254/statm: 7728 1501 764 782 0 744 0
Current children cumulated CPU time (s) 2022.2
Current children cumulated vsize (KiB) 30912
[startup+2082.3 s]
/proc/loadavg: 2.07 2.02 2.05 3/185 29412
/proc/meminfo: memFree=31190224/32770624 swapFree=0/426552
[pid=29254] ppid=29251 vsize=30912 CPUtime=2082.2 cores=1,3,5,7
/proc/29254/stat : 29254 (MistralXCSP) R 29251 29254 4525 0 -1 4202496 24548 0 0 0 208220 0 0 0 20 0 1 0 135897854 31653888 1501 18446744073709551615 4194304 7396336 140720755905568 140720755900584 4407664 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 26042368 140720755913138 140720755913288 140720755913288 140720755916745 0
/proc/29254/statm: 7728 1501 764 782 0 744 0
Current children cumulated CPU time (s) 2082.2
Current children cumulated vsize (KiB) 30912
[startup+2142.3 s]
/proc/loadavg: 1.94 1.99 2.03 3/185 29414
/proc/meminfo: memFree=31189976/32770624 swapFree=0/426556
[pid=29254] ppid=29251 vsize=30912 CPUtime=2142.19 cores=1,3,5,7
/proc/29254/stat : 29254 (MistralXCSP) R 29251 29254 4525 0 -1 4202496 25125 0 0 0 214219 0 0 0 20 0 1 0 135897854 31653888 1501 18446744073709551615 4194304 7396336 140720755905568 140720755900584 5575964 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 26042368 140720755913138 140720755913288 140720755913288 140720755916745 0
/proc/29254/statm: 7728 1501 764 782 0 744 0
Current children cumulated CPU time (s) 2142.19
Current children cumulated vsize (KiB) 30912
[startup+2202.31 s]
/proc/loadavg: 1.98 1.99 2.03 3/184 29477
/proc/meminfo: memFree=31141588/32770624 swapFree=0/426580
[pid=29254] ppid=29251 vsize=30912 CPUtime=2202.2 cores=1,3,5,7
/proc/29254/stat : 29254 (MistralXCSP) R 29251 29254 4525 0 -1 4202496 25702 0 0 0 220220 0 0 0 20 0 1 0 135897854 31653888 1501 18446744073709551615 4194304 7396336 140720755905568 140720755900584 4407489 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 26042368 140720755913138 140720755913288 140720755913288 140720755916745 0
/proc/29254/statm: 7728 1501 764 782 0 744 0
Current children cumulated CPU time (s) 2202.2
Current children cumulated vsize (KiB) 30912
[startup+2262.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/184 29479
/proc/meminfo: memFree=31139640/32770624 swapFree=0/426596
[pid=29254] ppid=29251 vsize=30912 CPUtime=2262.19 cores=1,3,5,7
/proc/29254/stat : 29254 (MistralXCSP) R 29251 29254 4525 0 -1 4202496 26286 0 0 0 226219 0 0 0 20 0 1 0 135897854 31653888 1501 18446744073709551615 4194304 7396336 140720755905568 140720755900584 4408524 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 26042368 140720755913138 140720755913288 140720755913288 140720755916745 0
/proc/29254/statm: 7728 1501 764 782 0 744 0
Current children cumulated CPU time (s) 2262.19
Current children cumulated vsize (KiB) 30912
[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/184 29481
/proc/meminfo: memFree=31138612/32770624 swapFree=0/426600
[pid=29254] ppid=29251 vsize=30912 CPUtime=2322.19 cores=1,3,5,7
/proc/29254/stat : 29254 (MistralXCSP) R 29251 29254 4525 0 -1 4202496 26864 0 0 0 232219 0 0 0 20 0 1 0 135897854 31653888 1501 18446744073709551615 4194304 7396336 140720755905568 140720755900584 4581760 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 26042368 140720755913138 140720755913288 140720755913288 140720755916745 0
/proc/29254/statm: 7728 1501 764 782 0 744 0
Current children cumulated CPU time (s) 2322.19
Current children cumulated vsize (KiB) 30912
[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 29484
/proc/meminfo: memFree=31138004/32770624 swapFree=0/426620
[pid=29254] ppid=29251 vsize=30912 CPUtime=2382.2 cores=1,3,5,7
/proc/29254/stat : 29254 (MistralXCSP) R 29251 29254 4525 0 -1 4202496 27442 0 0 0 238219 1 0 0 20 0 1 0 135897854 31653888 1501 18446744073709551615 4194304 7396336 140720755905568 140720755900584 4320593 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 26042368 140720755913138 140720755913288 140720755913288 140720755916745 0
/proc/29254/statm: 7728 1501 764 782 0 744 0
Current children cumulated CPU time (s) 2382.2
Current children cumulated vsize (KiB) 30912
[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 29500
/proc/meminfo: memFree=31132972/32770624 swapFree=0/426600
[pid=29254] ppid=29251 vsize=30912 CPUtime=2442.2 cores=1,3,5,7
/proc/29254/stat : 29254 (MistralXCSP) R 29251 29254 4525 0 -1 4202496 28020 0 0 0 244219 1 0 0 20 0 1 0 135897854 31653888 1501 18446744073709551615 4194304 7396336 140720755905568 140720755900584 5575312 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 26042368 140720755913138 140720755913288 140720755913288 140720755916745 0
/proc/29254/statm: 7728 1501 764 782 0 744 0
Current children cumulated CPU time (s) 2442.2
Current children cumulated vsize (KiB) 30912
[startup+2502.3 s]
/proc/loadavg: 2.07 2.01 2.05 3/187 29502
/proc/meminfo: memFree=31133732/32770624 swapFree=0/426600
[pid=29254] ppid=29251 vsize=30912 CPUtime=2502.19 cores=1,3,5,7
/proc/29254/stat : 29254 (MistralXCSP) R 29251 29254 4525 0 -1 4202496 28598 0 0 0 250218 1 0 0 20 0 1 0 135897854 31653888 1501 18446744073709551615 4194304 7396336 140720755905568 140720755900584 4407476 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 26042368 140720755913138 140720755913288 140720755913288 140720755916745 0
/proc/29254/statm: 7728 1501 764 782 0 744 0
Current children cumulated CPU time (s) 2502.19
Current children cumulated vsize (KiB) 30912
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.05 2.01 2.05 3/185 29503
/proc/meminfo: memFree=31135576/32770624 swapFree=0/426596
[pid=29254] ppid=29251 vsize=30912 CPUtime=2519.89 cores=1,3,5,7
/proc/29254/stat : 29254 (MistralXCSP) R 29251 29254 4525 0 -1 4202496 29118 0 0 0 251988 1 0 0 20 0 1 0 135897854 31653888 1501 18446744073709551615 4194304 7396336 140720755905568 140720755900584 4581614 0 0 1 16386 0 0 0 17 3 0 0 4 0 0 9496464 9501696 26042368 140720755913138 140720755913288 140720755913288 140720755916745 0
/proc/29254/statm: 7728 1501 764 782 0 744 0
Current children cumulated CPU time (s) 2519.89
Current children cumulated vsize (KiB) 30912
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 29254 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520
CPU time (s): 2519.9
CPU user time (s): 2519.89
CPU system time (s): 0.013999
CPU usage (%): 99.9961
Max. virtual memory (cumulated for all children) (KiB): 30912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.89
system time used= 0.013999
maximum resident set size= 6024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29160
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= 8
involuntary context switches= 719
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.80221 second user time and 8.66738 second system time
The end