Trace number 4108195

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.283955 0.286846

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6027_4-unsat.opb
MD5SUM199890e645cc457b6a007529ee1e952d
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.045992
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7320
Total number of constraints23840
Number of constraints which are clauses23604
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints236
Minimum length of a constraint1
Maximum length of a constraint48
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 44
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 309
Number of bits of the biggest sum of numbers9
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-19T01:00:02+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-4108195-1466290802.opb"]
0.00/0.01	c use --random-gen="2651927527 285002478 4183117185 123023183 3466508409 3424913596 2733769306 1743581369 947574396 1140694265 1912169676 831919774 3888244263 4166614631 3509817139 2414253799 13806375 3831260444 898664825 3570765153 3344412424 3167587914 3497030076 3212868856 2611516149 320243032 398286839 1779153415 3230882916 2000579245 2036098154 3867756654 277965852 838093037 506928699 2770307872 2950087144 3934546113 724058069 13483165 2241458072 1290017722 1948614001 3806522444 1656622988 3472078166 1720647676 47661607 2518057861 1225169734 2736782838 956967180 44297664 675897471 1364426412 2509465223 1833657775 1629135948 1229680128 2404689142 4126226325 4053594972 521129988 844399867 1917496141 1292900444 1679278702 2169205809 1045840867 717464735 675341063 4120442055 3163678772 1035546971 690152316 1252653466 144878981 1008450615 2989125447 1553883330 2567199434 3451082265 379875447 3823838105 295709349 2480923114 649182141 21215583 3117956037 2716821671 3545840745 3420931260 2589953512 68489176 1331683598 2420730539 2225632580 3120522126 2498370111 2309992031 3569165216 2047933365 2252431847 2471982666 3273440765 33458659 753344334 1157643495 44283361 2294066370 2673898916 456238415 565975120 3303949927 3146383408 3396761331 2712005123 1644297597 4019856276 3238429951 4000010571 2922240737 1782180916 2927257151 4213387512 654966640 2408231668 4100367185 483696785 815879971 3380372569 3028671659 1888144560 637201928 2569766761 54489829 2342894988 3371747459 1549483130 3018240346 923995661 160219207 407639646 1677806212 1318962032 3971324356 1469187832 169928545 1533484024 3512760548 338874133 3851487642 3443372117 797638293 2527248454 3545692888 1288788352 3641360548 2699620451 103383434 1517994672 2454130087 4088118352 3199769521 7767168 2595659666 990482193 2743297163 2955992619 525967351 1105832017 2707997432 328446743 2953832066 806311397 2469976726 1663408351 4021144060 2300349520 3246586669 2373721982 1038827400 1972139424 1103061081 2196580398 1028899468 538601184 708336264 1989551674 3373100526 1156369229 494107083 3783275873 4067047614 838974581 3538076522 2330931921 189365921 3629397412 3761474209 1704819759 306047732 3125236667 3437868184 2272869527 403059258 3324220621 659100837 2269284986 1186638396 490981275 1792883387 1588769368 2604262376 2760152445 3081607713 442588667 2826746699 2659683120 1099480788 98675329 2018776511 432808444 2717245377 1803670739 680061457 2598666985 3480995299 2466330636 1470322291 920448366 2012708725 775060483 3376539717 3970812827 324001238 1673294762 579539355 4147015427 1569490617 3777112134 3294109047 3160739428 227441934 3448406165 679673906 141908224 379702174 2516832733 3272118568 4145580579 2969139648 1039340796 2539067463 4047484215 3683617724 255 362436" option to reproduce the execution
0.09/0.17	c #vars 7320
0.09/0.17	c #constraints 23840
0.19/0.27	c Solving starts ...
0.19/0.27	s UNSATISFIABLE
0.19/0.27	c total CPU time = 0.271s
0.19/0.27	c total wall clock time = 0.271s

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

pid=30536
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.12 2.19 2.22 3/180 30539
/proc/meminfo: memFree=29125628/32872528 swapFree=1402776/1580604
[pid=30539] ppid=30536 vsize=634300 CPUtime=0 cores=1,3,5,7
/proc/30539/stat : 30539 (toysat) R 30536 30539 28125 0 -1 4202496 2349 0 0 0 0 0 0 0 20 0 4 0 31125971 649523200 3221 33554432000 4194304 16246674 140734864932000 140734864931424 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30539/statm: 159087 3230 441 2943 0 155981 0
[pid=30539/tid=30540] ppid=30536 vsize=651708 CPUtime=0 cores=1,3,5,7
/proc/30539/task/30540/stat : 30540 (toysat) S 30536 30539 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31125971 667348992 3290 33554432000 4194304 16246674 140734864932000 139635051179248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30539/tid=30541] ppid=30536 vsize=656828 CPUtime=0 cores=1,3,5,7
/proc/30539/task/30541/stat : 30541 (toysat) S 30536 30539 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31125971 672591872 3307 33554432000 4194304 16246674 140734864932000 139635040689392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30539/tid=30542] ppid=30536 vsize=660924 CPUtime=0 cores=1,3,5,7
/proc/30539/task/30542/stat : 30542 (toysat) S 30536 30539 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31125971 676786176 3324 33554432000 4194304 16246674 140734864932000 139634956823728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100228 s]
/proc/loadavg: 2.12 2.19 2.22 3/180 30539
/proc/meminfo: memFree=29125628/32872528 swapFree=1402776/1580604
[pid=30539] ppid=30536 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/30539/stat : 30539 (toysat) R 30536 30539 28125 0 -1 4202496 27942 0 0 0 5 4 0 0 20 0 4 0 31125971 1249447936 28751 33554432000 4194304 16246674 140734864932000 140734864931312 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30539/statm: 305041 28751 801 2943 0 301935 0
[pid=30539/tid=30540] ppid=30536 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/30539/task/30540/stat : 30540 (toysat) S 30536 30539 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31125971 1249447936 28751 33554432000 4194304 16246674 140734864932000 139635051179248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30539/tid=30541] ppid=30536 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/30539/task/30541/stat : 30541 (toysat) S 30536 30539 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31125971 1249447936 28751 33554432000 4194304 16246674 140734864932000 139635040689392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30539/tid=30542] ppid=30536 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/30539/task/30542/stat : 30542 (toysat) S 30536 30539 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31125971 1249447936 28751 33554432000 4194304 16246674 140734864932000 139634956823728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200539 s]
/proc/loadavg: 2.12 2.19 2.22 3/180 30539
/proc/meminfo: memFree=29125628/32872528 swapFree=1402776/1580604
[pid=30539] ppid=30536 vsize=1311300 CPUtime=0.19 cores=1,3,5,7
/proc/30539/stat : 30539 (toysat) R 30536 30539 28125 0 -1 4202496 50600 0 0 0 11 8 0 0 20 0 4 0 31125971 1342771200 51409 33554432000 4194304 16246674 140734864932000 140734864931312 6727176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30539/statm: 327825 51409 831 2943 0 324719 0
[pid=30539/tid=30540] ppid=30536 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/30539/task/30540/stat : 30540 (toysat) S 30536 30539 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31125971 1342771200 51409 33554432000 4194304 16246674 140734864932000 139635051179248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30539/tid=30541] ppid=30536 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/30539/task/30541/stat : 30541 (toysat) S 30536 30539 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31125971 1342771200 51409 33554432000 4194304 16246674 140734864932000 139635040689392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30539/tid=30542] ppid=30536 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/30539/task/30542/stat : 30542 (toysat) S 30536 30539 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31125971 1342771200 51409 33554432000 4194304 16246674 140734864932000 139634956823728 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 30539 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0
Real time (s): 0.286846
CPU time (s): 0.283955
CPU user time (s): 0.19097
CPU system time (s): 0.092985
CPU usage (%): 98.9921
Max. virtual memory (cumulated for all children) (KiB): 1311300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.19097
system time used= 0.092985
maximum resident set size= 205704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50618
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= 21
involuntary context switches= 1

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

The end

Launcher Data 

Begin job on node139 at 2016-06-19 01:00:02
IDJOB=4108195
IDBENCH=76143
IDSOLVER=2542
FILE ID=node139/4108195-1466290802
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-j6027_4-unsat.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4108195-1466290802/watcher-4108195-1466290802 -o /tmp/evaluation-result-4108195-1466290802/solver-4108195-1466290802 -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-4108195-1466290802.opb

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

MD5SUM BENCH= 199890e645cc457b6a007529ee1e952d
RANDOM SEED=187011608

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:        29126528 kB
Buffers:          146756 kB
Cached:           180360 kB
SwapCached:         1832 kB
Active:          1190512 kB
Inactive:         227880 kB
Active(anon):    1090464 kB
Inactive(anon):     2540 kB
Active(file):     100048 kB
Inactive(file):   225340 kB
Unevictable:     1580604 kB
Mlocked:         1402776 kB
SwapTotal:      67108856 kB
SwapFree:       67099484 kB
Dirty:             17332 kB
Writeback:             0 kB
AnonPages:       2668836 kB
Mapped:            10844 kB
Shmem:                 0 kB
Slab:             611296 kB
SReclaimable:      54308 kB
SUnreclaim:       556988 kB
KernelStack:        1456 kB
PageTables:         9384 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:    589824 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 01:00:03