Trace number 4106379

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.55431 4.55613

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=5-P0=7-P1=11-P2=23-P3=23-P4=29-P5=31-P6=13-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:22:20+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-4106379-1466270540.opb"]
0.00/0.01	c use --random-gen="287526726 2428077920 3115739705 4280752947 1629233945 3001482781 3986299824 1146108408 1722017876 1692734936 247334037 1784561843 56043801 1989581641 1904001585 2967185900 3349101964 3165581135 3518942028 2162140693 1578262808 3332032962 4219282422 1418548258 3303187903 2980755648 3129292282 3254750983 649350852 479181238 1153807039 3000564922 1677324944 3006980924 3611062082 2503582645 3742310880 2496143695 346220288 1652113802 3435162948 3664997198 3880266110 2800747545 2690813261 1526544580 1345127723 3030750147 508270162 2597126739 2116618602 3244944147 2965754458 1947739743 1289058010 1569534268 3718772446 2482209622 3538367465 2953113887 2881716274 3797796155 4284444024 4149845282 4187739303 893438275 1585129181 4130128434 2027797660 2781434257 2552665235 3846535461 12913774 3116008194 960085671 415095518 1233182954 2515585830 672445870 4255695673 653339050 295716509 3291810543 3393430009 4148546139 560208374 931433224 2925812351 2336569109 2050609052 349278824 3632104512 1903929947 3728849314 506251892 3225528124 377822217 1165904621 2733077002 2652365411 1994629252 2636288430 1281121026 2629328907 2208170427 1110992981 2255559339 2480233513 565876998 605427598 437097159 455445371 2333290319 3525588599 1915315017 2776290095 3528841564 3402660857 1718029323 2409566324 2829850237 856808021 642886894 3623213457 3910870783 2178790767 468366404 2615836341 2922202080 1464036328 1284256546 1060055238 3390685615 647216842 931595840 47388585 222918955 3086595866 3122234244 1988965662 2345851383 1407644016 299153142 3380408364 2495977519 126956029 3892834473 1784229732 1636644669 2663242067 1165662502 649695744 1499849204 1073201162 214645194 1669526549 765813998 538153831 320425069 1001242077 3191176496 2210404518 3575952844 1994924214 4013600238 3540559207 4172883445 2157871116 2145909604 2612920317 734426937 4050808001 2071013284 1683697646 2841553209 228802234 1348021325 3489856561 4271437154 3068439909 3382720563 3348680256 3712368389 11972517 463017387 2896352108 1845901057 1306271363 2159851957 1269220872 1268437365 3298116200 369913339 4071420288 1334375147 902771115 3812098183 2216102027 1170016174 3657309188 1521206223 2751827212 3005930765 1219704581 980664997 378017407 3301126785 2877536058 3310960496 1950956142 3179069386 3993518752 1318747867 991529963 3001790548 1306004080 2932766478 3123925368 1825875181 2115537252 2672328487 3770599299 3151081516 3522796203 4028616450 4236083145 62242100 1246734021 65914251 3705223743 1104714372 1941074202 681830405 540001171 22203588 1225538928 1779776029 3683189603 2772562241 2526893153 1586775421 987931800 1793277237 586720554 1185184389 172811132 987521678 67864608 2293065428 4211632654 1362954282 1882551844 2840133395 4011823453 3311753411 1376688725 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 |      126 |      100 |      236      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      342 |      250 |      260      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      463 |      322 |      286      0 |        0 |        0
0.00/0.06	c #cpu_time = 0.046s
0.00/0.06	c #wall_clock_time = 0.046s
0.00/0.06	c #decision = 463
0.00/0.06	c #random_decision = 2
0.00/0.06	c #conflict = 322
0.00/0.06	c #restart = 2
0.00/0.06	o 15
0.00/0.06	c BCD2: hardening fixes 1 literals
0.00/0.06	c BCD2: updating upper bound: 31 -> 14
0.00/0.06	c BCD2: 0 <= obj <= 14
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 <= 14
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.08	c  0.0s |       1 |      163 |      100 |      286      0 |        7 |       15
0.09/0.10	c  0.0s |       2 |      359 |      250 |      315      1 |        7 |       15
0.09/0.13	c  0.1s |       3 |      648 |      475 |      315      1 |        7 |       15
0.19/0.21	c  0.1s |       4 |     1104 |      813 |      347      3 |        7 |       15
0.19/0.28	c  0.2s |       5 |     1719 |     1320 |      382      5 |        7 |       15
0.39/0.43	c  0.4s |       6 |     2704 |     2081 |      421      7 |        7 |       15
0.59/0.63	c  0.6s |       7 |     4018 |     3223 |      464     11 |        7 |       15
0.99/1.03	c  1.0s |       8 |     6137 |     4936 |      511     17 |        7 |       15
1.39/1.40	c  1.3s |       9 |     9054 |     7506 |      563     24 |        7 |       15
1.79/1.88	c  1.8s |      10 |    13765 |    11361 |      620     36 |        7 |       15
2.59/2.61	c  2.5s |      11 |    19928 |    17144 |      682     52 |        7 |       15
3.59/3.66	c  3.6s |      12 |    29678 |    25819 |      751     74 |        8 |       20
4.39/4.46	c  4.4s |      12 |    36635 |    31908 |      751     88 |        9 |       25
4.39/4.46	c #cpu_time = 4.383s
4.39/4.46	c #wall_clock_time = 4.395s
4.39/4.46	c #decision = 36635
4.39/4.46	c #random_decision = 148
4.39/4.46	c #conflict = 31908
4.39/4.46	c #restart = 12
4.39/4.46	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 4: cost of the new core is >=3
4.39/4.46	c lower bound updated to 3
4.39/4.46	c BCD2: 3 <= obj <= 14
4.39/4.46	c BCD2: #cores=1, #unrelaxed=0, #relaxed=4, #hardened=1
4.39/4.46	c BCD2: #sat=1 #unsat=3 bias=3/4
4.39/4.46	c Solving starts ...
4.39/4.46	c ============================[ Search Statistics ]============================
4.39/4.46	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.39/4.46	c       |         |          |          |    Limit     GC | Var      | Constra 
4.39/4.46	c =============================================================================
4.39/4.46	c  0.0s |       0 |        0 |        0 |      751      0 |       10 |       25
4.39/4.47	c  0.0s |       1 |      124 |      100 |      751      0 |       10 |       26
4.39/4.48	c  0.0s |       1 |      239 |      182 |      751      1 |       10 |       26
4.39/4.48	c #cpu_time = 0.021s
4.39/4.48	c #wall_clock_time = 0.021s
4.39/4.48	c #decision = 239
4.39/4.48	c #random_decision = 0
4.39/4.48	c #conflict = 182
4.39/4.48	c #restart = 1
4.39/4.48	o 9
4.39/4.48	c BCD2: updating upper bound: 14 -> 8
4.39/4.48	c BCD2: 3 <= obj <= 8
4.39/4.48	c BCD2: #cores=1, #unrelaxed=0, #relaxed=4, #hardened=1
4.39/4.48	c BCD2: #sat=2 #unsat=3 bias=3/5
4.39/4.48	c Solving starts ...
4.39/4.48	c ============================[ Search Statistics ]============================
4.39/4.48	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.39/4.48	c       |         |          |          |    Limit     GC | Var      | Constra 
4.39/4.48	c =============================================================================
4.39/4.48	c  0.0s |       0 |        0 |        0 |      751      0 |       10 |       26
4.39/4.48	c  0.0s |       0 |       34 |        0 |      751      0 |       10 |       26
4.39/4.48	c #cpu_time = 0.001s
4.39/4.48	c #wall_clock_time = 0.001s
4.39/4.48	c #decision = 34
4.39/4.48	c #random_decision = 0
4.39/4.48	c #conflict = 0
4.39/4.48	c #restart = 0
4.39/4.48	o 5
4.39/4.48	c BCD2: hardening fixes 1 literals
4.39/4.48	c BCD2: updating upper bound: 8 -> 4
4.39/4.48	c BCD2: 3 <= obj <= 4
4.39/4.48	c BCD2: #cores=1, #unrelaxed=0, #relaxed=3, #hardened=2
4.39/4.48	c BCD2: #sat=3 #unsat=3 bias=3/6
4.39/4.48	c Solving starts ...
4.39/4.48	c ============================[ Search Statistics ]============================
4.39/4.48	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.39/4.48	c       |         |          |          |    Limit     GC | Var      | Constra 
4.39/4.48	c =============================================================================
4.39/4.48	c  0.0s |       0 |        0 |        0 |      751      0 |       17 |       29
4.39/4.49	c  0.0s |       0 |      154 |       86 |      751      0 |       17 |       45
4.39/4.49	c #cpu_time = 0.010s
4.39/4.49	c #wall_clock_time = 0.010s
4.39/4.49	c #decision = 154
4.39/4.49	c #random_decision = 1
4.39/4.49	c #conflict = 86
4.39/4.49	c #restart = 0
4.39/4.49	o 3
4.39/4.49	s OPTIMUM FOUND
4.39/4.49	v x1 x2 -x3 -x4 -x5 x6 x7 -x8 -x9 -x10
4.39/4.49	v x11 x12 -x13 -x14 -x15 x16 x17 -x18 -x19 -x20
4.39/4.49	v x21 -x22 x23 -x24 x25 x26 x27 -x28 -x29 -x30
4.39/4.49	v x31 -x32 x33 -x34 -x35 x36 -x37 -x38 x39 -x40
4.39/4.49	v x41 x42 -x43 x44 x45 x46 -x47 -x48 -x49 x50
4.39/4.49	v x51 -x52 x53 -x54 -x55 x56 x57 x58 x59 -x60
4.39/4.49	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
4.39/4.49	v -x71 x72 -x73 -x74 -x75 x76 x77 -x78 x79 -x80
4.39/4.49	v -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90
4.39/4.49	c total CPU time = 4.483s
4.39/4.49	c total wall clock time = 4.495s

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

pid=27986
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.16 2.19 2.17 3/179 27989
/proc/meminfo: memFree=29385252/32872528 swapFree=1191052/1305516
[pid=27989] ppid=27986 vsize=779708 CPUtime=0 cores=1,3,5,7
/proc/27989/stat : 27989 (toysat) R 27986 27989 26736 0 -1 4202496 2920 0 0 0 0 0 0 0 20 0 4 0 29100655 798420992 3280 33554432000 4194304 16246674 140735925798544 140735925797968 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27989/statm: 195439 3288 441 2943 0 192333 0
[pid=27989/tid=27990] ppid=27986 vsize=797116 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27990/stat : 27990 (toysat) S 27986 27989 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29100655 816246784 3349 33554432000 4194304 16246674 140735925798544 139781927316720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27989/tid=27991] ppid=27986 vsize=802236 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27991/stat : 27991 (toysat) S 27986 27989 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29100655 821489664 3365 33554432000 4194304 16246674 140735925798544 139781916826864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27989/tid=27992] ppid=27986 vsize=806332 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27992/stat : 27992 (toysat) S 27986 27989 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29100655 825683968 3381 33554432000 4194304 16246674 140735925798544 139781906353328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 2.16 2.19 2.17 3/179 27989
/proc/meminfo: memFree=29385252/32872528 swapFree=1191052/1305516
[pid=27989] ppid=27986 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/27989/stat : 27989 (toysat) R 27986 27989 26736 0 -1 4202496 21353 0 0 0 6 3 0 0 20 0 4 0 29100655 1247350784 21701 33554432000 4194304 16246674 140735925798544 140735925797968 12477891 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27989/statm: 304529 21710 797 2943 0 301423 0
[pid=27989/tid=27990] ppid=27986 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27990/stat : 27990 (toysat) S 27986 27989 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29100655 1247350784 21713 33554432000 4194304 16246674 140735925798544 139781927316720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27989/tid=27991] ppid=27986 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27991/stat : 27991 (toysat) S 27986 27989 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29100655 1247350784 21719 33554432000 4194304 16246674 140735925798544 139781916826864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27989/tid=27992] ppid=27986 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27992/stat : 27992 (toysat) S 27986 27989 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29100655 1247350784 21723 33554432000 4194304 16246674 140735925798544 139781906353328 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.200532 s]
/proc/loadavg: 2.16 2.19 2.17 3/179 27989
/proc/meminfo: memFree=29385252/32872528 swapFree=1191052/1305516
[pid=27989] ppid=27986 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/27989/stat : 27989 (toysat) R 27986 27989 26736 0 -1 4202496 40120 0 0 0 14 5 0 0 20 0 4 0 29100655 1247350784 40467 33554432000 4194304 16246674 140735925798544 140735925781544 12479207 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27989/statm: 304529 40479 797 2943 0 301423 0
[pid=27989/tid=27990] ppid=27986 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27990/stat : 27990 (toysat) S 27986 27989 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29100655 1247350784 40486 33554432000 4194304 16246674 140735925798544 139781927316720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27989/tid=27991] ppid=27986 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27991/stat : 27991 (toysat) S 27986 27989 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29100655 1247350784 40492 33554432000 4194304 16246674 140735925798544 139781916826864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27989/tid=27992] ppid=27986 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27992/stat : 27992 (toysat) S 27986 27989 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29100655 1247350784 40497 33554432000 4194304 16246674 140735925798544 139781906353328 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.300495 s]
/proc/loadavg: 2.16 2.19 2.17 3/179 27989
/proc/meminfo: memFree=29385252/32872528 swapFree=1191052/1305516
[pid=27989] ppid=27986 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/27989/stat : 27989 (toysat) R 27986 27989 26736 0 -1 4202496 58763 0 0 0 22 7 0 0 20 0 4 0 29100655 1247350784 59111 33554432000 4194304 16246674 140735925798544 140735925781544 6843278 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27989/statm: 304529 59121 797 2943 0 301423 0
[pid=27989/tid=27990] ppid=27986 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27990/stat : 27990 (toysat) S 27986 27989 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29100655 1247350784 59125 33554432000 4194304 16246674 140735925798544 139781927316720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27989/tid=27991] ppid=27986 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27991/stat : 27991 (toysat) S 27986 27989 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29100655 1247350784 59130 33554432000 4194304 16246674 140735925798544 139781916826864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27989/tid=27992] ppid=27986 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27992/stat : 27992 (toysat) S 27986 27989 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29100655 1247350784 59135 33554432000 4194304 16246674 140735925798544 139781906353328 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.700417 s]
/proc/loadavg: 2.16 2.19 2.17 3/179 27989
/proc/meminfo: memFree=29385252/32872528 swapFree=1191052/1305516
[pid=27989] ppid=27986 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/27989/stat : 27989 (toysat) R 27986 27989 26736 0 -1 4202496 133797 0 0 0 52 17 0 0 20 0 4 0 29100655 1247350784 134145 33554432000 4194304 16246674 140735925798544 140735925781544 5712452 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27989/statm: 304529 134154 797 2943 0 301423 0
[pid=27989/tid=27990] ppid=27986 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27990/stat : 27990 (toysat) S 27986 27989 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29100655 1247350784 134160 33554432000 4194304 16246674 140735925798544 139781927316720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27989/tid=27991] ppid=27986 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27991/stat : 27991 (toysat) S 27986 27989 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29100655 1247350784 134167 33554432000 4194304 16246674 140735925798544 139781916826864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27989/tid=27992] ppid=27986 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27992/stat : 27992 (toysat) S 27986 27989 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29100655 1247350784 134174 33554432000 4194304 16246674 140735925798544 139781906353328 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.16 2.19 2.17 3/183 27993
/proc/meminfo: memFree=28474872/32872528 swapFree=1191052/1305516
[pid=27989] ppid=27986 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/27989/stat : 27989 (toysat) R 27986 27989 26736 0 -1 4202496 245751 0 0 0 120 29 0 0 20 0 4 0 29100655 1248399360 246076 33554432000 4194304 16246674 140735925798544 140735925797856 5711416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27989/statm: 304785 246076 853 2943 0 301679 0
[pid=27989/tid=27990] ppid=27986 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27990/stat : 27990 (toysat) S 27986 27989 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29100655 1248399360 246076 33554432000 4194304 16246674 140735925798544 139781927316720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27989/tid=27991] ppid=27986 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27991/stat : 27991 (toysat) S 27986 27989 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29100655 1248399360 246076 33554432000 4194304 16246674 140735925798544 139781916826864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27989/tid=27992] ppid=27986 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27992/stat : 27992 (toysat) S 27986 27989 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29100655 1248399360 246076 33554432000 4194304 16246674 140735925798544 139781906353328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10036 s]
/proc/loadavg: 2.15 2.19 2.17 3/183 27993
/proc/meminfo: memFree=28315268/32872528 swapFree=1191052/1305516
[pid=27989] ppid=27986 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/27989/stat : 27989 (toysat) R 27986 27989 26736 0 -1 4202496 267449 0 0 0 276 33 0 0 20 0 4 0 29100655 1337528320 267774 33554432000 4194304 16246674 140735925798544 140735925780416 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27989/statm: 326545 267774 853 2943 0 323439 0
[pid=27989/tid=27990] ppid=27986 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27990/stat : 27990 (toysat) S 27986 27989 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29100655 1337528320 267774 33554432000 4194304 16246674 140735925798544 139781927316720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27989/tid=27991] ppid=27986 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27991/stat : 27991 (toysat) S 27986 27989 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29100655 1337528320 267774 33554432000 4194304 16246674 140735925798544 139781916826864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27989/tid=27992] ppid=27986 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27992/stat : 27992 (toysat) S 27986 27989 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29100655 1337528320 267774 33554432000 4194304 16246674 140735925798544 139781906353328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

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

[startup+3.30037 s]
/proc/loadavg: 2.15 2.19 2.17 3/183 27993
/proc/meminfo: memFree=28315268/32872528 swapFree=1191052/1305516
[pid=27989] ppid=27986 vsize=1306180 CPUtime=3.29 cores=1,3,5,7
/proc/27989/stat : 27989 (toysat) R 27986 27989 26736 0 -1 4202496 267449 0 0 0 296 33 0 0 20 0 4 0 29100655 1337528320 267774 33554432000 4194304 16246674 140735925798544 140735925781544 5754796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27989/statm: 326545 267774 853 2943 0 323439 0
[pid=27989/tid=27990] ppid=27986 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27990/stat : 27990 (toysat) S 27986 27989 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29100655 1337528320 267774 33554432000 4194304 16246674 140735925798544 139781927316720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27989/tid=27991] ppid=27986 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27991/stat : 27991 (toysat) S 27986 27989 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29100655 1337528320 267774 33554432000 4194304 16246674 140735925798544 139781916826864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27989/tid=27992] ppid=27986 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27992/stat : 27992 (toysat) S 27986 27989 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29100655 1337528320 267774 33554432000 4194304 16246674 140735925798544 139781906353328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.29
Current children cumulated vsize (KiB) 1306180

[startup+4.10037 s]
/proc/loadavg: 2.15 2.19 2.17 4/183 27993
/proc/meminfo: memFree=28314400/32872528 swapFree=1191052/1305516
[pid=27989] ppid=27986 vsize=1306180 CPUtime=4.09 cores=1,3,5,7
/proc/27989/stat : 27989 (toysat) R 27986 27989 26736 0 -1 4202496 267576 0 0 0 376 33 0 0 20 0 4 0 29100655 1337528320 267901 33554432000 4194304 16246674 140735925798544 140735925781544 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27989/statm: 326545 267901 853 2943 0 323439 0
[pid=27989/tid=27990] ppid=27986 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27990/stat : 27990 (toysat) S 27986 27989 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29100655 1337528320 267901 33554432000 4194304 16246674 140735925798544 139781927316720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27989/tid=27991] ppid=27986 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27991/stat : 27991 (toysat) S 27986 27989 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29100655 1337528320 267901 33554432000 4194304 16246674 140735925798544 139781916826864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27989/tid=27992] ppid=27986 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27992/stat : 27992 (toysat) S 27986 27989 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29100655 1337528320 267901 33554432000 4194304 16246674 140735925798544 139781906353328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 1306180

[startup+4.50036 s]
/proc/loadavg: 2.15 2.19 2.17 4/180 27993
/proc/meminfo: memFree=28375304/32872528 swapFree=1191052/1305516
[pid=27989] ppid=27986 vsize=0 CPUtime=4.5 cores=1,3,5,7
/proc/27989/stat : 27989 (toysat) R 27986 27989 26736 0 -1 4202500 267580 0 0 0 416 34 0 0 20 0 1 0 29100655 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27989/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.5
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 4.55613
CPU time (s): 4.55431
CPU user time (s): 4.16237
CPU system time (s): 0.39194
CPU usage (%): 99.9599
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.16237
system time used= 0.39194
maximum resident set size= 1071612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267580
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21
involuntary context switches= 7

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

The end

Launcher Data 

Begin job on node127 at 2016-06-18 19:22:20
IDJOB=4106379
IDBENCH=48037
IDSOLVER=2542
FILE ID=node127/4106379-1466270540
RUNJOBID= node127-1466265123-26753
PBS_JOBID= 19918231
Free space on /tmp= 71724 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=7-P1=11-P2=23-P3=23-P4=29-P5=31-P6=13-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106379-1466270540/watcher-4106379-1466270540 -o /tmp/evaluation-result-4106379-1466270540/solver-4106379-1466270540 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466265123-26753 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106379-1466270540.opb

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

MD5SUM BENCH= 502b1b8e4f662bd34ffc08957221e0d9
RANDOM SEED=1082681926

node127.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.769
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.53
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.769
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.769
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
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		: 2666.769
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.769
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.769
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.56
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.769
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:        29385804 kB
Buffers:           88280 kB
Cached:           259672 kB
SwapCached:          516 kB
Active:          1181384 kB
Inactive:         257480 kB
Active(anon):    1091032 kB
Inactive(anon):     2184 kB
Active(file):      90352 kB
Inactive(file):   255296 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100260 kB
Dirty:             16332 kB
Writeback:             0 kB
AnonPages:       2398200 kB
Mapped:            10940 kB
Shmem:                 0 kB
Slab:             604792 kB
SReclaimable:      48612 kB
SUnreclaim:       556180 kB
KernelStack:        1448 kB
PageTables:         8980 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2540872 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    761856 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= 71708 MiB
End job on node127 at 2016-06-18 19:22:25