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-4241232-1500626310/watcher-4241232-1500626310 -o /tmp/evaluation-result-4241232-1500626310/solver-4241232-1500626310 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node115-1500623785-5698 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 321300156 HOME/instance-4241232-1500626310.xml
pid=6503
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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.05 1.90 2/186 6506
/proc/meminfo: memFree=30088252/32770624 swapFree=6176/1800492
[pid=6506] ppid=6503 vsize=28804 CPUtime=0 cores=1,3,5,7
/proc/6506/stat : 6506 (MistralXCSP) R 6503 6506 5666 0 -1 4202496 983 0 0 0 0 0 0 0 20 0 1 0 17266511 29495296 802 33554432000 4194304 7402444 140721652217536 140721652214584 6143894 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 9723904 140721652225193 140721652225342 140721652225342 140721652228041 0
/proc/6506/statm: 7201 802 639 784 0 215 0
[startup+0.100141 s]
/proc/loadavg: 2.12 2.05 1.90 2/186 6506
/proc/meminfo: memFree=30088252/32770624 swapFree=6176/1800492
[pid=6506] ppid=6503 vsize=29508 CPUtime=0.09 cores=1,3,5,7
/proc/6506/stat : 6506 (MistralXCSP) R 6503 6506 5666 0 -1 4202496 1202 0 0 0 9 0 0 0 20 0 1 0 17266511 30216192 925 33554432000 4194304 7402444 140721652217536 140721652210776 6143917 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 9723904 140721652225193 140721652225342 140721652225342 140721652228041 0
/proc/6506/statm: 7377 925 647 784 0 391 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29508
[startup+0.200275 s]
/proc/loadavg: 2.12 2.05 1.90 2/186 6506
/proc/meminfo: memFree=30088252/32770624 swapFree=6176/1800492
[pid=6506] ppid=6503 vsize=30420 CPUtime=0.19 cores=1,3,5,7
/proc/6506/stat : 6506 (MistralXCSP) R 6503 6506 5666 0 -1 4202496 1549 0 0 0 19 0 0 0 20 0 1 0 17266511 31150080 1234 33554432000 4194304 7402444 140721652217536 140721652210776 6143894 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 9723904 140721652225193 140721652225342 140721652225342 140721652228041 0
/proc/6506/statm: 7605 1234 647 784 0 619 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 30420
[startup+0.300302 s]
/proc/loadavg: 2.12 2.05 1.90 2/186 6506
/proc/meminfo: memFree=30088252/32770624 swapFree=6176/1800492
[pid=6506] ppid=6503 vsize=31848 CPUtime=0.29 cores=1,3,5,7
/proc/6506/stat : 6506 (MistralXCSP) R 6503 6506 5666 0 -1 4202496 1992 0 0 0 29 0 0 0 20 0 1 0 17266511 32612352 1458 33554432000 4194304 7402444 140721652217536 140721652210776 140208786045925 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 9723904 140721652225193 140721652225342 140721652225342 140721652228041 0
/proc/6506/statm: 7962 1458 647 784 0 976 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31848
[startup+0.700315 s]
/proc/loadavg: 2.12 2.05 1.90 2/186 6506
/proc/meminfo: memFree=30088252/32770624 swapFree=6176/1800492
[pid=6506] ppid=6503 vsize=187832 CPUtime=0.69 cores=1,3,5,7
/proc/6506/stat : 6506 (MistralXCSP) R 6503 6506 5666 0 -1 4202496 41184 0 0 0 65 4 0 0 20 0 1 0 17266511 192339968 40252 33554432000 4194304 7402444 140721652217536 140721652208872 140208786093984 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 9723904 140721652225193 140721652225342 140721652225342 140721652228041 0
/proc/6506/statm: 46996 40318 661 784 0 40010 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 187832
[startup+1.50033 s]
/proc/loadavg: 2.12 2.05 1.90 3/187 6507
/proc/meminfo: memFree=29657324/32770624 swapFree=6176/1800520
[pid=6506] ppid=6503 vsize=463796 CPUtime=1.49 cores=1,3,5,7
/proc/6506/stat : 6506 (MistralXCSP) R 6503 6506 5666 0 -1 4202496 110979 0 0 0 136 13 0 0 20 0 1 0 17266511 474927104 109580 33554432000 4194304 7402444 140721652217536 140721652212888 4484544 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 9723904 140721652225193 140721652225342 140721652225342 140721652228041 0
/proc/6506/statm: 115949 109580 661 784 0 108963 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 463796
[startup+3.10033 s]
/proc/loadavg: 2.12 2.05 1.90 3/187 6507
/proc/meminfo: memFree=29650876/32770624 swapFree=6176/1800520
[pid=6506] ppid=6503 vsize=463796 CPUtime=3.09 cores=1,3,5,7
/proc/6506/stat : 6506 (MistralXCSP) R 6503 6506 5666 0 -1 4202496 144886 0 0 0 295 14 0 0 20 0 1 0 17266511 474927104 109618 33554432000 4194304 7402444 140721652217536 140721652212888 5324390 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 9723904 140721652225193 140721652225342 140721652225342 140721652228041 0
/proc/6506/statm: 115949 109618 696 784 0 108963 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 463796
[startup+6.30033 s]
/proc/loadavg: 2.11 2.05 1.90 3/187 6507
/proc/meminfo: memFree=29651088/32770624 swapFree=6176/1800528
[pid=6506] ppid=6503 vsize=463796 CPUtime=6.29 cores=1,3,5,7
/proc/6506/stat : 6506 (MistralXCSP) R 6503 6506 5666 0 -1 4202496 204558 0 0 0 612 17 0 0 20 0 1 0 17266511 474927104 109618 33554432000 4194304 7402444 140721652217536 140721652212888 5753890 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 9723904 140721652225193 140721652225342 140721652225342 140721652228041 0
/proc/6506/statm: 115949 109618 696 784 0 108963 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 463796
[startup+12.7004 s]
/proc/loadavg: 2.10 2.05 1.90 3/187 6507
/proc/meminfo: memFree=29650864/32770624 swapFree=6176/1800536
[pid=6506] ppid=6503 vsize=463796 CPUtime=12.68 cores=1,3,5,7
/proc/6506/stat : 6506 (MistralXCSP) R 6503 6506 5666 0 -1 4202496 257124 0 0 0 1248 20 0 0 20 0 1 0 17266511 474927104 109618 33554432000 4194304 7402444 140721652217536 140721652212888 4484558 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 9723904 140721652225193 140721652225342 140721652225342 140721652228041 0
/proc/6506/statm: 115949 109618 696 784 0 108963 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 463796
[startup+25.5004 s]
/proc/loadavg: 2.08 2.05 1.90 3/187 6507
/proc/meminfo: memFree=29650492/32770624 swapFree=6176/1800544
[pid=6506] ppid=6503 vsize=463796 CPUtime=25.47 cores=1,3,5,7
/proc/6506/stat : 6506 (MistralXCSP) R 6503 6506 5666 0 -1 4202496 294124 0 0 0 2526 21 0 0 20 0 1 0 17266511 474927104 109618 33554432000 4194304 7402444 140721652217536 140721652212888 4484776 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 9723904 140721652225193 140721652225342 140721652225342 140721652228041 0
/proc/6506/statm: 115949 109618 696 784 0 108963 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 463796
[startup+51.1004 s]
/proc/loadavg: 2.05 2.04 1.90 3/187 6507
/proc/meminfo: memFree=29649964/32770624 swapFree=6176/1800560
[pid=6506] ppid=6503 vsize=463796 CPUtime=51.05 cores=1,3,5,7
/proc/6506/stat : 6506 (MistralXCSP) R 6503 6506 5666 0 -1 4202496 345777 0 0 0 5080 25 0 0 20 0 1 0 17266511 474927104 109618 33554432000 4194304 7402444 140721652217536 140721652212888 4484558 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 9723904 140721652225193 140721652225342 140721652225342 140721652228041 0
/proc/6506/statm: 115949 109618 696 784 0 108963 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 463796
[startup+102.3 s]
/proc/loadavg: 2.02 2.04 1.91 3/188 6516
/proc/meminfo: memFree=29649656/32770624 swapFree=6176/1800588
[pid=6506] ppid=6503 vsize=463796 CPUtime=102.22 cores=1,3,5,7
/proc/6506/stat : 6506 (MistralXCSP) R 6503 6506 5666 0 -1 4202496 377608 0 0 0 10196 26 0 0 20 0 1 0 17266511 474927104 109618 33554432000 4194304 7402444 140721652217536 140721652212888 4747362 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 9723904 140721652225193 140721652225342 140721652225342 140721652228041 0
/proc/6506/statm: 115949 109618 696 784 0 108963 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 463796
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 1.91 3/188 6517
/proc/meminfo: memFree=29649972/32770624 swapFree=6176/1800620
[pid=6506] ppid=6503 vsize=463796 CPUtime=162.17 cores=1,3,5,7
/proc/6506/stat : 6506 (MistralXCSP) R 6503 6506 5666 0 -1 4202496 406622 0 0 0 16190 27 0 0 20 0 1 0 17266511 474927104 109618 33554432000 4194304 7402444 140721652217536 140721652212888 4484555 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 9723904 140721652225193 140721652225342 140721652225342 140721652228041 0
/proc/6506/statm: 115949 109618 696 784 0 108963 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 463796
[startup+222.306 s]
/proc/loadavg: 2.00 2.03 1.92 3/188 6518
/proc/meminfo: memFree=29650140/32770624 swapFree=6176/1800660
[pid=6506] ppid=6503 vsize=463796 CPUtime=222.14 cores=1,3,5,7
/proc/6506/stat : 6506 (MistralXCSP) R 6503 6506 5666 0 -1 4202496 408633 0 0 0 22186 28 0 0 20 0 1 0 17266511 474927104 109618 33554432000 4194304 7402444 140721652217536 140721652212888 5753888 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 9723904 140721652225193 140721652225342 140721652225342 140721652228041 0
/proc/6506/statm: 115949 109618 696 784 0 108963 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 463796
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 1.92 3/188 6519
/proc/meminfo: memFree=29650488/32770624 swapFree=6176/1800696
[pid=6506] ppid=6503 vsize=463796 CPUtime=282.09 cores=1,3,5,7
/proc/6506/stat : 6506 (MistralXCSP) R 6503 6506 5666 0 -1 4202496 413748 0 0 0 28181 28 0 0 20 0 1 0 17266511 474927104 109618 33554432000 4194304 7402444 140721652217536 140721652212888 4484528 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 9723904 140721652225193 140721652225342 140721652225342 140721652228041 0
/proc/6506/statm: 115949 109618 696 784 0 108963 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 463796
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 1.93 3/188 6520
/proc/meminfo: memFree=29650612/32770624 swapFree=6176/1800724
[pid=6506] ppid=6503 vsize=463796 CPUtime=342.05 cores=1,3,5,7
/proc/6506/stat : 6506 (MistralXCSP) R 6503 6506 5666 0 -1 4202496 414070 0 0 0 34177 28 0 0 20 0 1 0 17266511 474927104 109618 33554432000 4194304 7402444 140721652217536 140721652212888 4484558 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 9723904 140721652225193 140721652225342 140721652225342 140721652228041 0
/proc/6506/statm: 115949 109618 696 784 0 108963 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 463796
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/187 6521
/proc/meminfo: memFree=29650360/32770624 swapFree=6176/1800756
[pid=6506] ppid=6503 vsize=463796 CPUtime=402.02 cores=1,3,5,7
/proc/6506/stat : 6506 (MistralXCSP) R 6503 6506 5666 0 -1 4202496 414322 0 0 0 40174 28 0 0 20 0 1 0 17266511 474927104 109618 33554432000 4194304 7402444 140721652217536 140721652212888 4484558 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 9723904 140721652225193 140721652225342 140721652225342 140721652228041 0
/proc/6506/statm: 115949 109618 696 784 0 108963 0
Current children cumulated CPU time (s) 402.02
Current children cumulated vsize (KiB) 463796
[startup+462.3 s]
/proc/loadavg: 2.05 2.03 1.95 3/187 6522
/proc/meminfo: memFree=29650536/32770624 swapFree=6176/1800784
[pid=6506] ppid=6503 vsize=463796 CPUtime=461.98 cores=1,3,5,7
/proc/6506/stat : 6506 (MistralXCSP) R 6503 6506 5666 0 -1 4202496 414699 0 0 0 46170 28 0 0 20 0 1 0 17266511 474927104 109618 33554432000 4194304 7402444 140721652217536 140721652212888 4484555 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 9723904 140721652225193 140721652225342 140721652225342 140721652228041 0
/proc/6506/statm: 115949 109618 696 784 0 108963 0
Current children cumulated CPU time (s) 461.98
Current children cumulated vsize (KiB) 463796
[startup+522.3 s]
/proc/loadavg: 2.02 2.02 1.95 3/187 6523
/proc/meminfo: memFree=29650384/32770624 swapFree=6176/1800828
[pid=6506] ppid=6503 vsize=463796 CPUtime=521.95 cores=1,3,5,7
/proc/6506/stat : 6506 (MistralXCSP) R 6503 6506 5666 0 -1 4202496 414976 0 0 0 52167 28 0 0 20 0 1 0 17266511 474927104 109618 33554432000 4194304 7402444 140721652217536 140721652212888 4484558 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 9723904 140721652225193 140721652225342 140721652225342 140721652228041 0
/proc/6506/statm: 115949 109618 696 784 0 108963 0
Current children cumulated CPU time (s) 521.95
Current children cumulated vsize (KiB) 463796
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/187 6524
/proc/meminfo: memFree=29650104/32770624 swapFree=6176/1800860
[pid=6506] ppid=6503 vsize=463796 CPUtime=581.92 cores=1,3,5,7
/proc/6506/stat : 6506 (MistralXCSP) R 6503 6506 5666 0 -1 4202496 415339 0 0 0 58164 28 0 0 20 0 1 0 17266511 474927104 109618 33554432000 4194304 7402444 140721652217536 140721652212888 4484555 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 9723904 140721652225193 140721652225342 140721652225342 140721652228041 0
/proc/6506/statm: 115949 109618 696 784 0 108963 0
Current children cumulated CPU time (s) 581.92
Current children cumulated vsize (KiB) 463796
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 1.97 3/188 6582
/proc/meminfo: memFree=29649816/32770624 swapFree=6176/1801392
[pid=6506] ppid=6503 vsize=463796 CPUtime=1541.38 cores=1,3,5,7
/proc/6506/stat : 6506 (MistralXCSP) R 6503 6506 5666 0 -1 4202496 420329 0 0 0 154109 29 0 0 20 0 1 0 17266511 474927104 109618 33554432000 4194304 7402444 140721652217536 140721652212888 4484798 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 9723904 140721652225193 140721652225342 140721652225342 140721652228041 0
/proc/6506/statm: 115949 109618 696 784 0 108963 0
Current children cumulated CPU time (s) 1541.38
Current children cumulated vsize (KiB) 463796
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/188 6583
/proc/meminfo: memFree=29649700/32770624 swapFree=6176/1801424
[pid=6506] ppid=6503 vsize=463796 CPUtime=1601.35 cores=1,3,5,7
/proc/6506/stat : 6506 (MistralXCSP) R 6503 6506 5666 0 -1 4202496 420666 0 0 0 160105 30 0 0 20 0 1 0 17266511 474927104 109618 33554432000 4194304 7402444 140721652217536 140721652212888 4484558 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 9723904 140721652225193 140721652225342 140721652225342 140721652228041 0
/proc/6506/statm: 115949 109618 696 784 0 108963 0
Current children cumulated CPU time (s) 1601.35
Current children cumulated vsize (KiB) 463796
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 6584
/proc/meminfo: memFree=29649704/32770624 swapFree=6176/1801452
[pid=6506] ppid=6503 vsize=463796 CPUtime=1661.31 cores=1,3,5,7
/proc/6506/stat : 6506 (MistralXCSP) R 6503 6506 5666 0 -1 4202496 420923 0 0 0 166101 30 0 0 20 0 1 0 17266511 474927104 109618 33554432000 4194304 7402444 140721652217536 140721652212888 4484555 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 9723904 140721652225193 140721652225342 140721652225342 140721652228041 0
/proc/6506/statm: 115949 109618 696 784 0 108963 0
Current children cumulated CPU time (s) 1661.31
Current children cumulated vsize (KiB) 463796
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 6585
/proc/meminfo: memFree=29649548/32770624 swapFree=6176/1801488
[pid=6506] ppid=6503 vsize=463796 CPUtime=1721.28 cores=1,3,5,7
/proc/6506/stat : 6506 (MistralXCSP) R 6503 6506 5666 0 -1 4202496 421266 0 0 0 172098 30 0 0 20 0 1 0 17266511 474927104 109618 33554432000 4194304 7402444 140721652217536 140721652212888 4484571 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 9723904 140721652225193 140721652225342 140721652225342 140721652228041 0
/proc/6506/statm: 115949 109618 696 784 0 108963 0
Current children cumulated CPU time (s) 1721.28
Current children cumulated vsize (KiB) 463796
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 6586
/proc/meminfo: memFree=29649136/32770624 swapFree=6176/1801516
[pid=6506] ppid=6503 vsize=463796 CPUtime=1781.24 cores=1,3,5,7
/proc/6506/stat : 6506 (MistralXCSP) R 6503 6506 5666 0 -1 4202496 421546 0 0 0 178094 30 0 0 20 0 1 0 17266511 474927104 109618 33554432000 4194304 7402444 140721652217536 140721652212888 4484571 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 9723904 140721652225193 140721652225342 140721652225342 140721652228041 0
/proc/6506/statm: 115949 109618 696 784 0 108963 0
Current children cumulated CPU time (s) 1781.24
Current children cumulated vsize (KiB) 463796
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 6587
/proc/meminfo: memFree=29649348/32770624 swapFree=6176/1801548
[pid=6506] ppid=6503 vsize=463796 CPUtime=1841.21 cores=1,3,5,7
/proc/6506/stat : 6506 (MistralXCSP) R 6503 6506 5666 0 -1 4202496 421913 0 0 0 184091 30 0 0 20 0 1 0 17266511 474927104 109618 33554432000 4194304 7402444 140721652217536 140721652212888 4484602 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 9723904 140721652225193 140721652225342 140721652225342 140721652228041 0
/proc/6506/statm: 115949 109618 696 784 0 108963 0
Current children cumulated CPU time (s) 1841.21
Current children cumulated vsize (KiB) 463796
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/188 6596
/proc/meminfo: memFree=29648788/32770624 swapFree=6176/1801584
[pid=6506] ppid=6503 vsize=463796 CPUtime=1901.18 cores=1,3,5,7
/proc/6506/stat : 6506 (MistralXCSP) R 6503 6506 5666 0 -1 4202496 422202 0 0 0 190088 30 0 0 20 0 1 0 17266511 474927104 109618 33554432000 4194304 7402444 140721652217536 140721652212888 4484776 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 9723904 140721652225193 140721652225342 140721652225342 140721652228041 0
/proc/6506/statm: 115949 109618 696 784 0 108963 0
Current children cumulated CPU time (s) 1901.18
Current children cumulated vsize (KiB) 463796
[startup+1962.3 s]
/proc/loadavg: 2.11 2.04 1.98 3/188 6597
/proc/meminfo: memFree=29649168/32770624 swapFree=6176/1801612
[pid=6506] ppid=6503 vsize=463796 CPUtime=1961.14 cores=1,3,5,7
/proc/6506/stat : 6506 (MistralXCSP) R 6503 6506 5666 0 -1 4202496 422500 0 0 0 196084 30 0 0 20 0 1 0 17266511 474927104 109618 33554432000 4194304 7402444 140721652217536 140721652212888 5754022 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 9723904 140721652225193 140721652225342 140721652225342 140721652228041 0
/proc/6506/statm: 115949 109618 696 784 0 108963 0
Current children cumulated CPU time (s) 1961.14
Current children cumulated vsize (KiB) 463796
[startup+2022.3 s]
/proc/loadavg: 2.07 2.05 1.99 3/188 6598
/proc/meminfo: memFree=29649204/32770624 swapFree=6176/1801652
[pid=6506] ppid=6503 vsize=463796 CPUtime=2021.11 cores=1,3,5,7
/proc/6506/stat : 6506 (MistralXCSP) R 6503 6506 5666 0 -1 4202496 422856 0 0 0 202081 30 0 0 20 0 1 0 17266511 474927104 109618 33554432000 4194304 7402444 140721652217536 140721652212888 4484558 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 9723904 140721652225193 140721652225342 140721652225342 140721652228041 0
/proc/6506/statm: 115949 109618 696 784 0 108963 0
Current children cumulated CPU time (s) 2021.11
Current children cumulated vsize (KiB) 463796
[startup+2082.3 s]
/proc/loadavg: 2.03 2.04 1.99 3/188 6599
/proc/meminfo: memFree=29649408/32770624 swapFree=6176/1801680
[pid=6506] ppid=6503 vsize=463796 CPUtime=2081.08 cores=1,3,5,7
/proc/6506/stat : 6506 (MistralXCSP) R 6503 6506 5666 0 -1 4202496 423165 0 0 0 208078 30 0 0 20 0 1 0 17266511 474927104 109618 33554432000 4194304 7402444 140721652217536 140721652212888 4484558 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 9723904 140721652225193 140721652225342 140721652225342 140721652228041 0
/proc/6506/statm: 115949 109618 696 784 0 108963 0
Current children cumulated CPU time (s) 2081.08
Current children cumulated vsize (KiB) 463796
[startup+2142.3 s]
/proc/loadavg: 2.01 2.03 1.99 3/188 6600
/proc/meminfo: memFree=29649448/32770624 swapFree=6176/1801708
[pid=6506] ppid=6503 vsize=463796 CPUtime=2141.04 cores=1,3,5,7
/proc/6506/stat : 6506 (MistralXCSP) R 6503 6506 5666 0 -1 4202496 423473 0 0 0 214074 30 0 0 20 0 1 0 17266511 474927104 109618 33554432000 4194304 7402444 140721652217536 140721652212888 5754037 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 9723904 140721652225193 140721652225342 140721652225342 140721652228041 0
/proc/6506/statm: 115949 109618 696 784 0 108963 0
Current children cumulated CPU time (s) 2141.04
Current children cumulated vsize (KiB) 463796
[startup+2202.31 s]
/proc/loadavg: 2.00 2.03 1.99 3/187 6601
/proc/meminfo: memFree=29649572/32770624 swapFree=6176/1801740
[pid=6506] ppid=6503 vsize=463796 CPUtime=2201.01 cores=1,3,5,7
/proc/6506/stat : 6506 (MistralXCSP) R 6503 6506 5666 0 -1 4202496 423792 0 0 0 220071 30 0 0 20 0 1 0 17266511 474927104 109618 33554432000 4194304 7402444 140721652217536 140721652212888 4484776 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 9723904 140721652225193 140721652225342 140721652225342 140721652228041 0
/proc/6506/statm: 115949 109618 696 784 0 108963 0
Current children cumulated CPU time (s) 2201.01
Current children cumulated vsize (KiB) 463796
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/187 6602
/proc/meminfo: memFree=29649400/32770624 swapFree=6176/1801768
[pid=6506] ppid=6503 vsize=463796 CPUtime=2260.97 cores=1,3,5,7
/proc/6506/stat : 6506 (MistralXCSP) R 6503 6506 5666 0 -1 4202496 424089 0 0 0 226067 30 0 0 20 0 1 0 17266511 474927104 109618 33554432000 4194304 7402444 140721652217536 140721652212888 4484571 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 9723904 140721652225193 140721652225342 140721652225342 140721652228041 0
/proc/6506/statm: 115949 109618 696 784 0 108963 0
Current children cumulated CPU time (s) 2260.97
Current children cumulated vsize (KiB) 463796
[startup+2322.3 s]
/proc/loadavg: 2.06 2.03 1.99 3/187 6664
/proc/meminfo: memFree=29650996/32770624 swapFree=6176/1801852
[pid=6506] ppid=6503 vsize=463796 CPUtime=2320.93 cores=1,3,5,7
/proc/6506/stat : 6506 (MistralXCSP) R 6503 6506 5666 0 -1 4202496 424361 0 0 0 232063 30 0 0 20 0 1 0 17266511 474927104 109618 33554432000 4194304 7402444 140721652217536 140721652212888 4484558 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 9723904 140721652225193 140721652225342 140721652225342 140721652228041 0
/proc/6506/statm: 115949 109618 696 784 0 108963 0
Current children cumulated CPU time (s) 2320.93
Current children cumulated vsize (KiB) 463796
[startup+2382.3 s]
/proc/loadavg: 1.99 2.01 1.99 3/187 6725
/proc/meminfo: memFree=29486700/32770624 swapFree=6176/1802020
[pid=6506] ppid=6503 vsize=463796 CPUtime=2380.9 cores=1,3,5,7
/proc/6506/stat : 6506 (MistralXCSP) R 6503 6506 5666 0 -1 4202496 424614 0 0 0 238060 30 0 0 20 0 1 0 17266511 474927104 109618 33554432000 4194304 7402444 140721652217536 140721652212888 4484544 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 9723904 140721652225193 140721652225342 140721652225342 140721652228041 0
/proc/6506/statm: 115949 109618 696 784 0 108963 0
Current children cumulated CPU time (s) 2380.9
Current children cumulated vsize (KiB) 463796
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.5 s]
/proc/loadavg: 1.99 2.01 1.99 3/187 6726
/proc/meminfo: memFree=29361936/32770624 swapFree=6176/1802044
[pid=6506] ppid=6503 vsize=463796 CPUtime=2400.09 cores=1,3,5,7
/proc/6506/stat : 6506 (MistralXCSP) R 6503 6506 5666 0 -1 4202496 424625 0 0 0 239979 30 0 0 20 0 1 0 17266511 474927104 109618 33554432000 4194304 7402444 140721652217536 140721652212888 5753888 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 9723904 140721652225193 140721652225342 140721652225342 140721652228041 0
/proc/6506/statm: 115949 109618 696 784 0 108963 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 463796
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 6506 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2401.5 s]
/proc/loadavg: 1.99 2.01 1.99 3/187 6726
/proc/meminfo: memFree=29361936/32770624 swapFree=6176/1802044
[pid=6506] ppid=6503 vsize=463796 CPUtime=2400.09 cores=1,3,5,7
/proc/6506/stat : 6506 (MistralXCSP) R 6503 6506 5666 0 -1 4202496 424625 0 0 0 239979 30 0 0 20 0 1 0 17266511 474927104 109618 33554432000 4194304 7402444 140721652217536 140721652212888 5753888 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 9723904 140721652225193 140721652225342 140721652225342 140721652228041 0
/proc/6506/statm: 115949 109618 696 784 0 108963 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 463796
Child status: 0
Real time (s): 2401.5
CPU time (s): 2400.1
CPU user time (s): 2399.79
CPU system time (s): 0.306824
CPU usage (%): 99.9416
Max. virtual memory (cumulated for all children) (KiB): 463796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.79
system time used= 0.306824
maximum resident set size= 440056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 424664
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= 70
involuntary context switches= 120134
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.47339 second user time and 7.45415 second system time
The end