Trace number 4106052

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 4.6073 4.60947

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=5-P0=5-P1=13-P2=29-P3=13-P4=7-P5=5-P6=37-P7=7-P8=29-B.opb
MD5SUM1a5734774d9497f5914e33a08764abe1
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.043992
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 variables120
Total number of constraints17
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 constraints17
Minimum length of a constraint5
Maximum length of a constraint35
Number of terms in the objective function 5
Biggest coefficient in the objective function 16
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 31
Number of bits of the sum of numbers in the objective function 5
Biggest number in a constraint 512
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 1984
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)200
Sum of products size (including duplicates)400
Number of different products200
Sum of products size400

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-18T17:36:01+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-4106052-1466264161.opb"]
0.00/0.01	c use --random-gen="1212642982 1374207385 3289543081 1912347835 2080463584 452072060 2916658370 873601071 2133738282 3726904062 3885759499 3728464205 3554880378 3135830728 4225600017 3894620195 1643229758 1994976800 1731791628 607563599 2252381932 1075269372 1680799125 2512986902 1218106938 2344334212 658583009 418629595 3006804402 4109347053 3724435770 1954178434 278031532 1176967539 1543416515 2388719457 1304277729 1727521568 3989607624 2838049872 1074752722 3087784590 3350870049 3280577712 1488012117 644522263 459425246 3251146118 2739428134 1065748885 2887825566 1007357305 2738319053 356074363 2855369281 113189589 962424905 999723790 2747921107 2488070263 2308122210 2148918111 719692254 3605949046 4097750906 4162088596 3419897156 1396912511 2526382983 1344485356 3827372891 3831565151 74359718 2848673229 420552828 3107536739 566638648 4092042969 2513543237 4270974265 3166287075 3947669537 3932835487 1320669166 2805607543 2106567962 2223176551 1958323952 705225805 3416932595 1781400381 3216170531 4039908309 658786663 869203426 3925551742 1929360575 3144684838 1333044349 2914137854 3035773899 3922266599 4257435115 3748181330 4213217118 2622467081 3944626577 416588963 2081008454 3539037090 3148364920 3201466363 1786288644 1084546078 69550320 4161869428 3032621811 2327811274 2022377003 3017285418 3256211494 1639986258 1039545884 1266844442 3381173413 2573162207 91823326 2291428096 75117231 2784494134 2369174617 4155302318 1428076249 2071543081 3070817948 4175974525 1037590159 1801864743 1162021279 593386419 3858636568 970492871 2181784828 3821653072 599311838 25714716 3906688551 3628357228 3933050039 2343681147 2608897783 3853436943 1760449872 4234408674 654476636 3795314584 301734675 3710488970 2910888995 756182730 2162122673 1281630229 897497132 641113060 1049491069 2667093210 2316126096 428302992 27672690 3704055998 2124243578 1902674643 2475607618 521353036 736099758 2648651905 3233450322 565988773 2807616095 2481708461 476168964 3636301717 1471702643 2251937318 3264148607 1712949732 2112877005 724724035 1320743475 1468356350 2794732644 3155370851 1282056690 3681521646 1996064708 677104548 1870293966 707448516 3799537866 2702251218 1163142397 2417748623 376888956 214504545 736029861 1191699451 2526114216 3829406160 4052213950 1774180959 564766730 347461954 3708568039 2797742197 4122339795 1830230989 1921960907 1664275994 1903836656 366957617 1872918651 3913512284 3554164421 4034725449 2956457230 608889215 1870580772 1473220110 1720751675 1598305248 3877782127 2203681257 1333436585 2417148546 1984832769 1462554729 2548103460 1803482170 777171177 2998549688 3773293305 1242054375 1548368097 366625922 437717152 1560803955 2411026941 3963826624 3667993705 4261249458 3549797130 2119239609 1499431294 2613203730 2400560831 255557106 255 362436" option to reproduce the execution
0.00/0.01	c #vars 120
0.00/0.01	c #constraints 17
0.00/0.02	c BCD2: Hardening is enabled.
0.00/0.02	c BCD2: BiasedSearch is enabled.
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 |      315      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      102 |      100 |      315      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      290 |      250 |      347      0 |        1 |        2
0.00/0.09	c  0.1s |       3 |      718 |      475 |      382      0 |        1 |        2
0.09/0.11	c  0.1s |       3 |      901 |      588 |      421      0 |        1 |        2
0.09/0.11	c #cpu_time = 0.092s
0.09/0.11	c #wall_clock_time = 0.092s
0.09/0.11	c #decision = 901
0.09/0.11	c #random_decision = 3
0.09/0.11	c #conflict = 588
0.09/0.11	c #restart = 3
0.09/0.11	o 27
0.09/0.11	c BCD2: updating upper bound: 31 -> 26
0.09/0.11	c BCD2: 0 <= obj <= 26
0.09/0.11	c BCD2: #cores=0, #unrelaxed=5, #relaxed=0, #hardened=0
0.09/0.11	c BCD2: #sat=1 #unsat=1 bias=1/2
0.09/0.11	c Solving starts ...
0.09/0.11	c ============================[ Search Statistics ]============================
0.09/0.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.11	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.11	c =============================================================================
0.09/0.11	c  0.0s |       0 |        0 |        0 |      421      0 |        1 |        2
0.09/0.11	c  0.0s |       0 |        3 |        0 |      421      1 |        1 |        2
0.09/0.11	c #cpu_time = 0.003s
0.09/0.11	c #wall_clock_time = 0.003s
0.09/0.11	c #decision = 3
0.09/0.11	c #random_decision = 0
0.09/0.11	c #conflict = 0
0.09/0.11	c #restart = 0
0.09/0.11	c BCD2: found a new core of size 4: cost of the new core is >=2
0.09/0.11	c lower bound updated to 2
0.09/0.11	c BCD2: 2 <= obj <= 26
0.09/0.11	c BCD2: #cores=1, #unrelaxed=1, #relaxed=4, #hardened=0
0.09/0.11	c BCD2: #sat=1 #unsat=2 bias=2/3
0.09/0.11	c Solving starts ...
0.09/0.11	c ============================[ Search Statistics ]============================
0.09/0.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.11	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.11	c =============================================================================
0.09/0.11	c  0.0s |       0 |        0 |        0 |      421      0 |        1 |        2
0.09/0.13	c  0.0s |       1 |      172 |      100 |      421      0 |        1 |        2
0.09/0.15	c  0.0s |       2 |      402 |      250 |      464      0 |        1 |        2
0.09/0.19	c  0.1s |       3 |      719 |      475 |      464      1 |        1 |        2
0.19/0.26	c  0.2s |       4 |     1180 |      813 |      511      2 |        1 |        2
0.28/0.34	c  0.2s |       5 |     1861 |     1320 |      511      4 |        1 |        2
0.49/0.57	c  0.5s |       6 |     2865 |     2081 |      563      5 |        1 |        2
0.69/0.79	c  0.7s |       7 |     4218 |     3223 |      620      8 |        1 |        2
1.19/1.27	c  1.2s |       8 |     7278 |     4936 |      682     13 |        1 |        2
1.59/1.60	c  1.5s |       9 |    10194 |     7506 |      751     18 |        1 |        2
2.20/2.21	c  2.1s |      10 |    15501 |    11361 |      827     27 |        1 |        2
2.99/3.05	c  2.9s |      11 |    22736 |    17144 |      910     38 |        2 |        7
4.19/4.24	c  4.1s |      12 |    33084 |    25819 |     1002     55 |        4 |       17
4.49/4.52	c  4.4s |      12 |    35468 |    27890 |     1002     59 |        5 |       22
4.49/4.52	c #cpu_time = 4.397s
4.49/4.52	c #wall_clock_time = 4.408s
4.49/4.52	c #decision = 35468
4.49/4.52	c #random_decision = 135
4.49/4.52	c #conflict = 27890
4.49/4.52	c #restart = 12
4.49/4.52	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 5: cost of the new core is >=3
4.49/4.52	c lower bound updated to 3
4.49/4.52	c BCD2: 3 <= obj <= 26
4.49/4.52	c BCD2: #cores=1, #unrelaxed=0, #relaxed=5, #hardened=0
4.49/4.52	c BCD2: #sat=1 #unsat=3 bias=3/4
4.49/4.52	c Solving starts ...
4.49/4.52	c ============================[ Search Statistics ]============================
4.49/4.52	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.49/4.52	c       |         |          |          |    Limit     GC | Var      | Constra 
4.49/4.52	c =============================================================================
4.49/4.52	c  0.0s |       0 |        0 |        0 |     1002      0 |        6 |       22
4.49/4.53	c  0.0s |       1 |      147 |      100 |     1002      0 |        6 |       23
4.49/4.53	c  0.0s |       1 |      198 |      103 |     1002      0 |        6 |       23
4.49/4.53	c #cpu_time = 0.013s
4.49/4.53	c #wall_clock_time = 0.013s
4.49/4.53	c #decision = 198
4.49/4.53	c #random_decision = 1
4.49/4.53	c #conflict = 103
4.49/4.53	c #restart = 1
4.49/4.53	o 7
4.49/4.53	c BCD2: hardening fixes 2 literals
4.49/4.53	c BCD2: updating upper bound: 26 -> 6
4.49/4.53	c BCD2: 3 <= obj <= 6
4.49/4.53	c BCD2: #cores=1, #unrelaxed=0, #relaxed=3, #hardened=2
4.49/4.53	c BCD2: #sat=2 #unsat=3 bias=3/5
4.49/4.53	c Solving starts ...
4.49/4.53	c ============================[ Search Statistics ]============================
4.49/4.53	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.49/4.53	c       |         |          |          |    Limit     GC | Var      | Constra 
4.49/4.53	c =============================================================================
4.49/4.53	c  0.0s |       0 |        0 |        0 |     1002      0 |       20 |       25
4.49/4.54	c  0.0s |       0 |       67 |       20 |     1002      0 |       20 |       55
4.49/4.54	c #cpu_time = 0.005s
4.49/4.54	c #wall_clock_time = 0.005s
4.49/4.54	c #decision = 67
4.49/4.54	c #random_decision = 0
4.49/4.54	c #conflict = 20
4.49/4.54	c #restart = 0
4.49/4.54	o 5
4.49/4.54	c BCD2: updating upper bound: 6 -> 4
4.49/4.54	c BCD2: 3 <= obj <= 4
4.49/4.54	c BCD2: #cores=1, #unrelaxed=0, #relaxed=3, #hardened=2
4.49/4.54	c BCD2: #sat=3 #unsat=3 bias=3/6
4.49/4.54	c Solving starts ...
4.49/4.54	c ============================[ Search Statistics ]============================
4.49/4.54	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.49/4.54	c       |         |          |          |    Limit     GC | Var      | Constra 
4.49/4.54	c =============================================================================
4.49/4.54	c  0.0s |       0 |        0 |        0 |     1002      0 |       20 |       55
4.49/4.54	c  0.0s |       0 |       87 |       25 |     1002      0 |       20 |       55
4.49/4.54	c #cpu_time = 0.004s
4.49/4.54	c #wall_clock_time = 0.005s
4.49/4.54	c #decision = 87
4.49/4.54	c #random_decision = 0
4.49/4.54	c #conflict = 25
4.49/4.54	c #restart = 0
4.49/4.54	o 3
4.49/4.54	s OPTIMUM FOUND
4.49/4.54	v x1 x2 -x3 -x4 -x5 x6 x7 x8 -x9 -x10
4.49/4.54	v x11 -x12 x13 x14 -x15 x16 -x17 -x18 x19 x20
4.49/4.54	v x21 -x22 -x23 -x24 x25 x26 x27 -x28 -x29 -x30
4.49/4.54	v x31 x32 -x33 -x34 -x35 x36 x37 x38 x39 -x40
4.49/4.54	v x41 x42 -x43 -x44 x45 x46 -x47 x48 -x49 x50
4.49/4.54	v x51 -x52 -x53 -x54 x55 x56 -x57 -x58 x59 -x60
4.49/4.54	v x61 -x62 -x63 x64 x65 x66 x67 -x68 x69 -x70
4.49/4.54	v x71 -x72 -x73 -x74 -x75 x76 x77 x78 x79 -x80
4.49/4.54	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90
4.49/4.54	v x91 -x92 x93 x94 -x95 -x96 -x97 x98 -x99 -x100
4.49/4.54	v -x101 x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110
4.49/4.54	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120
4.49/4.54	c total CPU time = 4.535s
4.49/4.54	c total wall clock time = 4.547s

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

pid=13278
running on 4 cores: 0,2,4,6

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.68 2.02 2.10 4/178 13281
/proc/meminfo: memFree=31176016/32872528 swapFree=681964/737152
[pid=13281] ppid=13278 vsize=770492 CPUtime=0 cores=0,2,4,6
/proc/13281/stat : 13281 (toysat) R 13278 13281 13233 0 -1 4202496 2882 0 0 0 0 0 0 0 20 0 4 0 28465306 788983808 3754 33554432000 4194304 16246674 140734785425824 140734785425248 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13281/statm: 193391 3763 441 2943 0 190285 0
[pid=13281/tid=13282] ppid=13278 vsize=787900 CPUtime=0 cores=0,2,4,6
/proc/13281/task/13282/stat : 13282 (toysat) S 13278 13281 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28465306 806809600 3822 33554432000 4194304 16246674 140734785425824 140231546219760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13281/tid=13283] ppid=13278 vsize=793020 CPUtime=0 cores=0,2,4,6
/proc/13281/task/13283/stat : 13283 (toysat) S 13278 13281 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465306 812052480 3841 33554432000 4194304 16246674 140734785425824 140231535729904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13281/tid=13285] ppid=13278 vsize=798140 CPUtime=0 cores=0,2,4,6
/proc/13281/task/13285/stat : 13285 (toysat) S 13278 13281 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28465306 817295360 3859 33554432000 4194304 16246674 140734785425824 140231420406960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100164 s]
/proc/loadavg: 1.68 2.02 2.10 4/178 13281
/proc/meminfo: memFree=31176016/32872528 swapFree=681964/737152
[pid=13281] ppid=13278 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/13281/stat : 13281 (toysat) R 13278 13281 13233 0 -1 4202496 21224 0 0 0 6 3 0 0 20 0 4 0 28465306 1247350784 22084 33554432000 4194304 16246674 140734785425824 140734785425248 6074686 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13281/statm: 304529 22088 765 2943 0 301423 0
[pid=13281/tid=13282] ppid=13278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13281/task/13282/stat : 13282 (toysat) S 13278 13281 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28465306 1247350784 22090 33554432000 4194304 16246674 140734785425824 140231546219760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13281/tid=13283] ppid=13278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13281/task/13283/stat : 13283 (toysat) S 13278 13281 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465306 1247350784 22094 33554432000 4194304 16246674 140734785425824 140231535729904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13281/tid=13285] ppid=13278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13281/task/13285/stat : 13285 (toysat) S 13278 13281 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28465306 1247350784 22099 33554432000 4194304 16246674 140734785425824 140231420406960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.20043 s]
/proc/loadavg: 1.68 2.02 2.10 4/178 13281
/proc/meminfo: memFree=31176016/32872528 swapFree=681964/737152
[pid=13281] ppid=13278 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/13281/stat : 13281 (toysat) R 13278 13281 13233 0 -1 4202496 40145 0 0 0 14 5 0 0 20 0 4 0 28465306 1247350784 41004 33554432000 4194304 16246674 140734785425824 140734785425248 13191557 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13281/statm: 304529 41009 793 2943 0 301423 0
[pid=13281/tid=13282] ppid=13278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13281/task/13282/stat : 13282 (toysat) S 13278 13281 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28465306 1247350784 41013 33554432000 4194304 16246674 140734785425824 140231546219760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13281/tid=13283] ppid=13278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13281/task/13283/stat : 13283 (toysat) S 13278 13281 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465306 1247350784 41019 33554432000 4194304 16246674 140734785425824 140231535729904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13281/tid=13285] ppid=13278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13281/task/13285/stat : 13285 (toysat) S 13278 13281 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28465306 1247350784 41024 33554432000 4194304 16246674 140734785425824 140231420406960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300445 s]
/proc/loadavg: 1.68 2.02 2.10 4/178 13281
/proc/meminfo: memFree=31176016/32872528 swapFree=681964/737152
[pid=13281] ppid=13278 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/13281/stat : 13281 (toysat) R 13278 13281 13233 0 -1 4202496 58215 0 0 0 21 7 0 0 20 0 4 0 28465306 1247350784 59075 33554432000 4194304 16246674 140734785425824 140734785425248 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13281/statm: 304529 59081 793 2943 0 301423 0
[pid=13281/tid=13282] ppid=13278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13281/task/13282/stat : 13282 (toysat) S 13278 13281 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28465306 1247350784 59083 33554432000 4194304 16246674 140734785425824 140231546219760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13281/tid=13283] ppid=13278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13281/task/13283/stat : 13283 (toysat) S 13278 13281 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465306 1247350784 59086 33554432000 4194304 16246674 140734785425824 140231535729904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13281/tid=13285] ppid=13278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13281/task/13285/stat : 13285 (toysat) S 13278 13281 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28465306 1247350784 59093 33554432000 4194304 16246674 140734785425824 140231420406960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.70039 s]
/proc/loadavg: 1.68 2.02 2.10 4/178 13281
/proc/meminfo: memFree=31176016/32872528 swapFree=681964/737152
[pid=13281] ppid=13278 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/13281/stat : 13281 (toysat) R 13278 13281 13233 0 -1 4202496 128701 0 0 0 51 18 0 0 20 0 4 0 28465306 1247350784 129560 33554432000 4194304 16246674 140734785425824 140734785408824 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13281/statm: 304529 129564 793 2943 0 301423 0
[pid=13281/tid=13282] ppid=13278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13281/task/13282/stat : 13282 (toysat) S 13278 13281 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28465306 1247350784 129569 33554432000 4194304 16246674 140734785425824 140231546219760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13281/tid=13283] ppid=13278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13281/task/13283/stat : 13283 (toysat) S 13278 13281 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465306 1247350784 129576 33554432000 4194304 16246674 140734785425824 140231535729904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13281/tid=13285] ppid=13278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13281/task/13285/stat : 13285 (toysat) S 13278 13281 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28465306 1247350784 129579 33554432000 4194304 16246674 140734785425824 140231420406960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.68 2.02 2.10 4/183 13286
/proc/meminfo: memFree=29586664/32872528 swapFree=681964/737152
[pid=13281] ppid=13278 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/13281/stat : 13281 (toysat) R 13278 13281 13233 0 -1 4202496 245825 0 0 0 116 33 0 0 20 0 4 0 28465306 1248399360 246662 33554432000 4194304 16246674 140734785425824 140734785425136 5676609 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13281/statm: 304785 246662 850 2943 0 301679 0
[pid=13281/tid=13282] ppid=13278 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/13281/task/13282/stat : 13282 (toysat) S 13278 13281 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28465306 1248399360 246662 33554432000 4194304 16246674 140734785425824 140231546219760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13281/tid=13283] ppid=13278 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/13281/task/13283/stat : 13283 (toysat) S 13278 13281 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465306 1248399360 246662 33554432000 4194304 16246674 140734785425824 140231535729904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13281/tid=13285] ppid=13278 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/13281/task/13285/stat : 13285 (toysat) S 13278 13281 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28465306 1248399360 246662 33554432000 4194304 16246674 140734785425824 140231420406960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10034 s]
/proc/loadavg: 1.68 2.02 2.10 4/183 13286
/proc/meminfo: memFree=29129724/32872528 swapFree=681964/737152
[pid=13281] ppid=13278 vsize=1305156 CPUtime=3.09 cores=0,2,4,6
/proc/13281/stat : 13281 (toysat) R 13278 13281 13233 0 -1 4202496 267244 0 0 0 274 35 0 0 20 0 4 0 28465306 1336479744 268081 33554432000 4194304 16246674 140734785425824 140734785408824 5673024 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13281/statm: 326289 268081 850 2943 0 323183 0
[pid=13281/tid=13282] ppid=13278 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/13281/task/13282/stat : 13282 (toysat) S 13278 13281 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28465306 1336479744 268081 33554432000 4194304 16246674 140734785425824 140231546219760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13281/tid=13283] ppid=13278 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/13281/task/13283/stat : 13283 (toysat) S 13278 13281 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465306 1336479744 268081 33554432000 4194304 16246674 140734785425824 140231535729904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13281/tid=13285] ppid=13278 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/13281/task/13285/stat : 13285 (toysat) S 13278 13281 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28465306 1336479744 268081 33554432000 4194304 16246674 140734785425824 140231420406960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1305156

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

[startup+3.20048 s]
/proc/loadavg: 1.68 2.02 2.10 4/183 13286
/proc/meminfo: memFree=29129724/32872528 swapFree=681964/737152
[pid=13281] ppid=13278 vsize=1306180 CPUtime=3.19 cores=0,2,4,6
/proc/13281/stat : 13281 (toysat) R 13278 13281 13233 0 -1 4202496 267525 0 0 0 284 35 0 0 20 0 4 0 28465306 1337528320 268362 33554432000 4194304 16246674 140734785425824 140734785408824 5711404 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13281/statm: 326545 268362 850 2943 0 323439 0
[pid=13281/tid=13282] ppid=13278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13281/task/13282/stat : 13282 (toysat) S 13278 13281 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28465306 1337528320 268362 33554432000 4194304 16246674 140734785425824 140231546219760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13281/tid=13283] ppid=13278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13281/task/13283/stat : 13283 (toysat) S 13278 13281 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465306 1337528320 268362 33554432000 4194304 16246674 140734785425824 140231535729904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13281/tid=13285] ppid=13278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13281/task/13285/stat : 13285 (toysat) S 13278 13281 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28465306 1337528320 268362 33554432000 4194304 16246674 140734785425824 140231420406960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 1306180

[startup+4.00035 s]
/proc/loadavg: 1.68 2.02 2.10 4/183 13286
/proc/meminfo: memFree=29042676/32872528 swapFree=681964/737152
[pid=13281] ppid=13278 vsize=1306180 CPUtime=3.99 cores=0,2,4,6
/proc/13281/stat : 13281 (toysat) R 13278 13281 13233 0 -1 4202496 267540 0 0 0 364 35 0 0 20 0 4 0 28465306 1337528320 268377 33554432000 4194304 16246674 140734785425824 140734785408824 5712536 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13281/statm: 326545 268377 850 2943 0 323439 0
[pid=13281/tid=13282] ppid=13278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13281/task/13282/stat : 13282 (toysat) S 13278 13281 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28465306 1337528320 268377 33554432000 4194304 16246674 140734785425824 140231546219760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13281/tid=13283] ppid=13278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13281/task/13283/stat : 13283 (toysat) S 13278 13281 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465306 1337528320 268377 33554432000 4194304 16246674 140734785425824 140231535729904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13281/tid=13285] ppid=13278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13281/task/13285/stat : 13285 (toysat) S 13278 13281 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28465306 1337528320 268377 33554432000 4194304 16246674 140734785425824 140231420406960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 1306180

[startup+4.40039 s]
/proc/loadavg: 1.70 2.02 2.09 4/183 13286
/proc/meminfo: memFree=29042800/32872528 swapFree=681964/737152
[pid=13281] ppid=13278 vsize=1306180 CPUtime=4.39 cores=0,2,4,6
/proc/13281/stat : 13281 (toysat) R 13278 13281 13233 0 -1 4202496 267579 0 0 0 404 35 0 0 20 0 4 0 28465306 1337528320 268416 33554432000 4194304 16246674 140734785425824 140734785408824 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13281/statm: 326545 268416 850 2943 0 323439 0
[pid=13281/tid=13282] ppid=13278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13281/task/13282/stat : 13282 (toysat) S 13278 13281 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28465306 1337528320 268416 33554432000 4194304 16246674 140734785425824 140231546219760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13281/tid=13283] ppid=13278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13281/task/13283/stat : 13283 (toysat) S 13278 13281 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465306 1337528320 268416 33554432000 4194304 16246674 140734785425824 140231535729904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13281/tid=13285] ppid=13278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13281/task/13285/stat : 13285 (toysat) S 13278 13281 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28465306 1337528320 268416 33554432000 4194304 16246674 140734785425824 140231420406960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 1306180

[startup+4.60034 s]
/proc/loadavg: 1.70 2.02 2.09 4/183 13286
/proc/meminfo: memFree=29042800/32872528 swapFree=681964/737152
[pid=13281] ppid=13278 vsize=0 CPUtime=4.58 cores=0,2,4,6
/proc/13281/stat : 13281 (toysat) R 13278 13281 13233 0 -1 4202500 267585 0 0 0 418 40 0 0 20 0 1 0 28465306 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13281/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.58
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 4.60947
CPU time (s): 4.6073
CPU user time (s): 4.18936
CPU system time (s): 0.417936
CPU usage (%): 99.9529
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.18936
system time used= 0.417936
maximum resident set size= 1073680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267585
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= 19
involuntary context switches= 6

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.012998 second user time and 0.037994 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-18 17:36:01
IDJOB=4106052
IDBENCH=47907
IDSOLVER=2542
FILE ID=node112/4106052-1466264161
RUNJOBID= node112-1466264161-13249
PBS_JOBID= 19918218
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=5-P0=5-P1=13-P2=29-P3=13-P4=7-P5=5-P6=37-P7=7-P8=29-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106052-1466264161/watcher-4106052-1466264161 -o /tmp/evaluation-result-4106052-1466264161/solver-4106052-1466264161 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466264161-13249 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106052-1466264161.opb

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

MD5SUM BENCH= 1a5734774d9497f5914e33a08764abe1
RANDOM SEED=145833075

node112.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.734
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.46
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.734
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.734
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	: 5321.48
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.734
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.734
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.734
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.734
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.734
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31187700 kB
Buffers:           56484 kB
Cached:           153288 kB
SwapCached:         2028 kB
Active:            93856 kB
Inactive:         119788 kB
Active(anon):       3956 kB
Inactive(anon):     2096 kB
Active(file):      89900 kB
Inactive(file):   117692 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67096744 kB
Dirty:             32700 kB
Writeback:             0 kB
AnonPages:        740132 kB
Mapped:             6748 kB
Shmem:                 0 kB
Slab:             601708 kB
SReclaimable:      45812 kB
SUnreclaim:       555896 kB
KernelStack:        1344 kB
PageTables:         6204 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     836044 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     55296 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= 71680 MiB
End job on node112 at 2016-06-18 17:36:06