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-4261247-1502354531/watcher-4261247-1502354531 -o /tmp/evaluation-result-4261247-1502354531/solver-4261247-1502354531 -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 72820988 HOME/instance-4261247-1502354531.xml
pid=28213
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.96 2.02 2.04 3/184 28216
/proc/meminfo: memFree=31189272/32770624 swapFree=0/424724
[pid=28216] ppid=28213 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/28216/stat : 28216 (runsolver) D 28213 28216 4525 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 135106036 24240128 106 18446744073709551615 4194304 4338465 140728014199312 140728014196952 140438831022807 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 37089280 140728014205068 140728014205513 140728014205513 140728014208970 0
/proc/28216/statm: 5918 106 53 36 0 2156 0
[startup+0.100203 s]
/proc/loadavg: 1.96 2.02 2.04 3/184 28216
/proc/meminfo: memFree=31189272/32770624 swapFree=0/424724
[pid=28216] ppid=28213 vsize=36252 CPUtime=0.04 cores=0,2,4,6
/proc/28216/stat : 28216 (MistralXCSP) R 28213 28216 4525 0 -1 4202496 2927 0 0 0 4 0 0 0 20 0 1 0 135106036 37122048 2644 18446744073709551615 4194304 7396336 140732570406992 140732570403992 139768954407909 0 0 1 0 0 0 0 17 4 0 0 5 0 0 9496464 9501696 41746432 140732570411444 140732570411592 140732570411592 140732570415049 0
/proc/28216/statm: 9063 2644 665 782 0 2079 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 36252
[startup+0.20039 s]
/proc/loadavg: 1.96 2.02 2.04 3/184 28216
/proc/meminfo: memFree=31189272/32770624 swapFree=0/424724
[pid=28216] ppid=28213 vsize=54456 CPUtime=0.14 cores=0,2,4,6
/proc/28216/stat : 28216 (MistralXCSP) R 28213 28216 4525 0 -1 4202496 7724 0 0 0 13 1 0 0 20 0 1 0 135106036 55762944 7233 18446744073709551615 4194304 7396336 140732570406992 140732570403992 4565880 0 0 1 0 0 0 0 17 4 0 0 5 0 0 9496464 9501696 41746432 140732570411444 140732570411592 140732570411592 140732570415049 0
/proc/28216/statm: 13614 7233 674 782 0 6630 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 54456
[startup+0.300386 s]
/proc/loadavg: 1.96 2.02 2.04 3/184 28216
/proc/meminfo: memFree=31189272/32770624 swapFree=0/424724
[pid=28216] ppid=28213 vsize=64916 CPUtime=0.23 cores=0,2,4,6
/proc/28216/stat : 28216 (MistralXCSP) R 28213 28216 4525 0 -1 4202496 10388 0 0 0 22 1 0 0 20 0 1 0 135106036 66473984 9796 18446744073709551615 4194304 7396336 140732570406992 140732570403992 4566048 0 0 1 0 0 0 0 17 4 0 0 5 0 0 9496464 9501696 41746432 140732570411444 140732570411592 140732570411592 140732570415049 0
/proc/28216/statm: 16229 9862 674 782 0 9245 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 64916
[startup+0.700323 s]
/proc/loadavg: 1.96 2.02 2.04 3/184 28216
/proc/meminfo: memFree=31189272/32770624 swapFree=0/424724
[pid=28216] ppid=28213 vsize=95476 CPUtime=0.64 cores=0,2,4,6
/proc/28216/stat : 28216 (MistralXCSP) R 28213 28216 4525 0 -1 4202496 17737 0 0 0 61 3 0 0 20 0 1 0 135106036 97767424 17476 18446744073709551615 4194304 7396336 140732570406992 140732570397480 6354141 0 0 1 0 0 0 0 17 4 0 0 5 0 0 9496464 9501696 41746432 140732570411444 140732570411592 140732570411592 140732570415049 0
/proc/28216/statm: 23869 17476 674 782 0 16885 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 95476
[startup+1.50032 s]
/proc/loadavg: 1.96 2.02 2.04 3/185 28217
/proc/meminfo: memFree=31103552/32770624 swapFree=0/424484
[pid=28216] ppid=28213 vsize=128224 CPUtime=1.43 cores=0,2,4,6
/proc/28216/stat : 28216 (MistralXCSP) R 28213 28216 4525 0 -1 4202496 26069 0 0 0 139 4 0 0 20 0 1 0 135106036 131301376 25651 18446744073709551615 4194304 7396336 140732570406992 140732570397480 4566036 0 0 1 0 0 0 0 17 4 0 0 5 0 0 9496464 9501696 41746432 140732570411444 140732570411592 140732570411592 140732570415049 0
/proc/28216/statm: 32056 25651 674 782 0 25072 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 128224
[startup+3.10032 s]
/proc/loadavg: 1.96 2.02 2.04 3/185 28217
/proc/meminfo: memFree=31062064/32770624 swapFree=0/424484
[pid=28216] ppid=28213 vsize=212072 CPUtime=3.03 cores=0,2,4,6
/proc/28216/stat : 28216 (MistralXCSP) R 28213 28216 4525 0 -1 4202496 61653 0 0 0 296 7 0 0 20 0 1 0 135106036 217161728 46666 18446744073709551615 4194304 7396336 140732570406992 140732570397480 5630420 0 0 1 0 0 0 0 17 4 0 0 5 0 0 9496464 9501696 41746432 140732570411444 140732570411592 140732570411592 140732570415049 0
/proc/28216/statm: 53018 46666 674 782 0 46034 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 212072
[startup+6.30028 s]
/proc/loadavg: 1.88 2.00 2.03 3/185 28217
/proc/meminfo: memFree=30983968/32770624 swapFree=0/424476
[pid=28216] ppid=28213 vsize=243976 CPUtime=6.24 cores=0,2,4,6
/proc/28216/stat : 28216 (MistralXCSP) R 28213 28216 4525 0 -1 4202496 88499 0 0 0 614 10 0 0 20 0 1 0 135106036 249831424 54630 18446744073709551615 4194304 7396336 140732570406992 140732570397480 4566053 0 0 1 0 0 0 0 17 4 0 0 5 0 0 9496464 9501696 41746432 140732570411444 140732570411592 140732570411592 140732570415049 0
/proc/28216/statm: 60994 54630 674 782 0 54010 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 243976
[startup+12.7003 s]
/proc/loadavg: 1.89 2.00 2.03 3/185 28217
/proc/meminfo: memFree=30894128/32770624 swapFree=0/424480
[pid=28216] ppid=28213 vsize=327848 CPUtime=12.64 cores=0,2,4,6
/proc/28216/stat : 28216 (MistralXCSP) R 28213 28216 4525 0 -1 4202496 114429 0 0 0 1251 13 0 0 20 0 1 0 135106036 335716352 75555 18446744073709551615 4194304 7396336 140732570406992 140732570397480 4566032 0 0 1 0 0 0 0 17 4 0 0 5 0 0 9496464 9501696 41746432 140732570411444 140732570411592 140732570411592 140732570415049 0
/proc/28216/statm: 81962 75555 674 782 0 74978 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 327848
[startup+25.5003 s]
/proc/loadavg: 1.92 2.00 2.03 3/185 28218
/proc/meminfo: memFree=30635180/32770624 swapFree=0/424480
[pid=28216] ppid=28213 vsize=579980 CPUtime=25.44 cores=0,2,4,6
/proc/28216/stat : 28216 (MistralXCSP) R 28213 28216 4525 0 -1 4202496 233769 0 0 0 2520 24 0 0 20 0 1 0 135106036 593899520 138635 18446744073709551615 4194304 7396336 140732570406992 140732570398184 4566039 0 0 1 0 0 0 0 17 4 0 0 5 0 0 9496464 9501696 41746432 140732570411444 140732570411592 140732570411592 140732570415049 0
/proc/28216/statm: 144995 138635 687 782 0 138011 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 579980
[startup+51.1004 s]
/proc/loadavg: 1.95 2.00 2.03 3/185 28219
/proc/meminfo: memFree=30619112/32770624 swapFree=0/424488
[pid=28216] ppid=28213 vsize=596436 CPUtime=51.03 cores=0,2,4,6
/proc/28216/stat : 28216 (MistralXCSP) R 28213 28216 4525 0 -1 4202496 337522 0 0 0 5074 29 0 0 20 0 1 0 135106036 610750464 142782 18446744073709551615 4194304 7396336 140732570406992 140732570401624 5162969 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 41746432 140732570411444 140732570411592 140732570411592 140732570415049 0
/proc/28216/statm: 149109 142782 720 782 0 142125 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 596436
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.03 3/184 28221
/proc/meminfo: memFree=30618004/32770624 swapFree=0/424500
[pid=28216] ppid=28213 vsize=596436 CPUtime=102.21 cores=0,2,4,6
/proc/28216/stat : 28216 (MistralXCSP) R 28213 28216 4525 0 -1 4202496 416574 0 0 0 10187 34 0 0 20 0 1 0 135106036 610750464 142787 18446744073709551615 4194304 7396336 140732570406992 140732570401624 5162969 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 41746432 140732570411444 140732570411592 140732570411592 140732570415049 0
/proc/28216/statm: 149109 142787 723 782 0 142125 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 596436
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.03 3/188 28238
/proc/meminfo: memFree=30614168/32770624 swapFree=0/424516
[pid=28216] ppid=28213 vsize=596436 CPUtime=162.17 cores=0,2,4,6
/proc/28216/stat : 28216 (MistralXCSP) R 28213 28216 4525 0 -1 4202496 471609 0 0 0 16181 36 0 0 20 0 1 0 135106036 610750464 142787 18446744073709551615 4194304 7396336 140732570406992 140732570401624 5162969 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 41746432 140732570411444 140732570411592 140732570411592 140732570415049 0
/proc/28216/statm: 149109 142787 723 782 0 142125 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 596436
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.03 3/188 28240
/proc/meminfo: memFree=30613816/32770624 swapFree=0/424528
[pid=28216] ppid=28213 vsize=596436 CPUtime=222.13 cores=0,2,4,6
/proc/28216/stat : 28216 (MistralXCSP) R 28213 28216 4525 0 -1 4202496 511872 0 0 0 22175 38 0 0 20 0 1 0 135106036 610750464 142787 18446744073709551615 4194304 7396336 140732570406992 140732570401624 5162969 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 41746432 140732570411444 140732570411592 140732570411592 140732570415049 0
/proc/28216/statm: 149109 142787 723 782 0 142125 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 596436
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/185 28242
/proc/meminfo: memFree=30617576/32770624 swapFree=0/424532
[pid=28216] ppid=28213 vsize=596436 CPUtime=282.1 cores=0,2,4,6
/proc/28216/stat : 28216 (MistralXCSP) R 28213 28216 4525 0 -1 4202496 526913 0 0 0 28172 38 0 0 20 0 1 0 135106036 610750464 142787 18446744073709551615 4194304 7396336 140732570406992 140732570401624 5162969 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 41746432 140732570411444 140732570411592 140732570411592 140732570415049 0
/proc/28216/statm: 149109 142787 723 782 0 142125 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 596436
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/186 28245
/proc/meminfo: memFree=30617056/32770624 swapFree=0/424540
[pid=28216] ppid=28213 vsize=596436 CPUtime=342.09 cores=0,2,4,6
/proc/28216/stat : 28216 (MistralXCSP) R 28213 28216 4525 0 -1 4202496 528777 0 0 0 34171 38 0 0 20 0 1 0 135106036 610750464 142787 18446744073709551615 4194304 7396336 140732570406992 140732570401624 5162969 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 41746432 140732570411444 140732570411592 140732570411592 140732570415049 0
/proc/28216/statm: 149109 142787 723 782 0 142125 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 596436
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/186 28371
/proc/meminfo: memFree=30580084/32770624 swapFree=0/424588
[pid=28216] ppid=28213 vsize=596436 CPUtime=402.09 cores=0,2,4,6
/proc/28216/stat : 28216 (MistralXCSP) R 28213 28216 4525 0 -1 4202496 529670 0 0 0 40170 39 0 0 20 0 1 0 135106036 610750464 142787 18446744073709551615 4194304 7396336 140732570406992 140732570401624 4581738 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 41746432 140732570411444 140732570411592 140732570411592 140732570415049 0
/proc/28216/statm: 149109 142787 723 782 0 142125 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 596436
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/185 28373
/proc/meminfo: memFree=30579724/32770624 swapFree=0/424604
[pid=28216] ppid=28213 vsize=596436 CPUtime=462.08 cores=0,2,4,6
/proc/28216/stat : 28216 (MistralXCSP) R 28213 28216 4525 0 -1 4202496 530359 0 0 0 46169 39 0 0 20 0 1 0 135106036 610750464 142787 18446744073709551615 4194304 7396336 140732570406992 140732570401624 4581738 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 41746432 140732570411444 140732570411592 140732570411592 140732570415049 0
/proc/28216/statm: 149109 142787 723 782 0 142125 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 596436
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/185 28375
/proc/meminfo: memFree=30579556/32770624 swapFree=0/424608
[pid=28216] ppid=28213 vsize=596436 CPUtime=522.08 cores=0,2,4,6
/proc/28216/stat : 28216 (MistralXCSP) R 28213 28216 4525 0 -1 4202496 531035 0 0 0 52169 39 0 0 20 0 1 0 135106036 610750464 142787 18446744073709551615 4194304 7396336 140732570406992 140732570401624 4246560 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 41746432 140732570411444 140732570411592 140732570411592 140732570415049 0
/proc/28216/statm: 149109 142787 723 782 0 142125 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 596436
[startup+582.3 s]
/proc/loadavg: 2.02 2.02 2.04 3/185 28377
/proc/meminfo: memFree=30579392/32770624 swapFree=0/424628
[pid=28216] ppid=28213 vsize=596436 CPUtime=582.07 cores=0,2,4,6
/proc/28216/stat : 28216 (MistralXCSP) R 28213 28216 4525 0 -1 4202496 531951 0 0 0 58168 39 0 0 20 0 1 0 135106036 610750464 142787 18446744073709551615 4194304 7396336 140732570406992 140732570401624 5162969 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 41746432 140732570411444 140732570411592 140732570411592 140732570415049 0
/proc/28216/statm: 149109 142787 723 782 0 142125 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 596436
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 28442
/proc/meminfo: memFree=30578292/32770624 swapFree=0/424892
[pid=28216] ppid=28213 vsize=596436 CPUtime=1601.99 cores=0,2,4,6
/proc/28216/stat : 28216 (MistralXCSP) R 28213 28216 4525 0 -1 4202496 545688 0 0 0 160158 41 0 0 20 0 1 0 135106036 610750464 142787 18446744073709551615 4194304 7396336 140732570406992 140732570401624 5162969 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 41746432 140732570411444 140732570411592 140732570411592 140732570415049 0
/proc/28216/statm: 149109 142787 723 782 0 142125 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 596436
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/184 28445
/proc/meminfo: memFree=30578024/32770624 swapFree=0/424908
[pid=28216] ppid=28213 vsize=596436 CPUtime=1661.98 cores=0,2,4,6
/proc/28216/stat : 28216 (MistralXCSP) R 28213 28216 4525 0 -1 4202496 546409 0 0 0 166157 41 0 0 20 0 1 0 135106036 610750464 142787 18446744073709551615 4194304 7396336 140732570406992 140732570401624 5162969 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 41746432 140732570411444 140732570411592 140732570411592 140732570415049 0
/proc/28216/statm: 149109 142787 723 782 0 142125 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 596436
[startup+1722.3 s]
/proc/loadavg: 1.92 1.99 2.03 3/184 28447
/proc/meminfo: memFree=30578152/32770624 swapFree=0/424920
[pid=28216] ppid=28213 vsize=596436 CPUtime=1721.98 cores=0,2,4,6
/proc/28216/stat : 28216 (MistralXCSP) R 28213 28216 4525 0 -1 4202496 547506 0 0 0 172157 41 0 0 20 0 1 0 135106036 610750464 142787 18446744073709551615 4194304 7396336 140732570406992 140732570401624 5162969 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 41746432 140732570411444 140732570411592 140732570411592 140732570415049 0
/proc/28216/statm: 149109 142787 723 782 0 142125 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 596436
[startup+1782.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/184 28449
/proc/meminfo: memFree=30577744/32770624 swapFree=0/424928
[pid=28216] ppid=28213 vsize=596436 CPUtime=1781.97 cores=0,2,4,6
/proc/28216/stat : 28216 (MistralXCSP) R 28213 28216 4525 0 -1 4202496 548317 0 0 0 178156 41 0 0 20 0 1 0 135106036 610750464 142787 18446744073709551615 4194304 7396336 140732570406992 140732570401624 5162969 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 41746432 140732570411444 140732570411592 140732570411592 140732570415049 0
/proc/28216/statm: 149109 142787 723 782 0 142125 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 596436
[startup+1842.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/185 28453
/proc/meminfo: memFree=30577956/32770624 swapFree=0/424948
[pid=28216] ppid=28213 vsize=596436 CPUtime=1841.97 cores=0,2,4,6
/proc/28216/stat : 28216 (MistralXCSP) R 28213 28216 4525 0 -1 4202496 549053 0 0 0 184156 41 0 0 20 0 1 0 135106036 610750464 142787 18446744073709551615 4194304 7396336 140732570406992 140732570401624 5162969 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 41746432 140732570411444 140732570411592 140732570411592 140732570415049 0
/proc/28216/statm: 149109 142787 723 782 0 142125 0
Current children cumulated CPU time (s) 1841.97
Current children cumulated vsize (KiB) 596436
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 28455
/proc/meminfo: memFree=30577920/32770624 swapFree=0/424964
[pid=28216] ppid=28213 vsize=596436 CPUtime=1901.96 cores=0,2,4,6
/proc/28216/stat : 28216 (MistralXCSP) R 28213 28216 4525 0 -1 4202496 549781 0 0 0 190155 41 0 0 20 0 1 0 135106036 610750464 142787 18446744073709551615 4194304 7396336 140732570406992 140732570401624 5162969 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 41746432 140732570411444 140732570411592 140732570411592 140732570415049 0
/proc/28216/statm: 149109 142787 723 782 0 142125 0
Current children cumulated CPU time (s) 1901.96
Current children cumulated vsize (KiB) 596436
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/189 28472
/proc/meminfo: memFree=30574620/32770624 swapFree=0/424976
[pid=28216] ppid=28213 vsize=596436 CPUtime=1961.97 cores=0,2,4,6
/proc/28216/stat : 28216 (MistralXCSP) R 28213 28216 4525 0 -1 4202496 550898 0 0 0 196155 42 0 0 20 0 1 0 135106036 610750464 142787 18446744073709551615 4194304 7396336 140732570406992 140732570401624 5672139 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 41746432 140732570411444 140732570411592 140732570411592 140732570415049 0
/proc/28216/statm: 149109 142787 723 782 0 142125 0
Current children cumulated CPU time (s) 1961.97
Current children cumulated vsize (KiB) 596436
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/190 28499
/proc/meminfo: memFree=30573116/32770624 swapFree=0/424988
[pid=28216] ppid=28213 vsize=596436 CPUtime=2021.96 cores=0,2,4,6
/proc/28216/stat : 28216 (MistralXCSP) R 28213 28216 4525 0 -1 4202496 551579 0 0 0 202154 42 0 0 20 0 1 0 135106036 610750464 142787 18446744073709551615 4194304 7396336 140732570406992 140732570401624 5162982 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 41746432 140732570411444 140732570411592 140732570411592 140732570415049 0
/proc/28216/statm: 149109 142787 723 782 0 142125 0
Current children cumulated CPU time (s) 2021.96
Current children cumulated vsize (KiB) 596436
[startup+2082.3 s]
/proc/loadavg: 1.96 1.99 2.03 3/190 28501
/proc/meminfo: memFree=30573716/32770624 swapFree=0/425020
[pid=28216] ppid=28213 vsize=596436 CPUtime=2081.96 cores=0,2,4,6
/proc/28216/stat : 28216 (MistralXCSP) R 28213 28216 4525 0 -1 4202496 552253 0 0 0 208154 42 0 0 20 0 1 0 135106036 610750464 142787 18446744073709551615 4194304 7396336 140732570406992 140732570401624 5162969 0 0 1 16386 0 0 0 17 0 0 0 5 0 0 9496464 9501696 41746432 140732570411444 140732570411592 140732570411592 140732570415049 0
/proc/28216/statm: 149109 142787 723 782 0 142125 0
Current children cumulated CPU time (s) 2081.96
Current children cumulated vsize (KiB) 596436
[startup+2142.3 s]
/proc/loadavg: 1.87 1.96 2.02 3/186 28503
/proc/meminfo: memFree=30577060/32770624 swapFree=0/425036
[pid=28216] ppid=28213 vsize=596436 CPUtime=2141.95 cores=0,2,4,6
/proc/28216/stat : 28216 (MistralXCSP) R 28213 28216 4525 0 -1 4202496 553079 0 0 0 214153 42 0 0 20 0 1 0 135106036 610750464 142787 18446744073709551615 4194304 7396336 140732570406992 140732570401624 5162969 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 41746432 140732570411444 140732570411592 140732570411592 140732570415049 0
/proc/28216/statm: 149109 142787 723 782 0 142125 0
Current children cumulated CPU time (s) 2141.95
Current children cumulated vsize (KiB) 596436
[startup+2202.31 s]
/proc/loadavg: 1.95 1.97 2.02 3/186 28505
/proc/meminfo: memFree=30577812/32770624 swapFree=0/425052
[pid=28216] ppid=28213 vsize=596436 CPUtime=2201.95 cores=0,2,4,6
/proc/28216/stat : 28216 (MistralXCSP) R 28213 28216 4525 0 -1 4202496 553841 0 0 0 220153 42 0 0 20 0 1 0 135106036 610750464 142787 18446744073709551615 4194304 7396336 140732570406992 140732570401624 5162969 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 41746432 140732570411444 140732570411592 140732570411592 140732570415049 0
/proc/28216/statm: 149109 142787 723 782 0 142125 0
Current children cumulated CPU time (s) 2201.95
Current children cumulated vsize (KiB) 596436
[startup+2262.3 s]
/proc/loadavg: 2.03 1.99 2.03 3/185 28507
/proc/meminfo: memFree=30577912/32770624 swapFree=0/425056
[pid=28216] ppid=28213 vsize=596436 CPUtime=2261.94 cores=0,2,4,6
/proc/28216/stat : 28216 (MistralXCSP) R 28213 28216 4525 0 -1 4202496 554528 0 0 0 226152 42 0 0 20 0 1 0 135106036 610750464 142787 18446744073709551615 4194304 7396336 140732570406992 140732570401624 5162982 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 41746432 140732570411444 140732570411592 140732570411592 140732570415049 0
/proc/28216/statm: 149109 142787 723 782 0 142125 0
Current children cumulated CPU time (s) 2261.94
Current children cumulated vsize (KiB) 596436
[startup+2322.3 s]
/proc/loadavg: 2.01 1.99 2.03 3/184 28509
/proc/meminfo: memFree=30577932/32770624 swapFree=0/425068
[pid=28216] ppid=28213 vsize=596436 CPUtime=2321.93 cores=0,2,4,6
/proc/28216/stat : 28216 (MistralXCSP) R 28213 28216 4525 0 -1 4202496 555440 0 0 0 232151 42 0 0 20 0 1 0 135106036 610750464 142787 18446744073709551615 4194304 7396336 140732570406992 140732570401624 5162969 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 41746432 140732570411444 140732570411592 140732570411592 140732570415049 0
/proc/28216/statm: 149109 142787 723 782 0 142125 0
Current children cumulated CPU time (s) 2321.93
Current children cumulated vsize (KiB) 596436
[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 28512
/proc/meminfo: memFree=30577760/32770624 swapFree=0/425088
[pid=28216] ppid=28213 vsize=596436 CPUtime=2381.93 cores=0,2,4,6
/proc/28216/stat : 28216 (MistralXCSP) R 28213 28216 4525 0 -1 4202496 556101 0 0 0 238151 42 0 0 20 0 1 0 135106036 610750464 142787 18446744073709551615 4194304 7396336 140732570406992 140732570401624 5162982 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 41746432 140732570411444 140732570411592 140732570411592 140732570415049 0
/proc/28216/statm: 149109 142787 723 782 0 142125 0
Current children cumulated CPU time (s) 2381.93
Current children cumulated vsize (KiB) 596436
[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 28514
/proc/meminfo: memFree=30578180/32770624 swapFree=0/425092
[pid=28216] ppid=28213 vsize=596436 CPUtime=2441.92 cores=0,2,4,6
/proc/28216/stat : 28216 (MistralXCSP) R 28213 28216 4525 0 -1 4202496 556878 0 0 0 244150 42 0 0 20 0 1 0 135106036 610750464 142787 18446744073709551615 4194304 7396336 140732570406992 140732570401624 5586558 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 41746432 140732570411444 140732570411592 140732570411592 140732570415049 0
/proc/28216/statm: 149109 142787 723 782 0 142125 0
Current children cumulated CPU time (s) 2441.92
Current children cumulated vsize (KiB) 596436
[startup+2502.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 28516
/proc/meminfo: memFree=30578144/32770624 swapFree=0/425100
[pid=28216] ppid=28213 vsize=596436 CPUtime=2501.92 cores=0,2,4,6
/proc/28216/stat : 28216 (MistralXCSP) R 28213 28216 4525 0 -1 4202496 557695 0 0 0 250150 42 0 0 20 0 1 0 135106036 610750464 142787 18446744073709551615 4194304 7396336 140732570406992 140732570401624 5162969 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 41746432 140732570411444 140732570411592 140732570411592 140732570415049 0
/proc/28216/statm: 149109 142787 723 782 0 142125 0
Current children cumulated CPU time (s) 2501.92
Current children cumulated vsize (KiB) 596436
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 1.93 1.97 2.02 3/185 28516
/proc/meminfo: memFree=30578020/32770624 swapFree=0/425100
[pid=28216] ppid=28213 vsize=596436 CPUtime=2519.62 cores=0,2,4,6
/proc/28216/stat : 28216 (MistralXCSP) R 28213 28216 4525 0 -1 4202496 557963 0 0 0 251920 42 0 0 20 0 1 0 135106036 610750464 142787 18446744073709551615 4194304 7396336 140732570406992 140732570401624 5162982 0 0 1 16386 0 0 0 17 4 0 0 5 0 0 9496464 9501696 41746432 140732570411444 140732570411592 140732570411592 140732570415049 0
/proc/28216/statm: 149109 142787 723 782 0 142125 0
Current children cumulated CPU time (s) 2519.62
Current children cumulated vsize (KiB) 596436
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 28216 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.2
CPU system time (s): 0.431968
CPU usage (%): 99.9854
Max. virtual memory (cumulated for all children) (KiB): 596436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.2
system time used= 0.431968
maximum resident set size= 571176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 557995
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= 172
involuntary context switches= 4198
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.22761 second user time and 10.7389 second system time
The end