Trace number 4078788

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.140977 0.152147

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3042_5-unsat.opb
MD5SUM4ffad7a5f78b64ba2cca2ed153edcfd7
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.026994
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3224
Total number of constraints10908
Number of constraints which are clauses10704
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints204
Minimum length of a constraint1
Maximum length of a constraint27
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 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 187
Number of bits of the biggest sum of numbers8
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-07T06:12:39+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-4078788-1465272758.opb"]
0.00/0.01	c use --random-gen="1913509492 3184948186 3305131844 2898175626 4222322212 1351923546 659843062 3363129117 1239629878 3416141229 1498643001 2216605824 3927916725 4258695239 1543776022 1784943068 82364226 4126203261 3981341365 2432498444 3295604524 4006128926 1091969601 1241049733 1235262637 3648741670 1306308067 3532677551 2062287172 3649067457 391711588 2123450910 3116827080 2542640124 3776217111 3607688515 174763924 4250147833 298584308 2938718783 2184173113 3634122153 2044644623 1221610288 830763640 4016766810 1481752920 648354666 2633176022 3273108886 4180839818 2181365965 3109278175 729942112 2060731648 297531785 710938004 2261250047 1011559761 1687571001 1494081703 1362070843 2310075256 1975818490 865866488 691803604 3694930209 1075629030 1571823948 1403434754 1087029775 3127865303 3711168152 1848260631 2276665041 2807588947 404475649 2076821935 3427196632 1209830692 2681407143 357522713 582398056 2367450728 2296916419 3499489424 3187124546 1616221173 3469113921 2836977444 2848591218 1340034839 2418099838 3615908008 970351258 2646201570 2487347536 2705947361 731362797 750249384 3294307578 3905230254 1319466157 2041839677 3263704737 1063634456 56038403 645072362 1693765115 1039403841 2068989569 2102369085 4045602234 72396918 3294901850 3488646709 568066013 4282432742 2257362419 1919509116 2988147845 640670769 4146734403 2803582484 2671528703 1569053852 2162393813 1714090516 3223229863 1881606707 1663408289 1561323520 2011689608 1648577034 1713922288 3433951315 1571170773 1788383676 2995745593 3362761688 3278694744 1328321087 1491376611 57795391 369838015 2155326232 2682191203 3694000561 4180235618 527814670 2062443386 3808631533 2957378225 2848836834 1923009572 1674275299 3986806067 2296400783 1441413770 3486642822 3969357409 3227378235 2559526000 2840261146 2180542462 1817755429 3218571634 373363914 3198790053 3647492006 1872170316 491367367 1154330536 134699357 3382134828 78335871 766777685 1161156058 2014189998 220265945 3897301487 1724107144 2351755059 2307185032 1497015876 2702182693 3155833083 154461619 534556716 2283897593 468453493 3390736780 1753259478 3614313451 684742828 111336229 1343335435 2623600173 1820019427 2097749053 1649659703 450740340 2288640598 3069935317 656866738 663033805 2090042445 3914644782 312034465 3855066315 1086680531 1564007520 2069656149 3391057979 166333143 3056148909 2029307346 962469261 2906749386 361442775 2788314286 371729733 2729451647 3840862460 3181436180 2903748438 1563504536 2469481855 3357083064 163144114 112311788 2649013489 1319093141 3390786086 1954243242 638290555 1941945409 3621828998 614820799 3021988941 1865912391 3340376428 253734901 2546298577 1389255789 2126968024 2610385167 1154921824 638646999 412286499 3753381453 2417154964 3308915785 3598634529 1270004112 164673621 255 362436" option to reproduce the execution
0.00/0.08	c #vars 3224
0.00/0.08	c #constraints 10908
0.09/0.14	c Solving starts ...
0.09/0.14	s UNSATISFIABLE
0.09/0.14	c total CPU time = 0.139s
0.09/0.14	c total wall clock time = 0.140s

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

pid=16363
running on 4 cores: 0,2,4,6

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.22 2.20 2.18 3/178 16366
/proc/meminfo: memFree=29186128/32872528 swapFree=17452/1581112
[pid=16366] ppid=16363 vsize=589244 CPUtime=0 cores=0,2,4,6
/proc/16366/stat : 16366 (toysat) R 16363 16366 13546 0 -1 4202496 2174 0 0 0 0 0 0 0 20 0 4 0 109207797 603385856 2534 33554432000 4194304 16246674 140733573700128 140733573699552 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16366/statm: 147823 2543 441 2943 0 144717 0
[pid=16366/tid=16367] ppid=16363 vsize=606652 CPUtime=0 cores=0,2,4,6
/proc/16366/task/16367/stat : 16367 (toysat) S 16363 16366 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109207797 621211648 2603 33554432000 4194304 16246674 140733573700128 140045215313136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16366/tid=16368] ppid=16363 vsize=610748 CPUtime=0 cores=0,2,4,6
/proc/16366/task/16368/stat : 16368 (toysat) S 16363 16366 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109207797 625405952 2620 33554432000 4194304 16246674 140733573700128 140045204823280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16366/tid=16369] ppid=16363 vsize=615868 CPUtime=0 cores=0,2,4,6
/proc/16366/task/16369/stat : 16369 (toysat) S 16363 16366 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109207797 630648832 2637 33554432000 4194304 16246674 140733573700128 140045126200496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.10016 s]
/proc/loadavg: 2.22 2.20 2.18 3/178 16366
/proc/meminfo: memFree=29186128/32872528 swapFree=17452/1581112
[pid=16366] ppid=16363 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/16366/stat : 16366 (toysat) R 16363 16366 13546 0 -1 4202496 24808 0 0 0 5 4 0 0 20 0 4 0 109207797 1250496512 25106 33554432000 4194304 16246674 140733573700128 140733573699440 13763798 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16366/statm: 305297 25113 837 2943 0 302191 0
[pid=16366/tid=16367] ppid=16363 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/16366/task/16367/stat : 16367 (toysat) S 16363 16366 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109207797 1250496512 25118 33554432000 4194304 16246674 140733573700128 140045215313136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16366/tid=16368] ppid=16363 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/16366/task/16368/stat : 16368 (toysat) S 16363 16366 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109207797 1250496512 25123 33554432000 4194304 16246674 140733573700128 140045204823280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16366/tid=16369] ppid=16363 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/16366/task/16369/stat : 16369 (toysat) S 16363 16366 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109207797 1250496512 25128 33554432000 4194304 16246674 140733573700128 140045126200496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

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

[startup+0.10016 s]
/proc/loadavg: 2.22 2.20 2.18 3/178 16366
/proc/meminfo: memFree=29186128/32872528 swapFree=17452/1581112
[pid=16366] ppid=16363 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/16366/stat : 16366 (toysat) R 16363 16366 13546 0 -1 4202496 24808 0 0 0 5 4 0 0 20 0 4 0 109207797 1250496512 25106 33554432000 4194304 16246674 140733573700128 140733573699440 13763798 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16366/statm: 305297 25113 837 2943 0 302191 0
[pid=16366/tid=16367] ppid=16363 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/16366/task/16367/stat : 16367 (toysat) S 16363 16366 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109207797 1250496512 25118 33554432000 4194304 16246674 140733573700128 140045215313136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16366/tid=16368] ppid=16363 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/16366/task/16368/stat : 16368 (toysat) S 16363 16366 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109207797 1250496512 25123 33554432000 4194304 16246674 140733573700128 140045204823280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16366/tid=16369] ppid=16363 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/16366/task/16369/stat : 16369 (toysat) S 16363 16366 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109207797 1250496512 25128 33554432000 4194304 16246674 140733573700128 140045126200496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

Child status: 0
Real time (s): 0.152147
CPU time (s): 0.140977
CPU user time (s): 0.087986
CPU system time (s): 0.052991
CPU usage (%): 92.6584
Max. virtual memory (cumulated for all children) (KiB): 1221188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.087986
system time used= 0.052991
maximum resident set size= 131328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32535
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= 2

??? 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 node139 at 2016-06-07 06:12:38
IDJOB=4078788
IDBENCH=72806
IDSOLVER=2542
FILE ID=node139/4078788-1465272758
RUNJOBID= node139-1465254943-13562
PBS_JOBID= 19843273
Free space on /tmp= 71712 MiB

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

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

MD5SUM BENCH= 4ffad7a5f78b64ba2cca2ed153edcfd7
RANDOM SEED=45166875

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.868
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.868
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:        29186400 kB
Buffers:           59184 kB
Cached:            99780 kB
SwapCached:          948 kB
Active:          1285940 kB
Inactive:          83040 kB
Active(anon):    1209424 kB
Inactive(anon):     3220 kB
Active(file):      76516 kB
Inactive(file):    79820 kB
Unevictable:     1581112 kB
Mlocked:           17452 kB
SwapTotal:      67108856 kB
SwapFree:       67099808 kB
Dirty:             17020 kB
Writeback:             0 kB
AnonPages:       2791036 kB
Mapped:             9920 kB
Shmem:                 0 kB
Slab:             598696 kB
SReclaimable:      41856 kB
SUnreclaim:       556840 kB
KernelStack:        1504 kB
PageTables:         9588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2932188 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1583104 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= 71696 MiB
End job on node139 at 2016-06-07 06:12:39