Trace number 4078726

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.198968 0.200153

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-37s.smv.opb
MD5SUMc32b20024d9dbe3bb08a79a9b8e2d75c
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
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.028995
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables1190
Total number of constraints3183
Number of constraints which are clauses3055
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints128
Minimum length of a constraint1
Maximum length of a constraint11
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 43
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 136
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-06T16:01:10+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-4078726-1465221670.opb"]
0.00/0.01	c use --random-gen="2249891020 3715201463 1529518264 1044616034 645132825 878678024 493145665 389314324 2702171510 3294108670 1015775223 1117535516 3026938547 1525762385 1278369101 1966972777 60835547 1721578697 819219106 3250372356 160491704 93363842 3077436440 4246050444 355782130 601934688 492970778 3474878398 2705148919 4024725637 4061999417 2535768867 2737193346 3740613840 2203036681 4105503442 2950984124 2205623788 3594683693 1192910347 3746381933 2482758175 2380733635 2748849752 304110461 799688759 2765909348 2060359917 1212209091 2698530496 1763540285 42268182 1235087985 2632929710 768917544 3802366822 2924147251 3363736810 2152727694 3130406813 3839913336 1739606727 2529069663 1734248089 2981321855 576911193 219045532 109558638 2540169604 1125661001 384794903 2646446188 1257416961 3132704679 32707518 2305917080 3849629159 2338345019 1999295545 2217924428 3711826301 1805618938 173816248 138704207 3380310011 4091134243 3543710555 342595348 197248266 2781299058 209125747 361044157 945779941 234135091 3265778338 569339402 4211766876 2643168371 4247628323 3359916426 3792584482 1611600779 3082318186 1472990533 2700314147 1907907513 3147169071 493188439 1579616324 4145782290 821070861 1439160908 2722260633 1651692152 1739034940 2979447324 3480988725 3669288820 1816771455 3416876913 1800132437 1250585157 2361700037 3748316851 1791773758 4034211179 1152916107 3023553228 3635890592 3968009150 2277245281 457742026 550481520 241184146 1168755496 1662477947 3740277174 2382165179 1018836905 1875743747 1680980376 87776425 1932713460 1029705150 2942415428 1417127862 1971580168 861620437 835447556 4014304493 265895342 2345981189 3730222488 2514929205 2677542702 2731228372 1872297711 2305758082 2608339352 1173019860 1497906542 1412850354 579077414 2721191545 385790354 1364802285 2031007958 2151258689 1535089627 2849679463 2708479246 981407453 954126296 3721699278 3655481515 2285006094 1291476595 3437224723 4039999502 4150997810 2811120694 3101635763 2196277996 3579960893 3030764942 753864836 275403484 2159439940 4093368846 1341628665 261776336 4283049257 2059111590 3004257439 3018879152 592597047 2907350643 173194936 1249542180 2366495226 971347555 2445677582 636110271 4277940009 2696976062 2793041552 3332415306 2661601885 3124569558 1936346179 1290383513 3551496720 419008929 2493484011 3599955960 3617888187 865964200 1102096728 306365972 3786795929 4245077972 3223755804 3973808621 2486142740 264459706 3394051699 3513463749 3720468455 2358944558 882701587 959177651 4252969316 3492099423 2832470609 273666479 2859363155 1642291749 1510802296 1913902326 269891025 2468786030 3103726522 53110228 1114611647 3929732390 1882227858 4196059045 4184338741 3991614890 2111959428 330427276 3255420945 4216481827 914239736 1259228114 4095295426 255 362436" option to reproduce the execution
0.00/0.03	c #vars 1190
0.00/0.03	c #constraints 3183
0.00/0.08	c Solving starts ...
0.00/0.08	c ============================[ Search Statistics ]============================
0.00/0.08	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.08	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.08	c =============================================================================
0.00/0.08	c  0.0s |       0 |        0 |        0 |     1454      0 |       68 |        0
0.09/0.15	c  0.1s |       1 |      257 |      100 |     1454      0 |      123 |      442
0.09/0.18	c  0.1s |       1 |      371 |      178 |     1600      0 |      236 |      741
0.09/0.18	c #cpu_time = 0.104s
0.09/0.18	c #wall_clock_time = 0.104s
0.09/0.18	c #decision = 371
0.09/0.18	c #random_decision = 1
0.09/0.18	c #conflict = 178
0.09/0.18	c #restart = 1
0.09/0.18	s UNSATISFIABLE
0.09/0.18	c total CPU time = 0.187s
0.09/0.18	c total wall clock time = 0.188s

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

pid=14172
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.20 2.27 2.26 3/180 14175
/proc/meminfo: memFree=29407516/32872528 swapFree=16636/1570076
[pid=14175] ppid=14172 vsize=754108 CPUtime=0 cores=0,2,4,6
/proc/14175/stat : 14175 (toysat) R 14172 14175 13075 0 -1 4202496 2817 0 0 0 0 0 0 0 20 0 4 0 104099332 772206592 3689 33554432000 4194304 16246674 140735851770080 140735851769504 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14175/statm: 189039 3696 441 2943 0 185933 0
[pid=14175/tid=14176] ppid=14172 vsize=774588 CPUtime=0 cores=0,2,4,6
/proc/14175/task/14176/stat : 14176 (toysat) S 14172 14175 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104099332 793178112 3769 33554432000 4194304 16246674 140735851770080 139788862598384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14175/tid=14177] ppid=14172 vsize=779708 CPUtime=0 cores=0,2,4,6
/proc/14175/task/14177/stat : 14177 (toysat) S 14172 14175 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104099332 798420992 3788 33554432000 4194304 16246674 140735851770080 139788852108528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14175/tid=14178] ppid=14172 vsize=783804 CPUtime=0 cores=0,2,4,6
/proc/14175/task/14178/stat : 14178 (toysat) S 14172 14175 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104099332 802615296 3804 33554432000 4194304 16246674 140735851770080 139788770340016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.20 2.27 2.26 3/180 14175
/proc/meminfo: memFree=29407516/32872528 swapFree=16636/1570076
[pid=14175] ppid=14172 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/14175/stat : 14175 (toysat) R 14172 14175 13075 0 -1 4202496 25322 0 0 0 6 3 0 0 20 0 4 0 104099332 1247350784 26182 33554432000 4194304 16246674 140735851770080 140735851769504 5589685 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14175/statm: 304529 26190 730 2943 0 301423 0
[pid=14175/tid=14176] ppid=14172 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14175/task/14176/stat : 14176 (toysat) S 14172 14175 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104099332 1247350784 26196 33554432000 4194304 16246674 140735851770080 139788862598384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14175/tid=14177] ppid=14172 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14175/task/14177/stat : 14177 (toysat) S 14172 14175 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104099332 1247350784 26201 33554432000 4194304 16246674 140735851770080 139788852108528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14175/tid=14178] ppid=14172 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14175/task/14178/stat : 14178 (toysat) S 14172 14175 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104099332 1247350784 26208 33554432000 4194304 16246674 140735851770080 139788770340016 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) 1218116

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

[startup+0.10017 s]
/proc/loadavg: 2.20 2.27 2.26 3/180 14175
/proc/meminfo: memFree=29407516/32872528 swapFree=16636/1570076
[pid=14175] ppid=14172 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/14175/stat : 14175 (toysat) R 14172 14175 13075 0 -1 4202496 25322 0 0 0 6 3 0 0 20 0 4 0 104099332 1247350784 26182 33554432000 4194304 16246674 140735851770080 140735851769504 5589685 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14175/statm: 304529 26190 730 2943 0 301423 0
[pid=14175/tid=14176] ppid=14172 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14175/task/14176/stat : 14176 (toysat) S 14172 14175 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104099332 1247350784 26196 33554432000 4194304 16246674 140735851770080 139788862598384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14175/tid=14177] ppid=14172 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14175/task/14177/stat : 14177 (toysat) S 14172 14175 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104099332 1247350784 26201 33554432000 4194304 16246674 140735851770080 139788852108528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14175/tid=14178] ppid=14172 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14175/task/14178/stat : 14178 (toysat) S 14172 14175 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104099332 1247350784 26208 33554432000 4194304 16246674 140735851770080 139788770340016 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) 1218116

Child status: 0
Real time (s): 0.200153
CPU time (s): 0.198968
CPU user time (s): 0.138978
CPU system time (s): 0.05999
CPU usage (%): 99.408
Max. virtual memory (cumulated for all children) (KiB): 1218116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.138978
system time used= 0.05999
maximum resident set size= 164592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40297
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= 23
involuntary context switches= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.000999 second user time and 0.008998 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-06 16:01:10
IDJOB=4078726
IDBENCH=1458
IDSOLVER=2542
FILE ID=node140/4078726-1465221670
RUNJOBID= node140-1465216678-13091
PBS_JOBID= 19843199
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-37s.smv.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078726-1465221670/watcher-4078726-1465221670 -o /tmp/evaluation-result-4078726-1465221670/solver-4078726-1465221670 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13091 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078726-1465221670.opb

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

MD5SUM BENCH= c32b20024d9dbe3bb08a79a9b8e2d75c
RANDOM SEED=718788828

node140.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.768
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.53
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.768
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.768
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.768
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.768
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.768
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.768
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.768
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	: 5334.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29407524 kB
Buffers:           10032 kB
Cached:            72820 kB
SwapCached:         1736 kB
Active:          1164724 kB
Inactive:          26104 kB
Active(anon):    1107704 kB
Inactive(anon):     2644 kB
Active(file):      57020 kB
Inactive(file):    23460 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67097924 kB
Dirty:             16376 kB
Writeback:             0 kB
AnonPages:       2677748 kB
Mapped:            10436 kB
Shmem:                 0 kB
Slab:             567300 kB
SReclaimable:      10920 kB
SUnreclaim:       556380 kB
KernelStack:        1520 kB
PageTables:         9420 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2822252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2351104 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= 71708 MiB
End job on node140 at 2016-06-06 16:01:10