Trace number 4078687

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 NameAnswerCPU timeWall clock time
toysat 2016-05-02SAT 2.14867 2.1516

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110974553.opb
MD5SUMa8a51c2e735c1a05850a59dcf05a69f7
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.305953
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables169
Total number of constraints101
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1165
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-06T15:18:32+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-4078687-1465219112.opb"]
0.00/0.01	c use --random-gen="3737046645 2359869990 2518417821 119633383 60701326 1784349868 2454249826 2457783288 2812725418 3171479401 922933039 1089450126 3674693632 2675390125 720538340 1659239399 1461265397 3652477306 402116428 3517813050 2744256480 150548271 1505352882 2461489929 2187351128 3354259562 3792836633 322761791 312213948 696115415 2504863924 4288342370 809293882 244603100 3975964581 3104526458 607958868 2802347001 3440446404 1463153542 3776648845 1782267345 1805249549 2887133772 1089296301 664611542 758254962 2609431747 1211993554 2490122876 4107895253 699594213 320682903 186201445 2113424040 3234243588 2675681676 3237344774 2999925357 4181819634 3666199811 2138964633 617034400 540945422 3738712040 171194942 3245504233 1912194007 1540831592 191506864 801651898 1516026899 2232053287 2490037731 2334812826 93617714 188082211 260965770 4077866044 238604011 3020294304 3309145597 905745715 1876416057 97855430 3181641941 2148348860 2271970823 3423099364 27772459 3445091217 816277292 3359246333 222067387 2303753294 1733605044 3859263423 2396333522 459757062 1988286524 3058913379 2333838438 1318160663 3471553904 474562839 2249870838 28079993 4274827655 24627706 3610849414 65125057 1414860432 4294125808 2313582170 601430527 1733999008 3906877033 2801006142 171551520 442977190 1140470815 3990922047 1118705076 1247084572 606216699 1419560723 4107430317 4014691212 1796588980 1289563583 1554337762 1993526318 2613849406 97550598 1969325955 875034227 3686036516 1440091540 4221931655 2259966929 782038285 3797848962 1245141416 1003668352 1557160492 506242473 1921202575 2783400323 2451411025 3145859848 1287757208 1024309048 3457365997 1298354689 3811837446 3153718415 2357276833 3486125739 1427437071 2587359897 1089160951 3194000506 361184965 4181001262 2769934304 596158642 3460074520 320287956 3567558843 1411525450 2911109749 2788051510 1942203463 2385114631 3817209226 3189267630 1608694151 1226619792 417859927 2261651212 2293940559 1275333100 3032309455 2412966370 2444104695 1604635203 2972453962 484649445 3782162454 2190521769 3719254090 1371979327 920016162 3947215609 3784291969 1912397421 3413010045 1176848606 2556818802 3703529835 343875521 221074801 4236259305 3743885012 4208756217 184731090 1069140183 1240348313 1889615010 4156348078 285761403 650734909 2314268719 1483460066 987157270 2423333902 1379783803 2906068859 1223107206 1410039742 2194757719 255184638 470990124 1084376778 3337408308 3897521001 3903948408 1835274123 1921082716 1076488029 3185812235 644335045 416283577 3606583435 71867811 1309079390 2787984467 2352175442 1384774671 3489122718 1124827474 1995456434 3640765762 2752510448 2471951373 990380200 3562160134 3004379966 3407566228 1741490236 613175918 2963668499 487620856 3527244752 607666213 2843971963 255 362436" option to reproduce the execution
0.00/0.01	c #vars 169
0.00/0.01	c #constraints 101
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |       90      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      186 |      100 |       90      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      410 |      250 |      100      2 |        0 |        0
0.00/0.07	c  0.1s |       3 |      714 |      475 |      111      4 |        0 |        0
0.09/0.11	c  0.1s |       4 |     1253 |      813 |      123      8 |        0 |        0
0.09/0.17	c  0.2s |       5 |     2084 |     1320 |      136     12 |        0 |        0
0.18/0.26	c  0.2s |       6 |     3330 |     2081 |      165     19 |        0 |        0
0.39/0.40	c  0.4s |       7 |     5234 |     3223 |      182     27 |        1 |        0
0.59/0.61	c  0.6s |       8 |     7831 |     4936 |      201     39 |        1 |        0
0.88/0.92	c  0.9s |       9 |    11526 |     7506 |      222     55 |        2 |        1
1.39/1.42	c  1.4s |      10 |    16926 |    11361 |      245     78 |        3 |        1
1.89/1.97	c  2.0s |      11 |    24955 |    17144 |      270    110 |        5 |        1
1.99/2.09	c  2.1s |      11 |    26885 |    18524 |      270    118 |        5 |        1
2.08/2.27	c #cpu_time = 2.070s
2.08/2.27	c #wall_clock_time = 2.076s
2.08/2.27	c #decision = 26885
2.08/2.27	c #random_decision = 54
2.08/2.27	c #conflict = 18524
2.08/2.27	c #restart = 11
2.08/2.27	s SATISFIABLE
2.08/2.27	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
2.08/2.27	v -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
2.08/2.27	v -x21 -x22 x23 -x24 -x25 -x26 -x27 x28 -x29 -x30
2.08/2.27	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
2.08/2.27	v -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50
2.08/2.27	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
2.08/2.27	v -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 x69 -x70
2.08/2.27	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80
2.08/2.27	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
2.08/2.27	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
2.08/2.27	v -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110
2.08/2.27	v -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
2.08/2.27	v -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
2.08/2.27	v -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
2.08/2.27	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
2.08/2.27	v x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
2.08/2.27	v -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169
2.08/2.27	c total CPU time = 2.089s
2.08/2.27	c total wall clock time = 2.095s

Verifier Data 

OK	0

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

pid=27533
running on 8 cores: 0-3,8-11

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.10 2.11 2.09 3/261 27536
/proc/meminfo: memFree=30989528/32872528 swapFree=9196/9196
[pid=27536] ppid=27533 vsize=1041852 CPUtime=0 cores=0-3,8-11
/proc/27536/stat : 27536 (toysat) R 27533 27536 25889 0 -1 4202496 3944 0 0 0 0 0 0 0 20 0 4 0 103753252 1066856448 4305 33554432000 4194304 16246674 140735875138768 140735875138192 15002730 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27536/statm: 261231 4314 441 2943 0 258125 0
[pid=27536/tid=27537] ppid=27533 vsize=1064380 CPUtime=0 cores=0-3,8-11
/proc/27536/task/27537/stat : 27537 (toysat) S 27533 27536 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103753252 1089925120 4391 33554432000 4194304 16246674 140735875138768 140347530259696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=27536/tid=27538] ppid=27533 vsize=1068476 CPUtime=0 cores=0-3,8-11
/proc/27536/task/27538/stat : 27538 (toysat) S 27533 27536 25889 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103753252 1094119424 4407 33554432000 4194304 16246674 140735875138768 140347451616496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=27536/tid=27539] ppid=27533 vsize=1071548 CPUtime=0 cores=0-3,8-11
/proc/27536/task/27539/stat : 27539 (toysat) S 27533 27536 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103753252 1097265152 4421 33554432000 4194304 16246674 140735875138768 140347441142960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.10 2.11 2.09 3/261 27536
/proc/meminfo: memFree=30989528/32872528 swapFree=9196/9196
[pid=27536] ppid=27533 vsize=1218116 CPUtime=0.09 cores=0-3,8-11
/proc/27536/stat : 27536 (toysat) R 27533 27536 25889 0 -1 4202496 19101 0 0 0 6 3 0 0 20 0 4 0 103753252 1247350784 19451 33554432000 4194304 16246674 140735875138768 140735875138192 5667714 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27536/statm: 304529 19457 731 2943 0 301423 0
[pid=27536/tid=27537] ppid=27533 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27536/task/27537/stat : 27537 (toysat) S 27533 27536 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103753252 1247350784 19462 33554432000 4194304 16246674 140735875138768 140347530259696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=27536/tid=27538] ppid=27533 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27536/task/27538/stat : 27538 (toysat) S 27533 27536 25889 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103753252 1247350784 19466 33554432000 4194304 16246674 140735875138768 140347451616496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=27536/tid=27539] ppid=27533 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27536/task/27539/stat : 27539 (toysat) S 27533 27536 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103753252 1247350784 19470 33554432000 4194304 16246674 140735875138768 140347441142960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200481 s]
/proc/loadavg: 2.10 2.11 2.09 3/261 27536
/proc/meminfo: memFree=30989528/32872528 swapFree=9196/9196
[pid=27536] ppid=27533 vsize=1218116 CPUtime=0.18 cores=0-3,8-11
/proc/27536/stat : 27536 (toysat) R 27533 27536 25889 0 -1 4202496 33436 0 0 0 13 5 0 0 20 0 4 0 103753252 1247350784 33786 33554432000 4194304 16246674 140735875138768 140735875121768 6021133 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27536/statm: 304529 33793 731 2943 0 301423 0
[pid=27536/tid=27537] ppid=27533 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27536/task/27537/stat : 27537 (toysat) S 27533 27536 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103753252 1247350784 33797 33554432000 4194304 16246674 140735875138768 140347530259696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=27536/tid=27538] ppid=27533 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27536/task/27538/stat : 27538 (toysat) S 27533 27536 25889 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103753252 1247350784 33802 33554432000 4194304 16246674 140735875138768 140347451616496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=27536/tid=27539] ppid=27533 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27536/task/27539/stat : 27539 (toysat) S 27533 27536 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103753252 1247350784 33806 33554432000 4194304 16246674 140735875138768 140347441142960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300498 s]
/proc/loadavg: 2.10 2.11 2.09 3/261 27536
/proc/meminfo: memFree=30989528/32872528 swapFree=9196/9196
[pid=27536] ppid=27533 vsize=1218116 CPUtime=0.29 cores=0-3,8-11
/proc/27536/stat : 27536 (toysat) R 27533 27536 25889 0 -1 4202496 47918 0 0 0 22 7 0 0 20 0 4 0 103753252 1247350784 48268 33554432000 4194304 16246674 140735875138768 140735875121768 5675357 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27536/statm: 304529 48275 732 2943 0 301423 0
[pid=27536/tid=27537] ppid=27533 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27536/task/27537/stat : 27537 (toysat) S 27533 27536 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103753252 1247350784 48276 33554432000 4194304 16246674 140735875138768 140347530259696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=27536/tid=27538] ppid=27533 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27536/task/27538/stat : 27538 (toysat) S 27533 27536 25889 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103753252 1247350784 48283 33554432000 4194304 16246674 140735875138768 140347451616496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=27536/tid=27539] ppid=27533 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27536/task/27539/stat : 27539 (toysat) S 27533 27536 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103753252 1247350784 48289 33554432000 4194304 16246674 140735875138768 140347441142960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700389 s]
/proc/loadavg: 2.10 2.11 2.09 3/261 27536
/proc/meminfo: memFree=30989528/32872528 swapFree=9196/9196
[pid=27536] ppid=27533 vsize=1218116 CPUtime=0.69 cores=0-3,8-11
/proc/27536/stat : 27536 (toysat) R 27533 27536 25889 0 -1 4202496 107240 0 0 0 53 16 0 0 20 0 4 0 103753252 1247350784 107590 33554432000 4194304 16246674 140735875138768 140735875121768 5523709 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27536/statm: 304529 107595 733 2943 0 301423 0
[pid=27536/tid=27537] ppid=27533 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27536/task/27537/stat : 27537 (toysat) S 27533 27536 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103753252 1247350784 107599 33554432000 4194304 16246674 140735875138768 140347530259696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=27536/tid=27538] ppid=27533 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27536/task/27538/stat : 27538 (toysat) S 27533 27536 25889 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103753252 1247350784 107606 33554432000 4194304 16246674 140735875138768 140347451616496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=27536/tid=27539] ppid=27533 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27536/task/27539/stat : 27539 (toysat) S 27533 27536 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103753252 1247350784 107611 33554432000 4194304 16246674 140735875138768 140347441142960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50034 s]
/proc/loadavg: 2.10 2.11 2.09 3/265 27540
/proc/meminfo: memFree=30323808/32872528 swapFree=9196/9196
[pid=27536] ppid=27533 vsize=1218116 CPUtime=1.49 cores=0-3,8-11
/proc/27536/stat : 27536 (toysat) R 27533 27536 25889 0 -1 4202496 227087 0 0 0 115 34 0 0 20 0 4 0 103753252 1247350784 227438 33554432000 4194304 16246674 140735875138768 140735875121768 5665836 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27536/statm: 304529 227445 733 2943 0 301423 0
[pid=27536/tid=27537] ppid=27533 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27536/task/27537/stat : 27537 (toysat) S 27533 27536 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103753252 1247350784 227448 33554432000 4194304 16246674 140735875138768 140347530259696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=27536/tid=27538] ppid=27533 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27536/task/27538/stat : 27538 (toysat) S 27533 27536 25889 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103753252 1247350784 227454 33554432000 4194304 16246674 140735875138768 140347451616496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=27536/tid=27539] ppid=27533 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27536/task/27539/stat : 27539 (toysat) S 27533 27536 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103753252 1247350784 227457 33554432000 4194304 16246674 140735875138768 140347441142960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116
Solver just ended.
ain loop
??? sigkill at end of watcher main loop
??? kill 27536 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1.60044 s]
/proc/loadavg: 2.10 2.11 2.09 3/265 27540
/proc/meminfo: memFree=30323808/32872528 swapFree=9196/9196
[pid=27536] ppid=27533 vsize=1218116 CPUtime=1.59 cores=0-3,8-11
/proc/27536/stat : 27536 (toysat) R 27533 27536 25889 0 -1 4202496 241941 0 0 0 123 36 0 0 20 0 4 0 103753252 1247350784 242292 33554432000 4194304 16246674 140735875138768 140735875121768 13192951 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27536/statm: 304529 242301 733 2943 0 301423 0
[pid=27536/tid=27537] ppid=27533 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27536/task/27537/stat : 27537 (toysat) S 27533 27536 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103753252 1247350784 242305 33554432000 4194304 16246674 140735875138768 140347530259696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=27536/tid=27538] ppid=27533 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27536/task/27538/stat : 27538 (toysat) S 27533 27536 25889 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103753252 1247350784 242309 33554432000 4194304 16246674 140735875138768 140347451616496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=27536/tid=27539] ppid=27533 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27536/task/27539/stat : 27539 (toysat) S 27533 27536 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103753252 1247350784 242315 33554432000 4194304 16246674 140735875138768 140347441142960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 1218116

[startup+2.00036 s]
/proc/loadavg: 2.10 2.11 2.09 3/265 27540
/proc/meminfo: memFree=30323808/32872528 swapFree=9196/9196
[pid=27536] ppid=27533 vsize=1219140 CPUtime=1.99 cores=0-3,8-11
/proc/27536/stat : 27536 (toysat) R 27533 27536 25889 0 -1 4202496 245597 0 0 0 163 36 0 0 20 0 4 0 103753252 1248399360 245927 33554432000 4194304 16246674 140735875138768 140735875138080 12483512 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27536/statm: 304785 245927 799 2943 0 301679 0
[pid=27536/tid=27537] ppid=27533 vsize=1219140 CPUtime=0 cores=0-3,8-11
/proc/27536/task/27537/stat : 27537 (toysat) S 27533 27536 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103753252 1248399360 245927 33554432000 4194304 16246674 140735875138768 140347530259696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=27536/tid=27538] ppid=27533 vsize=1219140 CPUtime=0 cores=0-3,8-11
/proc/27536/task/27538/stat : 27538 (toysat) S 27533 27536 25889 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103753252 1248399360 245927 33554432000 4194304 16246674 140735875138768 140347451616496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=27536/tid=27539] ppid=27533 vsize=1219140 CPUtime=0 cores=0-3,8-11
/proc/27536/task/27539/stat : 27539 (toysat) S 27533 27536 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103753252 1248399360 245927 33554432000 4194304 16246674 140735875138768 140347441142960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 1219140

[startup+2.10036 s]
/proc/loadavg: 2.10 2.11 2.09 3/265 27540
/proc/meminfo: memFree=30323808/32872528 swapFree=9196/9196
[pid=27536] ppid=27533 vsize=0 CPUtime=2.08 cores=0-3,8-11
/proc/27536/stat : 27536 (toysat) R 27533 27536 25889 0 -1 4202500 245604 0 0 0 172 36 0 0 20 0 1 0 103753252 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27536/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 2.1516
CPU time (s): 2.14867
CPU user time (s): 1.72974
CPU system time (s): 0.418936
CPU usage (%): 99.8638
Max. virtual memory (cumulated for all children) (KiB): 1219140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.72974
system time used= 0.418936
maximum resident set size= 983728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 245604
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= 24
involuntary context switches= 4

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.001999 second user time and 0.030995 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-06 15:18:32
IDJOB=4078687
IDBENCH=1256
IDSOLVER=2542
FILE ID=node132/4078687-1465219112
RUNJOBID= node132-1465216787-25905
PBS_JOBID= 19843203
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110974553.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078687-1465219112/watcher-4078687-1465219112 -o /tmp/evaluation-result-4078687-1465219112/solver-4078687-1465219112 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25905 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078687-1465219112.opb

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

MD5SUM BENCH= a8a51c2e735c1a05850a59dcf05a69f7
RANDOM SEED=602624187

node132.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.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.41
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.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        30989528 kB
Buffers:            6664 kB
Cached:            71128 kB
SwapCached:         3236 kB
Active:          1142696 kB
Inactive:          20764 kB
Active(anon):    1084872 kB
Inactive(anon):     3236 kB
Active(file):      57824 kB
Inactive(file):    17528 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67094516 kB
Dirty:             16964 kB
Writeback:             0 kB
AnonPages:       1094540 kB
Mapped:            10628 kB
Shmem:                 0 kB
Slab:             573252 kB
SReclaimable:      12248 kB
SUnreclaim:       561004 kB
KernelStack:        2240 kB
PageTables:         6428 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1236912 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1079296 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= 71716 MiB
End job on node132 at 2016-06-06 15:18:35