Trace number 4242841

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: Mistral-2.0 2017-06-28? (TO) 2400.1 2401.32

General information on the benchmark

NameBinPacking/BinPacking-sum-skj2/
BinPacking-sum-n4w2b3r4.xml
MD5SUM1f09663ffd56a311acfaad7e4cbda3a4
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables3829
Number of constraints235
Number of domains2
Minimum domain size117
Maximum domain size266
Distribution of domain sizes[{"size":117,"count":1},{"size":266,"count":3828}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":1},{"degree":4,"count":3712},{"degree":5,"count":116}]
Minimum constraint arity33
Maximum constraint arity3828
Distribution of constraint arities[{"arity":33,"count":232},{"arity":117,"count":1},{"arity":3828,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"ordered","count":116},{"type":"lex","count":1},{"type":"sum","count":116},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problemYES
Type of objectivemax VAR

Solver Data 

0.00/0.00	c Mistral-2017-06-28
2400.08/2401.30	s UNKNOWN

Verifier Data


Watcher Data 

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-4242841-1500662621/watcher-4242841-1500662621 -o /tmp/evaluation-result-4242841-1500662621/solver-4242841-1500662621 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node113-1500648178-9855 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 272787137 HOME/instance-4242841-1500662621.xml 

pid=11764
running on 8 cores: 0,2,4,6,8,10,12,14

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.06 2.03 2.05 3/243 11767
/proc/meminfo: memFree=30194268/32770624 swapFree=5920/192328
[pid=11767] ppid=11764 vsize=28928 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11767/stat : 11767 (MistralXCSP) R 11764 11767 9824 0 -1 4202496 1004 0 0 0 0 0 0 0 20 0 1 0 1531045 29622272 821 33554432000 4194304 7402444 140734264225296 140734264218536 140535960214501 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 10063872 140734264231081 140734264231230 140734264231230 140734264233929 0
/proc/11767/statm: 7232 821 617 784 0 246 0

[startup+0.100183 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 11767
/proc/meminfo: memFree=30194268/32770624 swapFree=5920/192328
[pid=11767] ppid=11764 vsize=43120 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/11767/stat : 11767 (MistralXCSP) R 11764 11767 9824 0 -1 4202496 4596 0 0 0 9 0 0 0 20 0 1 0 1531045 44154880 4321 33554432000 4194304 7402444 140734264225296 140734264216936 140535960214501 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 10063872 140734264231081 140734264231230 140734264231230 140734264233929 0
/proc/11767/statm: 10780 4387 621 784 0 3794 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43120

[startup+0.200434 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 11767
/proc/meminfo: memFree=30194268/32770624 swapFree=5920/192328
[pid=11767] ppid=11764 vsize=56260 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/11767/stat : 11767 (MistralXCSP) R 11764 11767 9824 0 -1 4202496 8074 0 0 0 18 1 0 0 20 0 1 0 1531045 57610240 7731 33554432000 4194304 7402444 140734264225296 140734264215992 4731639 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 10063872 140734264231081 140734264231230 140734264231230 140734264233929 0
/proc/11767/statm: 14065 7731 689 784 0 7079 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 56260

[startup+0.300433 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 11767
/proc/meminfo: memFree=30194268/32770624 swapFree=5920/192328
[pid=11767] ppid=11764 vsize=64004 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/11767/stat : 11767 (MistralXCSP) R 11764 11767 9824 0 -1 4202496 10171 0 0 0 28 1 0 0 20 0 1 0 1531045 65540096 9602 33554432000 4194304 7402444 140734264225296 140734264216056 140535960214501 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 10063872 140734264231081 140734264231230 140734264231230 140734264233929 0
/proc/11767/statm: 16001 9667 690 784 0 9015 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 64004

[startup+0.700354 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 11767
/proc/meminfo: memFree=30194268/32770624 swapFree=5920/192328
[pid=11767] ppid=11764 vsize=87044 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/11767/stat : 11767 (MistralXCSP) R 11764 11767 9824 0 -1 4202496 15131 0 0 0 67 2 0 0 20 0 1 0 1531045 89133056 15402 33554432000 4194304 7402444 140734264225296 140734264216056 4731648 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 10063872 140734264231081 140734264231230 140734264231230 140734264233929 0
/proc/11767/statm: 21761 15402 690 784 0 14775 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 87044

[startup+1.50029 s]
/proc/loadavg: 2.06 2.03 2.05 3/244 11768
/proc/meminfo: memFree=30128356/32770624 swapFree=5920/192320
[pid=11767] ppid=11764 vsize=102756 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/11767/stat : 11767 (MistralXCSP) R 11764 11767 9824 0 -1 4202496 19206 0 0 0 146 3 0 0 20 0 1 0 1531045 105222144 19295 33554432000 4194304 7402444 140734264225296 140734264216056 4731648 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 10063872 140734264231081 140734264231230 140734264231230 140734264233929 0
/proc/11767/statm: 25689 19295 690 784 0 18703 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 102756

[startup+3.10028 s]
/proc/loadavg: 2.06 2.03 2.05 3/244 11834
/proc/meminfo: memFree=31926192/32770624 swapFree=5920/192360
[pid=11767] ppid=11764 vsize=123104 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/11767/stat : 11767 (MistralXCSP) R 11764 11767 9824 0 -1 4202496 30166 0 0 0 305 4 0 0 20 0 1 0 1531045 126058496 24394 33554432000 4194304 7402444 140734264225296 140734264216056 4731480 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 10063872 140734264231081 140734264231230 140734264231230 140734264233929 0
/proc/11767/statm: 30776 24394 690 784 0 23790 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 123104

[startup+6.30028 s]
/proc/loadavg: 2.06 2.03 2.05 3/244 11834
/proc/meminfo: memFree=31754696/32770624 swapFree=5920/192388
[pid=11767] ppid=11764 vsize=176228 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/11767/stat : 11767 (MistralXCSP) R 11764 11767 9824 0 -1 4202496 62402 0 0 0 623 6 0 0 20 0 1 0 1531045 180457472 37705 33554432000 4194304 7402444 140734264225296 140734264216056 4731648 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 10063872 140734264231081 140734264231230 140734264231230 140734264233929 0
/proc/11767/statm: 44057 37705 690 784 0 37071 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 176228

[startup+12.7003 s]
/proc/loadavg: 2.05 2.03 2.05 3/244 11834
/proc/meminfo: memFree=31663328/32770624 swapFree=5920/192372
[pid=11767] ppid=11764 vsize=223848 CPUtime=12.68 cores=0,2,4,6,8,10,12,14
/proc/11767/stat : 11767 (MistralXCSP) R 11764 11767 9824 0 -1 4202496 81090 0 0 0 1260 8 0 0 20 0 1 0 1531045 229220352 49578 33554432000 4194304 7402444 140734264225296 140734264216056 4731632 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 10063872 140734264231081 140734264231230 140734264231230 140734264233929 0
/proc/11767/statm: 55962 49578 690 784 0 48976 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 223848

[startup+25.5003 s]
/proc/loadavg: 2.12 2.04 2.05 3/244 11834
/proc/meminfo: memFree=31515404/32770624 swapFree=5920/192380
[pid=11767] ppid=11764 vsize=278884 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/11767/stat : 11767 (MistralXCSP) R 11764 11767 9824 0 -1 4202496 101444 0 0 0 2538 10 0 0 20 0 1 0 1531045 285577216 63408 33554432000 4194304 7402444 140734264225296 140734264216056 4731632 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 10063872 140734264231081 140734264231230 140734264231230 140734264233929 0
/proc/11767/statm: 69721 63408 690 784 0 62735 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 278884

[startup+51.1004 s]
/proc/loadavg: 2.08 2.04 2.05 3/244 11834
/proc/meminfo: memFree=31337216/32770624 swapFree=5920/192404
[pid=11767] ppid=11764 vsize=430692 CPUtime=51.08 cores=0,2,4,6,8,10,12,14
/proc/11767/stat : 11767 (MistralXCSP) R 11764 11767 9824 0 -1 4202496 169816 0 0 0 5092 16 0 0 20 0 1 0 1531045 441028608 101276 33554432000 4194304 7402444 140734264225296 140734264216056 4731639 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 10063872 140734264231081 140734264231230 140734264231230 140734264233929 0
/proc/11767/statm: 107673 101276 690 784 0 100687 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 430692

[startup+102.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/243 11835
/proc/meminfo: memFree=31191012/32770624 swapFree=5920/192428
[pid=11767] ppid=11764 vsize=572120 CPUtime=102.26 cores=0,2,4,6,8,10,12,14
/proc/11767/stat : 11767 (MistralXCSP) R 11764 11767 9824 0 -1 4202496 204607 0 0 0 10206 20 0 0 20 0 1 0 1531045 585850880 136676 33554432000 4194304 7402444 140734264225296 140734264216056 4731639 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 10063872 140734264231081 140734264231230 140734264231230 140734264233929 0
/proc/11767/statm: 143030 136676 690 784 0 136044 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 572120

[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 11836
/proc/meminfo: memFree=31102508/32770624 swapFree=5920/192452
[pid=11767] ppid=11764 vsize=665160 CPUtime=162.24 cores=0,2,4,6,8,10,12,14
/proc/11767/stat : 11767 (MistralXCSP) R 11764 11767 9824 0 -1 4202496 230606 0 0 0 16201 23 0 0 20 0 1 0 1531045 681123840 159936 33554432000 4194304 7402444 140734264225296 140734264216056 4731653 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 10063872 140734264231081 140734264231230 140734264231230 140734264233929 0
/proc/11767/statm: 166290 159936 690 784 0 159304 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 665160

[startup+222.308 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 11837
/proc/meminfo: memFree=31026476/32770624 swapFree=5920/192480
[pid=11767] ppid=11764 vsize=736756 CPUtime=222.24 cores=0,2,4,6,8,10,12,14
/proc/11767/stat : 11767 (MistralXCSP) R 11764 11767 9824 0 -1 4202496 251900 0 0 0 22198 26 0 0 20 0 1 0 1531045 754438144 177862 33554432000 4194304 7402444 140734264225296 140734264216056 4731648 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 10063872 140734264231081 140734264231230 140734264231230 140734264233929 0
/proc/11767/statm: 184189 177862 690 784 0 177203 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 736756

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 11838
/proc/meminfo: memFree=30567464/32770624 swapFree=5920/192504
[pid=11767] ppid=11764 vsize=1193816 CPUtime=282.22 cores=0,2,4,6,8,10,12,14
/proc/11767/stat : 11767 (MistralXCSP) R 11764 11767 9824 0 -1 4202496 356815 0 0 0 28182 40 0 0 20 0 1 0 1531045 1222467584 292116 33554432000 4194304 7402444 140734264225296 140734264216744 4340378 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 10063872 140734264231081 140734264231230 140734264231230 140734264233929 0
/proc/11767/statm: 298454 292116 690 784 0 291468 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1193816

[startup+342.3 s]
/proc/loadavg: 2.13 2.04 2.05 3/243 11839
/proc/meminfo: memFree=30567520/32770624 swapFree=5920/192540
[pid=11767] ppid=11764 vsize=1193816 CPUtime=342.2 cores=0,2,4,6,8,10,12,14
/proc/11767/stat : 11767 (MistralXCSP) R 11764 11767 9824 0 -1 4202496 362570 0 0 0 34180 40 0 0 20 0 1 0 1531045 1222467584 292116 33554432000 4194304 7402444 140734264225296 140734264216744 4731472 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 10063872 140734264231081 140734264231230 140734264231230 140734264233929 0
/proc/11767/statm: 298454 292116 690 784 0 291468 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1193816

[startup+402.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/244 11848
/proc/meminfo: memFree=30566748/32770624 swapFree=5920/192576
[pid=11767] ppid=11764 vsize=1193816 CPUtime=402.19 cores=0,2,4,6,8,10,12,14
/proc/11767/stat : 11767 (MistralXCSP) R 11764 11767 9824 0 -1 4202496 368730 0 0 0 40178 41 0 0 20 0 1 0 1531045 1222467584 292116 33554432000 4194304 7402444 140734264225296 140734264216744 4731484 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 10063872 140734264231081 140734264231230 140734264231230 140734264233929 0
/proc/11767/statm: 298454 292116 690 784 0 291468 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1193816

[startup+462.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/244 11849
/proc/meminfo: memFree=30550416/32770624 swapFree=5920/192608
[pid=11767] ppid=11764 vsize=1209872 CPUtime=462.16 cores=0,2,4,6,8,10,12,14
/proc/11767/stat : 11767 (MistralXCSP) R 11764 11767 9824 0 -1 4202496 377886 0 0 0 46175 41 0 0 20 0 1 0 1531045 1238908928 296103 33554432000 4194304 7402444 140734264225296 140734264216056 4731639 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 10063872 140734264231081 140734264231230 140734264231230 140734264233929 0
/proc/11767/statm: 302468 296103 690 784 0 295482 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1209872

[startup+522.3 s]
/proc/loadavg: 2.12 2.06 2.05 3/244 11850
/proc/meminfo: memFree=30503808/32770624 swapFree=5920/192628
[pid=11767] ppid=11764 vsize=1256828 CPUtime=522.14 cores=0,2,4,6,8,10,12,14
/proc/11767/stat : 11767 (MistralXCSP) R 11764 11767 9824 0 -1 4202496 390731 0 0 0 52171 43 0 0 20 0 1 0 1531045 1286991872 307870 33554432000 4194304 7402444 140734264225296 140734264216056 4731632 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 10063872 140734264231081 140734264231230 140734264231230 140734264233929 0
/proc/11767/statm: 314207 307870 690 784 0 307221 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 1256828

[startup+582.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/244 11851
/proc/meminfo: memFree=30463848/32770624 swapFree=5920/192656
[pid=11767] ppid=11764 vsize=1296820 CPUtime=582.11 cores=0,2,4,6,8,10,12,14
/proc/11767/stat : 11767 (MistralXCSP) R 11764 11767 9824 0 -1 4202496 401123 0 0 0 58167 44 0 0 20 0 1 0 1531045 1327943680 317868 33554432000 4194304 7402444 140734264225296 140734264216056 4731653 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 10063872 140734264231081 140734264231230 140734264231230 140734264233929 0
/proc/11767/statm: 324205 317868 690 784 0 317219 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 1296820


################
# More data... #
################

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11898
/proc/meminfo: memFree=29941640/32770624 swapFree=5920/193132
[pid=11767] ppid=11764 vsize=1819172 CPUtime=1541.57 cores=0,2,4,6,8,10,12,14
/proc/11767/stat : 11767 (MistralXCSP) R 11764 11767 9824 0 -1 4202496 675684 0 0 0 154092 65 0 0 20 0 1 0 1531045 1862832128 448530 33554432000 4194304 7402444 140734264225296 140734264220472 5327204 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 10063872 140734264231081 140734264231230 140734264231230 140734264233929 0
/proc/11767/statm: 454793 448530 765 784 0 447807 0
Current children cumulated CPU time (s) 1541.57
Current children cumulated vsize (KiB) 1819172

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 11908
/proc/meminfo: memFree=29941204/32770624 swapFree=5920/193164
[pid=11767] ppid=11764 vsize=1819172 CPUtime=1601.53 cores=0,2,4,6,8,10,12,14
/proc/11767/stat : 11767 (MistralXCSP) R 11764 11767 9824 0 -1 4202496 696510 0 0 0 160087 66 0 0 20 0 1 0 1531045 1862832128 448530 33554432000 4194304 7402444 140734264225296 140734264220472 5327204 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 10063872 140734264231081 140734264231230 140734264231230 140734264233929 0
/proc/11767/statm: 454793 448530 765 784 0 447807 0
Current children cumulated CPU time (s) 1601.53
Current children cumulated vsize (KiB) 1819172

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 11909
/proc/meminfo: memFree=29941136/32770624 swapFree=5920/193188
[pid=11767] ppid=11764 vsize=1819172 CPUtime=1661.5 cores=0,2,4,6,8,10,12,14
/proc/11767/stat : 11767 (MistralXCSP) R 11764 11767 9824 0 -1 4202496 717112 0 0 0 166083 67 0 0 20 0 1 0 1531045 1862832128 448530 33554432000 4194304 7402444 140734264225296 140734264220472 5327213 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 10063872 140734264231081 140734264231230 140734264231230 140734264233929 0
/proc/11767/statm: 454793 448530 765 784 0 447807 0
Current children cumulated CPU time (s) 1661.5
Current children cumulated vsize (KiB) 1819172

[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/245 11910
/proc/meminfo: memFree=29929012/32770624 swapFree=5920/193216
[pid=11767] ppid=11764 vsize=1829728 CPUtime=1721.45 cores=0,2,4,6,8,10,12,14
/proc/11767/stat : 11767 (MistralXCSP) R 11764 11767 9824 0 -1 4202496 742778 0 0 0 172076 69 0 0 20 0 1 0 1531045 1873641472 451171 33554432000 4194304 7402444 140734264225296 140734264219864 5327204 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 10063872 140734264231081 140734264231230 140734264231230 140734264233929 0
/proc/11767/statm: 457432 451171 767 784 0 450446 0
Current children cumulated CPU time (s) 1721.45
Current children cumulated vsize (KiB) 1829728

[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/245 11911
/proc/meminfo: memFree=29928776/32770624 swapFree=5920/193240
[pid=11767] ppid=11764 vsize=1829728 CPUtime=1781.4 cores=0,2,4,6,8,10,12,14
/proc/11767/stat : 11767 (MistralXCSP) R 11764 11767 9824 0 -1 4202496 757668 0 0 0 178070 70 0 0 20 0 1 0 1531045 1873641472 451171 33554432000 4194304 7402444 140734264225296 140734264219864 5327213 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 10063872 140734264231081 140734264231230 140734264231230 140734264233929 0
/proc/11767/statm: 457432 451171 767 784 0 450446 0
Current children cumulated CPU time (s) 1781.4
Current children cumulated vsize (KiB) 1829728

[startup+1842.3 s]
/proc/loadavg: 2.09 2.03 2.05 3/245 11912
/proc/meminfo: memFree=29928964/32770624 swapFree=5920/193276
[pid=11767] ppid=11764 vsize=1829728 CPUtime=1841.36 cores=0,2,4,6,8,10,12,14
/proc/11767/stat : 11767 (MistralXCSP) R 11764 11767 9824 0 -1 4202496 763226 0 0 0 184066 70 0 0 20 0 1 0 1531045 1873641472 451171 33554432000 4194304 7402444 140734264225296 140734264219864 5327336 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 10063872 140734264231081 140734264231230 140734264231230 140734264233929 0
/proc/11767/statm: 457432 451171 767 784 0 450446 0
Current children cumulated CPU time (s) 1841.36
Current children cumulated vsize (KiB) 1829728

[startup+1902.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 11913
/proc/meminfo: memFree=29929096/32770624 swapFree=5920/193300
[pid=11767] ppid=11764 vsize=1829728 CPUtime=1901.33 cores=0,2,4,6,8,10,12,14
/proc/11767/stat : 11767 (MistralXCSP) R 11764 11767 9824 0 -1 4202496 766445 0 0 0 190062 71 0 0 20 0 1 0 1531045 1873641472 451171 33554432000 4194304 7402444 140734264225296 140734264219864 5327250 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 10063872 140734264231081 140734264231230 140734264231230 140734264233929 0
/proc/11767/statm: 457432 451171 767 784 0 450446 0
Current children cumulated CPU time (s) 1901.33
Current children cumulated vsize (KiB) 1829728

[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11914
/proc/meminfo: memFree=29929800/32770624 swapFree=5920/193324
[pid=11767] ppid=11764 vsize=1829728 CPUtime=1961.29 cores=0,2,4,6,8,10,12,14
/proc/11767/stat : 11767 (MistralXCSP) R 11764 11767 9824 0 -1 4202496 767760 0 0 0 196058 71 0 0 20 0 1 0 1531045 1873641472 451171 33554432000 4194304 7402444 140734264225296 140734264219864 5327213 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 10063872 140734264231081 140734264231230 140734264231230 140734264233929 0
/proc/11767/statm: 457432 451171 767 784 0 450446 0
Current children cumulated CPU time (s) 1961.29
Current children cumulated vsize (KiB) 1829728

[startup+2022.3 s]
/proc/loadavg: 2.13 2.05 2.05 3/243 11915
/proc/meminfo: memFree=29929404/32770624 swapFree=5920/193352
[pid=11767] ppid=11764 vsize=1829728 CPUtime=2021.26 cores=0,2,4,6,8,10,12,14
/proc/11767/stat : 11767 (MistralXCSP) R 11764 11767 9824 0 -1 4202496 768502 0 0 0 202055 71 0 0 20 0 1 0 1531045 1873641472 451171 33554432000 4194304 7402444 140734264225296 140734264219864 5327204 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 10063872 140734264231081 140734264231230 140734264231230 140734264233929 0
/proc/11767/statm: 457432 451171 767 784 0 450446 0
Current children cumulated CPU time (s) 2021.26
Current children cumulated vsize (KiB) 1829728

[startup+2082.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/243 11916
/proc/meminfo: memFree=29929156/32770624 swapFree=5920/193376
[pid=11767] ppid=11764 vsize=1829728 CPUtime=2081.24 cores=0,2,4,6,8,10,12,14
/proc/11767/stat : 11767 (MistralXCSP) R 11764 11767 9824 0 -1 4202496 769222 0 0 0 208053 71 0 0 20 0 1 0 1531045 1873641472 451171 33554432000 4194304 7402444 140734264225296 140734264219864 5327213 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 10063872 140734264231081 140734264231230 140734264231230 140734264233929 0
/proc/11767/statm: 457432 451171 767 784 0 450446 0
Current children cumulated CPU time (s) 2081.24
Current children cumulated vsize (KiB) 1829728

[startup+2142.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/243 11917
/proc/meminfo: memFree=29919732/32770624 swapFree=5920/193412
[pid=11767] ppid=11764 vsize=1839648 CPUtime=2141.21 cores=0,2,4,6,8,10,12,14
/proc/11767/stat : 11767 (MistralXCSP) R 11764 11767 9824 0 -1 4202496 771210 0 0 0 214049 72 0 0 20 0 1 0 1531045 1883799552 453651 33554432000 4194304 7402444 140734264225296 140734264219992 4239179 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 10063872 140734264231081 140734264231230 140734264231230 140734264233929 0
/proc/11767/statm: 459912 453651 767 784 0 452926 0
Current children cumulated CPU time (s) 2141.21
Current children cumulated vsize (KiB) 1839648

[startup+2202.31 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 11925
/proc/meminfo: memFree=29919084/32770624 swapFree=5920/193444
[pid=11767] ppid=11764 vsize=1839648 CPUtime=2201.19 cores=0,2,4,6,8,10,12,14
/proc/11767/stat : 11767 (MistralXCSP) R 11764 11767 9824 0 -1 4202496 772173 0 0 0 220047 72 0 0 20 0 1 0 1531045 1883799552 453651 33554432000 4194304 7402444 140734264225296 140734264219992 4747176 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 10063872 140734264231081 140734264231230 140734264231230 140734264233929 0
/proc/11767/statm: 459912 453651 767 784 0 452926 0
Current children cumulated CPU time (s) 2201.19
Current children cumulated vsize (KiB) 1839648

[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 11926
/proc/meminfo: memFree=29919828/32770624 swapFree=5920/193472
[pid=11767] ppid=11764 vsize=1839648 CPUtime=2261.15 cores=0,2,4,6,8,10,12,14
/proc/11767/stat : 11767 (MistralXCSP) R 11764 11767 9824 0 -1 4202496 773108 0 0 0 226043 72 0 0 20 0 1 0 1531045 1883799552 453651 33554432000 4194304 7402444 140734264225296 140734264219992 4709390 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 10063872 140734264231081 140734264231230 140734264231230 140734264233929 0
/proc/11767/statm: 459912 453651 767 784 0 452926 0
Current children cumulated CPU time (s) 2261.15
Current children cumulated vsize (KiB) 1839648

[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 11927
/proc/meminfo: memFree=29919908/32770624 swapFree=5920/193496
[pid=11767] ppid=11764 vsize=1839648 CPUtime=2321.12 cores=0,2,4,6,8,10,12,14
/proc/11767/stat : 11767 (MistralXCSP) R 11764 11767 9824 0 -1 4202496 774126 0 0 0 232040 72 0 0 20 0 1 0 1531045 1883799552 453651 33554432000 4194304 7402444 140734264225296 140734264219992 5327250 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 10063872 140734264231081 140734264231230 140734264231230 140734264233929 0
/proc/11767/statm: 459912 453651 767 784 0 452926 0
Current children cumulated CPU time (s) 2321.12
Current children cumulated vsize (KiB) 1839648

[startup+2382.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 11928
/proc/meminfo: memFree=29918316/32770624 swapFree=5920/193520
[pid=11767] ppid=11764 vsize=1839648 CPUtime=2381.09 cores=0,2,4,6,8,10,12,14
/proc/11767/stat : 11767 (MistralXCSP) R 11764 11767 9824 0 -1 4202496 774838 0 0 0 238037 72 0 0 20 0 1 0 1531045 1883799552 453651 33554432000 4194304 7402444 140734264225296 140734264219992 5327213 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 10063872 140734264231081 140734264231230 140734264231230 140734264233929 0
/proc/11767/statm: 459912 453651 767 784 0 452926 0
Current children cumulated CPU time (s) 2381.09
Current children cumulated vsize (KiB) 1839648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2401.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/243 11928
/proc/meminfo: memFree=29918688/32770624 swapFree=5920/193528
[pid=11767] ppid=11764 vsize=1839648 CPUtime=2400.08 cores=0,2,4,6,8,10,12,14
/proc/11767/stat : 11767 (MistralXCSP) R 11764 11767 9824 0 -1 4202496 775003 0 0 0 239936 72 0 0 20 0 1 0 1531045 1883799552 453651 33554432000 4194304 7402444 140734264225296 140734264219992 5327208 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 10063872 140734264231081 140734264231230 140734264231230 140734264233929 0
/proc/11767/statm: 459912 453651 767 784 0 452926 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 1839648

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 11767 sig 9
??? kill -11767 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2401.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/243 11928
/proc/meminfo: memFree=29918688/32770624 swapFree=5920/193528
[pid=11767] ppid=11764 vsize=1839648 CPUtime=2400.08 cores=0,2,4,6,8,10,12,14
/proc/11767/stat : 11767 (MistralXCSP) R 11764 11767 9824 0 -1 4202496 775003 0 0 0 239936 72 0 0 20 0 1 0 1531045 1883799552 453651 33554432000 4194304 7402444 140734264225296 140734264219992 5327208 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 10063872 140734264231081 140734264231230 140734264231230 140734264233929 0
/proc/11767/statm: 459912 453651 767 784 0 452926 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 1839648

Child status: 0
Real time (s): 2401.32
CPU time (s): 2400.1
CPU user time (s): 2399.37
CPU system time (s): 0.730649
CPU usage (%): 99.9494
Max. virtual memory (cumulated for all children) (KiB): 1839648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.37
system time used= 0.730649
maximum resident set size= 1814628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 775034
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= 93
involuntary context switches= 121194

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.25126 second user time and 11.9951 second system time

The end

Launcher Data 

Begin job on node113 at 2017-07-21 20:43:41
IDJOB=4242841
IDBENCH=137526
IDSOLVER=2622
FILE ID=node113/4242841-1500662621
RUNJOBID= node113-1500648178-9855
PBS_JOBID= 20623305
Free space on /tmp= 62008 MiB

SOLVER NAME= Mistral-2.0 2017-06-28
BENCH NAME= XCSP17/BinPacking/BinPacking-sum-skj2/BinPacking-sum-n4w2b3r4.xml
COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242841-1500662621/watcher-4242841-1500662621 -o /tmp/evaluation-result-4242841-1500662621/solver-4242841-1500662621 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node113-1500648178-9855 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 272787137 HOME/instance-4242841-1500662621.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 1f09663ffd56a311acfaad7e4cbda3a4
RANDOM SEED=272787137

node113.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2400.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30195076 kB
MemAvailable:   30200020 kB
Buffers:           34956 kB
Cached:           280192 kB
SwapCached:            0 kB
Active:          1996800 kB
Inactive:         200912 kB
Active(anon):    1885480 kB
Inactive(anon):     8584 kB
Active(file):     111320 kB
Inactive(file):   192328 kB
Unevictable:        5920 kB
Mlocked:            5920 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              5892 kB
Writeback:             0 kB
AnonPages:       1904864 kB
Mapped:            31876 kB
Shmem:              8848 kB
Slab:              66720 kB
SReclaimable:      34260 kB
SUnreclaim:        32460 kB
KernelStack:        4560 kB
PageTables:         8608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2153328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1845248 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      148864 kB
DirectMap2M:    33396736 kB

Free space on /tmp at the end= 62008 MiB
End job on node113 at 2017-07-21 21:23:42