Trace number 4080182

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
toysat 2016-05-02OPT3 3.2655 3.26686

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
roussel/factor-mod-B/factor-mod-size=6-P0=41-P1=53-P2=59-B.opb
MD5SUM90616edfb9551f327ceab21eaa4edb03
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.018997
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables36
Total number of constraints5
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints5
Minimum length of a constraint6
Maximum length of a constraint48
Number of terms in the objective function 6
Biggest coefficient in the objective function 32
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 63
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 2048
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 8064
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)72
Sum of products size (including duplicates)144
Number of different products72
Sum of products size144

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c 2016-06-07T01:10:30+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-4080182-1465254629.opb"]
0.00/0.01	c use --random-gen="3554293004 1780007029 3631799971 1274361287 2363091463 1707647538 3764596973 171966205 920632997 180491766 3434352588 1434864424 1648270935 725926974 628239191 1832366068 1880052125 247814974 4045067016 1043286428 1988557569 3736245300 2623472187 3127350509 3639140837 2498251461 1670632262 3386190085 2955336524 1068577347 3302458996 1010386525 461069900 2888448513 2614532764 2387508729 3640257231 1029981918 3331580204 2776025193 1736246192 1484675931 1197076294 3395631425 531359254 2524580833 3362583792 1489029297 2616263115 1908220074 125526938 3618562850 3816755752 3295068094 4181539387 1817119926 4267552654 4075914668 126984227 2516012761 1690207668 2256384065 3362203017 562150924 4136879877 4073173920 887611222 85329401 2042681403 2668395673 3916056949 2806379277 2561779883 36104750 1440291661 3302024782 1814966004 2415471409 137616798 3971239581 58911963 3267086428 2698388296 2919683153 665980660 353175658 2374615 2950092390 3500277994 1196331917 149898891 3751063045 1805139243 3726614516 997336667 63426481 607758554 1560336703 3743579721 4076339393 2405886282 318470839 3094460010 3045076466 2931332111 1551539449 2639715761 854409723 207530804 1674054845 842042402 1240922212 3813135873 934232418 4046533339 3493193965 1755900038 3385511724 293674013 2304727095 1650667808 1470308489 2881504946 1542642260 1845687036 2716910989 2465278896 1060296537 3978442962 448288254 932545302 2208311544 3942989578 2410512763 2757935435 1478323065 2751404196 3791363123 2067187102 1560960794 1798138621 1567405772 3791552840 3581924909 3527881015 978874920 2016995937 623723258 3775222824 324136715 2169341647 3418570027 2501605811 1342793241 2202371034 2712268488 400940790 2124052200 3562771301 3800669880 3802989146 281745445 221910425 3946137272 4169898726 2633248986 266635705 3693619140 33529252 2252739058 1371013270 3558301645 1131845068 203096421 3512780267 290509003 4039934886 1944245302 2439150361 2734282769 1418318056 1246135046 364534920 4112373141 3333385066 3850106003 1585689201 3225828081 3586678046 536494314 3965199829 4057788846 2184300594 3078348598 2835173141 2319471530 1201256000 3574457481 4220172360 2171554473 2296004062 3061416357 2650747865 2736333103 1017710900 2308023887 2033783932 2905069556 2312194414 3164422817 224831159 2269528812 111539275 3564812726 2036677165 2252439902 3669251804 4094905706 693854151 631058088 314733826 3592157429 3197105140 1052597396 550849049 2575166260 3687385214 3915188017 119495813 3179250067 4075470692 3729691054 2804217846 2735851478 240846421 1194542760 212974955 1915797539 3977651221 4207193902 2830935689 1682945258 1830764568 1099059873 622571744 236878452 4079313489 1699630945 2646852984 2322901068 2509762126 3629805763 1192687520 3042618588 1476464669 1468619885 255 362436" option to reproduce the execution
0.00/0.01	c #vars 36
0.00/0.01	c #constraints 5
0.00/0.01	c BCD2: Hardening is enabled.
0.00/0.01	c BCD2: BiasedSearch is enabled.
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      110      0 |        0 |        0
0.00/0.01	c  0.0s |       0 |       37 |       24 |      110      0 |        0 |        0
0.00/0.01	c #cpu_time = 0.004s
0.00/0.01	c #wall_clock_time = 0.004s
0.00/0.01	c #decision = 37
0.00/0.01	c #random_decision = 0
0.00/0.01	c #conflict = 24
0.00/0.01	c #restart = 0
0.00/0.01	o 59
0.00/0.01	c BCD2: updating upper bound: 63 -> 58
0.00/0.01	c BCD2: 0 <= obj <= 58
0.00/0.01	c BCD2: #cores=0, #unrelaxed=6, #relaxed=0, #hardened=0
0.00/0.01	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      110      0 |        0 |        0
0.00/0.01	c  0.0s |       0 |        4 |        0 |      110      0 |        0 |        0
0.00/0.01	c #cpu_time = 0.000s
0.00/0.01	c #wall_clock_time = 0.000s
0.00/0.01	c #decision = 4
0.00/0.01	c #random_decision = 0
0.00/0.01	c #conflict = 0
0.00/0.01	c #restart = 0
0.00/0.01	c BCD2: found a new core of size 5: cost of the new core is >=2
0.00/0.01	c lower bound updated to 2
0.00/0.02	c BCD2: 2 <= obj <= 58
0.00/0.02	c BCD2: #cores=1, #unrelaxed=1, #relaxed=5, #hardened=0
0.00/0.02	c BCD2: #sat=1 #unsat=2 bias=2/3
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      110      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      137 |      100 |      122      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      316 |      250 |      135      1 |        0 |        0
0.08/0.10	c  0.1s |       3 |      587 |      475 |      149      4 |        0 |        0
0.08/0.15	c  0.1s |       4 |      942 |      813 |      164      7 |        0 |        0
0.19/0.23	c  0.2s |       5 |     1513 |     1320 |      181     11 |        0 |        0
0.29/0.36	c  0.3s |       6 |     2336 |     2081 |      200     18 |        0 |        0
0.49/0.56	c  0.5s |       7 |     3533 |     3223 |      221     27 |        0 |        0
0.79/0.85	c  0.8s |       8 |     5358 |     4936 |      244     39 |        0 |        0
1.28/1.32	c  1.3s |       9 |     8059 |     7506 |      269     56 |        0 |        0
1.68/1.76	c  1.7s |      10 |    12270 |    11361 |      296     80 |        0 |        0
2.38/2.48	c  2.5s |      11 |    18450 |    17144 |      326    114 |        0 |        0
3.09/3.16	c  3.1s |      11 |    24447 |    22818 |      326    144 |        0 |        0
3.09/3.16	c #cpu_time = 3.139s
3.09/3.16	c #wall_clock_time = 3.147s
3.09/3.16	c #decision = 24447
3.09/3.16	c #random_decision = 88
3.09/3.16	c #conflict = 22818
3.09/3.16	c #restart = 11
3.09/3.16	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 6: cost of the new core is >=3
3.09/3.16	c lower bound updated to 3
3.09/3.16	c BCD2: 3 <= obj <= 58
3.09/3.16	c BCD2: #cores=1, #unrelaxed=0, #relaxed=6, #hardened=0
3.09/3.16	c BCD2: #sat=1 #unsat=3 bias=3/4
3.09/3.16	c Solving starts ...
3.09/3.16	c ============================[ Search Statistics ]============================
3.09/3.16	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.09/3.16	c       |         |          |          |    Limit     GC | Var      | Constra 
3.09/3.16	c =============================================================================
3.09/3.16	c  0.0s |       0 |        0 |        0 |      326      0 |        1 |        0
3.09/3.17	c  0.0s |       1 |      119 |      100 |      326      0 |        1 |        1
3.09/3.18	c  0.0s |       1 |      178 |      147 |      326      0 |        1 |        1
3.09/3.18	c #cpu_time = 0.017s
3.09/3.18	c #wall_clock_time = 0.017s
3.09/3.18	c #decision = 178
3.09/3.18	c #random_decision = 2
3.09/3.18	c #conflict = 147
3.09/3.18	c #restart = 1
3.09/3.18	o 43
3.09/3.18	c BCD2: updating upper bound: 58 -> 42
3.09/3.18	c BCD2: 3 <= obj <= 42
3.09/3.18	c BCD2: #cores=1, #unrelaxed=0, #relaxed=6, #hardened=0
3.09/3.18	c BCD2: #sat=2 #unsat=3 bias=3/5
3.09/3.18	c Solving starts ...
3.09/3.18	c ============================[ Search Statistics ]============================
3.09/3.18	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.09/3.18	c       |         |          |          |    Limit     GC | Var      | Constra 
3.09/3.18	c =============================================================================
3.09/3.18	c  0.0s |       0 |        0 |        0 |      326      0 |        1 |        1
3.09/3.18	c  0.0s |       0 |       28 |       14 |      326      1 |        1 |        1
3.09/3.18	c #cpu_time = 0.004s
3.09/3.18	c #wall_clock_time = 0.004s
3.09/3.18	c #decision = 28
3.09/3.18	c #random_decision = 1
3.09/3.18	c #conflict = 14
3.09/3.18	c #restart = 0
3.09/3.18	o 11
3.09/3.18	c BCD2: hardening fixes 2 literals
3.09/3.18	c BCD2: updating upper bound: 42 -> 10
3.09/3.18	c BCD2: 3 <= obj <= 10
3.09/3.18	c BCD2: #cores=1, #unrelaxed=0, #relaxed=4, #hardened=2
3.09/3.18	c BCD2: #sat=3 #unsat=3 bias=3/6
3.09/3.18	c Solving starts ...
3.09/3.18	c ============================[ Search Statistics ]============================
3.09/3.18	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.09/3.18	c       |         |          |          |    Limit     GC | Var      | Constra 
3.09/3.18	c =============================================================================
3.09/3.18	c  0.0s |       0 |        0 |        0 |      326      0 |       17 |        5
3.09/3.19	c  0.0s |       0 |       22 |        9 |      326      0 |       17 |       41
3.09/3.19	c #cpu_time = 0.002s
3.09/3.19	c #wall_clock_time = 0.002s
3.09/3.19	c #decision = 22
3.09/3.19	c #random_decision = 0
3.09/3.19	c #conflict = 9
3.09/3.19	c #restart = 0
3.09/3.19	o 7
3.09/3.19	c BCD2: hardening fixes 1 literals
3.09/3.19	c BCD2: updating upper bound: 10 -> 6
3.09/3.19	c BCD2: 3 <= obj <= 6
3.09/3.19	c BCD2: #cores=1, #unrelaxed=0, #relaxed=3, #hardened=3
3.09/3.19	c BCD2: #sat=4 #unsat=3 bias=3/7
3.09/3.19	c Solving starts ...
3.09/3.19	c ============================[ Search Statistics ]============================
3.09/3.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.09/3.19	c       |         |          |          |    Limit     GC | Var      | Constra 
3.09/3.19	c =============================================================================
3.09/3.19	c  0.0s |       0 |        0 |        0 |      326      0 |       25 |       43
3.19/3.20	c  0.0s |       1 |      114 |      100 |      326      0 |       25 |       61
3.19/3.20	c  0.0s |       1 |      174 |      152 |      326      0 |       25 |       61
3.19/3.20	c #cpu_time = 0.016s
3.19/3.20	c #wall_clock_time = 0.016s
3.19/3.20	c #decision = 174
3.19/3.20	c #random_decision = 0
3.19/3.20	c #conflict = 152
3.19/3.20	c #restart = 1
3.19/3.20	o 3
3.19/3.20	s OPTIMUM FOUND
3.19/3.20	v x1 x2 -x3 -x4 -x5 -x6 x7 x8 x9 x10
3.19/3.20	v x11 -x12 x13 x14 -x15 x16 x17 -x18 x19 -x20
3.19/3.20	v x21 x22 x23 -x24 x25 -x26 -x27 -x28 -x29 -x30
3.19/3.20	v -x31 -x32 x33 x34 -x35 -x36
3.19/3.20	c total CPU time = 3.198s
3.19/3.20	c total wall clock time = 3.207s

Verifier Data 

OK	3

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-4080182-1465254629/watcher-4080182-1465254629 -o /tmp/evaluation-result-4080182-1465254629/solver-4080182-1465254629 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465221288-1239 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080182-1465254629.opb 

pid=5069
running on 4 cores: 1,3,5,7

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.05 2.08 2.02 2/180 5072
/proc/meminfo: memFree=30616568/32872528 swapFree=10676/249824
[pid=5072] ppid=5069 vsize=807356 CPUtime=0 cores=1,3,5,7
/proc/5072/stat : 5072 (toysat) R 5069 5072 1222 0 -1 4202496 3023 0 0 0 0 0 0 0 20 0 4 0 107398417 826732544 3384 33554432000 4194304 16246674 140733595224896 140733595224320 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5072/statm: 202351 3394 441 2943 0 199245 0
[pid=5072/tid=5073] ppid=5069 vsize=824764 CPUtime=0 cores=1,3,5,7
/proc/5072/task/5073/stat : 5073 (toysat) S 5069 5072 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107398417 844558336 3456 33554432000 4194304 16246674 140733595224896 140356083494128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5072/tid=5074] ppid=5069 vsize=829884 CPUtime=0 cores=1,3,5,7
/proc/5072/task/5074/stat : 5074 (toysat) S 5069 5072 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107398417 849801216 3472 33554432000 4194304 16246674 140733595224896 140356073004272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5072/tid=5075] ppid=5069 vsize=833980 CPUtime=0 cores=1,3,5,7
/proc/5072/task/5075/stat : 5075 (toysat) S 5069 5072 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107398417 853995520 3490 33554432000 4194304 16246674 140733595224896 140356062530736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.05 2.08 2.02 2/180 5072
/proc/meminfo: memFree=30616568/32872528 swapFree=10676/249824
[pid=5072] ppid=5069 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/5072/stat : 5072 (toysat) R 5069 5072 1222 0 -1 4202496 22423 0 0 0 5 3 0 0 20 0 4 0 107398417 1247350784 22771 33554432000 4194304 16246674 140733595224896 140733595224320 6010521 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5072/statm: 304529 22777 796 2943 0 301423 0
[pid=5072/tid=5073] ppid=5069 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5072/task/5073/stat : 5073 (toysat) S 5069 5072 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107398417 1247350784 22781 33554432000 4194304 16246674 140733595224896 140356083494128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5072/tid=5074] ppid=5069 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5072/task/5074/stat : 5074 (toysat) S 5069 5072 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107398417 1247350784 22783 33554432000 4194304 16246674 140733595224896 140356073004272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5072/tid=5075] ppid=5069 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5072/task/5075/stat : 5075 (toysat) S 5069 5072 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107398417 1247350784 22787 33554432000 4194304 16246674 140733595224896 140356062530736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200537 s]
/proc/loadavg: 2.05 2.08 2.02 2/180 5072
/proc/meminfo: memFree=30616568/32872528 swapFree=10676/249824
[pid=5072] ppid=5069 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/5072/stat : 5072 (toysat) R 5069 5072 1222 0 -1 4202496 41421 0 0 0 13 6 0 0 20 0 4 0 107398417 1247350784 41770 33554432000 4194304 16246674 140733595224896 140733595224320 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5072/statm: 304529 41783 796 2943 0 301423 0
[pid=5072/tid=5073] ppid=5069 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5072/task/5073/stat : 5073 (toysat) S 5069 5072 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107398417 1247350784 41787 33554432000 4194304 16246674 140733595224896 140356083494128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5072/tid=5074] ppid=5069 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5072/task/5074/stat : 5074 (toysat) S 5069 5072 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107398417 1247350784 41792 33554432000 4194304 16246674 140733595224896 140356073004272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5072/tid=5075] ppid=5069 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5072/task/5075/stat : 5075 (toysat) S 5069 5072 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107398417 1247350784 41799 33554432000 4194304 16246674 140733595224896 140356062530736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300491 s]
/proc/loadavg: 2.05 2.08 2.02 2/180 5072
/proc/meminfo: memFree=30616568/32872528 swapFree=10676/249824
[pid=5072] ppid=5069 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/5072/stat : 5072 (toysat) R 5069 5072 1222 0 -1 4202496 60666 0 0 0 20 9 0 0 20 0 4 0 107398417 1247350784 61014 33554432000 4194304 16246674 140733595224896 140733595224320 5662075 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5072/statm: 304529 61024 796 2943 0 301423 0
[pid=5072/tid=5073] ppid=5069 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5072/task/5073/stat : 5073 (toysat) S 5069 5072 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107398417 1247350784 61033 33554432000 4194304 16246674 140733595224896 140356083494128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5072/tid=5074] ppid=5069 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5072/task/5074/stat : 5074 (toysat) S 5069 5072 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107398417 1247350784 61037 33554432000 4194304 16246674 140733595224896 140356073004272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5072/tid=5075] ppid=5069 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5072/task/5075/stat : 5075 (toysat) S 5069 5072 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107398417 1247350784 61040 33554432000 4194304 16246674 140733595224896 140356062530736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700405 s]
/proc/loadavg: 2.05 2.08 2.02 2/180 5072
/proc/meminfo: memFree=30616568/32872528 swapFree=10676/249824
[pid=5072] ppid=5069 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/5072/stat : 5072 (toysat) R 5069 5072 1222 0 -1 4202496 137177 0 0 0 49 20 0 0 20 0 4 0 107398417 1247350784 137526 33554432000 4194304 16246674 140733595224896 140733595206784 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5072/statm: 304529 137536 797 2943 0 301423 0
[pid=5072/tid=5073] ppid=5069 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5072/task/5073/stat : 5073 (toysat) S 5069 5072 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107398417 1247350784 137543 33554432000 4194304 16246674 140733595224896 140356083494128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5072/tid=5074] ppid=5069 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5072/task/5074/stat : 5074 (toysat) S 5069 5072 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107398417 1247350784 137547 33554432000 4194304 16246674 140733595224896 140356073004272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5072/tid=5075] ppid=5069 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5072/task/5075/stat : 5075 (toysat) S 5069 5072 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107398417 1247350784 137551 33554432000 4194304 16246674 140733595224896 140356062530736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.13 2.10 2.02 3/184 5076
/proc/meminfo: memFree=29757864/32872528 swapFree=10676/249824
[pid=5072] ppid=5069 vsize=1219140 CPUtime=1.48 cores=1,3,5,7
/proc/5072/stat : 5072 (toysat) R 5069 5072 1222 0 -1 4202496 245615 0 0 0 113 35 0 0 20 0 4 0 107398417 1248399360 245941 33554432000 4194304 16246674 140733595224896 140733595224208 5823627 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5072/statm: 304785 245941 855 2943 0 301679 0
[pid=5072/tid=5073] ppid=5069 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/5072/task/5073/stat : 5073 (toysat) S 5069 5072 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107398417 1248399360 245941 33554432000 4194304 16246674 140733595224896 140356083494128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5072/tid=5074] ppid=5069 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/5072/task/5074/stat : 5074 (toysat) S 5069 5072 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107398417 1248399360 245941 33554432000 4194304 16246674 140733595224896 140356073004272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5072/tid=5075] ppid=5069 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/5072/task/5075/stat : 5075 (toysat) S 5069 5072 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107398417 1248399360 245941 33554432000 4194304 16246674 140733595224896 140356062530736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1219140

[startup+3.10035 s]
/proc/loadavg: 2.13 2.10 2.02 3/184 5076
/proc/meminfo: memFree=29553752/32872528 swapFree=10676/249824
[pid=5072] ppid=5069 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/5072/stat : 5072 (toysat) R 5069 5072 1222 0 -1 4202496 267431 0 0 0 269 40 0 0 20 0 4 0 107398417 1337528320 267757 33554432000 4194304 16246674 140733595224896 140733595206784 13809234 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5072/statm: 326545 267757 855 2943 0 323439 0
[pid=5072/tid=5073] ppid=5069 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5072/task/5073/stat : 5073 (toysat) S 5069 5072 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107398417 1337528320 267757 33554432000 4194304 16246674 140733595224896 140356083494128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5072/tid=5074] ppid=5069 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5072/task/5074/stat : 5074 (toysat) S 5069 5072 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107398417 1337528320 267757 33554432000 4194304 16246674 140733595224896 140356073004272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5072/tid=5075] ppid=5069 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5072/task/5075/stat : 5075 (toysat) S 5069 5072 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107398417 1337528320 267757 33554432000 4194304 16246674 140733595224896 140356062530736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5072 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20046 s]
/proc/loadavg: 2.13 2.10 2.02 3/184 5076
/proc/meminfo: memFree=29553752/32872528 swapFree=10676/249824
[pid=5072] ppid=5069 vsize=1306180 CPUtime=3.19 cores=1,3,5,7
/proc/5072/stat : 5072 (toysat) R 5069 5072 1222 0 -1 4202496 267432 0 0 0 279 40 0 0 20 0 4 0 107398417 1337528320 267758 33554432000 4194304 16246674 140733595224896 140733595206784 6021569 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5072/statm: 326545 267758 856 2943 0 323439 0
[pid=5072/tid=5073] ppid=5069 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5072/task/5073/stat : 5073 (toysat) S 5069 5072 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107398417 1337528320 267758 33554432000 4194304 16246674 140733595224896 140356083494128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5072/tid=5074] ppid=5069 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5072/task/5074/stat : 5074 (toysat) S 5069 5072 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107398417 1337528320 267758 33554432000 4194304 16246674 140733595224896 140356073004272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5072/tid=5075] ppid=5069 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5072/task/5075/stat : 5075 (toysat) S 5069 5072 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107398417 1337528320 267758 33554432000 4194304 16246674 140733595224896 140356062530736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 1306180

Child status: 0
Real time (s): 3.26686
CPU time (s): 3.2655
CPU user time (s): 2.80657
CPU system time (s): 0.45893
CPU usage (%): 99.9583
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.80657
system time used= 0.45893
maximum resident set size= 1071052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267439
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= 21
involuntary context switches= 4

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.011998 second user time and 0.018997 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-07 01:10:29
IDJOB=4080182
IDBENCH=47935
IDSOLVER=2542
FILE ID=node103/4080182-1465254629
RUNJOBID= node103-1465221288-1239
PBS_JOBID= 19843228
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=6-P0=41-P1=53-P2=59-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080182-1465254629/watcher-4080182-1465254629 -o /tmp/evaluation-result-4080182-1465254629/solver-4080182-1465254629 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465221288-1239 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080182-1465254629.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 90616edfb9551f327ceab21eaa4edb03
RANDOM SEED=2100911921

node103.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		: 2666.760
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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	: 5333.52
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		: 2666.760
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.760
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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.56
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		: 2666.760
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.760
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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.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		: 2666.760
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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.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		: 2666.760
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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.55
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		: 2666.760
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30617204 kB
Buffers:           63160 kB
Cached:           140424 kB
SwapCached:         1712 kB
Active:          1197668 kB
Inactive:         103032 kB
Active(anon):    1098312 kB
Inactive(anon):     1160 kB
Active(file):      99356 kB
Inactive(file):   101872 kB
Unevictable:      249824 kB
Mlocked:           10676 kB
SwapTotal:      67108856 kB
SwapFree:       67096648 kB
Dirty:             16456 kB
Writeback:             0 kB
AnonPages:       1352216 kB
Mapped:            10420 kB
Shmem:                 0 kB
Slab:             569724 kB
SReclaimable:      13840 kB
SUnreclaim:       555884 kB
KernelStack:        1528 kB
PageTables:         6700 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1490940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    468992 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= 71704 MiB
End job on node103 at 2016-06-07 01:10:33