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-4261709-1502397472/watcher-4261709-1502397472 -o /tmp/evaluation-result-4261709-1502397472/solver-4261709-1502397472 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502331121-20547 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 876019841 HOME/instance-4261709-1502397472.xml
pid=31563
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.12 2.04 2.05 3/181 31566
/proc/meminfo: memFree=31229204/32770624 swapFree=0/490148
[pid=31566] ppid=31563 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/31566/stat : 31566 (runsolver) D 31563 31566 4057 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 41967986 24240128 106 18446744073709551615 4194304 4338465 140732893025408 140732893023048 140395471217367 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 39534592 140732893028492 140732893028938 140732893028938 140732893032394 0
/proc/31566/statm: 5918 106 53 36 0 2156 0
[startup+0.100162 s]
/proc/loadavg: 2.12 2.04 2.05 3/181 31566
/proc/meminfo: memFree=31229204/32770624 swapFree=0/490148
[pid=31566] ppid=31563 vsize=28928 CPUtime=0 cores=0,2,4,6
/proc/31566/stat : 31566 (MistralXCSP) R 31563 31566 4057 0 -1 4202496 974 0 0 0 0 0 0 0 20 0 1 0 41967986 29622272 802 18446744073709551615 4194304 7396336 140732954695216 140732954692216 139935536024549 0 0 1 0 0 0 0 17 4 0 0 9 0 0 9496464 9501696 31096832 140732954702260 140732954702409 140732954702409 140732954705865 0
/proc/31566/statm: 7232 802 607 782 0 248 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 28928
[startup+0.200334 s]
/proc/loadavg: 2.12 2.04 2.05 3/181 31566
/proc/meminfo: memFree=31229204/32770624 swapFree=0/490148
[pid=31566] ppid=31563 vsize=29880 CPUtime=0.1 cores=0,2,4,6
/proc/31566/stat : 31566 (MistralXCSP) R 31563 31566 4057 0 -1 4202496 1208 0 0 0 10 0 0 0 20 0 1 0 41967986 30597120 1000 18446744073709551615 4194304 7396336 140732954695216 140732954692216 139935542807184 0 0 1 0 0 0 0 17 4 0 0 9 0 0 9496464 9501696 31096832 140732954702260 140732954702409 140732954702409 140732954705865 0
/proc/31566/statm: 7470 1000 613 782 0 486 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 29880
[startup+0.300319 s]
/proc/loadavg: 2.12 2.04 2.05 3/181 31566
/proc/meminfo: memFree=31229204/32770624 swapFree=0/490148
[pid=31566] ppid=31563 vsize=30732 CPUtime=0.2 cores=0,2,4,6
/proc/31566/stat : 31566 (MistralXCSP) R 31563 31566 4057 0 -1 4202496 1551 0 0 0 20 0 0 0 20 0 1 0 41967986 31469568 1315 18446744073709551615 4194304 7396336 140732954695216 140732954688456 6190336 0 0 1 0 0 0 0 17 4 0 0 9 0 0 9496464 9501696 31096832 140732954702260 140732954702409 140732954702409 140732954705865 0
/proc/31566/statm: 7683 1315 703 782 0 699 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 30732
[startup+0.70028 s]
/proc/loadavg: 2.12 2.04 2.05 3/181 31566
/proc/meminfo: memFree=31229204/32770624 swapFree=0/490148
[pid=31566] ppid=31563 vsize=32328 CPUtime=0.6 cores=0,2,4,6
/proc/31566/stat : 31566 (MistralXCSP) R 31563 31566 4057 0 -1 4202496 1937 0 0 0 60 0 0 0 20 0 1 0 41967986 33103872 1711 18446744073709551615 4194304 7396336 140732954695216 140732954688456 139935542215914 0 0 1 0 0 0 0 17 4 0 0 9 0 0 9496464 9501696 31096832 140732954702260 140732954702409 140732954702409 140732954705865 0
/proc/31566/statm: 8082 1711 717 782 0 1098 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 32328
[startup+1.50028 s]
/proc/loadavg: 2.12 2.04 2.05 3/182 31567
/proc/meminfo: memFree=31224296/32770624 swapFree=0/490164
[pid=31566] ppid=31563 vsize=35588 CPUtime=1.39 cores=0,2,4,6
/proc/31566/stat : 31566 (MistralXCSP) R 31563 31566 4057 0 -1 4202496 2741 0 0 0 139 0 0 0 20 0 1 0 41967986 36442112 2503 18446744073709551615 4194304 7396336 140732954695216 140732954685784 6036775 0 0 1 0 0 0 0 17 4 0 0 9 0 0 9496464 9501696 31096832 140732954702260 140732954702409 140732954702409 140732954705865 0
/proc/31566/statm: 8897 2503 717 782 0 1913 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 35588
[startup+3.10028 s]
/proc/loadavg: 2.12 2.04 2.05 3/182 31567
/proc/meminfo: memFree=31219584/32770624 swapFree=0/490164
[pid=31566] ppid=31563 vsize=40532 CPUtime=3 cores=0,2,4,6
/proc/31566/stat : 31566 (MistralXCSP) R 31563 31566 4057 0 -1 4202496 4426 0 0 0 299 1 0 0 20 0 1 0 41967986 41504768 3724 18446744073709551615 4194304 7396336 140732954695216 140732954685784 6206407 0 0 1 0 0 0 0 17 4 0 0 9 0 0 9496464 9501696 31096832 140732954702260 140732954702409 140732954702409 140732954705865 0
/proc/31566/statm: 10133 3724 718 782 0 3149 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 40532
[startup+6.30028 s]
/proc/loadavg: 2.11 2.04 2.05 3/182 31567
/proc/meminfo: memFree=31207156/32770624 swapFree=0/490164
[pid=31566] ppid=31563 vsize=53360 CPUtime=6.2 cores=0,2,4,6
/proc/31566/stat : 31566 (MistralXCSP) R 31563 31566 4057 0 -1 4202496 9922 0 0 0 619 1 0 0 20 0 1 0 41967986 54640640 6936 18446744073709551615 4194304 7396336 140732954695216 140732954685624 6180862 0 0 1 0 0 0 0 17 4 0 0 9 0 0 9496464 9501696 31096832 140732954702260 140732954702409 140732954702409 140732954705865 0
/proc/31566/statm: 13340 6936 718 782 0 6356 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 53360
[startup+12.7003 s]
/proc/loadavg: 2.10 2.04 2.05 3/182 31567
/proc/meminfo: memFree=31180988/32770624 swapFree=0/490156
[pid=31566] ppid=31563 vsize=77552 CPUtime=12.59 cores=0,2,4,6
/proc/31566/stat : 31566 (MistralXCSP) R 31563 31566 4057 0 -1 4202496 22111 0 0 0 1257 2 0 0 20 0 1 0 41967986 79413248 12997 18446744073709551615 4194304 7396336 140732954695216 140732954685784 6057268 0 0 1 0 0 0 0 17 4 0 0 9 0 0 9496464 9501696 31096832 140732954702260 140732954702409 140732954702409 140732954705865 0
/proc/31566/statm: 19388 12997 718 782 0 12404 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 77552
[startup+25.5004 s]
/proc/loadavg: 2.08 2.04 2.05 3/182 31567
/proc/meminfo: memFree=31110492/32770624 swapFree=0/490148
[pid=31566] ppid=31563 vsize=147736 CPUtime=25.4 cores=0,2,4,6
/proc/31566/stat : 31566 (MistralXCSP) R 31563 31566 4057 0 -1 4202496 72234 0 0 0 2534 6 0 0 20 0 1 0 41967986 151281664 30610 18446744073709551615 4194304 7396336 140732954695216 140732954689640 4252274 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 31096832 140732954702260 140732954702409 140732954702409 140732954705865 0
/proc/31566/statm: 36934 30610 752 782 0 29950 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 147736
[startup+51.1004 s]
/proc/loadavg: 2.05 2.04 2.05 3/182 31568
/proc/meminfo: memFree=31105992/32770624 swapFree=0/490136
[pid=31566] ppid=31563 vsize=150772 CPUtime=51 cores=0,2,4,6
/proc/31566/stat : 31566 (MistralXCSP) R 31563 31566 4057 0 -1 4202496 98085 0 0 0 5093 7 0 0 20 0 1 0 41967986 154390528 31418 18446744073709551615 4194304 7396336 140732954695216 140732954689672 4407713 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 31096832 140732954702260 140732954702409 140732954702409 140732954705865 0
/proc/31566/statm: 37693 31418 752 782 0 30709 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 150772
[startup+102.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 31571
/proc/meminfo: memFree=31103896/32770624 swapFree=0/490152
[pid=31566] ppid=31563 vsize=151036 CPUtime=102.19 cores=0,2,4,6
/proc/31566/stat : 31566 (MistralXCSP) R 31563 31566 4057 0 -1 4202496 122889 0 0 0 10210 9 0 0 20 0 1 0 41967986 154660864 31502 18446744073709551615 4194304 7396336 140732954695216 140732954689656 4406356 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 31096832 140732954702260 140732954702409 140732954702409 140732954705865 0
/proc/31566/statm: 37759 31502 753 782 0 30775 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 151036
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 31573
/proc/meminfo: memFree=31104908/32770624 swapFree=0/490172
[pid=31566] ppid=31563 vsize=151036 CPUtime=162.17 cores=0,2,4,6
/proc/31566/stat : 31566 (MistralXCSP) R 31563 31566 4057 0 -1 4202496 130055 0 0 0 16208 9 0 0 20 0 1 0 41967986 154660864 31507 18446744073709551615 4194304 7396336 140732954695216 140732954689656 4257696 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 31096832 140732954702260 140732954702409 140732954702409 140732954705865 0
/proc/31566/statm: 37759 31507 753 782 0 30775 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 151036
[startup+222.306 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 31575
/proc/meminfo: memFree=31105148/32770624 swapFree=0/490184
[pid=31566] ppid=31563 vsize=151036 CPUtime=222.18 cores=0,2,4,6
/proc/31566/stat : 31566 (MistralXCSP) R 31563 31566 4057 0 -1 4202496 131228 0 0 0 22209 9 0 0 20 0 1 0 41967986 154660864 31509 18446744073709551615 4194304 7396336 140732954695216 140732954689656 4581710 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 31096832 140732954702260 140732954702409 140732954702409 140732954705865 0
/proc/31566/statm: 37759 31509 753 782 0 30775 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 151036
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 31578
/proc/meminfo: memFree=31104528/32770624 swapFree=0/490192
[pid=31566] ppid=31563 vsize=151036 CPUtime=282.18 cores=0,2,4,6
/proc/31566/stat : 31566 (MistralXCSP) R 31563 31566 4057 0 -1 4202496 131228 0 0 0 28209 9 0 0 20 0 1 0 41967986 154660864 31509 18446744073709551615 4194304 7396336 140732954695216 140732954689656 4581459 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 31096832 140732954702260 140732954702409 140732954702409 140732954705865 0
/proc/31566/statm: 37759 31509 753 782 0 30775 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 151036
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31580
/proc/meminfo: memFree=31104652/32770624 swapFree=0/490204
[pid=31566] ppid=31563 vsize=151036 CPUtime=342.19 cores=0,2,4,6
/proc/31566/stat : 31566 (MistralXCSP) R 31563 31566 4057 0 -1 4202496 132392 0 0 0 34210 9 0 0 20 0 1 0 41967986 154660864 31516 18446744073709551615 4194304 7396336 140732954695216 140732954689656 4581576 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 31096832 140732954702260 140732954702409 140732954702409 140732954705865 0
/proc/31566/statm: 37759 31516 753 782 0 30775 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 151036
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 31596
/proc/meminfo: memFree=31100676/32770624 swapFree=0/490236
[pid=31566] ppid=31563 vsize=151036 CPUtime=402.19 cores=0,2,4,6
/proc/31566/stat : 31566 (MistralXCSP) R 31563 31566 4057 0 -1 4202496 132392 0 0 0 40210 9 0 0 20 0 1 0 41967986 154660864 31516 18446744073709551615 4194304 7396336 140732954695216 140732954689656 5575964 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 31096832 140732954702260 140732954702409 140732954702409 140732954705865 0
/proc/31566/statm: 37759 31516 753 782 0 30775 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 151036
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 31719
/proc/meminfo: memFree=31061824/32770624 swapFree=0/490336
[pid=31566] ppid=31563 vsize=151036 CPUtime=462.2 cores=0,2,4,6
/proc/31566/stat : 31566 (MistralXCSP) R 31563 31566 4057 0 -1 4202496 133567 0 0 0 46211 9 0 0 20 0 1 0 41967986 154660864 31516 18446744073709551615 4194304 7396336 140732954695216 140732954689656 5610016 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 31096832 140732954702260 140732954702409 140732954702409 140732954705865 0
/proc/31566/statm: 37759 31516 753 782 0 30775 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 151036
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31721
/proc/meminfo: memFree=31019964/32770624 swapFree=0/490368
[pid=31566] ppid=31563 vsize=151036 CPUtime=522.21 cores=0,2,4,6
/proc/31566/stat : 31566 (MistralXCSP) R 31563 31566 4057 0 -1 4202496 133567 0 0 0 52212 9 0 0 20 0 1 0 41967986 154660864 31516 18446744073709551615 4194304 7396336 140732954695216 140732954689656 5575300 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 31096832 140732954702260 140732954702409 140732954702409 140732954705865 0
/proc/31566/statm: 37759 31516 753 782 0 30775 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 151036
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31723
/proc/meminfo: memFree=31017900/32770624 swapFree=0/490380
[pid=31566] ppid=31563 vsize=151036 CPUtime=582.22 cores=0,2,4,6
/proc/31566/stat : 31566 (MistralXCSP) R 31563 31566 4057 0 -1 4202496 134734 0 0 0 58212 10 0 0 20 0 1 0 41967986 154660864 31519 18446744073709551615 4194304 7396336 140732954695216 140732954689656 4581576 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 31096832 140732954702260 140732954702409 140732954702409 140732954705865 0
/proc/31566/statm: 37759 31519 753 782 0 30775 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 151036
################
# More data... #
################
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 31789
/proc/meminfo: memFree=31005688/32770624 swapFree=0/490688
[pid=31566] ppid=31563 vsize=151168 CPUtime=1662.33 cores=0,2,4,6
/proc/31566/stat : 31566 (MistralXCSP) R 31563 31566 4057 0 -1 4202496 145018 0 0 0 166223 10 0 0 20 0 1 0 41967986 154796032 31522 18446744073709551615 4194304 7396336 140732954695216 140732954689656 5586494 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 31096832 140732954702260 140732954702409 140732954702409 140732954705865 0
/proc/31566/statm: 37792 31522 753 782 0 30808 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 151168
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 31791
/proc/meminfo: memFree=31008836/32770624 swapFree=0/490700
[pid=31566] ppid=31563 vsize=151168 CPUtime=1722.33 cores=0,2,4,6
/proc/31566/stat : 31566 (MistralXCSP) R 31563 31566 4057 0 -1 4202496 145018 0 0 0 172223 10 0 0 20 0 1 0 41967986 154796032 31522 18446744073709551615 4194304 7396336 140732954695216 140732954689656 4581738 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 31096832 140732954702260 140732954702409 140732954702409 140732954705865 0
/proc/31566/statm: 37792 31522 753 782 0 30808 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 151168
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 31793
/proc/meminfo: memFree=31008604/32770624 swapFree=0/490704
[pid=31566] ppid=31563 vsize=151168 CPUtime=1782.34 cores=0,2,4,6
/proc/31566/stat : 31566 (MistralXCSP) R 31563 31566 4057 0 -1 4202496 146188 0 0 0 178224 10 0 0 20 0 1 0 41967986 154796032 31523 18446744073709551615 4194304 7396336 140732954695216 140732954689656 4581738 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 31096832 140732954702260 140732954702409 140732954702409 140732954705865 0
/proc/31566/statm: 37792 31523 753 782 0 30808 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 151168
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 31795
/proc/meminfo: memFree=31008604/32770624 swapFree=0/490720
[pid=31566] ppid=31563 vsize=151168 CPUtime=1842.35 cores=0,2,4,6
/proc/31566/stat : 31566 (MistralXCSP) R 31563 31566 4057 0 -1 4202496 146189 0 0 0 184225 10 0 0 20 0 1 0 41967986 154796032 31523 18446744073709551615 4194304 7396336 140732954695216 140732954689656 4406552 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 31096832 140732954702260 140732954702409 140732954702409 140732954705865 0
/proc/31566/statm: 37792 31523 753 782 0 30808 0
Current children cumulated CPU time (s) 1842.35
Current children cumulated vsize (KiB) 151168
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31798
/proc/meminfo: memFree=31008612/32770624 swapFree=0/490740
[pid=31566] ppid=31563 vsize=151168 CPUtime=1902.36 cores=0,2,4,6
/proc/31566/stat : 31566 (MistralXCSP) R 31563 31566 4057 0 -1 4202496 147367 0 0 0 190225 11 0 0 20 0 1 0 41967986 154796032 31524 18446744073709551615 4194304 7396336 140732954695216 140732954689656 4410396 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 31096832 140732954702260 140732954702409 140732954702409 140732954705865 0
/proc/31566/statm: 37792 31524 753 782 0 30808 0
Current children cumulated CPU time (s) 1902.36
Current children cumulated vsize (KiB) 151168
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31800
/proc/meminfo: memFree=31008720/32770624 swapFree=0/490752
[pid=31566] ppid=31563 vsize=151168 CPUtime=1962.37 cores=0,2,4,6
/proc/31566/stat : 31566 (MistralXCSP) R 31563 31566 4057 0 -1 4202496 147367 0 0 0 196226 11 0 0 20 0 1 0 41967986 154796032 31524 18446744073709551615 4194304 7396336 140732954695216 140732954689656 4252448 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 31096832 140732954702260 140732954702409 140732954702409 140732954705865 0
/proc/31566/statm: 37792 31524 753 782 0 30808 0
Current children cumulated CPU time (s) 1962.37
Current children cumulated vsize (KiB) 151168
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31802
/proc/meminfo: memFree=31008968/32770624 swapFree=0/490764
[pid=31566] ppid=31563 vsize=151168 CPUtime=2022.37 cores=0,2,4,6
/proc/31566/stat : 31566 (MistralXCSP) R 31563 31566 4057 0 -1 4202496 148539 0 0 0 202226 11 0 0 20 0 1 0 41967986 154796032 31524 18446744073709551615 4194304 7396336 140732954695216 140732954689656 5575964 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 31096832 140732954702260 140732954702409 140732954702409 140732954705865 0
/proc/31566/statm: 37792 31524 753 782 0 30808 0
Current children cumulated CPU time (s) 2022.37
Current children cumulated vsize (KiB) 151168
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31805
/proc/meminfo: memFree=31008720/32770624 swapFree=0/490796
[pid=31566] ppid=31563 vsize=151168 CPUtime=2082.38 cores=0,2,4,6
/proc/31566/stat : 31566 (MistralXCSP) R 31563 31566 4057 0 -1 4202496 148539 0 0 0 208227 11 0 0 20 0 1 0 41967986 154796032 31524 18446744073709551615 4194304 7396336 140732954695216 140732954689656 4252536 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 31096832 140732954702260 140732954702409 140732954702409 140732954705865 0
/proc/31566/statm: 37792 31524 753 782 0 30808 0
Current children cumulated CPU time (s) 2082.38
Current children cumulated vsize (KiB) 151168
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31807
/proc/meminfo: memFree=31009040/32770624 swapFree=0/490804
[pid=31566] ppid=31563 vsize=151168 CPUtime=2142.38 cores=0,2,4,6
/proc/31566/stat : 31566 (MistralXCSP) R 31563 31566 4057 0 -1 4202496 149716 0 0 0 214227 11 0 0 20 0 1 0 41967986 154796032 31524 18446744073709551615 4194304 7396336 140732954695216 140732954689656 4581576 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 31096832 140732954702260 140732954702409 140732954702409 140732954705865 0
/proc/31566/statm: 37792 31524 753 782 0 30808 0
Current children cumulated CPU time (s) 2142.38
Current children cumulated vsize (KiB) 151168
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 31823
/proc/meminfo: memFree=31005124/32770624 swapFree=0/490820
[pid=31566] ppid=31563 vsize=151168 CPUtime=2202.4 cores=0,2,4,6
/proc/31566/stat : 31566 (MistralXCSP) R 31563 31566 4057 0 -1 4202496 149719 0 0 0 220229 11 0 0 20 0 1 0 41967986 154796032 31524 18446744073709551615 4194304 7396336 140732954695216 140732954689656 4406471 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 31096832 140732954702260 140732954702409 140732954702409 140732954705865 0
/proc/31566/statm: 37792 31524 753 782 0 30808 0
Current children cumulated CPU time (s) 2202.4
Current children cumulated vsize (KiB) 151168
[startup+2262.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/184 31849
/proc/meminfo: memFree=31003320/32770624 swapFree=0/490852
[pid=31566] ppid=31563 vsize=151168 CPUtime=2262.4 cores=0,2,4,6
/proc/31566/stat : 31566 (MistralXCSP) R 31563 31566 4057 0 -1 4202496 150892 0 0 0 226229 11 0 0 20 0 1 0 41967986 154796032 31525 18446744073709551615 4194304 7396336 140732954695216 140732954689656 4406506 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 31096832 140732954702260 140732954702409 140732954702409 140732954705865 0
/proc/31566/statm: 37792 31525 753 782 0 30808 0
Current children cumulated CPU time (s) 2262.4
Current children cumulated vsize (KiB) 151168
[startup+2322.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/184 31851
/proc/meminfo: memFree=31003592/32770624 swapFree=0/490888
[pid=31566] ppid=31563 vsize=151168 CPUtime=2322.4 cores=0,2,4,6
/proc/31566/stat : 31566 (MistralXCSP) R 31563 31566 4057 0 -1 4202496 150892 0 0 0 232229 11 0 0 20 0 1 0 41967986 154796032 31525 18446744073709551615 4194304 7396336 140732954695216 140732954689656 5575964 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 31096832 140732954702260 140732954702409 140732954702409 140732954705865 0
/proc/31566/statm: 37792 31525 753 782 0 30808 0
Current children cumulated CPU time (s) 2322.4
Current children cumulated vsize (KiB) 151168
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 31853
/proc/meminfo: memFree=31007300/32770624 swapFree=0/490888
[pid=31566] ppid=31563 vsize=151168 CPUtime=2382.41 cores=0,2,4,6
/proc/31566/stat : 31566 (MistralXCSP) R 31563 31566 4057 0 -1 4202496 152073 0 0 0 238230 11 0 0 20 0 1 0 41967986 154796032 31525 18446744073709551615 4194304 7396336 140732954695216 140732954689656 4252486 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 31096832 140732954702260 140732954702409 140732954702409 140732954705865 0
/proc/31566/statm: 37792 31525 753 782 0 30808 0
Current children cumulated CPU time (s) 2382.41
Current children cumulated vsize (KiB) 151168
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31855
/proc/meminfo: memFree=31007424/32770624 swapFree=0/490900
[pid=31566] ppid=31563 vsize=151168 CPUtime=2442.41 cores=0,2,4,6
/proc/31566/stat : 31566 (MistralXCSP) R 31563 31566 4057 0 -1 4202496 152073 0 0 0 244230 11 0 0 20 0 1 0 41967986 154796032 31525 18446744073709551615 4194304 7396336 140732954695216 140732954689656 4581576 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 31096832 140732954702260 140732954702409 140732954702409 140732954705865 0
/proc/31566/statm: 37792 31525 753 782 0 30808 0
Current children cumulated CPU time (s) 2442.41
Current children cumulated vsize (KiB) 151168
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31857
/proc/meminfo: memFree=31007316/32770624 swapFree=0/490912
[pid=31566] ppid=31563 vsize=151168 CPUtime=2502.42 cores=0,2,4,6
/proc/31566/stat : 31566 (MistralXCSP) R 31563 31566 4057 0 -1 4202496 153246 0 0 0 250231 11 0 0 20 0 1 0 41967986 154796032 31526 18446744073709551615 4194304 7396336 140732954695216 140732954689656 5576291 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 31096832 140732954702260 140732954702409 140732954702409 140732954705865 0
/proc/31566/statm: 37792 31526 753 782 0 30808 0
Current children cumulated CPU time (s) 2502.42
Current children cumulated vsize (KiB) 151168
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31857
/proc/meminfo: memFree=31007316/32770624 swapFree=0/490904
[pid=31566] ppid=31563 vsize=151168 CPUtime=2520.02 cores=0,2,4,6
/proc/31566/stat : 31566 (MistralXCSP) R 31563 31566 4057 0 -1 4202496 153246 0 0 0 251991 11 0 0 20 0 1 0 41967986 154796032 31526 18446744073709551615 4194304 7396336 140732954695216 140732954689656 4581738 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 31096832 140732954702260 140732954702409 140732954702409 140732954705865 0
/proc/31566/statm: 37792 31526 753 782 0 30808 0
Current children cumulated CPU time (s) 2520.02
Current children cumulated vsize (KiB) 151168
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 31566 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31857
/proc/meminfo: memFree=31007316/32770624 swapFree=0/490904
[pid=31566] ppid=31563 vsize=151168 CPUtime=2520.02 cores=0,2,4,6
/proc/31566/stat : 31566 (MistralXCSP) R 31563 31566 4057 0 -1 4202496 153246 0 0 0 251991 11 0 0 20 0 1 0 41967986 154796032 31526 18446744073709551615 4194304 7396336 140732954695216 140732954689656 4581738 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 31096832 140732954702260 140732954702409 140732954702409 140732954705865 0
/proc/31566/statm: 37792 31526 753 782 0 30808 0
Current children cumulated CPU time (s) 2520.02
Current children cumulated vsize (KiB) 151168
Child status: 0
Real time (s): 2519.9
CPU time (s): 2520.03
CPU user time (s): 2519.92
CPU system time (s): 0.117012
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 151168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.92
system time used= 0.117012
maximum resident set size= 126124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153282
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= 54
involuntary context switches= 719
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.41884 second user time and 9.64872 second system time
The end