Trace number 4106364

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 2.52761 2.52726

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=5-P0=29-P1=29-P2=17-P3=7-P4=5-P5=13-P6=5-B.opb
MD5SUM502b1b8e4f662bd34ffc08957221e0d9
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.031994
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 variables90
Total number of constraints13
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 constraints13
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)150
Sum of products size (including duplicates)300
Number of different products150
Sum of products size300

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-18T19:18: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-4106364-1466270281.opb"]
0.00/0.01	c use --random-gen="3748232682 4144080312 3219105328 2197779346 2574470445 78164436 3982682326 139949960 3385618017 100825958 750880483 4081075091 1864333919 4056443558 2824357445 407279085 107133444 3831152680 4087371809 665668759 755069134 3115395540 149077767 1149188906 3219908765 1091133959 1476208526 2098921629 3211450188 604621778 847924821 2210604748 4151337304 1888075313 4144884327 383346563 4279736159 1766021966 2410615906 498857147 466413522 11979381 296473328 3932105777 1908203974 2726319687 2573697324 886076796 3680918411 2456762936 2570928572 3244674248 2430410412 3369605300 2755258474 1930188032 726801759 2612103235 1879974187 295606470 1643711160 2255631612 76150910 1312267666 849301257 2387141557 1535900559 893690998 1126086579 66507043 2324991517 4198166871 1589889297 2014815564 90403487 1642963994 644673462 2516904177 4287341745 3202640451 2953234088 2128757052 355498008 358292708 1951978811 2658574507 271160670 3371935597 416725927 1244373243 931056364 2003706720 584637897 2274219855 1693974733 3599157511 659442749 3307911618 75128817 2670264008 3686672533 3506245637 2769506341 2112998893 960281642 917079381 4074155587 3506964117 891097048 885729616 1685958319 868621466 2684066775 3273561276 3811977850 337528959 249084352 1063789626 3776627655 2606957290 3590203294 1033100155 751718197 2330650923 3287563147 2687116328 2589835926 2873177286 2374359578 2380561988 2738896010 1529804691 1386853958 2660333646 2400536546 3985753286 3528565443 2560156583 2332450056 2993138468 798104610 1770254096 2083377063 3632819388 3073920553 2646014612 2883851338 4137516942 323225088 4152793054 624725397 545740057 2717684573 3806262862 3596734502 2205089224 1337524569 3095224502 3644114505 2852387168 2396492616 112071888 4204874574 345606343 3646859390 3215727735 1185877499 2805476438 3221615640 4065008072 1626865709 1472799433 3365997221 3466828401 1280925295 243731027 1302588184 1169034218 3503420166 3000555209 3386745520 1586153879 3994829158 2988585084 2554377387 3514658408 1479693644 2824731276 1435155572 268231307 911031263 3425586898 3855169598 3156283456 421167762 3196046571 2041914655 1367859842 3068837177 1766018354 263281110 3575541955 3947197400 1770892914 3745266907 398449627 2465470345 954404079 1931298052 1393423520 45171752 2184178247 1980972974 3760830229 2002622344 3094704489 3983765297 3156117030 489945828 2304210843 3474440477 520280755 3013059246 2540611181 1447399431 4155258644 2512398487 3744117076 3792760937 2836255450 3670165735 206515068 1646759513 3856782912 2098574085 698196430 4062272009 3313113305 3142344049 4209191261 3884626514 3710728561 1619112328 228519657 870774537 2418494475 1745574266 2269360810 411656031 3028079577 2244430337 2789398161 3395981373 213678555 3359734072 467841630 255 362436" option to reproduce the execution
0.00/0.01	c #vars 90
0.00/0.01	c #constraints 13
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 |      236      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      128 |      100 |      236      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      345 |      250 |      260      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      495 |      323 |      286      0 |        0 |        0
0.00/0.06	c #cpu_time = 0.047s
0.00/0.06	c #wall_clock_time = 0.047s
0.00/0.06	c #decision = 495
0.00/0.06	c #random_decision = 2
0.00/0.06	c #conflict = 323
0.00/0.06	c #restart = 2
0.00/0.06	o 13
0.00/0.06	c BCD2: hardening fixes 1 literals
0.00/0.06	c BCD2: updating upper bound: 31 -> 12
0.00/0.06	c BCD2: 0 <= obj <= 12
0.00/0.06	c BCD2: #cores=0, #unrelaxed=4, #relaxed=0, #hardened=1
0.00/0.06	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.06	c Solving starts ...
0.00/0.06	c ============================[ Search Statistics ]============================
0.00/0.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.06	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.06	c =============================================================================
0.00/0.06	c  0.0s |       0 |        0 |        0 |      286      0 |        7 |        0
0.00/0.06	c  0.0s |       0 |        2 |        0 |      286      1 |        7 |       15
0.00/0.06	c #cpu_time = 0.002s
0.00/0.06	c #wall_clock_time = 0.002s
0.00/0.06	c #decision = 2
0.00/0.06	c #random_decision = 0
0.00/0.06	c #conflict = 0
0.00/0.06	c #restart = 0
0.00/0.06	c BCD2: found a new core of size 3: cost of the new core is >=2
0.00/0.06	c lower bound updated to 2
0.00/0.06	c BCD2: 2 <= obj <= 12
0.00/0.06	c BCD2: #cores=1, #unrelaxed=1, #relaxed=3, #hardened=1
0.00/0.06	c BCD2: #sat=1 #unsat=2 bias=2/3
0.00/0.06	c Solving starts ...
0.00/0.06	c ============================[ Search Statistics ]============================
0.00/0.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.06	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.06	c =============================================================================
0.00/0.06	c  0.0s |       0 |        0 |        0 |      286      0 |        7 |       15
0.00/0.09	c  0.0s |       1 |      209 |      100 |      286      0 |        7 |       15
0.09/0.11	c  0.1s |       2 |      434 |      250 |      315      0 |        7 |       15
0.09/0.16	c  0.1s |       3 |      752 |      475 |      315      1 |        7 |       15
0.19/0.22	c  0.2s |       4 |     1242 |      813 |      347      3 |        7 |       15
0.29/0.33	c  0.3s |       5 |     2010 |     1320 |      382      5 |        7 |       15
0.39/0.49	c  0.4s |       6 |     2877 |     2081 |      421      8 |        7 |       15
0.59/0.66	c  0.6s |       7 |     4282 |     3223 |      464     11 |        7 |       15
0.99/1.04	c  1.0s |       8 |     6406 |     4936 |      511     17 |        7 |       15
1.39/1.42	c  1.4s |       9 |     9511 |     7506 |      563     25 |        7 |       15
1.89/1.90	c  1.8s |      10 |    13896 |    11361 |      620     36 |        8 |       20
2.39/2.44	c  2.4s |      10 |    18294 |    15107 |      620     47 |        8 |       20
2.39/2.44	c #cpu_time = 2.370s
2.39/2.44	c #wall_clock_time = 2.376s
2.39/2.44	c #decision = 18294
2.39/2.44	c #random_decision = 57
2.39/2.44	c #conflict = 15107
2.39/2.44	c #restart = 10
2.39/2.44	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 4: cost of the new core is >=3
2.39/2.44	c lower bound updated to 3
2.39/2.44	c BCD2: 3 <= obj <= 12
2.39/2.44	c BCD2: #cores=1, #unrelaxed=0, #relaxed=4, #hardened=1
2.39/2.44	c BCD2: #sat=1 #unsat=3 bias=3/4
2.39/2.44	c Solving starts ...
2.39/2.44	c ============================[ Search Statistics ]============================
2.39/2.44	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.39/2.44	c       |         |          |          |    Limit     GC | Var      | Constra 
2.39/2.44	c =============================================================================
2.39/2.44	c  0.0s |       0 |        0 |        0 |      620      0 |        9 |       20
2.39/2.45	c  0.0s |       1 |      109 |      100 |      620      0 |        9 |       21
2.39/2.46	c  0.0s |       1 |      251 |      166 |      620      1 |        9 |       21
2.39/2.46	c #cpu_time = 0.022s
2.39/2.46	c #wall_clock_time = 0.022s
2.39/2.46	c #decision = 251
2.39/2.46	c #random_decision = 0
2.39/2.46	c #conflict = 166
2.39/2.46	c #restart = 1
2.39/2.46	o 3
2.39/2.46	s OPTIMUM FOUND
2.39/2.46	v x1 x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 x10
2.39/2.46	v x11 x12 -x13 -x14 -x15 x16 x17 -x18 -x19 -x20
2.39/2.46	v x21 x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 x30
2.39/2.46	v x31 x32 -x33 x34 x35 x36 x37 -x38 -x39 x40
2.39/2.46	v x41 -x42 -x43 x44 x45 x46 x47 -x48 x49 -x50
2.39/2.46	v x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 x60
2.39/2.46	v x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70
2.39/2.46	v -x71 x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80
2.39/2.46	v -x81 -x82 -x83 -x84 -x85 -x86 x87 x88 x89 -x90
2.39/2.46	c total CPU time = 2.459s
2.39/2.46	c total wall clock time = 2.466s

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

pid=9357
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.14 2.11 2.09 3/179 9360
/proc/meminfo: memFree=30177624/32872528 swapFree=526336/559040
[pid=9360] ppid=9357 vsize=702908 CPUtime=0 cores=1,3,5,7
/proc/9360/stat : 9360 (toysat) R 9357 9360 28898 0 -1 4202496 2622 0 0 0 0 0 0 0 20 0 4 0 29078218 719777792 2471 33554432000 4194304 16246674 140737335762528 140737335761952 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9360/statm: 176495 2480 441 2943 0 173389 0
[pid=9360/tid=9361] ppid=9357 vsize=746940 CPUtime=0 cores=1,3,5,7
/proc/9360/task/9361/stat : 9361 (toysat) S 9357 9360 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29078218 764866560 2639 33554432000 4194304 16246674 140737335762528 140087514868976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9360/tid=9362] ppid=9357 vsize=751036 CPUtime=0 cores=1,3,5,7
/proc/9360/task/9362/stat : 9362 (toysat) S 9357 9360 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29078218 769060864 2659 33554432000 4194304 16246674 140737335762528 140087504379120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9360/tid=9363] ppid=9357 vsize=756156 CPUtime=0 cores=1,3,5,7
/proc/9360/task/9363/stat : 9363 (toysat) S 9357 9360 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29078218 774303744 2675 33554432000 4194304 16246674 140737335762528 140087493905584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100127 s]
/proc/loadavg: 2.14 2.11 2.09 3/179 9360
/proc/meminfo: memFree=30177624/32872528 swapFree=526336/559040
[pid=9360] ppid=9357 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/9360/stat : 9360 (toysat) R 9357 9360 28898 0 -1 4202496 21071 0 0 0 6 3 0 0 20 0 4 0 29078218 1247350784 20907 33554432000 4194304 16246674 140737335762528 140737335761952 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9360/statm: 304529 20915 798 2943 0 301423 0
[pid=9360/tid=9361] ppid=9357 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9360/task/9361/stat : 9361 (toysat) S 9357 9360 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29078218 1247350784 20920 33554432000 4194304 16246674 140737335762528 140087514868976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9360/tid=9362] ppid=9357 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9360/task/9362/stat : 9362 (toysat) S 9357 9360 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29078218 1247350784 20926 33554432000 4194304 16246674 140737335762528 140087504379120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9360/tid=9363] ppid=9357 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9360/task/9363/stat : 9363 (toysat) S 9357 9360 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29078218 1247350784 20932 33554432000 4194304 16246674 140737335762528 140087493905584 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.200515 s]
/proc/loadavg: 2.14 2.11 2.09 3/179 9360
/proc/meminfo: memFree=30177624/32872528 swapFree=526336/559040
[pid=9360] ppid=9357 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/9360/stat : 9360 (toysat) R 9357 9360 28898 0 -1 4202496 40131 0 0 0 14 5 0 0 20 0 4 0 29078218 1247350784 39967 33554432000 4194304 16246674 140737335762528 140737335761952 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9360/statm: 304529 39976 798 2943 0 301423 0
[pid=9360/tid=9361] ppid=9357 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9360/task/9361/stat : 9361 (toysat) S 9357 9360 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29078218 1247350784 39980 33554432000 4194304 16246674 140737335762528 140087514868976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9360/tid=9362] ppid=9357 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9360/task/9362/stat : 9362 (toysat) S 9357 9360 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29078218 1247350784 39987 33554432000 4194304 16246674 140737335762528 140087504379120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9360/tid=9363] ppid=9357 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9360/task/9363/stat : 9363 (toysat) S 9357 9360 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29078218 1247350784 39993 33554432000 4194304 16246674 140737335762528 140087493905584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300486 s]
/proc/loadavg: 2.14 2.11 2.09 3/179 9360
/proc/meminfo: memFree=30177624/32872528 swapFree=526336/559040
[pid=9360] ppid=9357 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/9360/stat : 9360 (toysat) R 9357 9360 28898 0 -1 4202496 61250 0 0 0 21 8 0 0 20 0 4 0 29078218 1247350784 61086 33554432000 4194304 16246674 140737335762528 140737335761952 6023792 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9360/statm: 304529 61094 798 2943 0 301423 0
[pid=9360/tid=9361] ppid=9357 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9360/task/9361/stat : 9361 (toysat) S 9357 9360 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29078218 1247350784 61101 33554432000 4194304 16246674 140737335762528 140087514868976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9360/tid=9362] ppid=9357 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9360/task/9362/stat : 9362 (toysat) S 9357 9360 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29078218 1247350784 61110 33554432000 4194304 16246674 140737335762528 140087504379120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9360/tid=9363] ppid=9357 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9360/task/9363/stat : 9363 (toysat) S 9357 9360 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29078218 1247350784 61119 33554432000 4194304 16246674 140737335762528 140087493905584 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.700414 s]
/proc/loadavg: 2.14 2.11 2.09 3/179 9360
/proc/meminfo: memFree=30177624/32872528 swapFree=526336/559040
[pid=9360] ppid=9357 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/9360/stat : 9360 (toysat) R 9357 9360 28898 0 -1 4202496 136679 0 0 0 51 18 0 0 20 0 4 0 29078218 1247350784 136515 33554432000 4194304 16246674 140737335762528 140737335744448 6836566 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9360/statm: 304529 136523 798 2943 0 301423 0
[pid=9360/tid=9361] ppid=9357 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9360/task/9361/stat : 9361 (toysat) S 9357 9360 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29078218 1247350784 136529 33554432000 4194304 16246674 140737335762528 140087514868976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9360/tid=9362] ppid=9357 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9360/task/9362/stat : 9362 (toysat) S 9357 9360 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29078218 1247350784 136535 33554432000 4194304 16246674 140737335762528 140087504379120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9360/tid=9363] ppid=9357 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9360/task/9363/stat : 9363 (toysat) S 9357 9360 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29078218 1247350784 136541 33554432000 4194304 16246674 140737335762528 140087493905584 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.5003 s]
/proc/loadavg: 2.13 2.10 2.09 3/183 9364
/proc/meminfo: memFree=29321248/32872528 swapFree=526336/559040
[pid=9360] ppid=9357 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/9360/stat : 9360 (toysat) R 9357 9360 28898 0 -1 4202496 245696 0 0 0 116 33 0 0 20 0 4 0 29078218 1248399360 245510 33554432000 4194304 16246674 140737335762528 140737335761840 5754796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9360/statm: 304785 245510 853 2943 0 301679 0
[pid=9360/tid=9361] ppid=9357 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/9360/task/9361/stat : 9361 (toysat) S 9357 9360 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29078218 1248399360 245510 33554432000 4194304 16246674 140737335762528 140087514868976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9360/tid=9362] ppid=9357 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/9360/task/9362/stat : 9362 (toysat) S 9357 9360 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29078218 1248399360 245510 33554432000 4194304 16246674 140737335762528 140087504379120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9360/tid=9363] ppid=9357 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/9360/task/9363/stat : 9363 (toysat) S 9357 9360 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29078218 1248399360 245510 33554432000 4194304 16246674 140737335762528 140087493905584 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

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

[startup+1.60048 s]
/proc/loadavg: 2.13 2.10 2.09 3/183 9364
/proc/meminfo: memFree=29321248/32872528 swapFree=526336/559040
[pid=9360] ppid=9357 vsize=1219140 CPUtime=1.59 cores=1,3,5,7
/proc/9360/stat : 9360 (toysat) R 9357 9360 28898 0 -1 4202496 245696 0 0 0 126 33 0 0 20 0 4 0 29078218 1248399360 245510 33554432000 4194304 16246674 140737335762528 140737335745528 5677740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9360/statm: 304785 245510 853 2943 0 301679 0
[pid=9360/tid=9361] ppid=9357 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/9360/task/9361/stat : 9361 (toysat) S 9357 9360 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29078218 1248399360 245510 33554432000 4194304 16246674 140737335762528 140087514868976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9360/tid=9362] ppid=9357 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/9360/task/9362/stat : 9362 (toysat) S 9357 9360 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29078218 1248399360 245510 33554432000 4194304 16246674 140737335762528 140087504379120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9360/tid=9363] ppid=9357 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/9360/task/9363/stat : 9363 (toysat) S 9357 9360 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29078218 1248399360 245510 33554432000 4194304 16246674 140737335762528 140087493905584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 1219140

[startup+2.00041 s]
/proc/loadavg: 2.13 2.10 2.09 3/183 9364
/proc/meminfo: memFree=29321248/32872528 swapFree=526336/559040
[pid=9360] ppid=9357 vsize=1219140 CPUtime=1.99 cores=1,3,5,7
/proc/9360/stat : 9360 (toysat) R 9357 9360 28898 0 -1 4202496 245696 0 0 0 166 33 0 0 20 0 4 0 29078218 1248399360 245510 33554432000 4194304 16246674 140737335762528 140737335745528 5722956 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9360/statm: 304785 245510 853 2943 0 301679 0
[pid=9360/tid=9361] ppid=9357 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/9360/task/9361/stat : 9361 (toysat) S 9357 9360 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29078218 1248399360 245510 33554432000 4194304 16246674 140737335762528 140087514868976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9360/tid=9362] ppid=9357 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/9360/task/9362/stat : 9362 (toysat) S 9357 9360 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29078218 1248399360 245510 33554432000 4194304 16246674 140737335762528 140087504379120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9360/tid=9363] ppid=9357 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/9360/task/9363/stat : 9363 (toysat) S 9357 9360 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29078218 1248399360 245510 33554432000 4194304 16246674 140737335762528 140087493905584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 1219140

[startup+2.40041 s]
/proc/loadavg: 2.13 2.10 2.09 3/183 9364
/proc/meminfo: memFree=29109828/32872528 swapFree=526336/559040
[pid=9360] ppid=9357 vsize=1305156 CPUtime=2.39 cores=1,3,5,7
/proc/9360/stat : 9360 (toysat) R 9357 9360 28898 0 -1 4202496 267308 0 0 0 203 36 0 0 20 0 4 0 29078218 1336479744 267122 33554432000 4194304 16246674 140737335762528 140737335745528 5997809 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9360/statm: 326289 267122 853 2943 0 323183 0
[pid=9360/tid=9361] ppid=9357 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/9360/task/9361/stat : 9361 (toysat) S 9357 9360 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29078218 1336479744 267122 33554432000 4194304 16246674 140737335762528 140087514868976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9360/tid=9362] ppid=9357 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/9360/task/9362/stat : 9362 (toysat) S 9357 9360 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29078218 1336479744 267122 33554432000 4194304 16246674 140737335762528 140087504379120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9360/tid=9363] ppid=9357 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/9360/task/9363/stat : 9363 (toysat) S 9357 9360 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29078218 1336479744 267122 33554432000 4194304 16246674 140737335762528 140087493905584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 1305156

[startup+2.50037 s]
/proc/loadavg: 2.13 2.10 2.09 3/183 9364
/proc/meminfo: memFree=29109828/32872528 swapFree=526336/559040
[pid=9360] ppid=9357 vsize=0 CPUtime=2.49 cores=1,3,5,7
/proc/9360/stat : 9360 (toysat) R 9357 9360 28898 0 -1 4202500 267322 0 0 0 210 39 0 0 20 0 1 0 29078218 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9360/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 2.52726
CPU time (s): 2.52761
CPU user time (s): 2.10268
CPU system time (s): 0.424935
CPU usage (%): 100.014
Max. virtual memory (cumulated for all children) (KiB): 1305156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.10268
system time used= 0.424935
maximum resident set size= 1068540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267322
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= 4

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.015997 second user time and 0.008998 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-18 19:18:01
IDJOB=4106364
IDBENCH=48032
IDSOLVER=2542
FILE ID=node106/4106364-1466270281
RUNJOBID= node106-1466241787-28915
PBS_JOBID= 19918214
Free space on /tmp= 71684 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=29-P1=29-P2=17-P3=7-P4=5-P5=13-P6=5-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106364-1466270281/watcher-4106364-1466270281 -o /tmp/evaluation-result-4106364-1466270281/solver-4106364-1466270281 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28915 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106364-1466270281.opb

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

MD5SUM BENCH= 502b1b8e4f662bd34ffc08957221e0d9
RANDOM SEED=1865317420

node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
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	: 5334.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
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		: 2667.073
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
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		: 2667.073
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
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.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
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:        30178260 kB
Buffers:           91136 kB
Cached:           197220 kB
SwapCached:         1736 kB
Active:          1197652 kB
Inactive:         191708 kB
Active(anon):    1099360 kB
Inactive(anon):     4000 kB
Active(file):      98292 kB
Inactive(file):   187708 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:             16628 kB
Writeback:             0 kB
AnonPages:       1661352 kB
Mapped:            10528 kB
Shmem:                 0 kB
Slab:             613320 kB
SReclaimable:      56668 kB
SUnreclaim:       556652 kB
KernelStack:        1512 kB
PageTables:         7132 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1802648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1101824 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= 71668 MiB
End job on node106 at 2016-06-18 19:18:04