Trace number 4079784
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 | 83 | 0.402938 | 0.403471 |
General information on the benchmark
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=83-Q=449.opb |
| MD5SUM | fbae20a92dbde9f1d0f392722dd674e5 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 83 |
| Best CPU time to get the best result obtained on this benchmark | 0.018996 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 83 |
| 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 | 65536 |
| Number of bits of the biggest number in a constraint | 17 |
| Biggest sum of numbers in a constraint | 298388 |
| 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:14+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-4079784-1465242254.opb"]
0.00/0.01 c use --random-gen="3384114003 2391998099 683199100 1938011781 1662003950 2646657046 3646044052 3661082279 3574444994 3740519478 2760595572 4022414104 2672302055 3173058257 2812999124 1760187044 3560964142 4032906060 683259011 3022255114 1380649281 408274907 256172071 1267633428 935927534 2818755429 3358667397 1479697289 3447643404 420868421 4129728541 4001604573 4245506862 3042768699 4197570170 1311929876 674686313 2676568497 3899541893 2520629257 52293405 2852319280 919370728 3673162689 1862514 4177420737 2476207170 1610990261 1640221035 594840345 2234401591 2092495898 1248698717 3074420214 1399384603 2639156950 1848996464 1628755456 4029747763 3770677089 2269817401 1060812235 3412212849 9276843 14115979 388904398 3142443105 2140375814 3118809491 3620852408 3182499492 3195351838 1116131522 4210753241 4068233075 2485350445 3771802547 2770655604 1573894906 1954800220 2511533523 905724079 2562960346 3920036040 340483382 2458169356 2877080509 3150869576 1666688185 2212778407 2537333392 2187902898 4230201676 3916324355 2598260621 1346789898 1734624421 1577973585 1181412123 613015743 3279163826 537562838 640265052 2133547321 2560740243 1955247543 1590498739 55348748 3511531996 3814704098 3379407248 2585450783 2104767805 1991506066 3296807636 2149118109 879464511 2330154309 2695337698 163194076 7736314 427862868 3380860309 2944594176 2735432068 1409538809 3276304769 2148406130 1405195111 3797942306 3120434529 625141474 2228472990 717433640 3675434744 1021013599 3786113267 218053922 2636549979 751701389 3659150072 2329205956 2426179853 3462566340 2153778818 3871792285 3384740230 3051824523 1561731975 2859588722 42233811 1185737214 616015173 2663844496 2614454031 1817260398 2023740582 274971470 2642210636 1168242316 3427507515 1293557461 1132077980 795114822 3468901457 877011605 2602892720 1766197251 677422633 2441413739 3970740977 2698508606 630754342 4004421647 1757144709 1542982402 376676019 1622300593 1546091261 606562035 3603641479 4058858745 845381969 629124350 3344252818 806722246 3535412141 1256323548 1437329040 3583021181 1186600870 3909978407 2074498978 1565050045 3327974596 319100622 1853350227 3367624176 4124268619 3137355780 3106399298 2944945711 829249358 86568839 1882523149 2423457262 4196774696 390657416 315092720 2701437866 3239781097 2062337492 772775739 2715409378 238756318 1842635450 3845550538 1944493162 2815985557 2828987238 3565375684 1396429444 2820997692 2213636973 158746519 2870524966 1699859516 1609963084 3410574284 2789060531 349295830 2731487928 1401409465 1900374112 791730976 2666603473 222727594 463841656 336343397 3817708184 2349101739 1009633652 888658473 1991062036 3849222741 4056012802 1394706571 2756701914 128546233 2956772459 4274144090 2148244579 3214976610 283673167 3482894608 3107688586 255 362436" option to reproduce the execution
0.00/0.01 c #vars 99
0.00/0.01 c #constraints 244
0.29/0.35 c BCD2: Hardening is enabled.
0.29/0.35 c BCD2: BiasedSearch is enabled.
0.29/0.35 c Solving starts ...
0.29/0.35 c ============================[ Search Statistics ]============================
0.29/0.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.35 c | | | | Limit GC | Var | Constra
0.29/0.35 c =============================================================================
0.29/0.35 c 0.0s | 0 | 0 | 0 | 114 0 | 1 | 0
0.29/0.36 c 0.0s | 0 | 101 | 88 | 114 0 | 1 | 2
0.29/0.36 c #cpu_time = 0.016s
0.29/0.36 c #wall_clock_time = 0.016s
0.29/0.36 c #decision = 101
0.29/0.36 c #random_decision = 0
0.29/0.36 c #conflict = 88
0.29/0.36 c #restart = 0
0.29/0.36 o 83
0.29/0.36 c BCD2: hardening fixes 2 literals
0.29/0.36 c BCD2: updating upper bound: 511 -> 82
0.29/0.36 c BCD2: 0 <= obj <= 82
0.29/0.36 c BCD2: #cores=0, #unrelaxed=7, #relaxed=0, #hardened=2
0.29/0.36 c BCD2: #sat=1 #unsat=1 bias=1/2
0.29/0.36 c Solving starts ...
0.29/0.36 c ============================[ Search Statistics ]============================
0.29/0.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.36 c | | | | Limit GC | Var | Constra
0.29/0.36 c =============================================================================
0.29/0.36 c 0.0s | 0 | 0 | 0 | 114 0 | 20 | 2
0.29/0.37 c 0.0s | 0 | 1 | 1 | 114 0 | 33 | 97
0.29/0.37 c #cpu_time = 0.001s
0.29/0.37 c #wall_clock_time = 0.001s
0.29/0.37 c #decision = 1
0.29/0.37 c #random_decision = 0
0.29/0.37 c #conflict = 1
0.29/0.37 c #restart = 0
0.29/0.37 c BCD2: found a new core of size 1: cost of the new core is >=64
0.29/0.37 c lower bound updated to 64
0.29/0.37 c BCD2: hardening fixes 1 literals
0.29/0.37 c BCD2: 64 <= obj <= 82
0.29/0.37 c BCD2: #cores=1, #unrelaxed=5, #relaxed=1, #hardened=3
0.29/0.37 c BCD2: #sat=1 #unsat=2 bias=2/3
0.29/0.37 c Solving starts ...
0.29/0.37 c ============================[ Search Statistics ]============================
0.29/0.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.37 c | | | | Limit GC | Var | Constra
0.29/0.37 c =============================================================================
0.29/0.37 c 0.0s | 0 | 0 | 0 | 114 0 | 33 | 97
0.29/0.37 c 0.0s | 0 | 2 | 0 | 114 0 | 33 | 97
0.29/0.37 c #cpu_time = 0.000s
0.29/0.37 c #wall_clock_time = 0.000s
0.29/0.37 c #decision = 2
0.29/0.37 c #random_decision = 0
0.29/0.37 c #conflict = 0
0.29/0.37 c #restart = 0
0.29/0.37 c BCD2: found a new core of size 2: cost of the new core is >=8
0.29/0.37 c lower bound updated to 72
0.29/0.37 c BCD2: 72 <= obj <= 82
0.29/0.37 c BCD2: #cores=2, #unrelaxed=3, #relaxed=3, #hardened=3
0.29/0.37 c BCD2: #sat=1 #unsat=3 bias=3/4
0.29/0.37 c Solving starts ...
0.29/0.37 c ============================[ Search Statistics ]============================
0.29/0.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.37 c | | | | Limit GC | Var | Constra
0.29/0.37 c =============================================================================
0.29/0.37 c 0.0s | 0 | 0 | 0 | 114 0 | 33 | 97
0.29/0.37 c 0.0s | 0 | 4 | 1 | 114 0 | 33 | 97
0.29/0.37 c #cpu_time = 0.000s
0.29/0.37 c #wall_clock_time = 0.000s
0.29/0.37 c #decision = 4
0.29/0.37 c #random_decision = 0
0.29/0.37 c #conflict = 1
0.29/0.37 c #restart = 0
0.29/0.37 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=10
0.29/0.37 c lower bound updated to 74
0.29/0.37 c BCD2: 74 <= obj <= 82
0.29/0.37 c BCD2: #cores=2, #unrelaxed=1, #relaxed=5, #hardened=3
0.29/0.37 c BCD2: #sat=1 #unsat=4 bias=4/5
0.29/0.37 c Solving starts ...
0.29/0.37 c ============================[ Search Statistics ]============================
0.29/0.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.37 c | | | | Limit GC | Var | Constra
0.29/0.37 c =============================================================================
0.29/0.37 c 0.0s | 0 | 0 | 0 | 114 0 | 34 | 97
0.29/0.37 c 0.0s | 0 | 11 | 9 | 114 0 | 34 | 98
0.29/0.37 c #cpu_time = 0.002s
0.29/0.37 c #wall_clock_time = 0.002s
0.29/0.37 c #decision = 11
0.29/0.37 c #random_decision = 0
0.29/0.37 c #conflict = 9
0.29/0.37 c #restart = 0
0.29/0.37 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 5: cost of the new core is >=11
0.29/0.37 c lower bound updated to 75
0.29/0.37 c BCD2: 75 <= obj <= 82
0.29/0.37 c BCD2: #cores=2, #unrelaxed=0, #relaxed=6, #hardened=3
0.29/0.37 c BCD2: #sat=1 #unsat=5 bias=5/6
0.29/0.37 c Solving starts ...
0.29/0.37 c ============================[ Search Statistics ]============================
0.29/0.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.37 c | | | | Limit GC | Var | Constra
0.29/0.37 c =============================================================================
0.29/0.37 c 0.0s | 0 | 0 | 0 | 114 0 | 35 | 98
0.29/0.37 c 0.0s | 0 | 9 | 6 | 126 0 | 61 | 171
0.29/0.37 c #cpu_time = 0.002s
0.29/0.37 c #wall_clock_time = 0.002s
0.29/0.37 c #decision = 9
0.29/0.37 c #random_decision = 0
0.29/0.37 c #conflict = 6
0.29/0.37 c #restart = 0
0.29/0.37 c BCD2: updating lower bound of a core
0.29/0.37 c lower bound updated to 82
0.29/0.37 c BCD2: 82 <= obj <= 82
0.29/0.37 c BCD2: #cores=2, #unrelaxed=0, #relaxed=6, #hardened=3
0.29/0.37 c BCD2: #sat=1 #unsat=6 bias=6/7
0.29/0.37 c Solving starts ...
0.29/0.37 c ============================[ Search Statistics ]============================
0.29/0.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.37 c | | | | Limit GC | Var | Constra
0.29/0.37 c =============================================================================
0.29/0.37 c 0.0s | 0 | 0 | 0 | 126 0 | 74 | 171
0.29/0.37 c 0.0s | 0 | 7 | 4 | 126 0 | 89 | 227
0.29/0.37 c #cpu_time = 0.001s
0.29/0.37 c #wall_clock_time = 0.001s
0.29/0.37 c #decision = 7
0.29/0.37 c #random_decision = 0
0.29/0.37 c #conflict = 4
0.29/0.37 c #restart = 0
0.29/0.37 c lower bound updated to 83
0.29/0.37 s OPTIMUM FOUND
0.29/0.37 v x1 x2 -x3 -x4 x5 -x6 x7 -x8 -x9 x10
0.29/0.37 v -x11 -x12 -x13 -x14 -x15 x16 x17 x18 x19 -x20
0.29/0.37 v -x21 -x22 -x23 -x24 x25 x26 x27 x28 -x29 -x30
0.29/0.37 v -x31 -x32 -x33 x34 x35 x36 -x37 -x38 -x39 -x40
0.29/0.37 v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
0.29/0.37 v -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60
0.29/0.37 v x61 x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
0.29/0.37 v -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 x79 x80
0.29/0.37 v x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
0.29/0.37 v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99
0.29/0.37 c total CPU time = 0.375s
0.29/0.37 c total wall clock time = 0.376s
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-4079784-1465242254/watcher-4079784-1465242254 -o /tmp/evaluation-result-4079784-1465242254/solver-4079784-1465242254 -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-4079784-1465242254.opb
pid=32207
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 32210
/proc/meminfo: memFree=29816744/32872528 swapFree=9196/9196
[pid=32210] ppid=32207 vsize=1091140 CPUtime=0 cores=4-7,12-15
/proc/32210/stat : 32210 (toysat) R 32207 32210 25889 0 -1 4202496 4136 0 0 0 0 0 0 0 20 0 4 0 106067445 1117327360 4497 33554432000 4194304 16246674 140735694784208 140735694783632 13880264 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/32210/statm: 273553 4507 442 2943 0 270447 0
[pid=32210/tid=32211] ppid=32207 vsize=1114692 CPUtime=0 cores=4-7,12-15
/proc/32210/task/32211/stat : 32211 (toysat) S 32207 32210 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106067445 1141444608 4590 33554432000 4194304 16246674 140735694784208 139693526068464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=32210/tid=32212] ppid=32207 vsize=1117764 CPUtime=0 cores=4-7,12-15
/proc/32210/task/32212/stat : 32212 (toysat) S 32207 32210 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106067445 1144590336 4602 33554432000 4194304 16246674 140735694784208 139693515578608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=32210/tid=32213] ppid=32207 vsize=1121860 CPUtime=0 cores=4-7,12-15
/proc/32210/task/32213/stat : 32213 (toysat) S 32207 32210 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106067445 1148784640 4619 33554432000 4194304 16246674 140735694784208 139693505105072 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 32210
/proc/meminfo: memFree=29816744/32872528 swapFree=9196/9196
[pid=32210] ppid=32207 vsize=1218116 CPUtime=0.09 cores=4-7,12-15
/proc/32210/stat : 32210 (toysat) R 32207 32210 25889 0 -1 4202496 30958 0 0 0 6 3 0 0 20 0 4 0 106067445 1247350784 31310 33554432000 4194304 16246674 140735694784208 140735694783632 12449130 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/32210/statm: 304529 31327 641 2943 0 301423 0
[pid=32210/tid=32211] ppid=32207 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32210/task/32211/stat : 32211 (toysat) S 32207 32210 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106067445 1247350784 31336 33554432000 4194304 16246674 140735694784208 139693526068464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=32210/tid=32212] ppid=32207 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32210/task/32212/stat : 32212 (toysat) S 32207 32210 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106067445 1247350784 31347 33554432000 4194304 16246674 140735694784208 139693515578608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=32210/tid=32213] ppid=32207 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32210/task/32213/stat : 32213 (toysat) S 32207 32210 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106067445 1247350784 31357 33554432000 4194304 16246674 140735694784208 139693505105072 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.200523 s]
/proc/loadavg: 2.23 2.08 2.02 3/261 32210
/proc/meminfo: memFree=29816744/32872528 swapFree=9196/9196
[pid=32210] ppid=32207 vsize=1218116 CPUtime=0.19 cores=4-7,12-15
/proc/32210/stat : 32210 (toysat) R 32207 32210 25889 0 -1 4202496 59755 0 0 0 12 7 0 0 20 0 4 0 106067445 1247350784 60107 33554432000 4194304 16246674 140735694784208 140735694783632 12449130 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/32210/statm: 304529 60124 641 2943 0 301423 0
[pid=32210/tid=32211] ppid=32207 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32210/task/32211/stat : 32211 (toysat) S 32207 32210 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106067445 1247350784 60134 33554432000 4194304 16246674 140735694784208 139693526068464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=32210/tid=32212] ppid=32207 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32210/task/32212/stat : 32212 (toysat) S 32207 32210 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106067445 1247350784 60144 33554432000 4194304 16246674 140735694784208 139693515578608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=32210/tid=32213] ppid=32207 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32210/task/32213/stat : 32213 (toysat) S 32207 32210 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106067445 1247350784 60156 33554432000 4194304 16246674 140735694784208 139693505105072 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.300483 s]
/proc/loadavg: 2.23 2.08 2.02 3/261 32210
/proc/meminfo: memFree=29816744/32872528 swapFree=9196/9196
[pid=32210] ppid=32207 vsize=1218116 CPUtime=0.29 cores=4-7,12-15
/proc/32210/stat : 32210 (toysat) R 32207 32210 25889 0 -1 4202496 90594 0 0 0 18 11 0 0 20 0 4 0 106067445 1247350784 90946 33554432000 4194304 16246674 140735694784208 140735694766080 12653060 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/32210/statm: 304529 90962 653 2943 0 301423 0
[pid=32210/tid=32211] ppid=32207 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32210/task/32211/stat : 32211 (toysat) S 32207 32210 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106067445 1247350784 90971 33554432000 4194304 16246674 140735694784208 139693526068464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=32210/tid=32212] ppid=32207 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32210/task/32212/stat : 32212 (toysat) S 32207 32210 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106067445 1247350784 90980 33554432000 4194304 16246674 140735694784208 139693515578608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=32210/tid=32213] ppid=32207 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32210/task/32213/stat : 32213 (toysat) S 32207 32210 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106067445 1247350784 90989 33554432000 4194304 16246674 140735694784208 139693505105072 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
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 32210 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.400469 s]
/proc/loadavg: 2.23 2.08 2.02 3/261 32210
/proc/meminfo: memFree=29816744/32872528 swapFree=9196/9196
[pid=32210] ppid=32207 vsize=0 CPUtime=0.39 cores=4-7,12-15
/proc/32210/stat : 32210 (toysat) R 32207 32210 25889 0 -1 4202500 108783 0 0 0 23 16 0 0 20 0 1 0 106067445 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/32210/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 0.403471
CPU time (s): 0.402938
CPU user time (s): 0.234964
CPU system time (s): 0.167974
CPU usage (%): 99.8679
Max. virtual memory (cumulated for all children) (KiB): 1218116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.234964
system time used= 0.167974
maximum resident set size= 436484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108783
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.002999 second system time
The end
Launcher Data
Begin job on node132 at 2016-06-06 21:44:14
IDJOB=4079784
IDBENCH=2691
IDSOLVER=2542
FILE ID=node132/4079784-1465242254
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=83-Q=449.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079784-1465242254/watcher-4079784-1465242254 -o /tmp/evaluation-result-4079784-1465242254/solver-4079784-1465242254 -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-4079784-1465242254.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8
MD5SUM BENCH= fbae20a92dbde9f1d0f392722dd674e5
RANDOM SEED=1614314403
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: 29817132 kB
Buffers: 46032 kB
Cached: 99068 kB
SwapCached: 3224 kB
Active: 2250984 kB
Inactive: 80608 kB
Active(anon): 2185688 kB
Inactive(anon): 3236 kB
Active(file): 65296 kB
Inactive(file): 77372 kB
Unevictable: 9196 kB
Mlocked: 9196 kB
SwapTotal: 67108856 kB
SwapFree: 67094528 kB
Dirty: 16708 kB
Writeback: 0 kB
AnonPages: 2194544 kB
Mapped: 10824 kB
Shmem: 0 kB
Slab: 575204 kB
SReclaimable: 14140 kB
SUnreclaim: 561064 kB
KernelStack: 2240 kB
PageTables: 8580 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: 495616 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:15