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-4261476-1502376915/watcher-4261476-1502376915 -o /tmp/evaluation-result-4261476-1502376915/solver-4261476-1502376915 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502333491-25567 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1398103875 HOME/instance-4261476-1502376915.xml
pid=31331
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: 2.00 2.01 2.05 4/187 31334
/proc/meminfo: memFree=31186872/32770624 swapFree=0/429000
[pid=31334] ppid=31331 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/31334/stat : 31334 (runsolver) D 31331 31334 4525 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 137344422 24240128 107 18446744073709551615 4194304 4338465 140735586148896 140735586146536 139992983048919 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 8777728 140735586152586 140735586153033 140735586153033 140735586156490 0
/proc/31334/statm: 5918 107 54 36 0 2156 0
[startup+0.100152 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 31334
/proc/meminfo: memFree=31186872/32770624 swapFree=0/429000
[pid=31334] ppid=31331 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/31334/stat : 31334 (runsolver) D 31331 31334 4525 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 137344422 24240128 107 18446744073709551615 4194304 4338465 140735586148896 140735586146536 139992983048919 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 8777728 140735586152586 140735586153033 140735586153033 140735586156490 0
/proc/31334/statm: 5918 107 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200381 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 31334
/proc/meminfo: memFree=31186872/32770624 swapFree=0/429000
[pid=31334] ppid=31331 vsize=90968 CPUtime=0.07 cores=0,2,4,6
/proc/31334/stat : 31334 (MistralXCSP) R 31331 31334 4525 0 -1 4202496 16578 0 0 0 6 1 0 0 20 0 1 0 137344422 93151232 16401 18446744073709551615 4194304 7396336 140730917788512 140730917785512 139830694710245 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9496464 9501696 27238400 140730917794226 140730917794376 140730917794376 140730917797833 0
/proc/31334/statm: 22775 16401 681 782 0 15791 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 90968
[startup+0.300419 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 31334
/proc/meminfo: memFree=31186872/32770624 swapFree=0/429000
[pid=31334] ppid=31331 vsize=106724 CPUtime=0.18 cores=0,2,4,6
/proc/31334/stat : 31334 (MistralXCSP) R 31331 31334 4525 0 -1 4202496 18975 0 0 0 16 2 0 0 20 0 1 0 137344422 109285376 20317 18446744073709551615 4194304 7396336 140730917788512 140730917785512 4249495 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9496464 9501696 27238400 140730917794226 140730917794376 140730917794376 140730917797833 0
/proc/31334/statm: 26681 20317 687 782 0 19697 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 106724
[startup+0.700345 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 31334
/proc/meminfo: memFree=31186872/32770624 swapFree=0/429000
[pid=31334] ppid=31331 vsize=115172 CPUtime=0.58 cores=0,2,4,6
/proc/31334/stat : 31334 (MistralXCSP) R 31331 31334 4525 0 -1 4202496 21100 0 0 0 55 3 0 0 20 0 1 0 137344422 117936128 22429 18446744073709551615 4194304 7396336 140730917788512 140730917782904 5575227 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9496464 9501696 27238400 140730917794226 140730917794376 140730917794376 140730917797833 0
/proc/31334/statm: 28793 22429 687 782 0 21809 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 115172
[startup+1.50035 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31335
/proc/meminfo: memFree=31098304/32770624 swapFree=0/429012
[pid=31334] ppid=31331 vsize=122300 CPUtime=1.37 cores=0,2,4,6
/proc/31334/stat : 31334 (MistralXCSP) R 31331 31334 4525 0 -1 4202496 22894 0 0 0 134 3 0 0 20 0 1 0 137344422 125235200 24211 18446744073709551615 4194304 7396336 140730917788512 140730917783048 5792030 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9496464 9501696 27238400 140730917794226 140730917794376 140730917794376 140730917797833 0
/proc/31334/statm: 30575 24211 687 782 0 23591 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 122300
[startup+3.10032 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31335
/proc/meminfo: memFree=31089624/32770624 swapFree=0/429012
[pid=31334] ppid=31331 vsize=129428 CPUtime=2.98 cores=0,2,4,6
/proc/31334/stat : 31334 (MistralXCSP) R 31331 31334 4525 0 -1 4202496 39426 0 0 0 294 4 0 0 20 0 1 0 137344422 132534272 26033 18446744073709551615 4194304 7396336 140730917788512 140730917783048 5792030 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9496464 9501696 27238400 140730917794226 140730917794376 140730917794376 140730917797833 0
/proc/31334/statm: 32357 26033 687 782 0 25373 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 129428
[startup+6.30035 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31335
/proc/meminfo: memFree=31079644/32770624 swapFree=0/429012
[pid=31334] ppid=31331 vsize=135500 CPUtime=6.18 cores=0,2,4,6
/proc/31334/stat : 31334 (MistralXCSP) R 31331 31334 4525 0 -1 4202496 57238 0 0 0 613 5 0 0 20 0 1 0 137344422 138752000 27548 18446744073709551615 4194304 7396336 140730917788512 140730917783048 5792137 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9496464 9501696 27238400 140730917794226 140730917794376 140730917794376 140730917797833 0
/proc/31334/statm: 33875 27548 687 782 0 26891 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 135500
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31335
/proc/meminfo: memFree=31071832/32770624 swapFree=0/429008
[pid=31334] ppid=31331 vsize=143024 CPUtime=12.57 cores=0,2,4,6
/proc/31334/stat : 31334 (MistralXCSP) R 31331 31334 4525 0 -1 4202496 76808 0 0 0 1251 6 0 0 20 0 1 0 137344422 146456576 29386 18446744073709551615 4194304 7396336 140730917788512 140730917783048 5791887 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9496464 9501696 27238400 140730917794226 140730917794376 140730917794376 140730917797833 0
/proc/31334/statm: 35756 29386 687 782 0 28772 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 143024
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31336
/proc/meminfo: memFree=31066624/32770624 swapFree=0/429016
[pid=31334] ppid=31331 vsize=147776 CPUtime=25.38 cores=0,2,4,6
/proc/31334/stat : 31334 (MistralXCSP) R 31331 31334 4525 0 -1 4202496 117236 0 0 0 2529 9 0 0 20 0 1 0 137344422 151322624 30617 18446744073709551615 4194304 7396336 140730917788512 140730917783048 5791976 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9496464 9501696 27238400 140730917794226 140730917794376 140730917794376 140730917797833 0
/proc/31334/statm: 36944 30617 687 782 0 29960 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 147776
[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 31336
/proc/meminfo: memFree=31061944/32770624 swapFree=0/429008
[pid=31334] ppid=31331 vsize=154376 CPUtime=50.97 cores=0,2,4,6
/proc/31334/stat : 31334 (MistralXCSP) R 31331 31334 4525 0 -1 4202496 140180 0 0 0 5087 10 0 0 20 0 1 0 137344422 158081024 32231 18446744073709551615 4194304 7396336 140730917788512 140730917783048 5686661 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9496464 9501696 27238400 140730917794226 140730917794376 140730917794376 140730917797833 0
/proc/31334/statm: 38594 32231 687 782 0 31610 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 154376
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 31338
/proc/meminfo: memFree=31058252/32770624 swapFree=0/429024
[pid=31334] ppid=31331 vsize=158996 CPUtime=102.15 cores=0,2,4,6
/proc/31334/stat : 31334 (MistralXCSP) R 31331 31334 4525 0 -1 4202496 163688 0 0 0 10204 11 0 0 20 0 1 0 137344422 162811904 33423 18446744073709551615 4194304 7396336 140730917788512 140730917783048 5792030 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9496464 9501696 27238400 140730917794226 140730917794376 140730917794376 140730917797833 0
/proc/31334/statm: 39749 33423 687 782 0 32765 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 158996
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 31340
/proc/meminfo: memFree=31056188/32770624 swapFree=0/429040
[pid=31334] ppid=31331 vsize=161372 CPUtime=162.13 cores=0,2,4,6
/proc/31334/stat : 31334 (MistralXCSP) R 31331 31334 4525 0 -1 4202496 174900 0 0 0 16201 12 0 0 20 0 1 0 137344422 165244928 33970 18446744073709551615 4194304 7396336 140730917788512 140730917783048 5686400 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9496464 9501696 27238400 140730917794226 140730917794376 140730917794376 140730917797833 0
/proc/31334/statm: 40343 33970 687 782 0 33359 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 161372
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 31342
/proc/meminfo: memFree=31055216/32770624 swapFree=0/429052
[pid=31334] ppid=31331 vsize=162824 CPUtime=222.13 cores=0,2,4,6
/proc/31334/stat : 31334 (MistralXCSP) R 31331 31334 4525 0 -1 4202496 176142 0 0 0 22201 12 0 0 20 0 1 0 137344422 166731776 34340 18446744073709551615 4194304 7396336 140730917788512 140730917783048 5685816 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9496464 9501696 27238400 140730917794226 140730917794376 140730917794376 140730917797833 0
/proc/31334/statm: 40706 34340 687 782 0 33722 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 162824
[startup+282.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/184 31344
/proc/meminfo: memFree=31054656/32770624 swapFree=0/429060
[pid=31334] ppid=31331 vsize=163352 CPUtime=282.12 cores=0,2,4,6
/proc/31334/stat : 31334 (MistralXCSP) R 31331 31334 4525 0 -1 4202496 177480 0 0 0 28200 12 0 0 20 0 1 0 137344422 167272448 34469 18446744073709551615 4194304 7396336 140730917788512 140730917783048 5792030 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9496464 9501696 27238400 140730917794226 140730917794376 140730917794376 140730917797833 0
/proc/31334/statm: 40838 34469 687 782 0 33854 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 163352
[startup+342.3 s]
/proc/loadavg: 2.12 2.05 2.05 3/184 31346
/proc/meminfo: memFree=31053852/32770624 swapFree=0/429076
[pid=31334] ppid=31331 vsize=164012 CPUtime=342.11 cores=0,2,4,6
/proc/31334/stat : 31334 (MistralXCSP) R 31331 31334 4525 0 -1 4202496 178451 0 0 0 34199 12 0 0 20 0 1 0 137344422 167948288 34646 18446744073709551615 4194304 7396336 140730917788512 140730917783048 5792216 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9496464 9501696 27238400 140730917794226 140730917794376 140730917794376 140730917797833 0
/proc/31334/statm: 41003 34646 687 782 0 34019 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 164012
[startup+402.3 s]
/proc/loadavg: 2.20 2.08 2.06 3/184 31348
/proc/meminfo: memFree=31054288/32770624 swapFree=0/429088
[pid=31334] ppid=31331 vsize=164408 CPUtime=402.11 cores=0,2,4,6
/proc/31334/stat : 31334 (MistralXCSP) R 31331 31334 4525 0 -1 4202496 179517 0 0 0 40198 13 0 0 20 0 1 0 137344422 168353792 34746 18446744073709551615 4194304 7396336 140730917788512 140730917783048 5685170 0 0 1 16386 0 0 0 17 0 0 0 11 0 0 9496464 9501696 27238400 140730917794226 140730917794376 140730917794376 140730917797833 0
/proc/31334/statm: 41102 34746 687 782 0 34118 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 164408
[startup+462.3 s]
/proc/loadavg: 2.11 2.07 2.06 3/185 31351
/proc/meminfo: memFree=31053932/32770624 swapFree=0/429108
[pid=31334] ppid=31331 vsize=164804 CPUtime=462.1 cores=0,2,4,6
/proc/31334/stat : 31334 (MistralXCSP) R 31331 31334 4525 0 -1 4202496 180640 0 0 0 46197 13 0 0 20 0 1 0 137344422 168759296 34825 18446744073709551615 4194304 7396336 140730917788512 140730917783048 5685052 0 0 1 16386 0 0 0 17 0 0 0 11 0 0 9496464 9501696 27238400 140730917794226 140730917794376 140730917794376 140730917797833 0
/proc/31334/statm: 41201 34825 687 782 0 34217 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 164804
[startup+522.3 s]
/proc/loadavg: 2.04 2.06 2.05 3/185 31353
/proc/meminfo: memFree=31053372/32770624 swapFree=0/429120
[pid=31334] ppid=31331 vsize=164804 CPUtime=522.09 cores=0,2,4,6
/proc/31334/stat : 31334 (MistralXCSP) R 31331 31334 4525 0 -1 4202496 181276 0 0 0 52196 13 0 0 20 0 1 0 137344422 168759296 34888 18446744073709551615 4194304 7396336 140730917788512 140730917783048 5685777 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9496464 9501696 27238400 140730917794226 140730917794376 140730917794376 140730917797833 0
/proc/31334/statm: 41201 34888 687 782 0 34217 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 164804
[startup+582.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/189 31370
/proc/meminfo: memFree=31048792/32770624 swapFree=0/429136
[pid=31334] ppid=31331 vsize=165068 CPUtime=582.09 cores=0,2,4,6
/proc/31334/stat : 31334 (MistralXCSP) R 31331 31334 4525 0 -1 4202496 181946 0 0 0 58196 13 0 0 20 0 1 0 137344422 169029632 34908 18446744073709551615 4194304 7396336 140730917788512 140730917783048 5792030 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9496464 9501696 27238400 140730917794226 140730917794376 140730917794376 140730917797833 0
/proc/31334/statm: 41267 34908 687 782 0 34283 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 165068
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 31471
/proc/meminfo: memFree=31050316/32770624 swapFree=0/429348
[pid=31334] ppid=31331 vsize=166124 CPUtime=1602 cores=0,2,4,6
/proc/31334/stat : 31334 (MistralXCSP) R 31331 31334 4525 0 -1 4202496 196109 0 0 0 160186 14 0 0 20 0 1 0 137344422 170110976 35229 18446744073709551615 4194304 7396336 140730917788512 140730917783048 5792120 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9496464 9501696 27238400 140730917794226 140730917794376 140730917794376 140730917797833 0
/proc/31334/statm: 41531 35229 687 782 0 34547 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 166124
[startup+1662.3 s]
/proc/loadavg: 2.04 2.02 2.05 3/185 31473
/proc/meminfo: memFree=31050692/32770624 swapFree=0/429360
[pid=31334] ppid=31331 vsize=166124 CPUtime=1662 cores=0,2,4,6
/proc/31334/stat : 31334 (MistralXCSP) R 31331 31334 4525 0 -1 4202496 196550 0 0 0 166186 14 0 0 20 0 1 0 137344422 170110976 35232 18446744073709551615 4194304 7396336 140730917788512 140730917783048 5792137 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9496464 9501696 27238400 140730917794226 140730917794376 140730917794376 140730917797833 0
/proc/31334/statm: 41531 35232 687 782 0 34547 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 166124
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/185 31475
/proc/meminfo: memFree=31050540/32770624 swapFree=0/429364
[pid=31334] ppid=31331 vsize=166256 CPUtime=1721.99 cores=0,2,4,6
/proc/31334/stat : 31334 (MistralXCSP) R 31331 31334 4525 0 -1 4202496 197002 0 0 0 172185 14 0 0 20 0 1 0 137344422 170246144 35238 18446744073709551615 4194304 7396336 140730917788512 140730917783048 5792030 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9496464 9501696 27238400 140730917794226 140730917794376 140730917794376 140730917797833 0
/proc/31334/statm: 41564 35238 687 782 0 34580 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 166256
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/188 31492
/proc/meminfo: memFree=31046776/32770624 swapFree=0/429408
[pid=31334] ppid=31331 vsize=166256 CPUtime=1781.99 cores=0,2,4,6
/proc/31334/stat : 31334 (MistralXCSP) R 31331 31334 4525 0 -1 4202496 197458 0 0 0 178185 14 0 0 20 0 1 0 137344422 170246144 35245 18446744073709551615 4194304 7396336 140730917788512 140730917783048 4547368 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9496464 9501696 27238400 140730917794226 140730917794376 140730917794376 140730917797833 0
/proc/31334/statm: 41564 35245 687 782 0 34580 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 166256
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31494
/proc/meminfo: memFree=31047084/32770624 swapFree=0/429416
[pid=31334] ppid=31331 vsize=166256 CPUtime=1841.98 cores=0,2,4,6
/proc/31334/stat : 31334 (MistralXCSP) R 31331 31334 4525 0 -1 4202496 197924 0 0 0 184184 14 0 0 20 0 1 0 137344422 170246144 35251 18446744073709551615 4194304 7396336 140730917788512 140730917783048 5685144 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9496464 9501696 27238400 140730917794226 140730917794376 140730917794376 140730917797833 0
/proc/31334/statm: 41564 35251 687 782 0 34580 0
Current children cumulated CPU time (s) 1841.98
Current children cumulated vsize (KiB) 166256
[startup+1902.3 s]
/proc/loadavg: 1.96 2.00 2.04 3/185 31556
/proc/meminfo: memFree=31062880/32770624 swapFree=0/429424
[pid=31334] ppid=31331 vsize=166256 CPUtime=1901.97 cores=0,2,4,6
/proc/31334/stat : 31334 (MistralXCSP) R 31331 31334 4525 0 -1 4202496 198393 0 0 0 190183 14 0 0 20 0 1 0 137344422 170246144 35261 18446744073709551615 4194304 7396336 140730917788512 140730917783048 4581412 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9496464 9501696 27238400 140730917794226 140730917794376 140730917794376 140730917797833 0
/proc/31334/statm: 41564 35261 687 782 0 34580 0
Current children cumulated CPU time (s) 1901.97
Current children cumulated vsize (KiB) 166256
[startup+1962.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/185 31558
/proc/meminfo: memFree=31062992/32770624 swapFree=0/429440
[pid=31334] ppid=31331 vsize=166388 CPUtime=1961.97 cores=0,2,4,6
/proc/31334/stat : 31334 (MistralXCSP) R 31331 31334 4525 0 -1 4202496 198871 0 0 0 196183 14 0 0 20 0 1 0 137344422 170381312 35265 18446744073709551615 4194304 7396336 140730917788512 140730917783048 5792070 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9496464 9501696 27238400 140730917794226 140730917794376 140730917794376 140730917797833 0
/proc/31334/statm: 41597 35265 687 782 0 34613 0
Current children cumulated CPU time (s) 1961.97
Current children cumulated vsize (KiB) 166388
[startup+2022.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/186 31561
/proc/meminfo: memFree=31062548/32770624 swapFree=0/429460
[pid=31334] ppid=31331 vsize=166388 CPUtime=2021.96 cores=0,2,4,6
/proc/31334/stat : 31334 (MistralXCSP) R 31331 31334 4525 0 -1 4202496 199351 0 0 0 202182 14 0 0 20 0 1 0 137344422 170381312 35272 18446744073709551615 4194304 7396336 140730917788512 140730917783048 4542440 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9496464 9501696 27238400 140730917794226 140730917794376 140730917794376 140730917797833 0
/proc/31334/statm: 41597 35272 687 782 0 34613 0
Current children cumulated CPU time (s) 2021.96
Current children cumulated vsize (KiB) 166388
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 31563
/proc/meminfo: memFree=31062528/32770624 swapFree=0/429464
[pid=31334] ppid=31331 vsize=166388 CPUtime=2081.97 cores=0,2,4,6
/proc/31334/stat : 31334 (MistralXCSP) R 31331 31334 4525 0 -1 4202496 199839 0 0 0 208182 15 0 0 20 0 1 0 137344422 170381312 35276 18446744073709551615 4194304 7396336 140730917788512 140730917783048 4253003 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9496464 9501696 27238400 140730917794226 140730917794376 140730917794376 140730917797833 0
/proc/31334/statm: 41597 35276 687 782 0 34613 0
Current children cumulated CPU time (s) 2081.97
Current children cumulated vsize (KiB) 166388
[startup+2142.3 s]
/proc/loadavg: 2.11 2.03 2.05 3/185 31565
/proc/meminfo: memFree=31062780/32770624 swapFree=0/429480
[pid=31334] ppid=31331 vsize=166388 CPUtime=2141.96 cores=0,2,4,6
/proc/31334/stat : 31334 (MistralXCSP) R 31331 31334 4525 0 -1 4202496 200332 0 0 0 214181 15 0 0 20 0 1 0 137344422 170381312 35281 18446744073709551615 4194304 7396336 140730917788512 140730917783048 4581808 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9496464 9501696 27238400 140730917794226 140730917794376 140730917794376 140730917797833 0
/proc/31334/statm: 41597 35281 687 782 0 34613 0
Current children cumulated CPU time (s) 2141.96
Current children cumulated vsize (KiB) 166388
[startup+2202.31 s]
/proc/loadavg: 2.04 2.02 2.05 3/185 31567
/proc/meminfo: memFree=31062868/32770624 swapFree=0/429492
[pid=31334] ppid=31331 vsize=166388 CPUtime=2201.96 cores=0,2,4,6
/proc/31334/stat : 31334 (MistralXCSP) R 31331 31334 4525 0 -1 4202496 200836 0 0 0 220181 15 0 0 20 0 1 0 137344422 170381312 35294 18446744073709551615 4194304 7396336 140730917788512 140730917783048 5685170 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9496464 9501696 27238400 140730917794226 140730917794376 140730917794376 140730917797833 0
/proc/31334/statm: 41597 35294 687 782 0 34613 0
Current children cumulated CPU time (s) 2201.96
Current children cumulated vsize (KiB) 166388
[startup+2262.3 s]
/proc/loadavg: 1.94 2.00 2.04 3/185 31569
/proc/meminfo: memFree=31062872/32770624 swapFree=0/429500
[pid=31334] ppid=31331 vsize=166388 CPUtime=2261.95 cores=0,2,4,6
/proc/31334/stat : 31334 (MistralXCSP) R 31331 31334 4525 0 -1 4202496 200945 0 0 0 226180 15 0 0 20 0 1 0 137344422 170381312 35296 18446744073709551615 4194304 7396336 140730917788512 140730917783048 5685170 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9496464 9501696 27238400 140730917794226 140730917794376 140730917794376 140730917797833 0
/proc/31334/statm: 41597 35296 687 782 0 34613 0
Current children cumulated CPU time (s) 2261.95
Current children cumulated vsize (KiB) 166388
[startup+2322.3 s]
/proc/loadavg: 1.93 1.99 2.03 3/184 31633
/proc/meminfo: memFree=31062284/32770624 swapFree=0/429504
[pid=31334] ppid=31331 vsize=166388 CPUtime=2321.94 cores=0,2,4,6
/proc/31334/stat : 31334 (MistralXCSP) R 31331 31334 4525 0 -1 4202496 201457 0 0 0 232179 15 0 0 20 0 1 0 137344422 170381312 35297 18446744073709551615 4194304 7396336 140730917788512 140730917783048 5792027 0 0 1 16386 0 0 0 17 0 0 0 11 0 0 9496464 9501696 27238400 140730917794226 140730917794376 140730917794376 140730917797833 0
/proc/31334/statm: 41597 35297 687 782 0 34613 0
Current children cumulated CPU time (s) 2321.94
Current children cumulated vsize (KiB) 166388
[startup+2382.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/187 31649
/proc/meminfo: memFree=31058396/32770624 swapFree=0/429528
[pid=31334] ppid=31331 vsize=166520 CPUtime=2381.94 cores=0,2,4,6
/proc/31334/stat : 31334 (MistralXCSP) R 31331 31334 4525 0 -1 4202496 201969 0 0 0 238179 15 0 0 20 0 1 0 137344422 170516480 35302 18446744073709551615 4194304 7396336 140730917788512 140730917783048 4253024 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9496464 9501696 27238400 140730917794226 140730917794376 140730917794376 140730917797833 0
/proc/31334/statm: 41630 35302 687 782 0 34646 0
Current children cumulated CPU time (s) 2381.94
Current children cumulated vsize (KiB) 166520
[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 31651
/proc/meminfo: memFree=31058064/32770624 swapFree=0/429552
[pid=31334] ppid=31331 vsize=166520 CPUtime=2441.93 cores=0,2,4,6
/proc/31334/stat : 31334 (MistralXCSP) R 31331 31334 4525 0 -1 4202496 202482 0 0 0 244178 15 0 0 20 0 1 0 137344422 170516480 35305 18446744073709551615 4194304 7396336 140730917788512 140730917783048 4543827 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9496464 9501696 27238400 140730917794226 140730917794376 140730917794376 140730917797833 0
/proc/31334/statm: 41630 35305 687 782 0 34646 0
Current children cumulated CPU time (s) 2441.93
Current children cumulated vsize (KiB) 166520
[startup+2502.3 s]
/proc/loadavg: 2.07 2.01 2.04 3/185 31654
/proc/meminfo: memFree=31061708/32770624 swapFree=0/429568
[pid=31334] ppid=31331 vsize=166520 CPUtime=2501.93 cores=0,2,4,6
/proc/31334/stat : 31334 (MistralXCSP) R 31331 31334 4525 0 -1 4202496 203000 0 0 0 250178 15 0 0 20 0 1 0 137344422 170516480 35308 18446744073709551615 4194304 7396336 140730917788512 140730917783048 4319883 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9496464 9501696 27238400 140730917794226 140730917794376 140730917794376 140730917797833 0
/proc/31334/statm: 41630 35308 687 782 0 34646 0
Current children cumulated CPU time (s) 2501.93
Current children cumulated vsize (KiB) 166520
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.05 2.01 2.04 3/185 31654
/proc/meminfo: memFree=31061708/32770624 swapFree=0/429564
[pid=31334] ppid=31331 vsize=166520 CPUtime=2519.63 cores=0,2,4,6
/proc/31334/stat : 31334 (MistralXCSP) R 31331 31334 4525 0 -1 4202496 203121 0 0 0 251948 15 0 0 20 0 1 0 137344422 170516480 35314 18446744073709551615 4194304 7396336 140730917788512 140730917783048 4582762 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9496464 9501696 27238400 140730917794226 140730917794376 140730917794376 140730917797833 0
/proc/31334/statm: 41630 35314 687 782 0 34646 0
Current children cumulated CPU time (s) 2519.63
Current children cumulated vsize (KiB) 166520
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 31334 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.64
CPU user time (s): 2519.48
CPU system time (s): 0.154987
CPU usage (%): 99.9855
Max. virtual memory (cumulated for all children) (KiB): 166520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.48
system time used= 0.154987
maximum resident set size= 141284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203151
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= 68
involuntary context switches= 4159
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.86791 second user time and 9.99187 second system time
The end