Trace number 4090170

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.267958 0.268692

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
Instances3col_OPB/normalized-3col-left3reg-l010-r010-n1.opb
MD5SUM89ab980203cb1eeb7efe06d25e1f2d3e
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.019996
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables753
Total number of constraints1604
Number of constraints which are clauses1353
Number of constraints which are cardinality constraints (but not clauses)251
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4
Number of bits of the biggest sum of numbers3
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-16T03:00:06+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-4090170-1466038806.opb"]
0.00/0.01	c use --random-gen="3876950341 2016465605 910284790 1168104876 294081145 4233697235 352365387 986047155 499515047 1840519281 2865898597 953483442 3016236570 2160366737 3848596939 410347630 3516150431 1746602864 198170296 536365408 2428912261 1899381619 397913722 2522061254 1330517019 2624847244 1420793061 2415684648 149589908 2251260592 1567204330 2095607900 2548710974 1534169427 980867215 1740243739 2836306980 1677672497 1789822451 3078884013 128459331 2723905020 374556335 2459419759 2887665805 2564813180 3193025151 626810505 2966520241 762160143 2987632086 1510914770 686838776 3813812699 1987956236 1064340422 1063812088 1611265870 1320117007 286646241 248419171 167370319 4188582 310214155 3762678277 2855753817 1067760100 2223699848 4194805404 2826997435 1544785236 673400998 943979940 2567538501 2123757730 1494741533 1402535974 2128786155 672368895 864588859 4076502303 813738200 929578159 235200594 4279604441 493290277 965945490 1545208502 3235791078 1924818524 1673801883 2571287363 1800880950 1437217670 71182056 3128851031 2277704941 494053637 2699124170 2424194750 2167669035 4232869622 1180877622 1492563465 2120685583 2072670127 4167584779 2342304506 3016497778 1647943130 557777060 510248646 2783985756 1798985750 1944663281 3428999500 2991860515 1483638534 2602784130 3853560264 1946360743 3804861591 3481044311 77567646 3069828638 3991210122 3594051521 820119352 2294135654 122866152 914915824 1096526464 542128113 513760970 926435582 3209258361 4187552697 1284863920 1504891133 2143583045 2774472359 875079910 3445013081 475846599 2525088852 1270815806 3773275517 4073107079 2745407817 3872591569 581490479 998004033 543094547 3374490171 1474692018 1562296136 4244739559 3518937239 1169351316 2726125836 3574900855 1567155661 4063545627 2030063138 3461390008 327141383 4086505926 70936657 1008202124 3104449760 1774235925 4106687141 607836870 2418451227 408191963 3647346584 288318093 2579142964 1955844151 1674605560 217601175 4127001415 3228247765 1160881345 273703399 25629466 3720775817 3257687939 3659684499 2455496801 2622115493 2202560806 2992035065 2205644655 1887845793 2369735857 3988803536 4135561171 3783594588 1397864705 2711465644 1077510855 3969713934 4268489074 627745320 555634075 915408943 260867198 1408399649 986687301 3338207990 915015547 2513962615 2766736186 1099943219 2457325487 1089081268 2830837362 756927164 2585849034 1903613950 879039800 3057961848 1470978368 1345175776 2680987022 2736302937 700948740 447539755 2760530088 1439010358 2594196295 401017162 979718812 2406258396 2856597851 1303204020 2825093196 685059187 3703923012 3675774702 518120257 1764352390 1222652762 4233530959 306377836 1361567831 1348651345 1355089760 1686782224 1688322538 2837493865 1587030046 1648871469 1370693671 2813962264 255 362436" option to reproduce the execution
0.00/0.02	c #vars 753
0.00/0.02	c #constraints 1604
0.00/0.05	c Solving starts ...
0.00/0.05	c ============================[ Search Statistics ]============================
0.00/0.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.05	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.05	c =============================================================================
0.00/0.05	c  0.0s |       0 |        0 |        0 |      869      0 |        0 |        0
0.00/0.08	c  0.0s |       1 |     2139 |      100 |      869      0 |        0 |        0
0.09/0.14	c  0.1s |       2 |     4847 |      250 |      956      0 |        0 |        0
0.19/0.21	c  0.2s |       3 |     6595 |      475 |     1052      0 |        2 |       64
0.19/0.25	c  0.2s |       3 |     7104 |      585 |     1158      0 |      274 |      542
0.19/0.25	c #cpu_time = 0.205s
0.19/0.25	c #wall_clock_time = 0.205s
0.19/0.25	c #decision = 7104
0.19/0.25	c #random_decision = 23
0.19/0.25	c #conflict = 585
0.19/0.25	c #restart = 3
0.19/0.25	s UNSATISFIABLE
0.19/0.25	c total CPU time = 0.253s
0.19/0.25	c total wall clock time = 0.253s

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

pid=9507
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.06 2.08 2.08 3/180 9510
/proc/meminfo: memFree=30422752/32872528 swapFree=496356/529060
[pid=9510] ppid=9507 vsize=688572 CPUtime=0 cores=1,3,5,7
/proc/9510/stat : 9510 (toysat) R 9507 9510 5955 0 -1 4202496 2563 0 0 0 0 0 0 0 20 0 4 0 5926039 705097728 2923 33554432000 4194304 16246674 140736745806480 140736745805904 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9510/statm: 172911 2931 441 2943 0 169805 0
[pid=9510/tid=9511] ppid=9507 vsize=705980 CPUtime=0 cores=1,3,5,7
/proc/9510/task/9511/stat : 9511 (toysat) S 9507 9510 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5926039 722923520 2989 33554432000 4194304 16246674 140736745806480 140465507642608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9510/tid=9512] ppid=9507 vsize=710076 CPUtime=0 cores=1,3,5,7
/proc/9510/task/9512/stat : 9512 (toysat) S 9507 9510 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5926039 727117824 3006 33554432000 4194304 16246674 140736745806480 140465428999408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9510/tid=9513] ppid=9507 vsize=713148 CPUtime=0 cores=1,3,5,7
/proc/9510/task/9513/stat : 9513 (toysat) S 9507 9510 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5926039 730263552 3019 33554432000 4194304 16246674 140736745806480 140465418525872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 2.06 2.08 2.08 3/180 9510
/proc/meminfo: memFree=30422752/32872528 swapFree=496356/529060
[pid=9510] ppid=9507 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/9510/stat : 9510 (toysat) R 9507 9510 5955 0 -1 4202496 23163 0 0 0 6 3 0 0 20 0 4 0 5926039 1247350784 23512 33554432000 4194304 16246674 140736745806480 140736745805904 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9510/statm: 304529 23521 710 2943 0 301423 0
[pid=9510/tid=9511] ppid=9507 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9510/task/9511/stat : 9511 (toysat) S 9507 9510 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5926039 1247350784 23527 33554432000 4194304 16246674 140736745806480 140465507642608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9510/tid=9512] ppid=9507 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9510/task/9512/stat : 9512 (toysat) S 9507 9510 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5926039 1247350784 23532 33554432000 4194304 16246674 140736745806480 140465428999408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9510/tid=9513] ppid=9507 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9510/task/9513/stat : 9513 (toysat) S 9507 9510 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5926039 1247350784 23538 33554432000 4194304 16246674 140736745806480 140465418525872 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) 1218116

[startup+0.20056 s]
/proc/loadavg: 2.06 2.08 2.08 3/180 9510
/proc/meminfo: memFree=30422752/32872528 swapFree=496356/529060
[pid=9510] ppid=9507 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/9510/stat : 9510 (toysat) R 9507 9510 5955 0 -1 4202496 42373 0 0 0 13 6 0 0 20 0 4 0 5926039 1247350784 42722 33554432000 4194304 16246674 140736745806480 140736745805904 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9510/statm: 304529 42730 718 2943 0 301423 0
[pid=9510/tid=9511] ppid=9507 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9510/task/9511/stat : 9511 (toysat) S 9507 9510 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5926039 1247350784 42735 33554432000 4194304 16246674 140736745806480 140465507642608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9510/tid=9512] ppid=9507 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9510/task/9512/stat : 9512 (toysat) S 9507 9510 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5926039 1247350784 42740 33554432000 4194304 16246674 140736745806480 140465428999408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9510/tid=9513] ppid=9507 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9510/task/9513/stat : 9513 (toysat) S 9507 9510 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5926039 1247350784 42746 33554432000 4194304 16246674 140736745806480 140465418525872 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) 1218116

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

Child status: 0
Real time (s): 0.268692
CPU time (s): 0.267958
CPU user time (s): 0.172973
CPU system time (s): 0.094985
CPU usage (%): 99.7269
Max. virtual memory (cumulated for all children) (KiB): 1218116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.172973
system time used= 0.094985
maximum resident set size= 213272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52978
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= 4

??? 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 node141 at 2016-06-16 03:00:06
IDJOB=4090170
IDBENCH=107511
IDSOLVER=2542
FILE ID=node141/4090170-1466038806
RUNJOBID= node141-1466008015-5972
PBS_JOBID= 19902806
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/Instances3col_OPB/normalized-3col-left3reg-l010-r010-n1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090170-1466038806/watcher-4090170-1466038806 -o /tmp/evaluation-result-4090170-1466038806/solver-4090170-1466038806 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5972 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4090170-1466038806.opb

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

MD5SUM BENCH= 89ab980203cb1eeb7efe06d25e1f2d3e
RANDOM SEED=473341195

node141.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.547
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.09
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.547
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.547
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.54
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.547
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.547
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.56
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.547
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.547
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.547
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30423652 kB
Buffers:           51484 kB
Cached:            81212 kB
SwapCached:        13088 kB
Active:          1138140 kB
Inactive:          80132 kB
Active(anon):    1075752 kB
Inactive(anon):    12044 kB
Active(file):      62388 kB
Inactive(file):    68088 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67088076 kB
Dirty:             16364 kB
Writeback:             0 kB
AnonPages:       1676392 kB
Mapped:            10400 kB
Shmem:                 0 kB
Slab:             567652 kB
SReclaimable:      11440 kB
SUnreclaim:       556212 kB
KernelStack:        1528 kB
PageTables:         7168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1747836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1173504 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= 71716 MiB
End job on node141 at 2016-06-16 03:00:06