Trace number 4097807

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.104983 0.10755

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/
SyncCodes/d_n_k/normalized-3_4_13.opb
MD5SUM6d7c2bb1d3c72af7a06577847753f1d7
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.007997
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables272
Total number of constraints1221
Number of constraints which are clauses1216
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint16
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 13
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 29
Number of bits of the biggest sum of numbers5
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-17T01:08:34+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-4097807-1466118514.opb"]
0.00/0.01	c use --random-gen="1267217720 1746138215 2443642685 3289810482 3444183844 3142787972 1851293317 492701938 4190812359 2259320978 1928982166 270738443 797837720 4087593246 35554783 1352132940 2041842826 3433452579 1820897507 2106159359 4212836336 38616106 71817404 518555747 419221678 442080466 175458359 1213736057 1855290863 2947472044 3242344750 2425212923 1621569421 199686065 1804349103 147978824 2400550998 1161560888 655788368 1567684813 3419619789 2824993185 1912071219 527958092 3617258430 3204758769 2536042798 30810397 3496850000 3725967248 144962176 3138633586 924587622 2537316727 3470195212 2676354648 2290540727 865176675 438472164 3653972263 769139400 43219344 1373084225 3831987116 4244710490 2386812705 863002837 2606063269 2012632111 2774781190 2411814035 3033499413 1451451663 712782274 340100520 3935598404 3698957862 3370470499 852649091 3874550848 778801871 651177861 3095364924 4099381775 1989558253 4035464516 1672831526 518163788 2512357370 1163526684 3508266004 376756864 607886246 1680277945 2414039903 1061315153 371508222 1208923227 3918071654 3768679948 1088418592 3479003094 1873940252 275702342 534130225 4262047975 597267530 4181725282 4266326969 461638582 2785545094 3599883709 1912972634 2545582841 2274748209 2069086185 3364214311 3289158596 1083231837 3238705311 2681161848 390618066 1981970927 967750560 4159919524 1058397083 4271361590 2416175843 3344858333 3932885563 1848411097 2845531042 501839421 2672078583 248776034 1941590499 3313612683 2796271132 2337687571 1421157642 1101117264 916770679 1290485813 639690397 2586255302 137945699 3882048110 3445356658 1060740451 417905234 61198255 3349502367 3834820445 981306205 820881626 747712730 2737288385 1372811027 2854006992 3321442192 2078093894 3220095258 534952316 735880295 569747627 1620830412 3976744504 2725614456 2559673795 4065780437 399319723 343080042 1384499477 3845259688 1516131480 2855104654 3022330352 1098052544 831829483 2514410204 2968953337 3886620168 2163370029 2247049666 1419867023 2893367059 1757680348 892668296 1783487221 883533153 2762748750 1415516288 1686329935 2195446928 3598317357 3628700763 2050065419 3508119616 1182396667 3482045765 2882092798 3846511451 3954338046 1385638994 2191274629 745011266 3469358646 335424265 14281956 4081207513 2474691755 600090478 2308740043 2874784110 721035579 1162992864 4287024270 3224315423 2756368902 1891525978 2133079234 1754668427 2339094591 520958690 2791900985 2369726379 1830203398 1234119826 562403536 2766876441 3625210449 4108277533 1689445608 2903530479 3624297064 2399663981 1381233172 4019054958 3241806976 1127804687 1388479899 1109705360 4104668537 1058582940 4223211139 3536625011 1515708868 3277448383 628054961 2775533687 3308189350 4176121113 956771213 1080886809 1883489590 3886160133 255 362436" option to reproduce the execution
0.00/0.02	c #vars 272
0.00/0.02	c #constraints 1221
0.00/0.04	c Solving starts ...
0.00/0.04	c ============================[ Search Statistics ]============================
0.00/0.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.04	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.04	c =============================================================================
0.00/0.04	c  0.0s |       0 |        0 |        0 |      496      0 |        5 |        0
0.00/0.05	c  0.0s |       1 |      141 |      100 |      496      0 |        5 |      124
0.00/0.08	c  0.0s |       2 |      340 |      250 |      546      0 |        9 |      185
0.00/0.10	c  0.1s |       2 |      408 |      311 |      601      0 |       99 |      416
0.00/0.10	c #cpu_time = 0.058s
0.00/0.10	c #wall_clock_time = 0.059s
0.00/0.10	c #decision = 408
0.00/0.10	c #random_decision = 4
0.00/0.10	c #conflict = 311
0.00/0.10	c #restart = 2
0.00/0.10	s UNSATISFIABLE
0.09/0.10	c total CPU time = 0.098s
0.09/0.10	c total wall clock time = 0.098s

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

pid=3534
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.23 2.29 2.27 4/179 3537
/proc/meminfo: memFree=29082060/32872528 swapFree=1541688/1694988
[pid=3537] ppid=3534 vsize=730556 CPUtime=0 cores=1,3,5,7
/proc/3537/stat : 3537 (toysat) R 3534 3537 31715 0 -1 4202496 2728 0 0 0 0 0 0 0 20 0 4 0 13897983 748089344 3088 33554432000 4194304 16246674 140736030187456 140736030186880 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3537/statm: 183407 3097 441 2943 0 180301 0
[pid=3537/tid=3538] ppid=3534 vsize=765372 CPUtime=0 cores=1,3,5,7
/proc/3537/task/3538/stat : 3538 (toysat) S 3534 3537 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13897983 783740928 3224 33554432000 4194304 16246674 140736030187456 139915433061616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3537/tid=3539] ppid=3534 vsize=770492 CPUtime=0 cores=1,3,5,7
/proc/3537/task/3539/stat : 3539 (toysat) S 3534 3537 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13897983 788983808 3242 33554432000 4194304 16246674 140736030187456 139915422571760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3537/tid=3540] ppid=3534 vsize=774588 CPUtime=0 cores=1,3,5,7
/proc/3537/task/3540/stat : 3540 (toysat) S 3534 3537 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13897983 793178112 3259 33554432000 4194304 16246674 140736030187456 139915337657520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 2.23 2.29 2.27 4/179 3537
/proc/meminfo: memFree=29082060/32872528 swapFree=1541688/1694988
[pid=3537] ppid=3534 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/3537/stat : 3537 (toysat) R 3534 3537 31715 0 -1 4202496 24663 0 0 0 6 3 0 0 20 0 4 0 13897983 1247350784 25012 33554432000 4194304 16246674 140736030187456 140736030186880 14999975 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3537/statm: 304529 25019 722 2943 0 301423 0
[pid=3537/tid=3538] ppid=3534 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3537/task/3538/stat : 3538 (toysat) S 3534 3537 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13897983 1247350784 25024 33554432000 4194304 16246674 140736030187456 139915433061616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3537/tid=3539] ppid=3534 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3537/task/3539/stat : 3539 (toysat) S 3534 3537 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13897983 1247350784 25031 33554432000 4194304 16246674 140736030187456 139915422571760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3537/tid=3540] ppid=3534 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3537/task/3540/stat : 3540 (toysat) S 3534 3537 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13897983 1247350784 25037 33554432000 4194304 16246674 140736030187456 139915337657520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 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 3537 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+0.100174 s]
/proc/loadavg: 2.23 2.29 2.27 4/179 3537
/proc/meminfo: memFree=29082060/32872528 swapFree=1541688/1694988
[pid=3537] ppid=3534 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/3537/stat : 3537 (toysat) R 3534 3537 31715 0 -1 4202496 24663 0 0 0 6 3 0 0 20 0 4 0 13897983 1247350784 25012 33554432000 4194304 16246674 140736030187456 140736030186880 14999975 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3537/statm: 304529 25019 722 2943 0 301423 0
[pid=3537/tid=3538] ppid=3534 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3537/task/3538/stat : 3538 (toysat) S 3534 3537 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13897983 1247350784 25024 33554432000 4194304 16246674 140736030187456 139915433061616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3537/tid=3539] ppid=3534 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3537/task/3539/stat : 3539 (toysat) S 3534 3537 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13897983 1247350784 25031 33554432000 4194304 16246674 140736030187456 139915422571760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3537/tid=3540] ppid=3534 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3537/task/3540/stat : 3540 (toysat) S 3534 3537 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13897983 1247350784 25037 33554432000 4194304 16246674 140736030187456 139915337657520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 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.10755
CPU time (s): 0.104983
CPU user time (s): 0.06199
CPU system time (s): 0.042993
CPU usage (%): 97.6132
Max. virtual memory (cumulated for all children) (KiB): 1218116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.06199
system time used= 0.042993
maximum resident set size= 100300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24735
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= 22
involuntary context switches= 4

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

The end

Launcher Data 

Begin job on node125 at 2016-06-17 01:08:34
IDJOB=4097807
IDBENCH=107810
IDSOLVER=2542
FILE ID=node125/4097807-1466118514
RUNJOBID= node125-1466112694-1101
PBS_JOBID= 19904034
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_4_13.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4097807-1466118514/watcher-4097807-1466118514 -o /tmp/evaluation-result-4097807-1466118514/solver-4097807-1466118514 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466112694-1101 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4097807-1466118514.opb

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

MD5SUM BENCH= 6d7c2bb1d3c72af7a06577847753f1d7
RANDOM SEED=1075388855

node125.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.683
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.36
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.683
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.683
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.683
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.54
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.683
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.683
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.683
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.683
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:        29082324 kB
Buffers:           69544 kB
Cached:           162972 kB
SwapCached:         2680 kB
Active:          1271132 kB
Inactive:         115312 kB
Active(anon):    1153840 kB
Inactive(anon):     2308 kB
Active(file):     117292 kB
Inactive(file):   113004 kB
Unevictable:     1694988 kB
Mlocked:         1541688 kB
SwapTotal:      67108856 kB
SwapFree:       67097016 kB
Dirty:             16272 kB
Writeback:             4 kB
AnonPages:       2847064 kB
Mapped:            10644 kB
Shmem:                 0 kB
Slab:             573140 kB
SReclaimable:      16176 kB
SUnreclaim:       556964 kB
KernelStack:        1512 kB
PageTables:         9836 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2991412 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1288192 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= 71712 MiB
End job on node125 at 2016-06-17 01:08:34