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-4261339-1502367921/watcher-4261339-1502367921 -o /tmp/evaluation-result-4261339-1502367921/solver-4261339-1502367921 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502333727-2686 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 585793595 HOME/instance-4261339-1502367921.xml
pid=10129
running on 4 cores: 0,2,4,6
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: 1.94 2.00 2.04 2/184 10132
/proc/meminfo: memFree=31362492/32770624 swapFree=0/231116
[pid=10132] ppid=10129 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/10132/stat : 10132 (runsolver) D 10129 10132 15981 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 38987729 24240128 107 18446744073709551615 4194304 4338465 140725677683792 140725677681432 139897416671959 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 14098432 140725677691021 140725677691466 140725677691466 140725677694922 0
/proc/10132/statm: 5918 107 54 36 0 2156 0
[startup+0.100198 s]
/proc/loadavg: 1.94 2.00 2.04 2/184 10132
/proc/meminfo: memFree=31362492/32770624 swapFree=0/231116
[pid=10132] ppid=10129 vsize=30868 CPUtime=0.01 cores=0,2,4,6
/proc/10132/stat : 10132 (MistralXCSP) R 10129 10132 15981 0 -1 4202496 1489 0 0 0 1 0 0 0 20 0 1 0 38987729 31608832 1321 18446744073709551615 4194304 7396336 140729447349648 140729447346648 5938522 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10207232 140729447350708 140729447350857 140729447350857 140729447354313 0
/proc/10132/statm: 7717 1321 613 782 0 733 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 30868
[startup+0.200343 s]
/proc/loadavg: 1.94 2.00 2.04 2/184 10132
/proc/meminfo: memFree=31362492/32770624 swapFree=0/231116
[pid=10132] ppid=10129 vsize=31372 CPUtime=0.11 cores=0,2,4,6
/proc/10132/stat : 10132 (MistralXCSP) R 10129 10132 15981 0 -1 4202496 1585 0 0 0 11 0 0 0 20 0 1 0 38987729 32124928 1387 18446744073709551615 4194304 7396336 140729447349648 140729447346648 5938522 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10207232 140729447350708 140729447350857 140729447350857 140729447354313 0
/proc/10132/statm: 7843 1387 614 782 0 859 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 31372
[startup+0.300333 s]
/proc/loadavg: 1.94 2.00 2.04 2/184 10132
/proc/meminfo: memFree=31362492/32770624 swapFree=0/231116
[pid=10132] ppid=10129 vsize=31696 CPUtime=0.21 cores=0,2,4,6
/proc/10132/stat : 10132 (MistralXCSP) R 10129 10132 15981 0 -1 4202496 1717 0 0 0 21 0 0 0 20 0 1 0 38987729 32456704 1465 18446744073709551615 4194304 7396336 140729447349648 140729447346648 5883280 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10207232 140729447350708 140729447350857 140729447350857 140729447354313 0
/proc/10132/statm: 7924 1465 614 782 0 940 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 31696
[startup+0.700281 s]
/proc/loadavg: 1.94 2.00 2.04 2/184 10132
/proc/meminfo: memFree=31362492/32770624 swapFree=0/231116
[pid=10132] ppid=10129 vsize=34140 CPUtime=0.61 cores=0,2,4,6
/proc/10132/stat : 10132 (MistralXCSP) R 10129 10132 15981 0 -1 4202496 2514 0 0 0 61 0 0 0 20 0 1 0 38987729 34959360 2165 18446744073709551615 4194304 7396336 140729447349648 140729447346648 6163310 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10207232 140729447350708 140729447350857 140729447350857 140729447354313 0
/proc/10132/statm: 8535 2165 719 782 0 1551 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 34140
[startup+1.50028 s]
/proc/loadavg: 1.94 2.00 2.04 3/185 10133
/proc/meminfo: memFree=31355572/32770624 swapFree=0/231116
[pid=10132] ppid=10129 vsize=36368 CPUtime=1.41 cores=0,2,4,6
/proc/10132/stat : 10132 (MistralXCSP) R 10129 10132 15981 0 -1 4202496 3079 0 0 0 141 0 0 0 20 0 1 0 38987729 37240832 2692 18446744073709551615 4194304 7396336 140729447349648 140729447346648 6180910 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10207232 140729447350708 140729447350857 140729447350857 140729447354313 0
/proc/10132/statm: 9092 2692 719 782 0 2108 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 36368
[startup+3.10028 s]
/proc/loadavg: 1.94 2.00 2.04 3/185 10133
/proc/meminfo: memFree=31351184/32770624 swapFree=0/231116
[pid=10132] ppid=10129 vsize=41712 CPUtime=3.01 cores=0,2,4,6
/proc/10132/stat : 10132 (MistralXCSP) R 10129 10132 15981 0 -1 4202496 4623 0 0 0 301 0 0 0 20 0 1 0 38987729 42713088 4056 18446744073709551615 4194304 7396336 140729447349648 140729447340392 6077083 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10207232 140729447350708 140729447350857 140729447350857 140729447354313 0
/proc/10132/statm: 10428 4056 719 782 0 3444 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 41712
[startup+6.30027 s]
/proc/loadavg: 1.94 2.00 2.04 3/185 10133
/proc/meminfo: memFree=31339652/32770624 swapFree=0/231116
[pid=10132] ppid=10129 vsize=54308 CPUtime=6.21 cores=0,2,4,6
/proc/10132/stat : 10132 (MistralXCSP) R 10129 10132 15981 0 -1 4202496 11504 0 0 0 620 1 0 0 20 0 1 0 38987729 55611392 7174 18446744073709551615 4194304 7396336 140729447349648 140729447340392 6177566 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10207232 140729447350708 140729447350857 140729447350857 140729447354313 0
/proc/10132/statm: 13577 7174 719 782 0 6593 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 54308
[startup+12.7003 s]
/proc/loadavg: 1.95 2.00 2.04 3/185 10133
/proc/meminfo: memFree=31308792/32770624 swapFree=0/231116
[pid=10132] ppid=10129 vsize=82904 CPUtime=12.61 cores=0,2,4,6
/proc/10132/stat : 10132 (MistralXCSP) R 10129 10132 15981 0 -1 4202496 25403 0 0 0 1259 2 0 0 20 0 1 0 38987729 84893696 14385 18446744073709551615 4194304 7396336 140729447349648 140729447340392 140673877902760 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10207232 140729447350708 140729447350857 140729447350857 140729447354313 0
/proc/10132/statm: 20726 14385 719 782 0 13742 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 82904
[startup+25.5003 s]
/proc/loadavg: 1.96 2.00 2.04 3/182 10133
/proc/meminfo: memFree=31275212/32770624 swapFree=0/231236
[pid=10132] ppid=10129 vsize=118000 CPUtime=25.41 cores=0,2,4,6
/proc/10132/stat : 10132 (MistralXCSP) R 10129 10132 15981 0 -1 4202496 38083 0 0 0 2537 4 0 0 20 0 1 0 38987729 120832000 23080 18446744073709551615 4194304 7396336 140729447349648 140729447340392 5647818 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10207232 140729447350708 140729447350857 140729447350857 140729447354313 0
/proc/10132/statm: 29500 23080 719 782 0 22516 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 118000
[startup+51.1003 s]
/proc/loadavg: 1.97 2.00 2.04 2/178 10143
/proc/meminfo: memFree=31381128/32770624 swapFree=0/231240
[pid=10132] ppid=10129 vsize=190572 CPUtime=51 cores=0,2,4,6
/proc/10132/stat : 10132 (MistralXCSP) R 10129 10132 15981 0 -1 4202496 87719 0 0 0 5092 8 0 0 20 0 1 0 38987729 195145728 41251 18446744073709551615 4194304 7396336 140729447349648 140729447342888 6162947 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10207232 140729447350708 140729447350857 140729447350857 140729447354313 0
/proc/10132/statm: 47643 41251 721 782 0 40659 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 190572
[startup+102.3 s]
/proc/loadavg: 1.95 1.99 2.03 3/182 10195
/proc/meminfo: memFree=31059744/32770624 swapFree=0/231500
[pid=10132] ppid=10129 vsize=343600 CPUtime=102.19 cores=0,2,4,6
/proc/10132/stat : 10132 (MistralXCSP) R 10129 10132 15981 0 -1 4202496 176698 0 0 0 10202 17 0 0 20 0 1 0 38987729 351846400 79517 18446744073709551615 4194304 7396336 140729447349648 140729447344072 5163189 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10207232 140729447350708 140729447350857 140729447350857 140729447354313 0
/proc/10132/statm: 85900 79517 757 782 0 78916 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 343600
[startup+162.3 s]
/proc/loadavg: 1.93 1.97 2.03 3/182 10197
/proc/meminfo: memFree=30883444/32770624 swapFree=0/231412
[pid=10132] ppid=10129 vsize=348088 CPUtime=162.15 cores=0,2,4,6
/proc/10132/stat : 10132 (MistralXCSP) R 10129 10132 15981 0 -1 4202496 211341 0 0 0 16195 20 0 0 20 0 1 0 38987729 356442112 80757 18446744073709551615 4194304 7396336 140729447349648 140729447344200 5672864 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10207232 140729447350708 140729447350857 140729447350857 140729447354313 0
/proc/10132/statm: 87022 80757 757 782 0 80038 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 348088
[startup+222.306 s]
/proc/loadavg: 1.98 1.98 2.03 3/181 10199
/proc/meminfo: memFree=30880632/32770624 swapFree=0/231432
[pid=10132] ppid=10129 vsize=348484 CPUtime=222.12 cores=0,2,4,6
/proc/10132/stat : 10132 (MistralXCSP) R 10129 10132 15981 0 -1 4202496 220803 0 0 0 22192 20 0 0 20 0 1 0 38987729 356847616 80874 18446744073709551615 4194304 7396336 140729447349648 140729447344200 5588187 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10207232 140729447350708 140729447350857 140729447350857 140729447354313 0
/proc/10132/statm: 87121 80874 757 782 0 80137 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 348484
[startup+282.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/181 10201
/proc/meminfo: memFree=30879076/32770624 swapFree=0/231444
[pid=10132] ppid=10129 vsize=348616 CPUtime=282.11 cores=0,2,4,6
/proc/10132/stat : 10132 (MistralXCSP) R 10129 10132 15981 0 -1 4202496 221673 0 0 0 28191 20 0 0 20 0 1 0 38987729 356982784 80905 18446744073709551615 4194304 7396336 140729447349648 140729447344200 4249698 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10207232 140729447350708 140729447350857 140729447350857 140729447354313 0
/proc/10132/statm: 87154 80905 757 782 0 80170 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 348616
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/181 10203
/proc/meminfo: memFree=30878760/32770624 swapFree=0/231484
[pid=10132] ppid=10129 vsize=348748 CPUtime=342.11 cores=0,2,4,6
/proc/10132/stat : 10132 (MistralXCSP) R 10129 10132 15981 0 -1 4202496 222608 0 0 0 34191 20 0 0 20 0 1 0 38987729 357117952 80952 18446744073709551615 4194304 7396336 140729447349648 140729447344200 5586558 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10207232 140729447350708 140729447350857 140729447350857 140729447354313 0
/proc/10132/statm: 87187 80952 757 782 0 80203 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 348748
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/181 10205
/proc/meminfo: memFree=30877736/32770624 swapFree=0/231480
[pid=10132] ppid=10129 vsize=349012 CPUtime=402.11 cores=0,2,4,6
/proc/10132/stat : 10132 (MistralXCSP) R 10129 10132 15981 0 -1 4202496 223615 0 0 0 40191 20 0 0 20 0 1 0 38987729 357388288 81013 18446744073709551615 4194304 7396336 140729447349648 140729447344200 5575964 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10207232 140729447350708 140729447350857 140729447350857 140729447354313 0
/proc/10132/statm: 87253 81013 757 782 0 80269 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 349012
[startup+462.3 s]
/proc/loadavg: 2.05 2.00 2.03 3/181 10207
/proc/meminfo: memFree=30877760/32770624 swapFree=0/231516
[pid=10132] ppid=10129 vsize=349144 CPUtime=462.11 cores=0,2,4,6
/proc/10132/stat : 10132 (MistralXCSP) R 10129 10132 15981 0 -1 4202496 224630 0 0 0 46190 21 0 0 20 0 1 0 38987729 357523456 81050 18446744073709551615 4194304 7396336 140729447349648 140729447344200 4253014 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10207232 140729447350708 140729447350857 140729447350857 140729447354313 0
/proc/10132/statm: 87286 81050 757 782 0 80302 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 349144
[startup+522.3 s]
/proc/loadavg: 2.02 2.00 2.03 3/184 10223
/proc/meminfo: memFree=30872468/32770624 swapFree=0/231536
[pid=10132] ppid=10129 vsize=349408 CPUtime=522.11 cores=0,2,4,6
/proc/10132/stat : 10132 (MistralXCSP) R 10129 10132 15981 0 -1 4202496 225743 0 0 0 52190 21 0 0 20 0 1 0 38987729 357793792 81111 18446744073709551615 4194304 7396336 140729447349648 140729447344200 4581738 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10207232 140729447350708 140729447350857 140729447350857 140729447354313 0
/proc/10132/statm: 87352 81111 757 782 0 80368 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 349408
[startup+582.3 s]
/proc/loadavg: 2.01 2.00 2.03 3/184 10225
/proc/meminfo: memFree=30872964/32770624 swapFree=0/231540
[pid=10132] ppid=10129 vsize=349540 CPUtime=582.1 cores=0,2,4,6
/proc/10132/stat : 10132 (MistralXCSP) R 10129 10132 15981 0 -1 4202496 226839 0 0 0 58189 21 0 0 20 0 1 0 38987729 357928960 81137 18446744073709551615 4194304 7396336 140729447349648 140729447344200 4379138 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10207232 140729447350708 140729447350857 140729447350857 140729447354313 0
/proc/10132/statm: 87385 81137 757 782 0 80401 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 349540
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10276
/proc/meminfo: memFree=30873524/32770624 swapFree=0/231876
[pid=10132] ppid=10129 vsize=350596 CPUtime=1602.06 cores=0,2,4,6
/proc/10132/stat : 10132 (MistralXCSP) R 10129 10132 15981 0 -1 4202496 239874 0 0 0 160184 22 0 0 20 0 1 0 38987729 359010304 81397 18446744073709551615 4194304 7396336 140729447349648 140729447344200 4581576 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10207232 140729447350708 140729447350857 140729447350857 140729447354313 0
/proc/10132/statm: 87649 81397 757 782 0 80665 0
Current children cumulated CPU time (s) 1602.06
Current children cumulated vsize (KiB) 350596
[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 10278
/proc/meminfo: memFree=30874144/32770624 swapFree=0/231892
[pid=10132] ppid=10129 vsize=350596 CPUtime=1662.06 cores=0,2,4,6
/proc/10132/stat : 10132 (MistralXCSP) R 10129 10132 15981 0 -1 4202496 240719 0 0 0 166184 22 0 0 20 0 1 0 38987729 359010304 81410 18446744073709551615 4194304 7396336 140729447349648 140729447344200 4581738 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10207232 140729447350708 140729447350857 140729447350857 140729447354313 0
/proc/10132/statm: 87649 81410 757 782 0 80665 0
Current children cumulated CPU time (s) 1662.06
Current children cumulated vsize (KiB) 350596
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/184 10294
/proc/meminfo: memFree=30868660/32770624 swapFree=0/231912
[pid=10132] ppid=10129 vsize=350596 CPUtime=1722.05 cores=0,2,4,6
/proc/10132/stat : 10132 (MistralXCSP) R 10129 10132 15981 0 -1 4202496 241559 0 0 0 172183 22 0 0 20 0 1 0 38987729 359010304 81414 18446744073709551615 4194304 7396336 140729447349648 140729447344200 5575964 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10207232 140729447350708 140729447350857 140729447350857 140729447354313 0
/proc/10132/statm: 87649 81414 757 782 0 80665 0
Current children cumulated CPU time (s) 1722.05
Current children cumulated vsize (KiB) 350596
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 10296
/proc/meminfo: memFree=30869584/32770624 swapFree=0/231932
[pid=10132] ppid=10129 vsize=350728 CPUtime=1782.05 cores=0,2,4,6
/proc/10132/stat : 10132 (MistralXCSP) R 10129 10132 15981 0 -1 4202496 242414 0 0 0 178183 22 0 0 20 0 1 0 38987729 359145472 81419 18446744073709551615 4194304 7396336 140729447349648 140729447344200 4581576 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10207232 140729447350708 140729447350857 140729447350857 140729447354313 0
/proc/10132/statm: 87682 81419 757 782 0 80698 0
Current children cumulated CPU time (s) 1782.05
Current children cumulated vsize (KiB) 350728
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10298
/proc/meminfo: memFree=30871304/32770624 swapFree=0/231952
[pid=10132] ppid=10129 vsize=350728 CPUtime=1842.05 cores=0,2,4,6
/proc/10132/stat : 10132 (MistralXCSP) R 10129 10132 15981 0 -1 4202496 243269 0 0 0 184183 22 0 0 20 0 1 0 38987729 359145472 81430 18446744073709551615 4194304 7396336 140729447349648 140729447344200 5575964 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10207232 140729447350708 140729447350857 140729447350857 140729447354313 0
/proc/10132/statm: 87682 81430 757 782 0 80698 0
Current children cumulated CPU time (s) 1842.05
Current children cumulated vsize (KiB) 350728
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10300
/proc/meminfo: memFree=30872352/32770624 swapFree=0/231984
[pid=10132] ppid=10129 vsize=350728 CPUtime=1902.05 cores=0,2,4,6
/proc/10132/stat : 10132 (MistralXCSP) R 10129 10132 15981 0 -1 4202496 244131 0 0 0 190183 22 0 0 20 0 1 0 38987729 359145472 81436 18446744073709551615 4194304 7396336 140729447349648 140729447344200 4406326 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10207232 140729447350708 140729447350857 140729447350857 140729447354313 0
/proc/10132/statm: 87682 81436 757 782 0 80698 0
Current children cumulated CPU time (s) 1902.05
Current children cumulated vsize (KiB) 350728
[startup+1962.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/181 10302
/proc/meminfo: memFree=30872724/32770624 swapFree=0/231996
[pid=10132] ppid=10129 vsize=350728 CPUtime=1962.04 cores=0,2,4,6
/proc/10132/stat : 10132 (MistralXCSP) R 10129 10132 15981 0 -1 4202496 244989 0 0 0 196182 22 0 0 20 0 1 0 38987729 359145472 81438 18446744073709551615 4194304 7396336 140729447349648 140729447344200 5839012 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10207232 140729447350708 140729447350857 140729447350857 140729447354313 0
/proc/10132/statm: 87682 81438 757 782 0 80698 0
Current children cumulated CPU time (s) 1962.04
Current children cumulated vsize (KiB) 350728
[startup+2022.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/181 10304
/proc/meminfo: memFree=30873232/32770624 swapFree=0/232012
[pid=10132] ppid=10129 vsize=350860 CPUtime=2022.04 cores=0,2,4,6
/proc/10132/stat : 10132 (MistralXCSP) R 10129 10132 15981 0 -1 4202496 245873 0 0 0 202182 22 0 0 20 0 1 0 38987729 359280640 81449 18446744073709551615 4194304 7396336 140729447349648 140729447344072 5575964 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10207232 140729447350708 140729447350857 140729447350857 140729447354313 0
/proc/10132/statm: 87715 81449 757 782 0 80731 0
Current children cumulated CPU time (s) 2022.04
Current children cumulated vsize (KiB) 350860
[startup+2082.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 10306
/proc/meminfo: memFree=30872984/32770624 swapFree=0/232028
[pid=10132] ppid=10129 vsize=350860 CPUtime=2082.05 cores=0,2,4,6
/proc/10132/stat : 10132 (MistralXCSP) R 10129 10132 15981 0 -1 4202496 246756 0 0 0 208182 23 0 0 20 0 1 0 38987729 359280640 81455 18446744073709551615 4194304 7396336 140729447349648 140729447344072 4399564 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10207232 140729447350708 140729447350857 140729447350857 140729447354313 0
/proc/10132/statm: 87715 81455 757 782 0 80731 0
Current children cumulated CPU time (s) 2082.05
Current children cumulated vsize (KiB) 350860
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 10308
/proc/meminfo: memFree=30873124/32770624 swapFree=0/232056
[pid=10132] ppid=10129 vsize=350860 CPUtime=2142.05 cores=0,2,4,6
/proc/10132/stat : 10132 (MistralXCSP) R 10129 10132 15981 0 -1 4202496 247652 0 0 0 214182 23 0 0 20 0 1 0 38987729 359280640 81464 18446744073709551615 4194304 7396336 140729447349648 140729447344072 4406356 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10207232 140729447350708 140729447350857 140729447350857 140729447354313 0
/proc/10132/statm: 87715 81464 757 782 0 80731 0
Current children cumulated CPU time (s) 2142.05
Current children cumulated vsize (KiB) 350860
[startup+2202.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 10310
/proc/meminfo: memFree=30873000/32770624 swapFree=0/232056
[pid=10132] ppid=10129 vsize=350860 CPUtime=2202.05 cores=0,2,4,6
/proc/10132/stat : 10132 (MistralXCSP) R 10129 10132 15981 0 -1 4202496 248551 0 0 0 220182 23 0 0 20 0 1 0 38987729 359280640 81471 18446744073709551615 4194304 7396336 140729447349648 140729447344072 4581738 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10207232 140729447350708 140729447350857 140729447350857 140729447354313 0
/proc/10132/statm: 87715 81471 757 782 0 80731 0
Current children cumulated CPU time (s) 2202.05
Current children cumulated vsize (KiB) 350860
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10312
/proc/meminfo: memFree=30873372/32770624 swapFree=0/232088
[pid=10132] ppid=10129 vsize=350860 CPUtime=2262.04 cores=0,2,4,6
/proc/10132/stat : 10132 (MistralXCSP) R 10129 10132 15981 0 -1 4202496 249470 0 0 0 226181 23 0 0 20 0 1 0 38987729 359280640 81481 18446744073709551615 4194304 7396336 140729447349648 140729447344072 4399504 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10207232 140729447350708 140729447350857 140729447350857 140729447354313 0
/proc/10132/statm: 87715 81481 757 782 0 80731 0
Current children cumulated CPU time (s) 2262.04
Current children cumulated vsize (KiB) 350860
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 10329
/proc/meminfo: memFree=30868992/32770624 swapFree=0/232112
[pid=10132] ppid=10129 vsize=350992 CPUtime=2322.04 cores=0,2,4,6
/proc/10132/stat : 10132 (MistralXCSP) R 10129 10132 15981 0 -1 4202496 250383 0 0 0 232181 23 0 0 20 0 1 0 38987729 359415808 81487 18446744073709551615 4194304 7396336 140729447349648 140729447344200 5575964 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10207232 140729447350708 140729447350857 140729447350857 140729447354313 0
/proc/10132/statm: 87748 81487 757 782 0 80764 0
Current children cumulated CPU time (s) 2322.04
Current children cumulated vsize (KiB) 350992
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 10331
/proc/meminfo: memFree=30868428/32770624 swapFree=0/232132
[pid=10132] ppid=10129 vsize=350992 CPUtime=2382.03 cores=0,2,4,6
/proc/10132/stat : 10132 (MistralXCSP) R 10129 10132 15981 0 -1 4202496 251307 0 0 0 238180 23 0 0 20 0 1 0 38987729 359415808 81497 18446744073709551615 4194304 7396336 140729447349648 140729447344200 4581738 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10207232 140729447350708 140729447350857 140729447350857 140729447354313 0
/proc/10132/statm: 87748 81497 757 782 0 80764 0
Current children cumulated CPU time (s) 2382.03
Current children cumulated vsize (KiB) 350992
[startup+2442.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/182 10333
/proc/meminfo: memFree=30870584/32770624 swapFree=0/232148
[pid=10132] ppid=10129 vsize=350992 CPUtime=2442.03 cores=0,2,4,6
/proc/10132/stat : 10132 (MistralXCSP) R 10129 10132 15981 0 -1 4202496 252240 0 0 0 244180 23 0 0 20 0 1 0 38987729 359415808 81505 18446744073709551615 4194304 7396336 140729447349648 140729447344200 5674455 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10207232 140729447350708 140729447350857 140729447350857 140729447354313 0
/proc/10132/statm: 87748 81505 757 782 0 80764 0
Current children cumulated CPU time (s) 2442.03
Current children cumulated vsize (KiB) 350992
[startup+2502.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/182 10335
/proc/meminfo: memFree=30871056/32770624 swapFree=0/232156
[pid=10132] ppid=10129 vsize=350992 CPUtime=2502.03 cores=0,2,4,6
/proc/10132/stat : 10132 (MistralXCSP) R 10129 10132 15981 0 -1 4202496 253179 0 0 0 250180 23 0 0 20 0 1 0 38987729 359415808 81508 18446744073709551615 4194304 7396336 140729447349648 140729447344200 5839021 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10207232 140729447350708 140729447350857 140729447350857 140729447354313 0
/proc/10132/statm: 87748 81508 757 782 0 80764 0
Current children cumulated CPU time (s) 2502.03
Current children cumulated vsize (KiB) 350992
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.05 2.04 2.05 3/182 10337
/proc/meminfo: memFree=30871404/32770624 swapFree=0/232180
[pid=10132] ppid=10129 vsize=350992 CPUtime=2519.73 cores=0,2,4,6
/proc/10132/stat : 10132 (MistralXCSP) R 10129 10132 15981 0 -1 4202496 253180 0 0 0 251950 23 0 0 20 0 1 0 38987729 359415808 81508 18446744073709551615 4194304 7396336 140729447349648 140729447344200 4581576 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10207232 140729447350708 140729447350857 140729447350857 140729447354313 0
/proc/10132/statm: 87748 81508 757 782 0 80764 0
Current children cumulated CPU time (s) 2519.73
Current children cumulated vsize (KiB) 350992
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 10132 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.74
CPU user time (s): 2519.5
CPU system time (s): 0.237989
CPU usage (%): 99.9896
Max. virtual memory (cumulated for all children) (KiB): 350992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.5
system time used= 0.237989
maximum resident set size= 326056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 253209
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= 113
involuntary context switches= 781
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.4211 second user time and 10.9405 second system time
The end