Trace number 4108167

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-02UNSAT 0.291955 0.297042

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j603_2-unsat.opb
MD5SUMa21481d09c6e372fceb7a960f40ed463
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.047992
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8418
Total number of constraints26241
Number of constraints which are clauses25969
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints272
Minimum length of a constraint1
Maximum length of a constraint18
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 23
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 119
Number of bits of the biggest sum of numbers7
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-19T00:59:59+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-4108167-1466290799.opb"]
0.00/0.01	c use --random-gen="812461605 4173189396 2845567890 1032243517 2103812195 1716703334 1415818811 268217048 1380192396 2829507292 3505172616 2142304367 3000409496 968875424 3058727335 2588424230 1765210847 98421087 4129316704 3176857454 1956023923 156323612 3859717420 788304470 3317938309 2653540124 706151413 3939543547 1632243619 996910337 2815133359 3351910529 2193863 601267815 3559721783 2632335101 152313372 3281453234 691512003 2264040523 1445722270 1384281551 2407189869 2438456597 3116225207 3538174263 660527792 391251539 2385121086 3554764432 2394448595 1901765329 313239467 284643813 3793845170 2956211761 3443607094 4147138836 1733764074 4202593962 3095274519 4011148559 2130225163 3644931446 1167607956 3504467718 766449168 3987281079 1242371748 4120270995 3381163719 2721647832 3127176530 4081931704 900480960 3672385959 1284687976 3941557681 1171628542 2664025811 691297853 2379006543 2338169881 79032082 2104937743 2976604215 3804018618 264832002 3371124176 3728090422 3750236179 159552853 2520532065 1924291352 4283134689 414390615 3013909129 1968948124 621591169 3040594171 2828791286 844120413 1222533740 378395211 2430066970 3360215974 514969167 405357069 2870860962 1619187415 1682026692 1931443691 3105053548 436426527 3028621252 3043784407 2597993397 923466488 685387078 3292685068 2040798527 2526206667 664695187 3497655616 2644159600 4209447410 3159866751 1807413936 777531387 2420641425 1805981980 3993165999 1602828486 1546645737 1836930750 2134597684 2605469233 4273994627 2198567311 1382813342 1322735443 753384051 1239498039 3788138249 510376815 3973777049 1770155060 2521095853 2958981968 103887474 1076942940 3791296568 1283839951 546365335 3513977908 3148499644 3767504762 2029344601 2265973599 3334920225 3320078958 819405951 2010616785 1023161583 3990513187 561069028 4207863386 678941336 3891276057 3763217142 2468958722 3549828791 2417274939 2808700936 1770088949 2850063905 2104195000 2259970267 843504329 7049880 167699805 448548934 2929326682 4078287039 873426453 2133065172 1393940387 2801517115 533472134 661190113 287112224 2355885897 3263895935 2854982228 2732746093 1547120961 2437966598 2882509263 3851279578 3572042590 803578888 4215687978 778781655 1137539947 2044531937 2406718255 3002982203 1903369733 3922476714 4283328527 3740869969 408737566 2796483951 745032574 1772384751 3267446927 64406121 1294713333 2605669998 3077967574 651943560 3810181451 1094413877 51603832 639618737 2364325609 1438607602 1067287464 3225936909 1549192644 2067851708 2756245662 3689368734 1381883364 3341540074 101196132 1287962447 1582849360 2543306682 1573538095 3382834193 3818218532 3370108925 1162057897 2844307990 1750450374 2308387354 3241326681 813034189 2749022326 3435679241 617954185 2269772501 471793443 2918207415 552944551 255 362436" option to reproduce the execution
0.08/0.17	c #vars 8418
0.08/0.17	c #constraints 26241
0.19/0.28	c Solving starts ...
0.19/0.28	s UNSATISFIABLE
0.19/0.28	c total CPU time = 0.281s
0.19/0.28	c total wall clock time = 0.282s

Verifier Data 

ERROR: no interpretation found !

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

pid=30337
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.13 2.19 2.22 3/179 30340
/proc/meminfo: memFree=29127292/32872528 swapFree=1402776/1580604
[pid=30340] ppid=30337 vsize=730692 CPUtime=0 cores=1,3,5,7
/proc/30340/stat : 30340 (toysat) R 30337 30340 28125 0 -1 4202496 2728 0 0 0 0 0 0 0 20 0 4 0 31125623 748228608 3089 33554432000 4194304 16246674 140737419978768 140737419978192 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30340/statm: 183185 3098 442 2943 0 180079 0
[pid=30340/tid=30341] ppid=30337 vsize=748100 CPUtime=0 cores=1,3,5,7
/proc/30340/task/30341/stat : 30341 (toysat) S 30337 30340 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31125623 766054400 3159 33554432000 4194304 16246674 140737419978768 140526998236400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30340/tid=30342] ppid=30337 vsize=753220 CPUtime=0 cores=1,3,5,7
/proc/30340/task/30342/stat : 30342 (toysat) S 30337 30340 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31125623 771297280 3178 33554432000 4194304 16246674 140737419978768 140526987746544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30340/tid=30343] ppid=30337 vsize=757316 CPUtime=0 cores=1,3,5,7
/proc/30340/task/30343/stat : 30343 (toysat) S 30337 30340 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31125623 775491584 3195 33554432000 4194304 16246674 140737419978768 140526900735152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100183 s]
/proc/loadavg: 2.13 2.19 2.22 3/179 30340
/proc/meminfo: memFree=29127292/32872528 swapFree=1402776/1580604
[pid=30340] ppid=30337 vsize=1221188 CPUtime=0.08 cores=1,3,5,7
/proc/30340/stat : 30340 (toysat) R 30337 30340 28125 0 -1 4202496 27894 0 0 0 5 3 0 0 20 0 4 0 31125623 1250496512 28193 33554432000 4194304 16246674 140737419978768 140737419978080 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30340/statm: 305297 28200 802 2943 0 302191 0
[pid=30340/tid=30341] ppid=30337 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/30340/task/30341/stat : 30341 (toysat) S 30337 30340 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31125623 1250496512 28204 33554432000 4194304 16246674 140737419978768 140526998236400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30340/tid=30342] ppid=30337 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/30340/task/30342/stat : 30342 (toysat) S 30337 30340 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31125623 1250496512 28209 33554432000 4194304 16246674 140737419978768 140526987746544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30340/tid=30343] ppid=30337 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/30340/task/30343/stat : 30343 (toysat) S 30337 30340 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31125623 1250496512 28213 33554432000 4194304 16246674 140737419978768 140526900735152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1221188

[startup+0.200606 s]
/proc/loadavg: 2.13 2.19 2.22 3/179 30340
/proc/meminfo: memFree=29127292/32872528 swapFree=1402776/1580604
[pid=30340] ppid=30337 vsize=1311300 CPUtime=0.19 cores=1,3,5,7
/proc/30340/stat : 30340 (toysat) R 30337 30340 28125 0 -1 4202496 50548 0 0 0 12 7 0 0 20 0 4 0 31125623 1342771200 50847 33554432000 4194304 16246674 140737419978768 140737419978080 5885328 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30340/statm: 327825 50847 832 2943 0 324719 0
[pid=30340/tid=30341] ppid=30337 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/30340/task/30341/stat : 30341 (toysat) S 30337 30340 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31125623 1342771200 50847 33554432000 4194304 16246674 140737419978768 140526998236400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30340/tid=30342] ppid=30337 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/30340/task/30342/stat : 30342 (toysat) S 30337 30340 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31125623 1342771200 50847 33554432000 4194304 16246674 140737419978768 140526987746544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30340/tid=30343] ppid=30337 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/30340/task/30343/stat : 30343 (toysat) S 30337 30340 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31125623 1342771200 50847 33554432000 4194304 16246674 140737419978768 140526900735152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

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

Child status: 0
Real time (s): 0.297042
CPU time (s): 0.291955
CPU user time (s): 0.208968
CPU system time (s): 0.082987
CPU usage (%): 98.2875
Max. virtual memory (cumulated for all children) (KiB): 1311300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.208968
system time used= 0.082987
maximum resident set size= 203456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50566
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= 20
involuntary context switches= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.004999 second user time and 0.005999 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-19 00:59:59
IDJOB=4108167
IDBENCH=76117
IDSOLVER=2542
FILE ID=node139/4108167-1466290799
RUNJOBID= node139-1466274546-28142
PBS_JOBID= 19918239
Free space on /tmp= 71576 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j60/normalized-j603_2-unsat.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4108167-1466290799/watcher-4108167-1466290799 -o /tmp/evaluation-result-4108167-1466290799/solver-4108167-1466290799 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466274546-28142 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4108167-1466290799.opb

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

MD5SUM BENCH= a21481d09c6e372fceb7a960f40ed463
RANDOM SEED=1810963050

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29127300 kB
Buffers:          146540 kB
Cached:           180160 kB
SwapCached:         1832 kB
Active:          1190084 kB
Inactive:         227400 kB
Active(anon):    1090584 kB
Inactive(anon):     2540 kB
Active(file):      99500 kB
Inactive(file):   224860 kB
Unevictable:     1580604 kB
Mlocked:         1402776 kB
SwapTotal:      67108856 kB
SwapFree:       67099484 kB
Dirty:             16980 kB
Writeback:             0 kB
AnonPages:       2654316 kB
Mapped:            10876 kB
Shmem:                 0 kB
Slab:             611032 kB
SReclaimable:      54328 kB
SUnreclaim:       556704 kB
KernelStack:        1480 kB
PageTables:         9044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2813416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    575488 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= 71560 MiB
End job on node139 at 2016-06-19 00:59:59