Trace number 4105749

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-02OPT1 13.9509 13.9545

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/
factor/normalized-factor-sizeN=20-sizeP=11-sizeQ=20-900543.opb
MD5SUM9bc236dd353dce436ba6a798551599d8
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.047992
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved YES
Number of variables251
Total number of constraints661
Number of constraints which are clauses660
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint220
Number of terms in the objective function 11
Biggest coefficient in the objective function 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 2047
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 2147333568
Number of bits of the biggest sum of numbers31
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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-18T15:20:48+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-4105749-1466256048.opb"]
0.00/0.01	c use --random-gen="1245718555 1329638571 160933139 1296499959 2515388011 2417643394 2750462103 3122340584 1543492993 1347406812 2163428673 1716464942 277045012 4282663636 2835133525 1015997971 3312823932 733651364 913495510 42806748 875437324 3427204309 196815015 3043989871 1493971227 2955385085 2459586470 3054881967 205360376 1120187042 4022827457 2199386597 2173542140 3893284493 486974669 2389677997 4057562887 1111127123 1894640338 1332101330 239664539 1872524009 2243999836 2466432396 2670501129 2135090149 706002783 2628943184 1430844117 3332148129 3950302713 3046643528 2159823798 2038819024 3659978524 648426688 4095189404 3113598755 163649100 3431475526 265564587 3893907677 3537730151 1663186605 70002602 1718840967 565812176 769809589 3936385569 4193695518 2491872060 2794028983 475677045 209876778 2583699462 752576773 1931095088 2372183813 3553154036 3327373304 2948039140 1282925312 2196039633 3427973974 177140556 2729352420 720250672 3599085965 2618185186 771582420 2573677570 2676566518 1586093795 388482647 2502964945 2743659140 2358182743 786213077 3459221151 1055051519 3478118706 4146962559 2872389441 4192219412 1230166935 1326361435 1476827314 89637176 951380892 3575959222 202185397 777838987 2319857428 1238121933 4120154920 752282480 3729077671 3708587257 1969498139 2414960122 951095744 3933174598 2078055296 2402689214 299238085 2859811783 1519070126 2877737419 1451239402 516446415 484252198 3288895874 4118270072 2813587476 1594247861 2103508743 796831138 3399399229 1162445909 2380781198 2812525653 3796990076 858985059 2950217477 1391597521 2614872532 1620529464 2120895365 2687264808 3208444287 1955878858 32763996 846075002 2905439644 536012953 3767479723 1463335356 3232991461 1305813533 3566158409 926565329 2138435405 752119270 2303463144 3201413584 2559850485 3767847645 2621272937 3180176773 3606872210 3375864454 457250501 3363210542 3974934433 3982916612 310488342 131427676 988325438 2960351244 3503330319 1297052423 3139641769 2545655615 1824456722 3996592116 177222628 889637914 3429950847 3352382893 3563499585 3395983858 1538467854 3080905817 234579265 1108305047 22979162 3122405355 1363407324 3807363888 3307680517 2995907776 1998679428 2784229280 3914027474 3734619805 3378725739 4286620760 172692648 3011460193 541108007 3357715215 4216294419 1731519182 3606403210 575287288 2894631852 3943736025 2692951917 3533316965 346072489 2004570154 1482323568 1185489489 3515932761 4081906523 1104675998 2574634273 838290597 30198649 4071038278 3619388471 3409806009 3454011301 2397289054 265349931 173740574 3102542937 1178686396 2193600652 3270009970 3048882762 3578549539 3293483706 2929083138 3891923031 1680209641 2636147966 1350251085 1016241258 1343807019 1274961406 4255654160 4158641918 1497731151 2626195031 1074989588 255 362436" option to reproduce the execution
0.00/0.01	c #vars 251
0.00/0.01	c #constraints 661
13.59/13.64	c BCD2: Hardening is enabled.
13.59/13.64	c BCD2: BiasedSearch is enabled.
13.59/13.64	c Solving starts ...
13.59/13.64	c ============================[ Search Statistics ]============================
13.59/13.64	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
13.59/13.64	c       |         |          |          |    Limit     GC | Var      | Constra 
13.59/13.64	c =============================================================================
13.59/13.64	c  0.0s |       0 |        0 |        0 |      304      0 |       55 |        0
13.59/13.67	c  0.0s |       1 |      118 |      100 |      304      0 |       55 |      110
13.69/13.72	c  0.1s |       2 |      287 |      250 |      335      0 |       55 |      110
13.69/13.79	c  0.2s |       3 |      551 |      475 |      369      0 |       55 |      110
13.79/13.88	c  0.2s |       3 |      868 |      748 |      406      1 |       55 |      110
13.79/13.88	c #cpu_time = 0.244s
13.79/13.88	c #wall_clock_time = 0.244s
13.79/13.88	c #decision = 868
13.79/13.88	c #random_decision = 1
13.79/13.88	c #conflict = 748
13.79/13.88	c #restart = 3
13.79/13.88	o 703
13.79/13.88	c BCD2: hardening fixes 1 literals
13.79/13.88	c BCD2: updating upper bound: 2047 -> 702
13.79/13.88	c BCD2: 0 <= obj <= 702
13.79/13.88	c BCD2: #cores=0, #unrelaxed=10, #relaxed=0, #hardened=1
13.79/13.88	c BCD2: #sat=1 #unsat=1 bias=1/2
13.79/13.88	c Solving starts ...
13.79/13.88	c ============================[ Search Statistics ]============================
13.79/13.88	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
13.79/13.88	c       |         |          |          |    Limit     GC | Var      | Constra 
13.79/13.88	c =============================================================================
13.79/13.88	c  0.0s |       0 |        0 |        0 |      406      0 |       66 |      110
13.79/13.88	c  0.0s |       0 |        9 |        0 |      406      1 |       66 |      150
13.79/13.88	c #cpu_time = 0.003s
13.79/13.88	c #wall_clock_time = 0.003s
13.79/13.88	c #decision = 9
13.79/13.88	c #random_decision = 0
13.79/13.88	c #conflict = 0
13.79/13.88	c #restart = 0
13.79/13.88	c BCD2: found a new core of size 10: cost of the new core is >=1
13.79/13.88	c lower bound updated to 1
13.79/13.88	c BCD2: 1 <= obj <= 702
13.79/13.88	c BCD2: #cores=1, #unrelaxed=0, #relaxed=10, #hardened=1
13.79/13.88	c BCD2: #sat=1 #unsat=2 bias=2/3
13.79/13.89	c Solving starts ...
13.79/13.89	c ============================[ Search Statistics ]============================
13.79/13.89	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
13.79/13.89	c       |         |          |          |    Limit     GC | Var      | Constra 
13.79/13.89	c =============================================================================
13.79/13.89	c  0.0s |       0 |        0 |        0 |      406      0 |       66 |      150
13.79/13.89	c  0.0s |       0 |       15 |        0 |      406      0 |       66 |      150
13.79/13.89	c #cpu_time = 0.001s
13.79/13.89	c #wall_clock_time = 0.001s
13.79/13.89	c #decision = 15
13.79/13.89	c #random_decision = 0
13.79/13.89	c #conflict = 0
13.79/13.89	c #restart = 0
13.79/13.89	o 1
13.79/13.89	s OPTIMUM FOUND
13.79/13.89	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
13.79/13.89	v -x11 x12 x13 x14 x15 x16 x17 -x18 x19 x20
13.79/13.89	v -x21 x22 x23 x24 x25 -x26 x27 x28 -x29 x30
13.79/13.89	v x31 x32 x33 x34 x35 x36 x37 -x38 x39 x40
13.79/13.89	v -x41 x42 x43 x44 x45 -x46 x47 x48 -x49 x50
13.79/13.89	v x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
13.79/13.89	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
13.79/13.89	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
13.79/13.89	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
13.79/13.89	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
13.79/13.89	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
13.79/13.89	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
13.79/13.89	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
13.79/13.89	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
13.79/13.89	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
13.79/13.89	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
13.79/13.89	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
13.79/13.89	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
13.79/13.89	v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
13.79/13.89	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
13.79/13.89	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
13.79/13.89	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
13.79/13.89	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
13.79/13.89	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240
13.79/13.89	v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
13.79/13.89	v -x251
13.79/13.89	c total CPU time = 13.890s
13.79/13.89	c total wall clock time = 13.890s

Verifier Data 

OK	1

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

pid=24620
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.02 2.02 2.00 3/180 24623
/proc/meminfo: memFree=28416104/32872528 swapFree=163656/177964
[pid=24623] ppid=24620 vsize=729532 CPUtime=0 cores=1,3,5,7
/proc/24623/stat : 24623 (toysat) R 24620 24623 20760 0 -1 4202496 2722 0 0 0 0 0 0 0 20 0 4 0 27654713 747040768 2572 33554432000 4194304 16246674 140735934540880 140735934540304 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24623/statm: 182895 2580 441 2943 0 179789 0
[pid=24623/tid=24624] ppid=24620 vsize=745916 CPUtime=0 cores=1,3,5,7
/proc/24623/task/24624/stat : 24624 (toysat) S 24620 24623 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27654713 763817984 2639 33554432000 4194304 16246674 140735934540880 139642616655088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24623/tid=24625] ppid=24620 vsize=751036 CPUtime=0 cores=1,3,5,7
/proc/24623/task/24625/stat : 24625 (toysat) S 24620 24623 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27654713 769060864 2656 33554432000 4194304 16246674 140735934540880 139642606165232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24623/tid=24626] ppid=24620 vsize=755132 CPUtime=0 cores=1,3,5,7
/proc/24623/task/24626/stat : 24626 (toysat) S 24620 24623 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27654713 773255168 2672 33554432000 4194304 16246674 140735934540880 139642595691696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 2.02 2.02 2.00 3/180 24623
/proc/meminfo: memFree=28416104/32872528 swapFree=163656/177964
[pid=24623] ppid=24620 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/24623/stat : 24623 (toysat) R 24620 24623 20760 0 -1 4202496 31290 0 0 0 5 4 0 0 20 0 4 0 27654713 1247350784 31131 33554432000 4194304 16246674 140735934540880 140735934540304 12655109 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24623/statm: 304529 31143 641 2943 0 301423 0
[pid=24623/tid=24624] ppid=24620 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24623/task/24624/stat : 24624 (toysat) S 24620 24623 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27654713 1247350784 31153 33554432000 4194304 16246674 140735934540880 139642616655088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24623/tid=24625] ppid=24620 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24623/task/24625/stat : 24625 (toysat) S 24620 24623 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27654713 1247350784 31163 33554432000 4194304 16246674 140735934540880 139642606165232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24623/tid=24626] ppid=24620 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24623/task/24626/stat : 24626 (toysat) S 24620 24623 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27654713 1247350784 31172 33554432000 4194304 16246674 140735934540880 139642595691696 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.200501 s]
/proc/loadavg: 2.02 2.02 2.00 3/180 24623
/proc/meminfo: memFree=28416104/32872528 swapFree=163656/177964
[pid=24623] ppid=24620 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/24623/stat : 24623 (toysat) R 24620 24623 20760 0 -1 4202496 58541 0 0 0 12 7 0 0 20 0 4 0 27654713 1247350784 58381 33554432000 4194304 16246674 140735934540880 140735934540304 12371341 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24623/statm: 304529 58392 641 2943 0 301423 0
[pid=24623/tid=24624] ppid=24620 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24623/task/24624/stat : 24624 (toysat) S 24620 24623 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27654713 1247350784 58399 33554432000 4194304 16246674 140735934540880 139642616655088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24623/tid=24625] ppid=24620 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24623/task/24625/stat : 24625 (toysat) S 24620 24623 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27654713 1247350784 58406 33554432000 4194304 16246674 140735934540880 139642606165232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24623/tid=24626] ppid=24620 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24623/task/24626/stat : 24626 (toysat) S 24620 24623 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27654713 1247350784 58414 33554432000 4194304 16246674 140735934540880 139642595691696 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.300428 s]
/proc/loadavg: 2.02 2.02 2.00 3/180 24623
/proc/meminfo: memFree=28416104/32872528 swapFree=163656/177964
[pid=24623] ppid=24620 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/24623/stat : 24623 (toysat) R 24620 24623 20760 0 -1 4202496 82671 0 0 0 19 10 0 0 20 0 4 0 27654713 1247350784 82511 33554432000 4194304 16246674 140735934540880 140735934540304 12654121 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24623/statm: 304529 82527 641 2943 0 301423 0
[pid=24623/tid=24624] ppid=24620 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24623/task/24624/stat : 24624 (toysat) S 24620 24623 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27654713 1247350784 82538 33554432000 4194304 16246674 140735934540880 139642616655088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24623/tid=24625] ppid=24620 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24623/task/24625/stat : 24625 (toysat) S 24620 24623 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27654713 1247350784 82547 33554432000 4194304 16246674 140735934540880 139642606165232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24623/tid=24626] ppid=24620 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24623/task/24626/stat : 24626 (toysat) S 24620 24623 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27654713 1247350784 82556 33554432000 4194304 16246674 140735934540880 139642595691696 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.700431 s]
/proc/loadavg: 2.02 2.02 2.00 3/180 24623
/proc/meminfo: memFree=28416104/32872528 swapFree=163656/177964
[pid=24623] ppid=24620 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/24623/stat : 24623 (toysat) R 24620 24623 20760 0 -1 4202496 175114 0 0 0 48 21 0 0 20 0 4 0 27654713 1247350784 174954 33554432000 4194304 16246674 140735934540880 140735934522752 12371445 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24623/statm: 304529 174966 641 2943 0 301423 0
[pid=24623/tid=24624] ppid=24620 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24623/task/24624/stat : 24624 (toysat) S 24620 24623 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27654713 1247350784 174975 33554432000 4194304 16246674 140735934540880 139642616655088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24623/tid=24625] ppid=24620 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24623/task/24625/stat : 24625 (toysat) S 24620 24623 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27654713 1247350784 174982 33554432000 4194304 16246674 140735934540880 139642606165232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24623/tid=24626] ppid=24620 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24623/task/24626/stat : 24626 (toysat) S 24620 24623 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27654713 1247350784 174989 33554432000 4194304 16246674 140735934540880 139642595691696 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.50042 s]
/proc/loadavg: 2.02 2.02 2.00 3/184 24627
/proc/meminfo: memFree=27415748/32872528 swapFree=163656/177964
[pid=24623] ppid=24620 vsize=1238596 CPUtime=1.49 cores=1,3,5,7
/proc/24623/stat : 24623 (toysat) R 24620 24623 20760 0 -1 4202496 250511 0 0 0 117 32 0 0 20 0 4 0 27654713 1268322304 250307 33554432000 4194304 16246674 140735934540880 140735934540192 12429241 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24623/statm: 309649 250307 840 2943 0 306543 0
[pid=24623/tid=24624] ppid=24620 vsize=1238596 CPUtime=0 cores=1,3,5,7
/proc/24623/task/24624/stat : 24624 (toysat) S 24620 24623 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27654713 1268322304 250307 33554432000 4194304 16246674 140735934540880 139642616655088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24623/tid=24625] ppid=24620 vsize=1238596 CPUtime=0 cores=1,3,5,7
/proc/24623/task/24625/stat : 24625 (toysat) S 24620 24623 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27654713 1268322304 250307 33554432000 4194304 16246674 140735934540880 139642606165232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24623/tid=24626] ppid=24620 vsize=1238596 CPUtime=0 cores=1,3,5,7
/proc/24623/task/24626/stat : 24626 (toysat) S 24620 24623 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27654713 1268322304 250307 33554432000 4194304 16246674 140735934540880 139642595691696 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) 1238596

[startup+3.10043 s]
/proc/loadavg: 2.02 2.02 2.00 3/184 24627
/proc/meminfo: memFree=27412648/32872528 swapFree=163656/177964
[pid=24623] ppid=24620 vsize=1297988 CPUtime=3.09 cores=1,3,5,7
/proc/24623/stat : 24623 (toysat) R 24620 24623 20760 0 -1 4202496 265540 0 0 0 276 33 0 0 20 0 4 0 27654713 1329139712 265336 33554432000 4194304 16246674 140735934540880 140735934522752 12654460 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24623/statm: 324497 265336 840 2943 0 321391 0
[pid=24623/tid=24624] ppid=24620 vsize=1297988 CPUtime=0 cores=1,3,5,7
/proc/24623/task/24624/stat : 24624 (toysat) S 24620 24623 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27654713 1329139712 265336 33554432000 4194304 16246674 140735934540880 139642616655088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24623/tid=24625] ppid=24620 vsize=1297988 CPUtime=0 cores=1,3,5,7
/proc/24623/task/24625/stat : 24625 (toysat) S 24620 24623 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27654713 1329139712 265336 33554432000 4194304 16246674 140735934540880 139642606165232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24623/tid=24626] ppid=24620 vsize=1297988 CPUtime=0 cores=1,3,5,7
/proc/24623/task/24626/stat : 24626 (toysat) S 24620 24623 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27654713 1329139712 265336 33554432000 4194304 16246674 140735934540880 139642595691696 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) 1297988

[startup+6.30044 s]
/proc/loadavg: 2.02 2.02 2.00 3/184 24627
/proc/meminfo: memFree=26815464/32872528 swapFree=163656/177964
[pid=24623] ppid=24620 vsize=1321540 CPUtime=6.29 cores=1,3,5,7
/proc/24623/stat : 24623 (toysat) R 24620 24623 20760 0 -1 4202496 271503 0 0 0 595 34 0 0 20 0 4 0 27654713 1353256960 271299 33554432000 4194304 16246674 140735934540880 140735934538688 13949845 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24623/statm: 330385 271299 840 2943 0 327279 0
[pid=24623/tid=24624] ppid=24620 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/24623/task/24624/stat : 24624 (toysat) S 24620 24623 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27654713 1353256960 271299 33554432000 4194304 16246674 140735934540880 139642616655088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24623/tid=24625] ppid=24620 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/24623/task/24625/stat : 24625 (toysat) S 24620 24623 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27654713 1353256960 271299 33554432000 4194304 16246674 140735934540880 139642606165232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24623/tid=24626] ppid=24620 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/24623/task/24626/stat : 24626 (toysat) S 24620 24623 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27654713 1353256960 271299 33554432000 4194304 16246674 140735934540880 139642595691696 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) 1321540

[startup+12.7004 s]
/proc/loadavg: 2.01 2.02 2.00 3/184 24627
/proc/meminfo: memFree=25652372/32872528 swapFree=163656/177964
[pid=24623] ppid=24620 vsize=1321540 CPUtime=12.69 cores=1,3,5,7
/proc/24623/stat : 24623 (toysat) R 24620 24623 20760 0 -1 4202496 271506 0 0 0 1235 34 0 0 20 0 4 0 27654713 1353256960 271302 33554432000 4194304 16246674 140735934540880 140735934522752 6955130 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24623/statm: 330385 271302 843 2943 0 327279 0
[pid=24623/tid=24624] ppid=24620 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/24623/task/24624/stat : 24624 (toysat) S 24620 24623 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27654713 1353256960 271302 33554432000 4194304 16246674 140735934540880 139642616655088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24623/tid=24625] ppid=24620 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/24623/task/24625/stat : 24625 (toysat) S 24620 24623 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27654713 1353256960 271302 33554432000 4194304 16246674 140735934540880 139642606165232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24623/tid=24626] ppid=24620 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/24623/task/24626/stat : 24626 (toysat) S 24620 24623 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27654713 1353256960 271302 33554432000 4194304 16246674 140735934540880 139642595691696 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) 1321540

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

[startup+12.8006 s]
/proc/loadavg: 2.01 2.02 2.00 3/184 24627
/proc/meminfo: memFree=25652372/32872528 swapFree=163656/177964
[pid=24623] ppid=24620 vsize=1321540 CPUtime=12.79 cores=1,3,5,7
/proc/24623/stat : 24623 (toysat) R 24620 24623 20760 0 -1 4202496 271506 0 0 0 1245 34 0 0 20 0 4 0 27654713 1353256960 271302 33554432000 4194304 16246674 140735934540880 140735934522752 12654349 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24623/statm: 330385 271302 843 2943 0 327279 0
[pid=24623/tid=24624] ppid=24620 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/24623/task/24624/stat : 24624 (toysat) S 24620 24623 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27654713 1353256960 271302 33554432000 4194304 16246674 140735934540880 139642616655088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24623/tid=24625] ppid=24620 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/24623/task/24625/stat : 24625 (toysat) S 24620 24623 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27654713 1353256960 271302 33554432000 4194304 16246674 140735934540880 139642606165232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24623/tid=24626] ppid=24620 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/24623/task/24626/stat : 24626 (toysat) S 24620 24623 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27654713 1353256960 271302 33554432000 4194304 16246674 140735934540880 139642595691696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 1321540

[startup+13.6004 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 24627
/proc/meminfo: memFree=25652620/32872528 swapFree=163656/177964
[pid=24623] ppid=24620 vsize=1323588 CPUtime=13.59 cores=1,3,5,7
/proc/24623/stat : 24623 (toysat) R 24620 24623 20760 0 -1 4202496 271878 0 0 0 1325 34 0 0 20 0 4 0 27654713 1355354112 271674 33554432000 4194304 16246674 140735934540880 140735934522752 13927441 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24623/statm: 330897 271674 843 2943 0 327791 0
[pid=24623/tid=24624] ppid=24620 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/24623/task/24624/stat : 24624 (toysat) S 24620 24623 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27654713 1355354112 271674 33554432000 4194304 16246674 140735934540880 139642616655088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24623/tid=24625] ppid=24620 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/24623/task/24625/stat : 24625 (toysat) S 24620 24623 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27654713 1355354112 271674 33554432000 4194304 16246674 140735934540880 139642606165232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24623/tid=24626] ppid=24620 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/24623/task/24626/stat : 24626 (toysat) S 24620 24623 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27654713 1355354112 271674 33554432000 4194304 16246674 140735934540880 139642595691696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 13.59
Current children cumulated vsize (KiB) 1323588

[startup+13.8004 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 24627
/proc/meminfo: memFree=25652620/32872528 swapFree=163656/177964
[pid=24623] ppid=24620 vsize=1323588 CPUtime=13.79 cores=1,3,5,7
/proc/24623/stat : 24623 (toysat) R 24620 24623 20760 0 -1 4202496 271930 0 0 0 1345 34 0 0 20 0 4 0 27654713 1355354112 271726 33554432000 4194304 16246674 140735934540880 140735934522752 6011904 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24623/statm: 330897 271726 893 2943 0 327791 0
[pid=24623/tid=24624] ppid=24620 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/24623/task/24624/stat : 24624 (toysat) S 24620 24623 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27654713 1355354112 271726 33554432000 4194304 16246674 140735934540880 139642616655088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24623/tid=24625] ppid=24620 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/24623/task/24625/stat : 24625 (toysat) S 24620 24623 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27654713 1355354112 271726 33554432000 4194304 16246674 140735934540880 139642606165232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24623/tid=24626] ppid=24620 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/24623/task/24626/stat : 24626 (toysat) S 24620 24623 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27654713 1355354112 271726 33554432000 4194304 16246674 140735934540880 139642595691696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 13.79
Current children cumulated vsize (KiB) 1323588

[startup+13.9004 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 24627
/proc/meminfo: memFree=25652620/32872528 swapFree=163656/177964
[pid=24623] ppid=24620 vsize=0 CPUtime=13.88 cores=1,3,5,7
/proc/24623/stat : 24623 (toysat) R 24620 24623 20760 0 -1 4202500 271952 0 0 0 1354 34 0 0 20 0 1 0 27654713 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24623/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 13.88
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 13.9545
CPU time (s): 13.9509
CPU user time (s): 13.5479
CPU system time (s): 0.402938
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 1323588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.5479
system time used= 0.402938
maximum resident set size= 1086992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271952
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18
involuntary context switches= 15

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.080987 second user time and 0.141978 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-18 15:20:48
IDJOB=4105749
IDBENCH=2998
IDSOLVER=2542
FILE ID=node105/4105749-1466256048
RUNJOBID= node105-1466229502-20777
PBS_JOBID= 19918174
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=20-sizeP=11-sizeQ=20-900543.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105749-1466256048/watcher-4105749-1466256048 -o /tmp/evaluation-result-4105749-1466256048/solver-4105749-1466256048 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20777 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105749-1466256048.opb

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

MD5SUM BENCH= 9bc236dd353dce436ba6a798551599d8
RANDOM SEED=384750354

node105.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.561
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.12
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.561
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.561
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		: 2666.561
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.561
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.54
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.561
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.561
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.561
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.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28416756 kB
Buffers:           97952 kB
Cached:           216464 kB
SwapCached:         1460 kB
Active:          3328744 kB
Inactive:         206612 kB
Active(anon):    3218564 kB
Inactive(anon):     4740 kB
Active(file):     110180 kB
Inactive(file):   201872 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67097160 kB
Dirty:             47240 kB
Writeback:             0 kB
AnonPages:       3398604 kB
Mapped:            10516 kB
Shmem:                 0 kB
Slab:             605096 kB
SReclaimable:      48584 kB
SUnreclaim:       556512 kB
KernelStack:        1512 kB
PageTables:        10780 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3540508 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     45056 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node105 at 2016-06-18 15:21:02