Trace number 4079772
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:
-
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.
-
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.
-
CONVERSION SCRIPT DATA (Optionnal)
When a conversion script is used, this section shows the messages that were output by the conversion script.
-
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.
-
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 Name | Answer | objective function | CPU time | Wall clock time |
|---|
| toysat 2016-05-02 | OPT | 307 | 1.03384 | 1.0365 |
General information on the benchmark
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=307-Q=347.opb |
| MD5SUM | ce98d8342453d844bc23af1b3346d7ac |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 307 |
| Best CPU time to get the best result obtained on this benchmark | 0.025995 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 307 |
| Optimality of the best value was proved | YES |
| Number of variables | 99 |
| Total number of constraints | 244 |
| Number of constraints which are clauses | 243 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 81 |
| Number of terms in the objective function | 9 |
| Biggest coefficient in the objective function | 256 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 511 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 106529 |
| Number of bits of the biggest number in a constraint | 17 |
| Biggest sum of numbers in a constraint | 367650 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
Solver Data
0.00/0.00 c 2016-06-06T21:44:16+0200
0.00/0.00 c version = 0.5.0
0.00/0.00 c githash = 1a49202
0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00 c arch = x86_64
0.00/0.00 c os = linux
0.00/0.00 c compiler = ghc 7.10
0.00/0.00 c packages:
0.00/0.00 c OptDir-0.0.3
0.00/0.00 c array-0.5.1.0
0.00/0.00 c base-4.8.2.0
0.00/0.00 c bytestring-0.10.6.0
0.00/0.00 c bytestring-builder-0.10.6.0.0
0.00/0.00 c clock-0.7.2
0.00/0.00 c containers-0.5.6.2
0.00/0.00 c data-default-0.5.3
0.00/0.00 c data-default-class-0.0.1
0.00/0.00 c data-interval-1.2.0
0.00/0.00 c deepseq-1.4.1.1
0.00/0.00 c directory-1.2.2.0
0.00/0.00 c exceptions-0.8.2.1
0.00/0.00 c extended-reals-0.2.1.0
0.00/0.00 c filepath-1.4.0.0
0.00/0.00 c finite-field-0.8.0
0.00/0.00 c hashable-1.2.4.0
0.00/0.00 c heaps-0.3.3
0.00/0.00 c intern-0.9.1.4
0.00/0.00 c loop-0.3.0
0.00/0.00 c mtl-2.2.1
0.00/0.00 c multiset-0.3.2
0.00/0.00 c mwc-random-0.13.3.2
0.00/0.00 c parse_dimacs-1.3
0.00/0.00 c parsec-3.1.9
0.00/0.00 c prettyclass-1.0.0.0
0.00/0.00 c primes-0.2.1.0
0.00/0.00 c primitive-0.6.1.0
0.00/0.00 c process-1.2.3.0
0.00/0.00 c pseudo-boolean-0.1.3.0
0.00/0.01 c queue-0.1.2
0.00/0.01 c semigroups-0.18.1
0.00/0.01 c sign-0.4.3
0.00/0.01 c stm-2.4.4.1
0.00/0.01 c template-haskell-2.10.0.0
0.00/0.01 c temporary-1.2.0.4
0.00/0.01 c time-1.5.0.1
0.00/0.01 c transformers-0.4.2.0
0.00/0.01 c transformers-compat-0.5.1.4
0.00/0.01 c type-level-numbers-0.1.1.1
0.00/0.01 c unbounded-delays-0.1.0.9
0.00/0.01 c unordered-containers-0.2.6.0
0.00/0.01 c vector-0.11.0.0
0.00/0.01 c vector-space-0.10.3
0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079772-1465242256.opb"]
0.00/0.01 c use --random-gen="3616105915 4085252396 3420597996 3445478459 1426646259 242625523 48468189 97575763 2168642590 3469882259 1327127836 292896148 1380263893 2178407626 788478288 594975176 147350612 2943568907 36826751 1621664802 1027446746 4065041556 1358097599 2394315984 550133553 1691690840 1046694505 1348629392 3550048260 1309305808 1531771846 4117974486 2746960594 366578314 3270051900 3250376189 2350972601 171967568 285420300 3955736868 2373334610 2644622727 1736187917 1773657005 251823233 429344025 1285739444 4211621031 2970587560 3216907494 584425658 754981962 4075394358 2563182713 3638939357 3249903686 3520247665 1666327447 288946112 830368548 2034618417 2418684519 2789672519 1721806354 177339503 399038894 2353072574 2220378119 3215495126 1734465383 3194141318 1898183428 3284683244 2636159658 1205806921 1789173871 3563969641 3352619411 2506892707 1589118968 2904181310 2559191041 3731655387 1624435723 1933852541 220486702 1548103082 2659538602 465793388 1008940316 3855586560 2204167885 3149684951 1870168676 1268738993 1895660848 3115653209 1527126240 3387093829 1717971703 2501646684 1620453086 2370889543 961163491 702409627 3777280445 1237294301 1445021930 26967900 3891317337 2361905601 969151458 214673117 3373008634 4181513987 464992225 582919952 2119011080 1942077710 1258720254 3476838666 3390732216 178819667 130219748 3025148064 3458279735 3235537555 2242872848 1636971776 1048461025 2576180306 3046957636 219377345 76416389 2967108121 3549698212 111049040 3444357279 1843949058 2951921063 3685227792 162537615 2429275063 3219752230 1845069838 3473459129 1898273888 1684060161 2367342269 929629525 2813393306 2295748630 3028355493 3338740333 2069535373 1666606586 1590288885 2542400929 2483454874 3344462897 3892432438 3028754325 3374735504 2343018483 1980983447 391508053 1776660123 96670729 4099458307 597382892 3288646075 804503775 1347109616 82145999 3877941342 3873289231 1312177481 1084012818 783933280 2351331218 3906485934 1473460711 1351581422 3818647542 4207204787 1882967267 2205825689 2290400637 3921035595 2066231744 1521931330 661307601 3816383938 2718151076 2389448121 689629540 450223572 4021756049 1989293202 1084130266 4044419582 2350382020 1013867524 1930586579 4192059335 1469006886 728462614 606988784 3996428610 3354370680 3706472998 1705310656 2695859249 2404547390 4084949972 3837867641 3420878948 3542083633 3925070025 1516908127 3015741210 321871148 2821810545 1433833059 71643500 4046563976 2637276274 3512574701 3224410892 1347621105 2196229102 3268042232 1779505061 147218883 2016084032 1472080152 1390198357 793357527 1296599319 3130699973 25340144 3103165962 2660808865 3792662495 2723717079 603741951 2759236347 4012280345 3013985392 3447916013 2690270193 3424602750 3114763967 4024944971 1244460080 744177780 255 362436" option to reproduce the execution
0.00/0.01 c #vars 99
0.00/0.01 c #constraints 244
0.89/0.92 c BCD2: Hardening is enabled.
0.89/0.92 c BCD2: BiasedSearch is enabled.
0.89/0.92 c Solving starts ...
0.89/0.92 c ============================[ Search Statistics ]============================
0.89/0.92 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.92 c | | | | Limit GC | Var | Constra
0.89/0.92 c =============================================================================
0.89/0.92 c 0.0s | 0 | 0 | 0 | 114 0 | 0 | 0
0.89/0.94 c 0.0s | 0 | 96 | 87 | 114 0 | 0 | 0
0.89/0.94 c #cpu_time = 0.015s
0.89/0.94 c #wall_clock_time = 0.015s
0.89/0.94 c #decision = 96
0.89/0.94 c #random_decision = 0
0.89/0.94 c #conflict = 87
0.89/0.94 c #restart = 0
0.89/0.94 o 307
0.89/0.94 c BCD2: updating upper bound: 511 -> 306
0.89/0.94 c BCD2: 0 <= obj <= 306
0.89/0.94 c BCD2: #cores=0, #unrelaxed=9, #relaxed=0, #hardened=0
0.89/0.94 c BCD2: #sat=1 #unsat=1 bias=1/2
0.89/0.94 c Solving starts ...
0.89/0.94 c ============================[ Search Statistics ]============================
0.89/0.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.94 c | | | | Limit GC | Var | Constra
0.89/0.94 c =============================================================================
0.89/0.94 c 0.0s | 0 | 0 | 0 | 114 0 | 0 | 0
0.89/0.94 c 0.0s | 0 | 1 | 0 | 114 0 | 0 | 0
0.89/0.94 c #cpu_time = 0.000s
0.89/0.94 c #wall_clock_time = 0.000s
0.89/0.94 c #decision = 1
0.89/0.94 c #random_decision = 0
0.89/0.94 c #conflict = 0
0.89/0.94 c #restart = 0
0.89/0.94 c BCD2: found a new core of size 2: cost of the new core is >=128
0.89/0.94 c lower bound updated to 128
0.89/0.94 c BCD2: 128 <= obj <= 306
0.89/0.94 c BCD2: #cores=1, #unrelaxed=7, #relaxed=2, #hardened=0
0.89/0.94 c BCD2: #sat=1 #unsat=2 bias=2/3
0.89/0.94 c Solving starts ...
0.89/0.94 c ============================[ Search Statistics ]============================
0.89/0.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.94 c | | | | Limit GC | Var | Constra
0.89/0.94 c =============================================================================
0.89/0.94 c 0.0s | 0 | 0 | 0 | 114 0 | 0 | 0
0.89/0.94 c 0.0s | 0 | 2 | 1 | 114 0 | 0 | 0
0.89/0.94 c #cpu_time = 0.000s
0.89/0.94 c #wall_clock_time = 0.000s
0.89/0.94 c #decision = 2
0.89/0.94 c #random_decision = 0
0.89/0.94 c #conflict = 1
0.89/0.94 c #restart = 0
0.89/0.94 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=192
0.89/0.94 c lower bound updated to 192
0.89/0.94 c BCD2: 192 <= obj <= 306
0.89/0.94 c BCD2: #cores=1, #unrelaxed=6, #relaxed=3, #hardened=0
0.89/0.94 c BCD2: #sat=1 #unsat=3 bias=3/4
0.89/0.94 c Solving starts ...
0.89/0.94 c ============================[ Search Statistics ]============================
0.89/0.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.94 c | | | | Limit GC | Var | Constra
0.89/0.94 c =============================================================================
0.89/0.94 c 0.0s | 0 | 0 | 0 | 114 0 | 1 | 0
0.89/0.94 c 0.0s | 0 | 3 | 1 | 114 0 | 1 | 1
0.89/0.94 c #cpu_time = 0.001s
0.89/0.94 c #wall_clock_time = 0.001s
0.89/0.94 c #decision = 3
0.89/0.94 c #random_decision = 0
0.89/0.94 c #conflict = 1
0.89/0.94 c #restart = 0
0.89/0.94 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=208
0.89/0.94 c lower bound updated to 208
0.89/0.94 c BCD2: 208 <= obj <= 306
0.89/0.94 c BCD2: #cores=1, #unrelaxed=4, #relaxed=5, #hardened=0
0.89/0.94 c BCD2: #sat=1 #unsat=4 bias=4/5
0.89/0.94 c Solving starts ...
0.89/0.94 c ============================[ Search Statistics ]============================
0.89/0.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.94 c | | | | Limit GC | Var | Constra
0.89/0.94 c =============================================================================
0.89/0.94 c 0.0s | 0 | 0 | 0 | 114 0 | 2 | 1
0.89/0.95 c 0.0s | 0 | 19 | 15 | 126 0 | 2 | 2
0.89/0.95 c #cpu_time = 0.003s
0.89/0.95 c #wall_clock_time = 0.003s
0.89/0.95 c #decision = 19
0.89/0.95 c #random_decision = 0
0.89/0.95 c #conflict = 15
0.89/0.95 c #restart = 0
0.89/0.95 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 9: cost of the new core is >=209
0.89/0.95 c lower bound updated to 209
0.89/0.95 c BCD2: 209 <= obj <= 306
0.89/0.95 c BCD2: #cores=1, #unrelaxed=0, #relaxed=9, #hardened=0
0.89/0.95 c BCD2: #sat=1 #unsat=5 bias=5/6
0.89/0.95 c Solving starts ...
0.89/0.95 c ============================[ Search Statistics ]============================
0.89/0.95 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.95 c | | | | Limit GC | Var | Constra
0.89/0.95 c =============================================================================
0.89/0.95 c 0.0s | 0 | 0 | 0 | 126 0 | 3 | 2
0.89/0.97 c 0.0s | 1 | 112 | 100 | 126 1 | 3 | 3
0.89/0.97 c 0.0s | 1 | 160 | 145 | 126 1 | 27 | 79
0.89/0.97 c #cpu_time = 0.025s
0.89/0.97 c #wall_clock_time = 0.025s
0.89/0.97 c #decision = 160
0.89/0.97 c #random_decision = 0
0.89/0.97 c #conflict = 145
0.89/0.97 c #restart = 1
0.89/0.97 c BCD2: updating lower bound of a core
0.89/0.97 c lower bound updated to 291
0.89/0.97 c BCD2: 291 <= obj <= 306
0.89/0.97 c BCD2: #cores=1, #unrelaxed=0, #relaxed=9, #hardened=0
0.89/0.97 c BCD2: #sat=1 #unsat=6 bias=6/7
0.89/0.97 c Solving starts ...
0.89/0.97 c ============================[ Search Statistics ]============================
0.89/0.97 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.97 c | | | | Limit GC | Var | Constra
0.89/0.97 c =============================================================================
0.89/0.97 c 0.0s | 0 | 0 | 0 | 126 0 | 40 | 79
0.89/0.98 c 0.0s | 0 | 14 | 12 | 139 0 | 76 | 201
0.89/0.98 c #cpu_time = 0.003s
0.89/0.98 c #wall_clock_time = 0.003s
0.89/0.98 c #decision = 14
0.89/0.98 c #random_decision = 0
0.89/0.98 c #conflict = 12
0.89/0.98 c #restart = 0
0.89/0.98 c BCD2: updating lower bound of a core
0.89/0.98 c lower bound updated to 305
0.89/0.98 c BCD2: 305 <= obj <= 306
0.89/0.98 c BCD2: #cores=1, #unrelaxed=0, #relaxed=9, #hardened=0
0.89/0.98 c BCD2: #sat=1 #unsat=7 bias=7/8
0.89/0.98 c Solving starts ...
0.89/0.98 c ============================[ Search Statistics ]============================
0.89/0.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.98 c | | | | Limit GC | Var | Constra
0.89/0.98 c =============================================================================
0.89/0.98 c 0.0s | 0 | 0 | 0 | 139 0 | 76 | 201
0.89/0.98 c 0.0s | 0 | 2 | 2 | 139 0 | 104 | 201
0.89/0.98 c #cpu_time = 0.000s
0.89/0.98 c #wall_clock_time = 0.000s
0.89/0.98 c #decision = 2
0.89/0.98 c #random_decision = 0
0.89/0.98 c #conflict = 2
0.89/0.98 c #restart = 0
0.89/0.98 c lower bound updated to 307
0.89/0.98 s OPTIMUM FOUND
0.89/0.98 v x1 x2 -x3 -x4 x5 x6 -x7 -x8 x9 x10
0.89/0.98 v x11 -x12 x13 x14 -x15 x16 -x17 x18 x19 x20
0.89/0.98 v -x21 x22 x23 -x24 x25 -x26 x27 x28 x29 -x30
0.89/0.98 v x31 x32 -x33 x34 -x35 x36 -x37 -x38 -x39 -x40
0.89/0.98 v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
0.89/0.98 v -x51 -x52 -x53 -x54 x55 x56 -x57 x58 x59 -x60
0.89/0.98 v x61 -x62 x63 x64 x65 -x66 x67 x68 -x69 x70
0.89/0.98 v -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
0.89/0.98 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
0.89/0.98 v x91 x92 -x93 x94 x95 -x96 x97 -x98 x99
0.89/0.98 c total CPU time = 0.978s
0.89/0.98 c total wall clock time = 0.981s
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-4079772-1465242256/watcher-4079772-1465242256 -o /tmp/evaluation-result-4079772-1465242256/solver-4079772-1465242256 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25906 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079772-1465242256.opb
pid=32305
running on 8 cores: 4-7,12-15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.23 2.08 2.02 3/261 32308
/proc/meminfo: memFree=29816860/32872528 swapFree=9196/9196
[pid=32308] ppid=32305 vsize=1116604 CPUtime=0 cores=4-7,12-15
/proc/32308/stat : 32308 (toysat) R 32305 32308 25889 0 -1 4202496 4232 0 0 0 0 0 0 0 20 0 4 0 106067579 1143402496 4592 33554432000 4194304 16246674 140736805689776 140736805689200 13880264 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/32308/statm: 279663 4603 441 2943 0 276557 0
[pid=32308/tid=32309] ppid=32305 vsize=1139132 CPUtime=0 cores=4-7,12-15
/proc/32308/task/32309/stat : 32309 (toysat) S 32305 32308 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106067579 1166471168 4683 33554432000 4194304 16246674 140736805689776 140658742373616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=32308/tid=32310] ppid=32305 vsize=1144252 CPUtime=0 cores=4-7,12-15
/proc/32308/task/32310/stat : 32310 (toysat) S 32305 32308 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106067579 1171714048 4701 33554432000 4194304 16246674 140736805689776 140658731883760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=32308/tid=32311] ppid=32305 vsize=1148348 CPUtime=0 cores=4-7,12-15
/proc/32308/task/32311/stat : 32311 (toysat) S 32305 32308 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106067579 1175908352 4718 33554432000 4194304 16246674 140736805689776 140658721410224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
[startup+0.100166 s]
/proc/loadavg: 2.23 2.08 2.02 3/261 32308
/proc/meminfo: memFree=29816860/32872528 swapFree=9196/9196
[pid=32308] ppid=32305 vsize=1218116 CPUtime=0.09 cores=4-7,12-15
/proc/32308/stat : 32308 (toysat) R 32305 32308 25889 0 -1 4202496 31358 0 0 0 4 5 0 0 20 0 4 0 106067579 1247350784 31709 33554432000 4194304 16246674 140736805689776 140736805689200 12654121 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/32308/statm: 304529 31721 640 2943 0 301423 0
[pid=32308/tid=32309] ppid=32305 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32308/task/32309/stat : 32309 (toysat) S 32305 32308 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106067579 1247350784 31731 33554432000 4194304 16246674 140736805689776 140658742373616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=32308/tid=32310] ppid=32305 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32308/task/32310/stat : 32310 (toysat) S 32305 32308 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106067579 1247350784 31742 33554432000 4194304 16246674 140736805689776 140658731883760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=32308/tid=32311] ppid=32305 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32308/task/32311/stat : 32311 (toysat) S 32305 32308 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106067579 1247350784 31752 33554432000 4194304 16246674 140736805689776 140658721410224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116
[startup+0.200493 s]
/proc/loadavg: 2.23 2.08 2.02 3/261 32308
/proc/meminfo: memFree=29816860/32872528 swapFree=9196/9196
[pid=32308] ppid=32305 vsize=1218116 CPUtime=0.19 cores=4-7,12-15
/proc/32308/stat : 32308 (toysat) R 32305 32308 25889 0 -1 4202496 55933 0 0 0 11 8 0 0 20 0 4 0 106067579 1247350784 56284 33554432000 4194304 16246674 140736805689776 140736805689200 12655109 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/32308/statm: 304529 56298 640 2943 0 301423 0
[pid=32308/tid=32309] ppid=32305 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32308/task/32309/stat : 32309 (toysat) S 32305 32308 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106067579 1247350784 56306 33554432000 4194304 16246674 140736805689776 140658742373616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=32308/tid=32310] ppid=32305 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32308/task/32310/stat : 32310 (toysat) S 32305 32308 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106067579 1247350784 56316 33554432000 4194304 16246674 140736805689776 140658731883760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=32308/tid=32311] ppid=32305 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32308/task/32311/stat : 32311 (toysat) S 32305 32308 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106067579 1247350784 56326 33554432000 4194304 16246674 140736805689776 140658721410224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116
[startup+0.300482 s]
/proc/loadavg: 2.23 2.08 2.02 3/261 32308
/proc/meminfo: memFree=29816860/32872528 swapFree=9196/9196
[pid=32308] ppid=32305 vsize=1218116 CPUtime=0.29 cores=4-7,12-15
/proc/32308/stat : 32308 (toysat) R 32305 32308 25889 0 -1 4202496 79543 0 0 0 18 11 0 0 20 0 4 0 106067579 1247350784 79894 33554432000 4194304 16246674 140736805689776 140736805689200 12653060 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/32308/statm: 304529 79901 640 2943 0 301423 0
[pid=32308/tid=32309] ppid=32305 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32308/task/32309/stat : 32309 (toysat) S 32305 32308 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106067579 1247350784 79907 33554432000 4194304 16246674 140736805689776 140658742373616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=32308/tid=32310] ppid=32305 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32308/task/32310/stat : 32310 (toysat) S 32305 32308 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106067579 1247350784 79913 33554432000 4194304 16246674 140736805689776 140658731883760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=32308/tid=32311] ppid=32305 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32308/task/32311/stat : 32311 (toysat) S 32305 32308 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106067579 1247350784 79919 33554432000 4194304 16246674 140736805689776 140658721410224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116
[startup+0.700353 s]
/proc/loadavg: 2.23 2.08 2.02 3/261 32308
/proc/meminfo: memFree=29816860/32872528 swapFree=9196/9196
[pid=32308] ppid=32305 vsize=1218116 CPUtime=0.69 cores=4-7,12-15
/proc/32308/stat : 32308 (toysat) R 32305 32308 25889 0 -1 4202496 180376 0 0 0 45 24 0 0 20 0 4 0 106067579 1247350784 180727 33554432000 4194304 16246674 140736805689776 140736805689200 12652961 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/32308/statm: 304529 180737 654 2943 0 301423 0
[pid=32308/tid=32309] ppid=32305 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32308/task/32309/stat : 32309 (toysat) S 32305 32308 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106067579 1247350784 180742 33554432000 4194304 16246674 140736805689776 140658742373616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=32308/tid=32310] ppid=32305 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32308/task/32310/stat : 32310 (toysat) S 32305 32308 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106067579 1247350784 180748 33554432000 4194304 16246674 140736805689776 140658731883760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=32308/tid=32311] ppid=32305 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32308/task/32311/stat : 32311 (toysat) S 32305 32308 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106067579 1247350784 180753 33554432000 4194304 16246674 140736805689776 140658721410224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 32308 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800516 s]
/proc/loadavg: 2.23 2.08 2.02 3/261 32308
/proc/meminfo: memFree=29816860/32872528 swapFree=9196/9196
[pid=32308] ppid=32305 vsize=1218116 CPUtime=0.79 cores=4-7,12-15
/proc/32308/stat : 32308 (toysat) R 32305 32308 25889 0 -1 4202496 202887 0 0 0 52 27 0 0 20 0 4 0 106067579 1247350784 203238 33554432000 4194304 16246674 140736805689776 140736805689200 12654533 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/32308/statm: 304529 203252 654 2943 0 301423 0
[pid=32308/tid=32309] ppid=32305 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32308/task/32309/stat : 32309 (toysat) S 32305 32308 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106067579 1247350784 203259 33554432000 4194304 16246674 140736805689776 140658742373616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=32308/tid=32310] ppid=32305 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32308/task/32310/stat : 32310 (toysat) S 32305 32308 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106067579 1247350784 203269 33554432000 4194304 16246674 140736805689776 140658731883760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=32308/tid=32311] ppid=32305 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32308/task/32311/stat : 32311 (toysat) S 32305 32308 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106067579 1247350784 203277 33554432000 4194304 16246674 140736805689776 140658721410224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 1218116
[startup+1.00034 s]
/proc/loadavg: 2.23 2.08 2.02 3/261 32308
/proc/meminfo: memFree=29816860/32872528 swapFree=9196/9196
[pid=32308] ppid=32305 vsize=0 CPUtime=0.98 cores=4-7,12-15
/proc/32308/stat : 32308 (toysat) R 32305 32308 25889 0 -1 4202500 241628 0 0 0 63 35 0 0 20 0 1 0 106067579 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/32308/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1.0365
CPU time (s): 1.03384
CPU user time (s): 0.638902
CPU system time (s): 0.394939
CPU usage (%): 99.7438
Max. virtual memory (cumulated for all children) (KiB): 1218116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.638902
system time used= 0.394939
maximum resident set size= 967864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 241628
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= 18
involuntary context switches= 2
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.009998 second user time and 0.013997 second system time
The end
Launcher Data
Begin job on node132 at 2016-06-06 21:44:16
IDJOB=4079772
IDBENCH=2697
IDSOLVER=2542
FILE ID=node132/4079772-1465242256
RUNJOBID= node132-1465216787-25906
PBS_JOBID= 19843203
Free space on /tmp= 71732 MiB
SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=307-Q=347.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079772-1465242256/watcher-4079772-1465242256 -o /tmp/evaluation-result-4079772-1465242256/solver-4079772-1465242256 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25906 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079772-1465242256.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8
MD5SUM BENCH= ce98d8342453d844bc23af1b3346d7ac
RANDOM SEED=577702427
node132.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips : 5334.41
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
cpu MHz : 2667.209
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.51
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
cpu MHz : 2667.209
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.51
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
cpu MHz : 2667.209
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.51
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
cpu MHz : 2667.209
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 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 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 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 : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
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 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 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 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
cpu MHz : 2667.209
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.56
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
cpu MHz : 2667.209
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 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 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 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
cpu MHz : 2667.209
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.54
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
cpu MHz : 2667.209
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 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 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 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
cpu MHz : 2667.209
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 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 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 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 : 11
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.54
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
cpu MHz : 2667.209
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.56
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
cpu MHz : 2667.209
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 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 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 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
cpu MHz : 2667.209
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 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 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 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 : 15
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
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 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 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 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: 32872528 kB
MemFree: 29816828 kB
Buffers: 46124 kB
Cached: 99212 kB
SwapCached: 3224 kB
Active: 2248468 kB
Inactive: 80624 kB
Active(anon): 2183188 kB
Inactive(anon): 3236 kB
Active(file): 65280 kB
Inactive(file): 77388 kB
Unevictable: 9196 kB
Mlocked: 9196 kB
SwapTotal: 67108856 kB
SwapFree: 67094528 kB
Dirty: 16788 kB
Writeback: 0 kB
AnonPages: 2192900 kB
Mapped: 10500 kB
Shmem: 0 kB
Slab: 575412 kB
SReclaimable: 14180 kB
SUnreclaim: 561232 kB
KernelStack: 2216 kB
PageTables: 8500 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83545120 kB
Committed_AS: 2338092 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 346412 kB
VmallocChunk: 34341987140 kB
HardwareCorrupted: 0 kB
AnonHugePages: 509952 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 7552 kB
DirectMap2M: 33538048 kB
Free space on /tmp at the end= 71716 MiB
End job on node132 at 2016-06-06 21:44:17