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-4261112-1502372230/watcher-4261112-1502372230 -o /tmp/evaluation-result-4261112-1502372230/solver-4261112-1502372230 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502334771-27114 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 650954872 HOME/instance-4261112-1502372230.xml
pid=32701
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.01 2.04 2/180 32704
/proc/meminfo: memFree=31560804/32770624 swapFree=0/370560
[pid=32704] ppid=32701 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/32704/stat : 32704 (runsolver) D 32701 32704 6971 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 25563639 24240128 108 18446744073709551615 4194304 4338465 140734305210064 140734305207704 140401992807127 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 13291520 140734305214604 140734305215050 140734305215050 140734305218506 0
/proc/32704/statm: 5918 108 54 36 0 2156 0
[startup+0.100199 s]
/proc/loadavg: 1.94 2.01 2.04 2/180 32704
/proc/meminfo: memFree=31560804/32770624 swapFree=0/370560
[pid=32704] ppid=32701 vsize=28796 CPUtime=0.03 cores=0,2,4,6
/proc/32704/stat : 32704 (MistralXCSP) R 32701 32704 6971 0 -1 4202496 1063 0 0 0 3 0 0 0 20 0 1 0 25563639 29487104 868 18446744073709551615 4194304 7396336 140728915327392 140728915324392 6195570 0 0 1 0 0 0 0 17 4 0 0 6 0 0 9496464 9501696 14721024 140728915329460 140728915329609 140728915329609 140728915333065 0
/proc/32704/statm: 7199 868 679 782 0 215 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 28796
[startup+0.200332 s]
/proc/loadavg: 1.94 2.01 2.04 2/180 32704
/proc/meminfo: memFree=31560804/32770624 swapFree=0/370560
[pid=32704] ppid=32701 vsize=28920 CPUtime=0.13 cores=0,2,4,6
/proc/32704/stat : 32704 (MistralXCSP) R 32701 32704 6971 0 -1 4202496 1094 0 0 0 13 0 0 0 20 0 1 0 25563639 29614080 915 18446744073709551615 4194304 7396336 140728915327392 140728915324392 140586359397349 0 0 1 0 0 0 0 17 4 0 0 6 0 0 9496464 9501696 14721024 140728915329460 140728915329609 140728915329609 140728915333065 0
/proc/32704/statm: 7230 915 710 782 0 246 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 28920
[startup+0.300322 s]
/proc/loadavg: 1.94 2.01 2.04 2/180 32704
/proc/meminfo: memFree=31560804/32770624 swapFree=0/370560
[pid=32704] ppid=32701 vsize=29044 CPUtime=0.23 cores=0,2,4,6
/proc/32704/stat : 32704 (MistralXCSP) R 32701 32704 6971 0 -1 4202496 1117 0 0 0 23 0 0 0 20 0 1 0 25563639 29741056 946 18446744073709551615 4194304 7396336 140728915327392 140728915324392 140586359397349 0 0 1 0 0 0 0 17 4 0 0 6 0 0 9496464 9501696 14721024 140728915329460 140728915329609 140728915329609 140728915333065 0
/proc/32704/statm: 7261 946 710 782 0 277 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 29044
[startup+0.700322 s]
/proc/loadavg: 1.94 2.01 2.04 2/180 32704
/proc/meminfo: memFree=31560804/32770624 swapFree=0/370560
[pid=32704] ppid=32701 vsize=56308 CPUtime=0.64 cores=0,2,4,6
/proc/32704/stat : 32704 (MistralXCSP) R 32701 32704 6971 0 -1 4202496 8348 0 0 0 63 1 0 0 20 0 1 0 25563639 57659392 7810 18446744073709551615 4194304 7396336 140728915327392 140728915318088 4566039 0 0 1 0 0 0 0 17 4 0 0 6 0 0 9496464 9501696 14721024 140728915329460 140728915329609 140728915329609 140728915333065 0
/proc/32704/statm: 14077 7810 739 782 0 7093 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 56308
[startup+1.5003 s]
/proc/loadavg: 1.94 2.01 2.04 3/181 32705
/proc/meminfo: memFree=31515648/32770624 swapFree=0/370744
[pid=32704] ppid=32701 vsize=84396 CPUtime=1.43 cores=0,2,4,6
/proc/32704/stat : 32704 (MistralXCSP) R 32701 32704 6971 0 -1 4202496 15060 0 0 0 142 1 0 0 20 0 1 0 25563639 86421504 14778 18446744073709551615 4194304 7396336 140728915327392 140728915318088 4566053 0 0 1 0 0 0 0 17 4 0 0 6 0 0 9496464 9501696 14721024 140728915329460 140728915329609 140728915329609 140728915333065 0
/proc/32704/statm: 21099 14778 739 782 0 14115 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 84396
[startup+3.10031 s]
/proc/loadavg: 1.94 2.01 2.04 3/181 32705
/proc/meminfo: memFree=31483336/32770624 swapFree=0/370744
[pid=32704] ppid=32701 vsize=135008 CPUtime=3.03 cores=0,2,4,6
/proc/32704/stat : 32704 (MistralXCSP) R 32701 32704 6971 0 -1 4202496 30501 0 0 0 300 3 0 0 20 0 1 0 25563639 138248192 27464 18446744073709551615 4194304 7396336 140728915327392 140728915318088 4609130 0 0 1 0 0 0 0 17 4 0 0 6 0 0 9496464 9501696 14721024 140728915329460 140728915329609 140728915329609 140728915333065 0
/proc/32704/statm: 33752 27464 739 782 0 26768 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 135008
[startup+6.30028 s]
/proc/loadavg: 1.95 2.01 2.04 3/181 32705
/proc/meminfo: memFree=31419044/32770624 swapFree=0/370744
[pid=32704] ppid=32701 vsize=169228 CPUtime=6.23 cores=0,2,4,6
/proc/32704/stat : 32704 (MistralXCSP) R 32701 32704 6971 0 -1 4202496 57104 0 0 0 618 5 0 0 20 0 1 0 25563639 173289472 36022 18446744073709551615 4194304 7396336 140728915327392 140728915318248 140586360230891 0 0 1 0 0 0 0 17 4 0 0 6 0 0 9496464 9501696 14721024 140728915329460 140728915329609 140728915329609 140728915333065 0
/proc/32704/statm: 42307 36022 739 782 0 35323 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 169228
[startup+12.7003 s]
/proc/loadavg: 1.95 2.01 2.04 3/181 32706
/proc/meminfo: memFree=31374580/32770624 swapFree=0/370744
[pid=32704] ppid=32701 vsize=217316 CPUtime=12.63 cores=0,2,4,6
/proc/32704/stat : 32704 (MistralXCSP) R 32701 32704 6971 0 -1 4202496 74104 0 0 0 1256 7 0 0 20 0 1 0 25563639 222531584 48044 18446744073709551615 4194304 7396336 140728915327392 140728915317992 5647635 0 0 1 0 0 0 0 17 4 0 0 6 0 0 9496464 9501696 14721024 140728915329460 140728915329609 140728915329609 140728915333065 0
/proc/32704/statm: 54329 48044 739 782 0 47345 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 217316
[startup+25.5004 s]
/proc/loadavg: 1.96 2.01 2.04 3/181 32706
/proc/meminfo: memFree=31326496/32770624 swapFree=0/370340
[pid=32704] ppid=32701 vsize=261356 CPUtime=25.43 cores=0,2,4,6
/proc/32704/stat : 32704 (MistralXCSP) R 32701 32704 6971 0 -1 4202496 160542 0 0 0 2530 13 0 0 20 0 1 0 25563639 267628544 59087 18446744073709551615 4194304 7396336 140728915327392 140728915321896 5575964 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 14721024 140728915329460 140728915329609 140728915329609 140728915333065 0
/proc/32704/statm: 65339 59087 772 782 0 58355 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 261356
[startup+51.1004 s]
/proc/loadavg: 1.97 2.01 2.04 3/181 32706
/proc/meminfo: memFree=31298496/32770624 swapFree=0/370344
[pid=32704] ppid=32701 vsize=287368 CPUtime=51.02 cores=0,2,4,6
/proc/32704/stat : 32704 (MistralXCSP) R 32701 32704 6971 0 -1 4202496 200637 0 0 0 5086 16 0 0 20 0 1 0 25563639 294264832 65590 18446744073709551615 4194304 7396336 140728915327392 140728915322408 4317563 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 14721024 140728915329460 140728915329609 140728915329609 140728915333065 0
/proc/32704/statm: 71842 65590 772 782 0 64858 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 287368
[startup+102.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/181 32708
/proc/meminfo: memFree=31298108/32770624 swapFree=0/370376
[pid=32704] ppid=32701 vsize=287368 CPUtime=102.21 cores=0,2,4,6
/proc/32704/stat : 32704 (MistralXCSP) R 32701 32704 6971 0 -1 4202496 247534 0 0 0 10202 19 0 0 20 0 1 0 25563639 294264832 65590 18446744073709551615 4194304 7396336 140728915327392 140728915322408 5575964 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 14721024 140728915329460 140728915329609 140728915329609 140728915333065 0
/proc/32704/statm: 71842 65590 772 782 0 64858 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 287368
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 32711
/proc/meminfo: memFree=31297128/32770624 swapFree=0/370404
[pid=32704] ppid=32701 vsize=287368 CPUtime=162.19 cores=0,2,4,6
/proc/32704/stat : 32704 (MistralXCSP) R 32701 32704 6971 0 -1 4202496 259915 0 0 0 16199 20 0 0 20 0 1 0 25563639 294264832 65590 18446744073709551615 4194304 7396336 140728915327392 140728915322408 5575980 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 14721024 140728915329460 140728915329609 140728915329609 140728915333065 0
/proc/32704/statm: 71842 65590 772 782 0 64858 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 287368
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 32713
/proc/meminfo: memFree=31298304/32770624 swapFree=0/370416
[pid=32704] ppid=32701 vsize=287368 CPUtime=222.2 cores=0,2,4,6
/proc/32704/stat : 32704 (MistralXCSP) R 32701 32704 6971 0 -1 4202496 263192 0 0 0 22200 20 0 0 20 0 1 0 25563639 294264832 65590 18446744073709551615 4194304 7396336 140728915327392 140728915322408 5649755 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 14721024 140728915329460 140728915329609 140728915329609 140728915333065 0
/proc/32704/statm: 71842 65590 772 782 0 64858 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 287368
[startup+282.3 s]
/proc/loadavg: 2.12 2.04 2.05 3/181 32715
/proc/meminfo: memFree=31298052/32770624 swapFree=0/370436
[pid=32704] ppid=32701 vsize=287368 CPUtime=282.18 cores=0,2,4,6
/proc/32704/stat : 32704 (MistralXCSP) R 32701 32704 6971 0 -1 4202496 266563 0 0 0 28198 20 0 0 20 0 1 0 25563639 294264832 65590 18446744073709551615 4194304 7396336 140728915327392 140728915322408 5575964 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 14721024 140728915329460 140728915329609 140728915329609 140728915333065 0
/proc/32704/statm: 71842 65590 772 782 0 64858 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 287368
[startup+342.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 32718
/proc/meminfo: memFree=31298172/32770624 swapFree=0/370460
[pid=32704] ppid=32701 vsize=287368 CPUtime=342.19 cores=0,2,4,6
/proc/32704/stat : 32704 (MistralXCSP) R 32701 32704 6971 0 -1 4202496 269896 0 0 0 34198 21 0 0 20 0 1 0 25563639 294264832 65590 18446744073709551615 4194304 7396336 140728915327392 140728915322408 5628712 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 14721024 140728915329460 140728915329609 140728915329609 140728915333065 0
/proc/32704/statm: 71842 65590 772 782 0 64858 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 287368
[startup+402.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/181 32720
/proc/meminfo: memFree=31298048/32770624 swapFree=0/370492
[pid=32704] ppid=32701 vsize=287368 CPUtime=402.19 cores=0,2,4,6
/proc/32704/stat : 32704 (MistralXCSP) R 32701 32704 6971 0 -1 4202496 273118 0 0 0 40197 22 0 0 20 0 1 0 25563639 294264832 65590 18446744073709551615 4194304 7396336 140728915327392 140728915322408 5628840 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 14721024 140728915329460 140728915329609 140728915329609 140728915333065 0
/proc/32704/statm: 71842 65590 772 782 0 64858 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 287368
[startup+462.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/184 32736
/proc/meminfo: memFree=31294148/32770624 swapFree=0/370548
[pid=32704] ppid=32701 vsize=287368 CPUtime=462.19 cores=0,2,4,6
/proc/32704/stat : 32704 (MistralXCSP) R 32701 32704 6971 0 -1 4202496 276503 0 0 0 46197 22 0 0 20 0 1 0 25563639 294264832 65590 18446744073709551615 4194304 7396336 140728915327392 140728915322408 5575964 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 14721024 140728915329460 140728915329609 140728915329609 140728915333065 0
/proc/32704/statm: 71842 65590 772 782 0 64858 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 287368
[startup+522.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/184 32738
/proc/meminfo: memFree=31293852/32770624 swapFree=0/370564
[pid=32704] ppid=32701 vsize=287368 CPUtime=522.2 cores=0,2,4,6
/proc/32704/stat : 32704 (MistralXCSP) R 32701 32704 6971 0 -1 4202496 279833 0 0 0 52197 23 0 0 20 0 1 0 25563639 294264832 65590 18446744073709551615 4194304 7396336 140728915327392 140728915322408 5575964 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 14721024 140728915329460 140728915329609 140728915329609 140728915333065 0
/proc/32704/statm: 71842 65590 772 782 0 64858 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 287368
[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 32740
/proc/meminfo: memFree=31298256/32770624 swapFree=0/370588
[pid=32704] ppid=32701 vsize=287368 CPUtime=582.19 cores=0,2,4,6
/proc/32704/stat : 32704 (MistralXCSP) R 32701 32704 6971 0 -1 4202496 283106 0 0 0 58196 23 0 0 20 0 1 0 25563639 294264832 65590 18446744073709551615 4194304 7396336 140728915327392 140728915322408 5575964 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 14721024 140728915329460 140728915329609 140728915329609 140728915333065 0
/proc/32704/statm: 71842 65590 772 782 0 64858 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 287368
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 321
/proc/meminfo: memFree=31297224/32770624 swapFree=0/371048
[pid=32704] ppid=32701 vsize=287368 CPUtime=1602.2 cores=0,2,4,6
/proc/32704/stat : 32704 (MistralXCSP) R 32701 32704 6971 0 -1 4202496 339361 0 0 0 160189 31 0 0 20 0 1 0 25563639 294264832 65590 18446744073709551615 4194304 7396336 140728915327392 140728915322408 4581634 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 14721024 140728915329460 140728915329609 140728915329609 140728915333065 0
/proc/32704/statm: 71842 65590 772 782 0 64858 0
Current children cumulated CPU time (s) 1602.2
Current children cumulated vsize (KiB) 287368
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 345
/proc/meminfo: memFree=31293616/32770624 swapFree=0/371076
[pid=32704] ppid=32701 vsize=287368 CPUtime=1662.2 cores=0,2,4,6
/proc/32704/stat : 32704 (MistralXCSP) R 32701 32704 6971 0 -1 4202496 342685 0 0 0 166189 31 0 0 20 0 1 0 25563639 294264832 65590 18446744073709551615 4194304 7396336 140728915327392 140728915322408 4581576 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 14721024 140728915329460 140728915329609 140728915329609 140728915333065 0
/proc/32704/statm: 71842 65590 772 782 0 64858 0
Current children cumulated CPU time (s) 1662.2
Current children cumulated vsize (KiB) 287368
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 347
/proc/meminfo: memFree=31293000/32770624 swapFree=0/371088
[pid=32704] ppid=32701 vsize=287368 CPUtime=1722.2 cores=0,2,4,6
/proc/32704/stat : 32704 (MistralXCSP) R 32701 32704 6971 0 -1 4202496 345991 0 0 0 172189 31 0 0 20 0 1 0 25563639 294264832 65590 18446744073709551615 4194304 7396336 140728915327392 140728915322408 5575964 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 14721024 140728915329460 140728915329609 140728915329609 140728915333065 0
/proc/32704/statm: 71842 65590 772 782 0 64858 0
Current children cumulated CPU time (s) 1722.2
Current children cumulated vsize (KiB) 287368
[startup+1782.3 s]
/proc/loadavg: 2.13 2.05 2.05 3/182 349
/proc/meminfo: memFree=31296512/32770624 swapFree=0/371100
[pid=32704] ppid=32701 vsize=287368 CPUtime=1782.21 cores=0,2,4,6
/proc/32704/stat : 32704 (MistralXCSP) R 32701 32704 6971 0 -1 4202496 349212 0 0 0 178189 32 0 0 20 0 1 0 25563639 294264832 65590 18446744073709551615 4194304 7396336 140728915327392 140728915322408 4317653 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 14721024 140728915329460 140728915329609 140728915329609 140728915333065 0
/proc/32704/statm: 71842 65590 772 782 0 64858 0
Current children cumulated CPU time (s) 1782.21
Current children cumulated vsize (KiB) 287368
[startup+1842.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/182 351
/proc/meminfo: memFree=31296636/32770624 swapFree=0/371092
[pid=32704] ppid=32701 vsize=287368 CPUtime=1842.2 cores=0,2,4,6
/proc/32704/stat : 32704 (MistralXCSP) R 32701 32704 6971 0 -1 4202496 352548 0 0 0 184188 32 0 0 20 0 1 0 25563639 294264832 65590 18446744073709551615 4194304 7396336 140728915327392 140728915322408 5628712 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 14721024 140728915329460 140728915329609 140728915329609 140728915333065 0
/proc/32704/statm: 71842 65590 772 782 0 64858 0
Current children cumulated CPU time (s) 1842.2
Current children cumulated vsize (KiB) 287368
[startup+1902.3 s]
/proc/loadavg: 2.13 2.06 2.05 3/182 353
/proc/meminfo: memFree=31297248/32770624 swapFree=0/371124
[pid=32704] ppid=32701 vsize=287368 CPUtime=1902.21 cores=0,2,4,6
/proc/32704/stat : 32704 (MistralXCSP) R 32701 32704 6971 0 -1 4202496 355907 0 0 0 190188 33 0 0 20 0 1 0 25563639 294264832 65590 18446744073709551615 4194304 7396336 140728915327392 140728915322408 4379138 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 14721024 140728915329460 140728915329609 140728915329609 140728915333065 0
/proc/32704/statm: 71842 65590 772 782 0 64858 0
Current children cumulated CPU time (s) 1902.21
Current children cumulated vsize (KiB) 287368
[startup+1962.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/182 356
/proc/meminfo: memFree=31296736/32770624 swapFree=0/371136
[pid=32704] ppid=32701 vsize=287368 CPUtime=1962.21 cores=0,2,4,6
/proc/32704/stat : 32704 (MistralXCSP) R 32701 32704 6971 0 -1 4202496 359238 0 0 0 196188 33 0 0 20 0 1 0 25563639 294264832 65590 18446744073709551615 4194304 7396336 140728915327392 140728915322408 4264294 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 14721024 140728915329460 140728915329609 140728915329609 140728915333065 0
/proc/32704/statm: 71842 65590 772 782 0 64858 0
Current children cumulated CPU time (s) 1962.21
Current children cumulated vsize (KiB) 287368
[startup+2022.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 358
/proc/meminfo: memFree=31297244/32770624 swapFree=0/371164
[pid=32704] ppid=32701 vsize=287368 CPUtime=2022.21 cores=0,2,4,6
/proc/32704/stat : 32704 (MistralXCSP) R 32701 32704 6971 0 -1 4202496 362514 0 0 0 202187 34 0 0 20 0 1 0 25563639 294264832 65590 18446744073709551615 4194304 7396336 140728915327392 140728915322408 4317563 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 14721024 140728915329460 140728915329609 140728915329609 140728915333065 0
/proc/32704/statm: 71842 65590 772 782 0 64858 0
Current children cumulated CPU time (s) 2022.21
Current children cumulated vsize (KiB) 287368
[startup+2082.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/181 361
/proc/meminfo: memFree=31297116/32770624 swapFree=0/371184
[pid=32704] ppid=32701 vsize=287368 CPUtime=2082.21 cores=0,2,4,6
/proc/32704/stat : 32704 (MistralXCSP) R 32701 32704 6971 0 -1 4202496 365869 0 0 0 208187 34 0 0 20 0 1 0 25563639 294264832 65590 18446744073709551615 4194304 7396336 140728915327392 140728915322408 4582262 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 14721024 140728915329460 140728915329609 140728915329609 140728915333065 0
/proc/32704/statm: 71842 65590 772 782 0 64858 0
Current children cumulated CPU time (s) 2082.21
Current children cumulated vsize (KiB) 287368
[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 364
/proc/meminfo: memFree=31297364/32770624 swapFree=0/371196
[pid=32704] ppid=32701 vsize=287368 CPUtime=2142.21 cores=0,2,4,6
/proc/32704/stat : 32704 (MistralXCSP) R 32701 32704 6971 0 -1 4202496 369205 0 0 0 214186 35 0 0 20 0 1 0 25563639 294264832 65590 18446744073709551615 4194304 7396336 140728915327392 140728915322408 5586455 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 14721024 140728915329460 140728915329609 140728915329609 140728915333065 0
/proc/32704/statm: 71842 65590 772 782 0 64858 0
Current children cumulated CPU time (s) 2142.21
Current children cumulated vsize (KiB) 287368
[startup+2202.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 366
/proc/meminfo: memFree=31297364/32770624 swapFree=0/371212
[pid=32704] ppid=32701 vsize=287368 CPUtime=2202.22 cores=0,2,4,6
/proc/32704/stat : 32704 (MistralXCSP) R 32701 32704 6971 0 -1 4202496 372523 0 0 0 220186 36 0 0 20 0 1 0 25563639 294264832 65590 18446744073709551615 4194304 7396336 140728915327392 140728915322408 5628712 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 14721024 140728915329460 140728915329609 140728915329609 140728915333065 0
/proc/32704/statm: 71842 65590 772 782 0 64858 0
Current children cumulated CPU time (s) 2202.22
Current children cumulated vsize (KiB) 287368
[startup+2262.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/185 383
/proc/meminfo: memFree=31293060/32770624 swapFree=0/371272
[pid=32704] ppid=32701 vsize=287368 CPUtime=2262.21 cores=0,2,4,6
/proc/32704/stat : 32704 (MistralXCSP) R 32701 32704 6971 0 -1 4202496 375705 0 0 0 226185 36 0 0 20 0 1 0 25563639 294264832 65590 18446744073709551615 4194304 7396336 140728915327392 140728915322408 5575964 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 14721024 140728915329460 140728915329609 140728915329609 140728915333065 0
/proc/32704/statm: 71842 65590 772 782 0 64858 0
Current children cumulated CPU time (s) 2262.21
Current children cumulated vsize (KiB) 287368
[startup+2322.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/185 409
/proc/meminfo: memFree=31290796/32770624 swapFree=0/371312
[pid=32704] ppid=32701 vsize=287368 CPUtime=2322.21 cores=0,2,4,6
/proc/32704/stat : 32704 (MistralXCSP) R 32701 32704 6971 0 -1 4202496 379146 0 0 0 232184 37 0 0 20 0 1 0 25563639 294264832 65590 18446744073709551615 4194304 7396336 140728915327392 140728915322408 5576665 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 14721024 140728915329460 140728915329609 140728915329609 140728915333065 0
/proc/32704/statm: 71842 65590 772 782 0 64858 0
Current children cumulated CPU time (s) 2322.21
Current children cumulated vsize (KiB) 287368
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 411
/proc/meminfo: memFree=31292568/32770624 swapFree=0/371340
[pid=32704] ppid=32701 vsize=287368 CPUtime=2382.21 cores=0,2,4,6
/proc/32704/stat : 32704 (MistralXCSP) R 32701 32704 6971 0 -1 4202496 382418 0 0 0 238184 37 0 0 20 0 1 0 25563639 294264832 65590 18446744073709551615 4194304 7396336 140728915327392 140728915322408 5576665 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 14721024 140728915329460 140728915329609 140728915329609 140728915333065 0
/proc/32704/statm: 71842 65590 772 782 0 64858 0
Current children cumulated CPU time (s) 2382.21
Current children cumulated vsize (KiB) 287368
[startup+2442.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/182 414
/proc/meminfo: memFree=31296584/32770624 swapFree=0/371356
[pid=32704] ppid=32701 vsize=287368 CPUtime=2442.22 cores=0,2,4,6
/proc/32704/stat : 32704 (MistralXCSP) R 32701 32704 6971 0 -1 4202496 385645 0 0 0 244184 38 0 0 20 0 1 0 25563639 294264832 65590 18446744073709551615 4194304 7396336 140728915327392 140728915322408 5649694 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 14721024 140728915329460 140728915329609 140728915329609 140728915333065 0
/proc/32704/statm: 71842 65590 772 782 0 64858 0
Current children cumulated CPU time (s) 2442.22
Current children cumulated vsize (KiB) 287368
[startup+2502.3 s]
/proc/loadavg: 1.93 2.01 2.04 3/182 482
/proc/meminfo: memFree=31443604/32770624 swapFree=0/371380
[pid=32704] ppid=32701 vsize=287368 CPUtime=2502.21 cores=0,2,4,6
/proc/32704/stat : 32704 (MistralXCSP) R 32701 32704 6971 0 -1 4202496 388873 0 0 0 250183 38 0 0 20 0 1 0 25563639 294264832 65590 18446744073709551615 4194304 7396336 140728915327392 140728915322408 5575964 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 14721024 140728915329460 140728915329609 140728915329609 140728915333065 0
/proc/32704/statm: 71842 65590 772 782 0 64858 0
Current children cumulated CPU time (s) 2502.21
Current children cumulated vsize (KiB) 287368
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 1.94 2.01 2.04 3/182 482
/proc/meminfo: memFree=31443604/32770624 swapFree=0/371380
[pid=32704] ppid=32701 vsize=287368 CPUtime=2519.91 cores=0,2,4,6
/proc/32704/stat : 32704 (MistralXCSP) R 32701 32704 6971 0 -1 4202496 388924 0 0 0 251953 38 0 0 20 0 1 0 25563639 294264832 65590 18446744073709551615 4194304 7396336 140728915327392 140728915322408 5628712 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 14721024 140728915329460 140728915329609 140728915329609 140728915333065 0
/proc/32704/statm: 71842 65590 772 782 0 64858 0
Current children cumulated CPU time (s) 2519.91
Current children cumulated vsize (KiB) 287368
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 32704 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.93
CPU user time (s): 2519.54
CPU system time (s): 0.387004
CPU usage (%): 99.997
Max. virtual memory (cumulated for all children) (KiB): 287368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.54
system time used= 0.387004
maximum resident set size= 273716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 388965
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= 87
involuntary context switches= 679
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.8403 second user time and 4.74543 second system time
The end