Trace number 4093559

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-02OPTIMUM 0.119981 0.129648

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh212_wcsp.wbo
MD5SUM89498e96b82f9b6ac0ac75bbe7337aa5
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.119981
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints900
Number of soft constraints800
Number of constraints which are clauses800
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint11
Top cost 394239
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 394238
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c 2016-06-16T18:38:31+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","--wbo","--search=bcd2","HOME/instance-4093559-1466095110.wbo"]
0.00/0.01	c use --random-gen="3859531248 2220754120 3244834737 787514181 4160385478 1276836517 3540435334 216358553 1547585363 1917738797 1302117273 2341582258 1012214069 1653545350 1975009305 2592440330 3321400456 1734426545 3064309307 2651990579 2217623761 2008116945 2557313053 1301110491 2641653572 3712693383 282045816 2130836157 1570726050 2393666689 3705507766 871639102 599028310 372349213 2450882895 2669034398 2452185497 951736740 811128513 3883316585 1171645826 1711038241 3775075473 434136123 3409795636 3663792180 1065536339 360914209 2162835894 562809932 1889976985 1092745854 618006652 1829840022 3639023889 3892663696 1103837665 3505416573 3995049233 4152751858 2170490840 1518003283 3850116023 3611878531 837661589 3080182517 4196234838 3647650759 2324705144 1970317513 1723087558 3097724899 1516675114 3713393316 4143473484 1202013315 3117242389 1924594114 2138952508 4014775740 3770324167 2161177642 1163663563 3420306379 3709915627 841805686 3093441049 3742591602 1374410711 2705138675 4168827772 290187786 450263522 3311212446 2735516514 2893198804 3044458586 956992184 3188893729 3337785546 2638412472 1195465501 1008826249 1904059654 632012935 1931002339 2971285719 76615886 2206163356 1571580347 3660804681 547237901 2649987466 723738789 1233560157 2743394453 3136109568 4230006707 723804843 2571150438 3125165770 3398737065 3093397612 1102984306 658035930 291697609 1247197406 1050899997 2389857599 494713190 3077200676 965486864 860510380 2250311231 1735594199 1214264947 2733083450 3798345438 2766888784 1594307477 1049353888 1609412514 260491358 3601445350 871058403 369363731 3543675743 453029425 2009067754 3820820575 3723828465 2967330768 2333615432 840997846 3515544590 431461514 1481528295 1473211722 1845967517 1103508483 1507482272 654398885 4176017967 283216740 3321322598 147040864 2321195947 2917878396 1353005274 674636329 2036826069 1602075585 493503442 3967920377 601351697 828168328 3105530232 1184613899 1974367585 304553158 4249760950 639263904 3868405655 1405806143 3532283274 888610941 1397511300 4121229769 3024272209 622591384 2156566688 2540679921 3306139840 874589559 3129006464 4066091533 180315016 2411420484 716498804 335848021 1153002334 4232203218 3566007533 746960195 3350329199 2663483389 1734211084 581804673 3873741826 3150688238 2945283147 905759748 2672179022 4144700936 3607295465 27651389 4270668675 3348277540 3883468691 4051058826 601050322 4174767787 1997932971 789504561 1591162296 2970154944 570710406 669046768 1809566834 4004126080 2287877678 2781485039 3265835060 2051556855 1800460637 104040249 3609590310 136962585 1886948439 2260668590 610203689 1705087593 2563434537 329473784 3476914987 1041354341 2088158504 412593800 53081805 478585379 3696597193 4255042707 2108565641 3648235977 1865034082 686620431 255 362436" option to reproduce the execution
0.00/0.04	c #vars 200
0.00/0.04	c #constraints 900
0.00/0.07	c BCD2: Hardening is enabled.
0.00/0.07	c BCD2: BiasedSearch is enabled.
0.00/0.07	c Solving starts ...
0.00/0.07	c ============================[ Search Statistics ]============================
0.00/0.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.07	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.07	c =============================================================================
0.00/0.07	c  0.0s |       0 |        0 |        0 |      666      0 |        0 |        0
0.09/0.10	c  0.0s |       1 |      919 |      100 |      666      0 |        0 |        0
0.09/0.10	c  0.0s |       1 |     1755 |      100 |      666      0 |        0 |        0
0.09/0.10	c #cpu_time = 0.033s
0.09/0.10	c #wall_clock_time = 0.033s
0.09/0.10	c #decision = 1755
0.09/0.10	c #random_decision = 8
0.09/0.10	c #conflict = 100
0.09/0.10	c #restart = 1
0.09/0.10	o 6373
0.09/0.10	c BCD2: updating upper bound: 394238 -> 6372
0.09/0.11	c BCD2: 0 <= obj <= 6372
0.09/0.11	c BCD2: #cores=0, #unrelaxed=800, #relaxed=0, #hardened=0
0.09/0.11	c BCD2: #sat=1 #unsat=1 bias=1/2
0.09/0.11	c Solving starts ...
0.09/0.11	c ============================[ Search Statistics ]============================
0.09/0.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.11	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.11	c =============================================================================
0.09/0.11	c  0.0s |       0 |        0 |        0 |      666      0 |        0 |        0
0.09/0.12	c  0.0s |       0 |      819 |        6 |      733      0 |        0 |        0
0.09/0.12	c #cpu_time = 0.003s
0.09/0.12	c #wall_clock_time = 0.003s
0.09/0.12	c #decision = 819
0.09/0.12	c #random_decision = 0
0.09/0.12	c #conflict = 6
0.09/0.12	c #restart = 0
0.09/0.12	o 0
0.09/0.12	s OPTIMUM FOUND
0.09/0.12	v x1 -x2 x3 -x4 -x5 x6 x7 -x8 x9 -x10
0.09/0.12	v -x11 x12 -x13 x14 -x15 x16 x17 -x18 -x19 x20
0.09/0.12	v -x21 x22 x23 -x24 x25 -x26 x27 -x28 -x29 x30
0.09/0.12	v -x31 x32 x33 -x34 -x35 x36 -x37 x38 -x39 x40
0.09/0.12	v x41 -x42 x43 -x44 x45 -x46 x47 -x48 -x49 x50
0.09/0.12	v x51 -x52 -x53 x54 -x55 x56 -x57 x58 x59 -x60
0.09/0.12	v x61 -x62 -x63 x64 x65 -x66 x67 -x68 -x69 x70
0.09/0.12	v x71 -x72 x73 -x74 x75 -x76 x77 -x78 -x79 x80
0.09/0.12	v x81 -x82 x83 -x84 -x85 x86 -x87 x88 -x89 x90
0.09/0.12	v -x91 x92 x93 -x94 -x95 x96 x97 -x98 -x99 x100
0.09/0.12	v -x101 x102 -x103 x104 -x105 x106 -x107 x108 x109 -x110
0.09/0.12	v x111 -x112 x113 -x114 -x115 x116 x117 -x118 -x119 x120
0.09/0.12	v -x121 x122 -x123 x124 -x125 x126 -x127 x128 x129 -x130
0.09/0.12	v x131 -x132 -x133 x134 -x135 x136 x137 -x138 x139 -x140
0.09/0.12	v -x141 x142 x143 -x144 x145 -x146 x147 -x148 x149 -x150
0.09/0.12	v -x151 x152 -x153 x154 -x155 x156 x157 -x158 -x159 x160
0.09/0.12	v -x161 x162 -x163 x164 -x165 x166 -x167 x168 -x169 x170
0.09/0.12	v -x171 x172 x173 -x174 x175 -x176 x177 -x178 x179 -x180
0.09/0.12	v x181 -x182 x183 -x184 x185 -x186 -x187 x188 -x189 x190
0.09/0.12	v -x191 x192 x193 -x194 -x195 x196 -x197 x198 -x199 x200
0.09/0.12	c total CPU time = 0.119s
0.09/0.12	c total wall clock time = 0.119s

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-4093559-1466095110/watcher-4093559-1466095110 -o /tmp/evaluation-result-4093559-1466095110/solver-4093559-1466095110 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466074715-9714 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093559-1466095110.wbo 

pid=13657
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.07 2.10 2.08 3/179 13660
/proc/meminfo: memFree=30624856/32872528 swapFree=240572/273276
[pid=13660] ppid=13657 vsize=697788 CPUtime=0 cores=1,3,5,7
/proc/13660/stat : 13660 (toysat) R 13657 13660 7549 0 -1 4202496 2596 0 0 0 0 0 0 0 20 0 4 0 11561078 714534912 3468 33554432000 4194304 16246674 140736899297088 140736899296512 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13660/statm: 175215 3477 441 2943 0 172109 0
[pid=13660/tid=13661] ppid=13657 vsize=716220 CPUtime=0 cores=1,3,5,7
/proc/13660/task/13661/stat : 13661 (toysat) S 13657 13660 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11561079 733409280 3537 33554432000 4194304 16246674 140736899297088 140268818902256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13660/tid=13662] ppid=13657 vsize=720316 CPUtime=0 cores=1,3,5,7
/proc/13660/task/13662/stat : 13662 (toysat) S 13657 13660 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11561079 737603584 3555 33554432000 4194304 16246674 140736899297088 140268732919024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13660/tid=13663] ppid=13657 vsize=724412 CPUtime=0 cores=1,3,5,7
/proc/13660/task/13663/stat : 13663 (toysat) S 13657 13660 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11561079 741797888 3571 33554432000 4194304 16246674 140736899297088 140268722445488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100149 s]
/proc/loadavg: 2.07 2.10 2.08 3/179 13660
/proc/meminfo: memFree=30624856/32872528 swapFree=240572/273276
[pid=13660] ppid=13657 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/13660/stat : 13660 (toysat) R 13657 13660 7549 0 -1 4202496 26374 0 0 0 5 4 0 0 20 0 4 0 11561078 1247350784 27233 33554432000 4194304 16246674 140736899297088 140736899296512 5724245 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13660/statm: 304529 27251 765 2943 0 301423 0
[pid=13660/tid=13661] ppid=13657 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13660/task/13661/stat : 13661 (toysat) S 13657 13660 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11561079 1247350784 27257 33554432000 4194304 16246674 140736899297088 140268818902256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13660/tid=13662] ppid=13657 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13660/task/13662/stat : 13662 (toysat) S 13657 13660 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11561079 1247350784 27263 33554432000 4194304 16246674 140736899297088 140268732919024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13660/tid=13663] ppid=13657 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13660/task/13663/stat : 13663 (toysat) S 13657 13660 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11561079 1247350784 27268 33554432000 4194304 16246674 140736899297088 140268722445488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

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

[startup+0.100149 s]
/proc/loadavg: 2.07 2.10 2.08 3/179 13660
/proc/meminfo: memFree=30624856/32872528 swapFree=240572/273276
[pid=13660] ppid=13657 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/13660/stat : 13660 (toysat) R 13657 13660 7549 0 -1 4202496 26374 0 0 0 5 4 0 0 20 0 4 0 11561078 1247350784 27233 33554432000 4194304 16246674 140736899297088 140736899296512 5724245 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13660/statm: 304529 27251 765 2943 0 301423 0
[pid=13660/tid=13661] ppid=13657 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13660/task/13661/stat : 13661 (toysat) S 13657 13660 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11561079 1247350784 27257 33554432000 4194304 16246674 140736899297088 140268818902256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13660/tid=13662] ppid=13657 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13660/task/13662/stat : 13662 (toysat) S 13657 13660 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11561079 1247350784 27263 33554432000 4194304 16246674 140736899297088 140268732919024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13660/tid=13663] ppid=13657 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13660/task/13663/stat : 13663 (toysat) S 13657 13660 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11561079 1247350784 27268 33554432000 4194304 16246674 140736899297088 140268722445488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

Child status: 0
Real time (s): 0.129648
CPU time (s): 0.119981
CPU user time (s): 0.071989
CPU system time (s): 0.047992
CPU usage (%): 92.5436
Max. virtual memory (cumulated for all children) (KiB): 1218116

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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.003999 second user time and 0.006998 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-16 18:38:30
IDJOB=4093559
IDBENCH=79410
IDSOLVER=2553
FILE ID=node107/4093559-1466095110
RUNJOBID= node107-1466074715-9714
PBS_JOBID= 19904025
Free space on /tmp= 71696 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh212_wcsp.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093559-1466095110/watcher-4093559-1466095110 -o /tmp/evaluation-result-4093559-1466095110/solver-4093559-1466095110 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466074715-9714 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093559-1466095110.wbo

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

MD5SUM BENCH= 89498e96b82f9b6ac0ac75bbe7337aa5
RANDOM SEED=1618150309

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.953
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30625236 kB
Buffers:           50512 kB
Cached:           119184 kB
SwapCached:         2508 kB
Active:          1181780 kB
Inactive:          89692 kB
Active(anon):    1101972 kB
Inactive(anon):     2156 kB
Active(file):      79808 kB
Inactive(file):    87536 kB
Unevictable:      273276 kB
Mlocked:          240572 kB
SwapTotal:      67108856 kB
SwapFree:       67099244 kB
Dirty:             16776 kB
Writeback:             0 kB
AnonPages:       1375808 kB
Mapped:            10860 kB
Shmem:                 0 kB
Slab:             569340 kB
SReclaimable:      12268 kB
SUnreclaim:       557072 kB
KernelStack:        1488 kB
PageTables:         6648 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1517280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     90112 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= 71680 MiB
End job on node107 at 2016-06-16 18:38:31