Trace number 4106103

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 12.7831 12.7878

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=6-P0=59-P1=53-P2=11-P3=59-B.opb
MD5SUMbc013f756978420202c73860888da520
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.025995
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 variables54
Total number of constraints7
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 constraints7
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)108
Sum of products size (including duplicates)216
Number of different products108
Sum of products size216

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-18T18:04:43+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-4106103-1466265883.opb"]
0.00/0.01	c use --random-gen="1473727836 2936962045 3582603402 2286089276 442409002 1983698258 956134647 2440940747 930759305 1493859380 1419775149 2970639507 2686320002 1699561651 2511731794 3556345369 1204498442 261142603 1903924296 3102503133 3919964250 3694089600 1230029485 1013864536 2219791166 3945647412 1869554658 92631799 2853198328 897257778 3967190324 2845732979 2239782930 892663842 3933381575 1055155661 4259475497 4276893464 1747142752 86545488 393061223 4169125451 782965340 3294178874 1185196615 2205925905 954141801 884121627 332157317 158372621 2440750111 3553139099 2859947551 2913186005 3875840347 200683568 1068662298 503688292 936375859 3713602795 3312171694 3733891637 1858107020 4261767017 2127209210 734267451 1609869808 2064739762 1295045252 4141997938 2023082653 4203211280 1101527545 2640275025 343852975 3630057427 3692373465 2882432346 2230950634 967115992 3593406406 2778958932 1826096877 3802703529 3705449953 3457706272 1408197906 3035479353 636447817 529218430 217447797 132726462 3773057906 3305733051 3634304240 92541242 3571163935 3235126788 448005549 2354681211 3974184361 4011010922 127613664 2221520961 3945835517 312636818 4147887360 1224777491 716410555 2684169927 2783130365 3595570746 2594103603 3958945794 1599997355 2149980076 2664305007 2518932994 2346311481 3208331852 2740805225 1319672347 419884280 685683587 2178500799 1566864046 3820037889 4185902084 3543218579 2985122133 1189153449 3722247196 2142544895 2472391343 2392607891 3934526122 3409701058 388588211 1278206921 2252598306 3032217848 3764312023 1182052317 3872283425 2736184722 3311104168 1097376359 4099987687 395574470 282249975 2828588591 205863550 2691658663 3371236613 1153588672 4254547314 118363276 1828337224 2178088853 1392724548 2858327791 2055614429 415998415 4245014416 586331544 3374381384 1686866737 1928091289 1372166708 2030218072 3169765892 461019424 2157468272 3885783398 2821851159 2246761459 2599897325 3940773193 42041530 3281702611 1660331516 4186282665 2313460030 3862080407 2444807917 4114751952 1896387416 3609445592 3630200783 245420706 4263624120 2111034333 1946144960 732168895 821369721 574819677 1385923457 1897585554 2565853849 835202484 3167951198 3774311717 4163915419 2334454848 4030938384 3371107235 603436048 1590489634 3016413378 731665215 3574917748 1471219157 3887451321 999537556 4284027011 2668216873 2320072397 2971156196 355097721 316401875 3542919214 1479237296 3467316896 3985099778 528915950 3444230360 1356989824 1565855765 4180394825 238810570 1862533812 1300914327 949325737 1128391791 354080884 764721278 1958163401 1618079108 4239115618 1452001018 2151122937 3430260236 1576940569 3424726507 2906705634 1706952324 2231199863 2188278858 950671537 2734317421 2008719519 199460859 3175795663 3943151648 2231800035 2332229338 255 362436" option to reproduce the execution
0.00/0.01	c #vars 54
0.00/0.01	c #constraints 7
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 |      165      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      107 |      100 |      165      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      312 |      222 |      182      0 |        0 |        0
0.00/0.04	c #cpu_time = 0.031s
0.00/0.04	c #wall_clock_time = 0.031s
0.00/0.04	c #decision = 312
0.00/0.04	c #random_decision = 2
0.00/0.04	c #conflict = 222
0.00/0.04	c #restart = 1
0.00/0.04	o 57
0.00/0.04	c BCD2: updating upper bound: 63 -> 56
0.00/0.04	c BCD2: 0 <= obj <= 56
0.00/0.04	c BCD2: #cores=0, #unrelaxed=6, #relaxed=0, #hardened=0
0.00/0.04	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.04	c Solving starts ...
0.00/0.04	c ============================[ Search Statistics ]============================
0.00/0.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.04	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.04	c =============================================================================
0.00/0.05	c  0.0s |       0 |        0 |        0 |      182      0 |        0 |        0
0.00/0.05	c  0.0s |       0 |        4 |        0 |      182      1 |        0 |        0
0.00/0.05	c #cpu_time = 0.001s
0.00/0.05	c #wall_clock_time = 0.001s
0.00/0.05	c #decision = 4
0.00/0.05	c #random_decision = 0
0.00/0.05	c #conflict = 0
0.00/0.05	c #restart = 0
0.00/0.05	c BCD2: found a new core of size 5: cost of the new core is >=2
0.00/0.05	c lower bound updated to 2
0.00/0.05	c BCD2: 2 <= obj <= 56
0.00/0.05	c BCD2: #cores=1, #unrelaxed=1, #relaxed=5, #hardened=0
0.00/0.05	c BCD2: #sat=1 #unsat=2 bias=2/3
0.00/0.05	c Solving starts ...
0.00/0.05	c ============================[ Search Statistics ]============================
0.00/0.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.05	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.05	c =============================================================================
0.00/0.05	c  0.0s |       0 |        0 |        0 |      182      0 |        0 |        0
0.00/0.07	c  0.0s |       1 |      177 |      100 |      201      0 |        0 |        0
0.09/0.10	c  0.1s |       2 |      364 |      250 |      201      1 |        0 |        0
0.09/0.16	c  0.1s |       3 |      694 |      475 |      222      3 |        0 |        0
0.18/0.22	c  0.2s |       4 |     1091 |      813 |      245      5 |        0 |        0
0.29/0.30	c  0.3s |       5 |     1623 |     1320 |      270      8 |        0 |        0
0.39/0.44	c  0.4s |       6 |     2443 |     2081 |      297     11 |        0 |        0
0.59/0.65	c  0.6s |       7 |     3704 |     3223 |      327     17 |        0 |        0
0.99/1.04	c  1.0s |       8 |     5617 |     4936 |      360     24 |        0 |        0
1.39/1.43	c  1.4s |       9 |     8461 |     7506 |      397     35 |        0 |        0
1.99/2.04	c  2.0s |      10 |    12960 |    11361 |      437     51 |        0 |        0
2.79/2.83	c  2.8s |      11 |    19104 |    17144 |      481     72 |        0 |        0
3.99/4.10	c  4.0s |      12 |    28885 |    25819 |      530    103 |        0 |        0
5.89/5.96	c  5.9s |      13 |    43475 |    38832 |      583    146 |        0 |        0
7.89/7.97	c  7.9s |      13 |    57473 |    52032 |      583    185 |        0 |        0
8.79/8.89	c  8.8s |      14 |    64175 |    58352 |      642    204 |        0 |        0
10.89/10.90	c 10.9s |      14 |    80413 |    72752 |      642    245 |        0 |        0
12.59/12.69	c 12.6s |      14 |    92830 |    84344 |      642    278 |        0 |        0
12.59/12.69	c #cpu_time = 12.641s
12.59/12.69	c #wall_clock_time = 12.641s
12.59/12.69	c #decision = 92830
12.59/12.69	c #random_decision = 302
12.59/12.69	c #conflict = 84344
12.59/12.69	c #restart = 14
12.59/12.69	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 6: cost of the new core is >=3
12.59/12.69	c lower bound updated to 3
12.59/12.69	c BCD2: 3 <= obj <= 56
12.59/12.69	c BCD2: #cores=1, #unrelaxed=0, #relaxed=6, #hardened=0
12.59/12.69	c BCD2: #sat=1 #unsat=3 bias=3/4
12.59/12.69	c Solving starts ...
12.59/12.69	c ============================[ Search Statistics ]============================
12.59/12.69	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
12.59/12.69	c       |         |          |          |    Limit     GC | Var      | Constra 
12.59/12.69	c =============================================================================
12.59/12.69	c  0.0s |       0 |        0 |        0 |      642      0 |        1 |        0
12.69/12.70	c  0.0s |       1 |      150 |      100 |      642      0 |        1 |        1
12.69/12.71	c  0.0s |       1 |      255 |      140 |      642      0 |        1 |        1
12.69/12.71	c #cpu_time = 0.023s
12.69/12.71	c #wall_clock_time = 0.023s
12.69/12.71	c #decision = 255
12.69/12.71	c #random_decision = 4
12.69/12.71	c #conflict = 140
12.69/12.71	c #restart = 1
12.69/12.71	o 27
12.69/12.71	c BCD2: hardening fixes 1 literals
12.69/12.71	c BCD2: updating upper bound: 56 -> 26
12.69/12.71	c BCD2: 3 <= obj <= 26
12.69/12.71	c BCD2: #cores=1, #unrelaxed=0, #relaxed=5, #hardened=1
12.69/12.71	c BCD2: #sat=2 #unsat=3 bias=3/5
12.69/12.71	c Solving starts ...
12.69/12.71	c ============================[ Search Statistics ]============================
12.69/12.71	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
12.69/12.71	c       |         |          |          |    Limit     GC | Var      | Constra 
12.69/12.71	c =============================================================================
12.69/12.71	c  0.0s |       0 |        0 |        0 |      642      0 |        9 |        3
12.69/12.72	c  0.0s |       0 |       93 |       54 |      642      0 |        9 |       21
12.69/12.72	c #cpu_time = 0.008s
12.69/12.72	c #wall_clock_time = 0.008s
12.69/12.72	c #decision = 93
12.69/12.72	c #random_decision = 0
12.69/12.72	c #conflict = 54
12.69/12.72	c #restart = 0
12.69/12.72	o 9
12.69/12.72	c BCD2: hardening fixes 1 literals
12.69/12.72	c BCD2: updating upper bound: 26 -> 8
12.69/12.72	c BCD2: 3 <= obj <= 8
12.69/12.72	c BCD2: #cores=1, #unrelaxed=0, #relaxed=4, #hardened=2
12.69/12.72	c BCD2: #sat=3 #unsat=3 bias=3/6
12.69/12.72	c Solving starts ...
12.69/12.72	c ============================[ Search Statistics ]============================
12.69/12.72	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
12.69/12.72	c       |         |          |          |    Limit     GC | Var      | Constra 
12.69/12.72	c =============================================================================
12.69/12.72	c  0.0s |       0 |        0 |        0 |      642      0 |       17 |       22
12.69/12.72	c  0.0s |       0 |       29 |        6 |      642      0 |       17 |       41
12.69/12.72	c #cpu_time = 0.003s
12.69/12.72	c #wall_clock_time = 0.003s
12.69/12.72	c #decision = 29
12.69/12.72	c #random_decision = 0
12.69/12.72	c #conflict = 6
12.69/12.72	c #restart = 0
12.69/12.72	o 3
12.69/12.72	s OPTIMUM FOUND
12.69/12.72	v x1 x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 x10
12.69/12.72	v -x11 -x12 x13 -x14 -x15 x16 -x17 -x18 x19 -x20
12.69/12.72	v x21 -x22 x23 -x24 x25 x26 -x27 x28 x29 -x30
12.69/12.72	v x31 x32 -x33 -x34 x35 x36 -x37 -x38 -x39 -x40
12.69/12.72	v -x41 -x42 x43 x44 -x45 -x46 -x47 -x48 -x49 -x50
12.69/12.72	v -x51 -x52 x53 -x54
12.69/12.72	c total CPU time = 12.724s
12.69/12.72	c total wall clock time = 12.725s

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

pid=7958
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: 1.97 2.13 2.04 3/171 7963
/proc/meminfo: memFree=31198856/32872528 swapFree=496868/529572
[pid=7963] ppid=7958 vsize=564668 CPUtime=0 cores=1,3,5,7
/proc/7963/stat : 7963 (toysat) R 7958 7963 7739 0 -1 4202496 2073 0 0 0 0 0 0 0 20 0 4 0 28633748 578220032 2946 33554432000 4194304 16246674 140734918572976 140734918571912 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7963/statm: 141935 2957 441 2943 0 138829 0
[pid=7963/tid=7966] ppid=7958 vsize=582076 CPUtime=0 cores=1,3,5,7
/proc/7963/task/7966/stat : 7966 (toysat) S 7958 7963 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28633749 596045824 3016 33554432000 4194304 16246674 140734918572976 140077969681648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7963/tid=7967] ppid=7958 vsize=586172 CPUtime=0 cores=1,3,5,7
/proc/7963/task/7967/stat : 7967 (toysat) S 7958 7963 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28633749 600240128 3033 33554432000 4194304 16246674 140734918572976 140077959191792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7963/tid=7968] ppid=7958 vsize=590268 CPUtime=0 cores=1,3,5,7
/proc/7963/task/7968/stat : 7968 (toysat) S 7958 7963 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28633749 604434432 3049 33554432000 4194304 16246674 140734918572976 140077875326128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100149 s]
/proc/loadavg: 1.97 2.13 2.04 3/171 7963
/proc/meminfo: memFree=31198856/32872528 swapFree=496868/529572
[pid=7963] ppid=7958 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/7963/stat : 7963 (toysat) R 7958 7963 7739 0 -1 4202496 20990 0 0 0 6 3 0 0 20 0 4 0 28633748 1247350784 21850 33554432000 4194304 16246674 140734918572976 140734918571912 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7963/statm: 304529 21854 795 2943 0 301423 0
[pid=7963/tid=7966] ppid=7958 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7963/task/7966/stat : 7966 (toysat) S 7958 7963 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28633749 1247350784 21860 33554432000 4194304 16246674 140734918572976 140077969681648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7963/tid=7967] ppid=7958 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7963/task/7967/stat : 7967 (toysat) S 7958 7963 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28633749 1247350784 21867 33554432000 4194304 16246674 140734918572976 140077959191792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7963/tid=7968] ppid=7958 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7963/task/7968/stat : 7968 (toysat) S 7958 7963 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28633749 1247350784 21873 33554432000 4194304 16246674 140734918572976 140077875326128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200511 s]
/proc/loadavg: 1.97 2.13 2.04 3/171 7963
/proc/meminfo: memFree=31198856/32872528 swapFree=496868/529572
[pid=7963] ppid=7958 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/7963/stat : 7963 (toysat) R 7958 7963 7739 0 -1 4202496 38859 0 0 0 13 5 0 0 20 0 4 0 28633748 1247350784 39718 33554432000 4194304 16246674 140734918572976 140734918571912 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7963/statm: 304529 39727 795 2943 0 301423 0
[pid=7963/tid=7966] ppid=7958 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7963/task/7966/stat : 7966 (toysat) S 7958 7963 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28633749 1247350784 39733 33554432000 4194304 16246674 140734918572976 140077969681648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7963/tid=7967] ppid=7958 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7963/task/7967/stat : 7967 (toysat) S 7958 7963 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28633749 1247350784 39740 33554432000 4194304 16246674 140734918572976 140077959191792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7963/tid=7968] ppid=7958 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7963/task/7968/stat : 7968 (toysat) S 7958 7963 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28633749 1247350784 39745 33554432000 4194304 16246674 140734918572976 140077875326128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300488 s]
/proc/loadavg: 1.97 2.13 2.04 3/171 7963
/proc/meminfo: memFree=31198856/32872528 swapFree=496868/529572
[pid=7963] ppid=7958 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/7963/stat : 7963 (toysat) R 7958 7963 7739 0 -1 4202496 57755 0 0 0 21 8 0 0 20 0 4 0 28633748 1247350784 58614 33554432000 4194304 16246674 140734918572976 140734918554880 5516309 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7963/statm: 304529 58620 795 2943 0 301423 0
[pid=7963/tid=7966] ppid=7958 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7963/task/7966/stat : 7966 (toysat) S 7958 7963 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28633749 1247350784 58624 33554432000 4194304 16246674 140734918572976 140077969681648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7963/tid=7967] ppid=7958 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7963/task/7967/stat : 7967 (toysat) S 7958 7963 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28633749 1247350784 58629 33554432000 4194304 16246674 140734918572976 140077959191792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7963/tid=7968] ppid=7958 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7963/task/7968/stat : 7968 (toysat) S 7958 7963 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28633749 1247350784 58638 33554432000 4194304 16246674 140734918572976 140077875326128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700406 s]
/proc/loadavg: 1.97 2.13 2.04 3/171 7963
/proc/meminfo: memFree=31198856/32872528 swapFree=496868/529572
[pid=7963] ppid=7958 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/7963/stat : 7963 (toysat) R 7958 7963 7739 0 -1 4202496 134690 0 0 0 49 20 0 0 20 0 4 0 28633748 1247350784 135549 33554432000 4194304 16246674 140734918572976 140734918554880 13759916 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7963/statm: 304529 135557 795 2943 0 301423 0
[pid=7963/tid=7966] ppid=7958 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7963/task/7966/stat : 7966 (toysat) S 7958 7963 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28633749 1247350784 135564 33554432000 4194304 16246674 140734918572976 140077969681648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7963/tid=7967] ppid=7958 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7963/task/7967/stat : 7967 (toysat) S 7958 7963 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28633749 1247350784 135571 33554432000 4194304 16246674 140734918572976 140077959191792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7963/tid=7968] ppid=7958 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7963/task/7968/stat : 7968 (toysat) S 7958 7963 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28633749 1247350784 135576 33554432000 4194304 16246674 140734918572976 140077875326128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 1.97 2.13 2.04 2/177 8020
/proc/meminfo: memFree=30348092/32872528 swapFree=496868/529572
[pid=7963] ppid=7958 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/7963/stat : 7963 (toysat) R 7958 7963 7739 0 -1 4202496 245674 0 0 0 113 36 0 0 20 0 4 0 28633748 1248399360 246511 33554432000 4194304 16246674 140734918572976 140734918572288 6010360 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7963/statm: 304785 246511 853 2943 0 301679 0
[pid=7963/tid=7966] ppid=7958 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/7963/task/7966/stat : 7966 (toysat) S 7958 7963 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28633749 1248399360 246511 33554432000 4194304 16246674 140734918572976 140077969681648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7963/tid=7967] ppid=7958 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/7963/task/7967/stat : 7967 (toysat) S 7958 7963 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28633749 1248399360 246511 33554432000 4194304 16246674 140734918572976 140077959191792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7963/tid=7968] ppid=7958 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/7963/task/7968/stat : 7968 (toysat) S 7958 7963 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28633749 1248399360 246511 33554432000 4194304 16246674 140734918572976 140077875326128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10042 s]
/proc/loadavg: 1.97 2.13 2.04 3/183 8055
/proc/meminfo: memFree=29657208/32872528 swapFree=496868/529572
[pid=7963] ppid=7958 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/7963/stat : 7963 (toysat) R 7958 7963 7739 0 -1 4202496 267539 0 0 0 269 40 0 0 20 0 4 0 28633748 1337528320 268376 33554432000 4194304 16246674 140734918572976 140734918554880 5723359 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7963/statm: 326545 268376 855 2943 0 323439 0
[pid=7963/tid=7966] ppid=7958 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7963/task/7966/stat : 7966 (toysat) S 7958 7963 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28633749 1337528320 268376 33554432000 4194304 16246674 140734918572976 140077969681648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7963/tid=7967] ppid=7958 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7963/task/7967/stat : 7967 (toysat) S 7958 7963 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28633749 1337528320 268376 33554432000 4194304 16246674 140734918572976 140077959191792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7963/tid=7968] ppid=7958 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7963/task/7968/stat : 7968 (toysat) S 7958 7963 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28633749 1337528320 268376 33554432000 4194304 16246674 140734918572976 140077875326128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 1.97 2.12 2.04 3/175 8140
/proc/meminfo: memFree=30127752/32872528 swapFree=496868/529572
[pid=7963] ppid=7958 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/7963/stat : 7963 (toysat) R 7958 7963 7739 0 -1 4202496 267582 0 0 0 589 40 0 0 20 0 4 0 28633748 1337528320 268419 33554432000 4194304 16246674 140734918572976 140734918554880 13191773 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7963/statm: 326545 268419 855 2943 0 323439 0
[pid=7963/tid=7966] ppid=7958 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7963/task/7966/stat : 7966 (toysat) S 7958 7963 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28633749 1337528320 268419 33554432000 4194304 16246674 140734918572976 140077969681648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7963/tid=7967] ppid=7958 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7963/task/7967/stat : 7967 (toysat) S 7958 7963 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28633749 1337528320 268419 33554432000 4194304 16246674 140734918572976 140077959191792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7963/tid=7968] ppid=7958 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7963/task/7968/stat : 7968 (toysat) S 7958 7963 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28633749 1337528320 268419 33554432000 4194304 16246674 140734918572976 140077875326128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 1.97 2.12 2.04 4/183 8153
/proc/meminfo: memFree=29049868/32872528 swapFree=496868/529572
[pid=7963] ppid=7958 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/7963/stat : 7963 (toysat) R 7958 7963 7739 0 -1 4202496 267583 0 0 0 1229 40 0 0 20 0 4 0 28633748 1337528320 268420 33554432000 4194304 16246674 140734918572976 140734918554880 13950218 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7963/statm: 326545 268420 855 2943 0 323439 0
[pid=7963/tid=7966] ppid=7958 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7963/task/7966/stat : 7966 (toysat) S 7958 7963 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28633749 1337528320 268420 33554432000 4194304 16246674 140734918572976 140077969681648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7963/tid=7967] ppid=7958 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7963/task/7967/stat : 7967 (toysat) S 7958 7963 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28633749 1337528320 268420 33554432000 4194304 16246674 140734918572976 140077959191792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7963/tid=7968] ppid=7958 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7963/task/7968/stat : 7968 (toysat) S 7958 7963 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28633749 1337528320 268420 33554432000 4194304 16246674 140734918572976 140077875326128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

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

[startup+12.7004 s]
/proc/loadavg: 1.97 2.12 2.04 4/183 8153
/proc/meminfo: memFree=29049868/32872528 swapFree=496868/529572
[pid=7963] ppid=7958 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/7963/stat : 7963 (toysat) R 7958 7963 7739 0 -1 4202496 267583 0 0 0 1229 40 0 0 20 0 4 0 28633748 1337528320 268420 33554432000 4194304 16246674 140734918572976 140734918554880 13950218 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7963/statm: 326545 268420 855 2943 0 323439 0
[pid=7963/tid=7966] ppid=7958 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7963/task/7966/stat : 7966 (toysat) S 7958 7963 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28633749 1337528320 268420 33554432000 4194304 16246674 140734918572976 140077969681648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7963/tid=7967] ppid=7958 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7963/task/7967/stat : 7967 (toysat) S 7958 7963 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28633749 1337528320 268420 33554432000 4194304 16246674 140734918572976 140077959191792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7963/tid=7968] ppid=7958 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7963/task/7968/stat : 7968 (toysat) S 7958 7963 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28633749 1337528320 268420 33554432000 4194304 16246674 140734918572976 140077875326128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

Child status: 0
Real time (s): 12.7878
CPU time (s): 12.7831
CPU user time (s): 12.3171
CPU system time (s): 0.465929
CPU usage (%): 99.9627
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.3171
system time used= 0.465929
maximum resident set size= 1073692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267588
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= 23
involuntary context switches= 17

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.054991 second user time and 0.068989 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-18 18:04:43
IDJOB=4106103
IDBENCH=47934
IDSOLVER=2542
FILE ID=node141/4106103-1466265883
RUNJOBID= node141-1466264081-7756
PBS_JOBID= 19918217
Free space on /tmp= 71712 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=59-P1=53-P2=11-P3=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-4106103-1466265883/watcher-4106103-1466265883 -o /tmp/evaluation-result-4106103-1466265883/solver-4106103-1466265883 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7756 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106103-1466265883.opb

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

MD5SUM BENCH= bc013f756978420202c73860888da520
RANDOM SEED=1594180629

node141.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.547
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.09
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.547
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.547
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.54
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.547
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.547
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.56
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.547
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.547
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.547
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31199492 kB
Buffers:          144136 kB
Cached:           253916 kB
SwapCached:         2528 kB
Active:           142032 kB
Inactive:         260268 kB
Active(anon):       4488 kB
Inactive(anon):     2028 kB
Active(file):     137544 kB
Inactive(file):   258240 kB
Unevictable:      529572 kB
Mlocked:          496868 kB
SwapTotal:      67108856 kB
SwapFree:       67099068 kB
Dirty:             16356 kB
Writeback:             0 kB
AnonPages:        618036 kB
Mapped:             7052 kB
Shmem:                 0 kB
Slab:             609500 kB
SReclaimable:      52932 kB
SUnreclaim:       556568 kB
KernelStack:        1448 kB
PageTables:         4860 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     626660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    118784 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= 71696 MiB
End job on node141 at 2016-06-18 18:04:56