Trace number 4078705

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 1.41478 1.41614

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111227418.opb
MD5SUM1d0806e8d2a90a81262a0ea6810fc3cb
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.287955
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 1171
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:28+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-4078705-1465219107.opb"]
0.00/0.01	c use --random-gen="2245633255 1209912323 843221939 1926029325 526526158 2341529406 3524946157 894110145 1326659084 2076411142 1597576531 910419856 3137631738 211614856 3075252257 2993787356 1274578655 4253413562 3330244568 38920431 1141912861 2902202326 681250199 3234568613 762939592 2735522557 988504573 2790694312 1083028275 61286082 3627612844 2229069237 3625078130 3904531601 3521598517 3561294726 3005011699 1799144414 3471510056 3653952356 4229373978 1242908755 3016614139 3335445831 44085555 2635369715 1889833219 2989308574 4077834545 4285229782 655022022 3203399054 1374468354 4038826263 3116373740 1119276541 1687397021 84758823 30418844 785225023 1749452255 1421606333 340463054 4169464572 2095236136 3889186046 2243732658 111646576 933736716 1708663401 2177841770 1996689444 3516755816 2590955142 62233826 3358696404 219034421 3892382232 1821361457 3409924587 1594077487 3235315169 3342094446 3433854916 4121424940 3570135903 1646554845 3424330730 3996576347 1173678287 1939573968 3771161110 1768154797 3833843242 49409275 4259376739 4173677409 3953573849 2320837634 3402493045 64918276 1990497797 3843867513 3916486496 2672658506 3055815582 2721480374 447015075 4279004794 1895362382 1921154354 3000443946 2495302363 1599848696 1036755748 2037585417 2238614692 712643865 3011477955 3958246532 2520597195 3579875871 2601129611 2480040012 3509033816 2521709222 1445091184 1048460335 3284100570 164419761 2007251449 1274454574 3587471500 3521441722 2531520187 16605660 3378564794 3566388262 918105409 812286779 504184673 724837150 2240802038 1095539042 821932046 1814357505 2044390532 3880423863 299408332 2899046912 219990111 3873536788 2569353658 1145411908 3908240671 2008746404 1951198099 983259042 1831940271 3777073673 1602516005 343962712 546097915 3014271577 3595336491 4146712430 176462968 3369197837 1298589014 3082107776 3662993436 1683675232 3772391379 2162749429 2252692436 1167406926 2268135204 3931787029 2909752932 1941146103 3440122569 1714790794 4198592516 2174293432 3890920042 4274091937 20765650 890297554 1729867134 3041116890 564288034 328445662 592714655 2172993807 3604861545 458887673 2633320691 1344056734 1602583067 4141525702 2007408037 3204809081 471398482 2724999891 2739667177 3592416326 2892581020 3974185795 176325992 3035045776 770516505 1342982938 2537351785 4138306511 1374070215 1024429484 371781305 3894804769 4086215762 4277695544 1055941010 1189638754 3749162691 2458155566 4094231149 199762452 2655097654 2352849615 3921045291 1389755535 2423088411 896479783 31138815 2533061102 1272942907 3381271527 2663375571 2812357317 2730586661 3370756846 264606265 151182228 1149279965 3221050742 3985231201 293165133 1329962138 2938812487 1127922015 716193513 529923205 578455012 3572461727 2092992472 864973628 1791451693 255 362436" option to reproduce the execution
0.00/0.02	c #vars 169
0.00/0.02	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 |      142 |      100 |       90      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      387 |      250 |      100      2 |        0 |        0
0.00/0.08	c  0.1s |       3 |      679 |      475 |      111      4 |        0 |        0
0.09/0.12	c  0.1s |       4 |     1134 |      813 |      123      7 |        0 |        0
0.09/0.18	c  0.2s |       5 |     1776 |     1320 |      136     12 |        0 |        0
0.19/0.27	c  0.3s |       6 |     2839 |     2081 |      165     18 |        0 |        0
0.39/0.42	c  0.4s |       7 |     4401 |     3223 |      182     27 |        0 |        0
0.59/0.63	c  0.6s |       8 |     6917 |     4936 |      201     40 |        0 |        0
0.89/0.96	c  0.9s |       9 |    10706 |     7506 |      222     57 |        1 |        0
1.29/1.36	c  1.3s |       9 |    14784 |    10500 |      222     74 |        2 |        0
1.29/1.36	c #cpu_time = 1.336s
1.39/1.48	c #wall_clock_time = 1.340s
1.39/1.48	c #decision = 14784
1.39/1.48	c #random_decision = 41
1.39/1.48	c #conflict = 10500
1.39/1.48	c #restart = 9
1.39/1.48	s SATISFIABLE
1.39/1.48	v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
1.39/1.48	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
1.39/1.48	v -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 x29 -x30
1.39/1.48	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
1.39/1.48	v -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50
1.39/1.48	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
1.39/1.48	v -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
1.39/1.48	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80
1.39/1.48	v -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90
1.39/1.48	v -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
1.39/1.48	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
1.39/1.48	v -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120
1.39/1.48	v -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130
1.39/1.48	v -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140
1.39/1.48	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
1.39/1.48	v -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160
1.39/1.48	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169
1.39/1.48	c total CPU time = 1.358s
1.39/1.48	c total wall clock time = 1.362s

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-4078705-1465219107/watcher-4078705-1465219107 -o /tmp/evaluation-result-4078705-1465219107/solver-4078705-1465219107 -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-4078705-1465219107.opb 

pid=27435
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.11 2.11 2.09 2/261 27438
/proc/meminfo: memFree=30989840/32872528 swapFree=9196/9196
[pid=27438] ppid=27435 vsize=745916 CPUtime=0 cores=0-3,8-11
/proc/27438/stat : 27438 (toysat) R 27435 27438 25889 0 -1 4202496 2786 0 0 0 0 0 0 0 20 0 4 0 103752774 763817984 3657 33554432000 4194304 16246674 140733297351808 140733297351232 13880264 0 2 0 34082818 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/27438/statm: 187247 3665 441 2943 0 184141 0
[pid=27438/tid=27439] ppid=27435 vsize=767420 CPUtime=0 cores=0-3,8-11
/proc/27438/task/27439/stat : 27439 (toysat) S 27435 27438 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103752774 785838080 3741 33554432000 4194304 16246674 140733297351808 140156348640496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 9 0 0 0 0 0
[pid=27438/tid=27440] ppid=27435 vsize=771516 CPUtime=0 cores=0-3,8-11
/proc/27438/task/27440/stat : 27440 (toysat) S 27435 27438 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103752774 790032384 3756 33554432000 4194304 16246674 140733297351808 140156338150640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 10 0 0 0 0 0
[pid=27438/tid=27441] ppid=27435 vsize=773564 CPUtime=0 cores=0-3,8-11
/proc/27438/task/27441/stat : 27441 (toysat) S 27435 27438 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103752774 792129536 3761 33554432000 4194304 16246674 140733297351808 140156258479280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 9 0 0 0 0 0

[startup+0.100139 s]
/proc/loadavg: 2.11 2.11 2.09 2/261 27438
/proc/meminfo: memFree=30989840/32872528 swapFree=9196/9196
[pid=27438] ppid=27435 vsize=1218116 CPUtime=0.09 cores=0-3,8-11
/proc/27438/stat : 27438 (toysat) R 27435 27438 25889 0 -1 4202496 18129 0 0 0 6 3 0 0 20 0 4 0 103752774 1247350784 18989 33554432000 4194304 16246674 140733297351808 140733297351232 5669490 0 0 0 34082818 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/27438/statm: 304529 18993 729 2943 0 301423 0
[pid=27438/tid=27439] ppid=27435 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27438/task/27439/stat : 27439 (toysat) S 27435 27438 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103752774 1247350784 18998 33554432000 4194304 16246674 140733297351808 140156348640496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 9 0 0 0 0 0
[pid=27438/tid=27440] ppid=27435 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27438/task/27440/stat : 27440 (toysat) S 27435 27438 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103752774 1247350784 19002 33554432000 4194304 16246674 140733297351808 140156338150640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 10 0 0 0 0 0
[pid=27438/tid=27441] ppid=27435 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27438/task/27441/stat : 27441 (toysat) S 27435 27438 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103752774 1247350784 19006 33554432000 4194304 16246674 140733297351808 140156258479280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200478 s]
/proc/loadavg: 2.11 2.11 2.09 2/261 27438
/proc/meminfo: memFree=30989840/32872528 swapFree=9196/9196
[pid=27438] ppid=27435 vsize=1218116 CPUtime=0.19 cores=0-3,8-11
/proc/27438/stat : 27438 (toysat) R 27435 27438 25889 0 -1 4202496 33262 0 0 0 14 5 0 0 20 0 4 0 103752774 1247350784 34122 33554432000 4194304 16246674 140733297351808 140733297351232 5600539 0 0 0 34082818 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/27438/statm: 304529 34125 729 2943 0 301423 0
[pid=27438/tid=27439] ppid=27435 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27438/task/27439/stat : 27439 (toysat) S 27435 27438 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103752774 1247350784 34125 33554432000 4194304 16246674 140733297351808 140156348640496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 9 0 0 0 0 0
[pid=27438/tid=27440] ppid=27435 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27438/task/27440/stat : 27440 (toysat) S 27435 27438 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103752774 1247350784 34127 33554432000 4194304 16246674 140733297351808 140156338150640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 10 0 0 0 0 0
[pid=27438/tid=27441] ppid=27435 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27438/task/27441/stat : 27441 (toysat) S 27435 27438 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103752774 1247350784 34132 33554432000 4194304 16246674 140733297351808 140156258479280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300437 s]
/proc/loadavg: 2.11 2.11 2.09 2/261 27438
/proc/meminfo: memFree=30989840/32872528 swapFree=9196/9196
[pid=27438] ppid=27435 vsize=1218116 CPUtime=0.29 cores=0-3,8-11
/proc/27438/stat : 27438 (toysat) R 27435 27438 25889 0 -1 4202496 47928 0 0 0 22 7 0 0 20 0 4 0 103752774 1247350784 48788 33554432000 4194304 16246674 140733297351808 140733297351232 5589602 0 0 0 34082818 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/27438/statm: 304529 48801 729 2943 0 301423 0
[pid=27438/tid=27439] ppid=27435 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27438/task/27439/stat : 27439 (toysat) S 27435 27438 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103752774 1247350784 48806 33554432000 4194304 16246674 140733297351808 140156348640496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 9 0 0 0 0 0
[pid=27438/tid=27440] ppid=27435 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27438/task/27440/stat : 27440 (toysat) S 27435 27438 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103752774 1247350784 48811 33554432000 4194304 16246674 140733297351808 140156338150640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 10 0 0 0 0 0
[pid=27438/tid=27441] ppid=27435 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27438/task/27441/stat : 27441 (toysat) S 27435 27438 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103752774 1247350784 48816 33554432000 4194304 16246674 140733297351808 140156258479280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700358 s]
/proc/loadavg: 2.11 2.11 2.09 2/261 27438
/proc/meminfo: memFree=30989840/32872528 swapFree=9196/9196
[pid=27438] ppid=27435 vsize=1218116 CPUtime=0.69 cores=0-3,8-11
/proc/27438/stat : 27438 (toysat) R 27435 27438 25889 0 -1 4202496 106322 0 0 0 53 16 0 0 20 0 4 0 103752774 1247350784 107182 33554432000 4194304 16246674 140733297351808 140733297351232 5675357 0 0 0 34082818 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/27438/statm: 304529 107189 729 2943 0 301423 0
[pid=27438/tid=27439] ppid=27435 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27438/task/27439/stat : 27439 (toysat) S 27435 27438 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103752774 1247350784 107193 33554432000 4194304 16246674 140733297351808 140156348640496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 9 0 0 0 0 0
[pid=27438/tid=27440] ppid=27435 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27438/task/27440/stat : 27440 (toysat) S 27435 27438 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103752774 1247350784 107200 33554432000 4194304 16246674 140733297351808 140156338150640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 10 0 0 0 0 0
[pid=27438/tid=27441] ppid=27435 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27438/task/27441/stat : 27441 (toysat) S 27435 27438 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103752774 1247350784 107203 33554432000 4194304 16246674 140733297351808 140156258479280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116
Solver just ended.
ain loop
??? sigkill at end of watcher main loop
??? kill 27438 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+0.800455 s]
/proc/loadavg: 2.11 2.11 2.09 2/261 27438
/proc/meminfo: memFree=30989840/32872528 swapFree=9196/9196
[pid=27438] ppid=27435 vsize=1218116 CPUtime=0.79 cores=0-3,8-11
/proc/27438/stat : 27438 (toysat) R 27435 27438 25889 0 -1 4202496 120452 0 0 0 61 18 0 0 20 0 4 0 103752774 1247350784 121312 33554432000 4194304 16246674 140733297351808 140733297351232 13954518 0 0 0 34082818 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/27438/statm: 304529 121320 730 2943 0 301423 0
[pid=27438/tid=27439] ppid=27435 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27438/task/27439/stat : 27439 (toysat) S 27435 27438 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103752774 1247350784 121327 33554432000 4194304 16246674 140733297351808 140156348640496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 9 0 0 0 0 0
[pid=27438/tid=27440] ppid=27435 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27438/task/27440/stat : 27440 (toysat) S 27435 27438 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103752774 1247350784 121332 33554432000 4194304 16246674 140733297351808 140156338150640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 10 0 0 0 0 0
[pid=27438/tid=27441] ppid=27435 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27438/task/27441/stat : 27441 (toysat) S 27435 27438 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103752774 1247350784 121335 33554432000 4194304 16246674 140733297351808 140156258479280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 1218116

[startup+1.21087 s]
/proc/loadavg: 2.11 2.11 2.09 3/265 27442
/proc/meminfo: memFree=30333480/32872528 swapFree=9196/9196
[pid=27438] ppid=27435 vsize=1218116 CPUtime=1.2 cores=0-3,8-11
/proc/27438/stat : 27438 (toysat) R 27435 27438 25889 0 -1 4202496 179996 0 0 0 92 28 0 0 20 0 4 0 103752774 1247350784 180856 33554432000 4194304 16246674 140733297351808 140733297333696 6021055 0 0 0 34082818 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/27438/statm: 304529 180867 730 2943 0 301423 0
[pid=27438/tid=27439] ppid=27435 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27438/task/27439/stat : 27439 (toysat) S 27435 27438 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103752774 1247350784 180873 33554432000 4194304 16246674 140733297351808 140156348640496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 9 0 0 0 0 0
[pid=27438/tid=27440] ppid=27435 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27438/task/27440/stat : 27440 (toysat) S 27435 27438 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103752774 1247350784 180877 33554432000 4194304 16246674 140733297351808 140156338150640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 10 0 0 0 0 0
[pid=27438/tid=27441] ppid=27435 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27438/task/27441/stat : 27441 (toysat) S 27435 27438 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103752774 1247350784 180880 33554432000 4194304 16246674 140733297351808 140156258479280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 1218116

[startup+1.40039 s]
/proc/loadavg: 2.11 2.11 2.09 3/265 27442
/proc/meminfo: memFree=30333480/32872528 swapFree=9196/9196
[pid=27438] ppid=27435 vsize=0 CPUtime=1.39 cores=0-3,8-11
/proc/27438/stat : 27438 (toysat) R 27435 27438 25889 0 -1 4202500 203583 0 0 0 105 34 0 0 20 0 1 0 103752774 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/27438/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1.41614
CPU time (s): 1.41478
CPU user time (s): 1.05484
CPU system time (s): 0.359945
CPU usage (%): 99.9045
Max. virtual memory (cumulated for all children) (KiB): 1218116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.05484
system time used= 0.359945
maximum resident set size= 817732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203583
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19
involuntary context switches= 2

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

The end

Launcher Data 

Begin job on node132 at 2016-06-06 15:18:28
IDJOB=4078705
IDBENCH=1251
IDSOLVER=2542
FILE ID=node132/4078705-1465219107
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.1111227418.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078705-1465219107/watcher-4078705-1465219107 -o /tmp/evaluation-result-4078705-1465219107/solver-4078705-1465219107 -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-4078705-1465219107.opb

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

MD5SUM BENCH= 1d0806e8d2a90a81262a0ea6810fc3cb
RANDOM SEED=1972392295

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:        30989840 kB
Buffers:            6548 kB
Cached:            71140 kB
SwapCached:         3236 kB
Active:          1142272 kB
Inactive:          20612 kB
Active(anon):    1084732 kB
Inactive(anon):     3236 kB
Active(file):      57540 kB
Inactive(file):    17376 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67094516 kB
Dirty:             16952 kB
Writeback:             0 kB
AnonPages:       1092124 kB
Mapped:            10456 kB
Shmem:                 0 kB
Slab:             573084 kB
SReclaimable:      12240 kB
SUnreclaim:       560844 kB
KernelStack:        2280 kB
PageTables:         6340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1236804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1077248 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:29