Trace number 4097800

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.19197 0.192947

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/
SyncCodes/d_n_k/normalized-6_6_10.opb
MD5SUMbd7ef7c2cd5de7b333753b34f7a4fae2
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.017996
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 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 26
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:33+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-4097800-1466118513.opb"]
0.00/0.01	c use --random-gen="69792985 3116424410 253010538 1795282491 2559865192 65396985 1892256581 4080982488 549936319 2951858455 1104011810 4039297328 1203392791 2014921055 3973974267 3797905935 4254619378 4102279495 1461199485 2403062630 3732793078 1993269978 1855996980 4188000459 1100960142 4244949706 2267462311 2355086937 724377549 3385855401 4229147895 2135227582 3582003529 3329282837 2623666442 60120595 3562418050 3893501837 3551559784 1846848173 549291706 1424282031 927146976 2334924858 2786686633 1005670904 3254025117 3522189252 436810060 211877455 2220286568 3167382866 268123094 2752212112 2341228760 61871888 3339017687 251918039 3732586973 3134344822 854841693 3187511858 2928217319 1923844723 547619187 250640535 1159737632 3326457279 4034604970 3445833785 3883192218 3425088416 323117893 1156520484 3452491041 1533982018 3052377149 3121569610 1590805702 3268584065 678494022 503524224 2796032894 2837834093 1864462395 2377744779 3130250736 2968204334 254240606 1378860385 2532458828 1237574948 1572379264 3872011197 1165585142 2959686144 1867386185 1933715515 126561856 443873757 2957728907 3925076791 271656606 2796029800 2293048344 3257615804 2503540629 2690364735 355214640 4200989650 1715723495 1379584098 4077709350 3249725409 500280370 1461054964 3521059012 2512341376 382854674 3601855062 2968777360 804626032 152948409 2163737530 3661494019 3818812113 3498564936 812801543 3961878343 1513273172 586087391 2834086011 154478301 2458901856 2493655465 3103511831 2131584647 757938384 2012219370 603077059 735274004 340469069 1863887485 2813718818 2678355376 2766975356 1686256967 3899844872 3522401820 2837424737 223976356 4146693524 1659038566 2825160250 3360183915 2232190401 117344362 3094399249 2334307701 1447495065 559195214 1327558570 1768755541 2354519781 3294099139 1231618094 1138612610 1032407736 2965382637 2403254525 1523884471 3407210023 2564794564 3260230881 1963785355 979760433 1700994123 225091601 3674164714 3312404262 2194356282 46695834 1269535847 3657361262 3490565427 493122325 180206430 2587442832 2760925094 2605926432 1645642933 4188019150 4240366231 3170153320 3782838273 9613370 2809214170 2335171620 554863153 1822343116 3587851366 304176233 922188523 2342310073 3932717028 2472070769 3008919039 263057240 126252371 1494676492 3831736645 2390852859 627913342 1803263416 1872646276 341301228 3895966305 357314616 620649255 1446213850 4236587496 2094067687 2138235277 3317774728 2967042613 433187617 107973313 41705654 517936810 1336482987 3329147185 503802111 3767687121 648889197 555254134 2936796870 1173324327 1040514333 4199848668 3437158117 4193635233 3458810033 2605722094 2736679930 3998860994 2085502280 2812274009 950990439 1785449251 1270455876 3615055260 700087614 3665809545 763148024 2159404263 3087704071 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.06	c  0.0s |       1 |      111 |      100 |      496      0 |        5 |      126
0.00/0.09	c  0.0s |       2 |      286 |      250 |      546      0 |        5 |      126
0.09/0.14	c  0.1s |       3 |      544 |      475 |      601      0 |       37 |      239
0.09/0.18	c  0.1s |       3 |      739 |      644 |      662      0 |      218 |      668
0.09/0.18	c #cpu_time = 0.138s
0.09/0.18	c #wall_clock_time = 0.138s
0.09/0.18	c #decision = 739
0.09/0.18	c #random_decision = 3
0.09/0.18	c #conflict = 644
0.09/0.18	c #restart = 3
0.09/0.18	s UNSATISFIABLE
0.09/0.18	c total CPU time = 0.179s
0.09/0.18	c total wall clock time = 0.179s

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

pid=3485
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 3/179 3488
/proc/meminfo: memFree=29081460/32872528 swapFree=1541688/1694988
[pid=3488] ppid=3485 vsize=646588 CPUtime=0 cores=1,3,5,7
/proc/3488/stat : 3488 (toysat) R 3485 3488 31715 0 -1 4202496 2398 0 0 0 0 0 0 0 20 0 4 0 13897943 662106112 3269 33554432000 4194304 16246674 140736706888368 140736706887792 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3488/statm: 162415 3277 441 2943 0 159309 0
[pid=3488/tid=3489] ppid=3485 vsize=680380 CPUtime=0 cores=1,3,5,7
/proc/3488/task/3489/stat : 3489 (toysat) S 3485 3488 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13897943 696709120 3401 33554432000 4194304 16246674 140736706888368 139970448698608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3488/tid=3490] ppid=3485 vsize=685500 CPUtime=0 cores=1,3,5,7
/proc/3488/task/3490/stat : 3490 (toysat) S 3485 3488 31715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13897943 701952000 3420 33554432000 4194304 16246674 140736706888368 139970366909680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3488/tid=3491] ppid=3485 vsize=689596 CPUtime=0 cores=1,3,5,7
/proc/3488/task/3491/stat : 3491 (toysat) S 3485 3488 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13897943 706146304 3436 33554432000 4194304 16246674 140736706888368 139970356436144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 2.23 2.29 2.27 3/179 3488
/proc/meminfo: memFree=29081460/32872528 swapFree=1541688/1694988
[pid=3488] ppid=3485 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/3488/stat : 3488 (toysat) R 3485 3488 31715 0 -1 4202496 24837 0 0 0 5 4 0 0 20 0 4 0 13897943 1247350784 25697 33554432000 4194304 16246674 140736706888368 140736706887792 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3488/statm: 304529 25708 718 2943 0 301423 0
[pid=3488/tid=3489] ppid=3485 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3488/task/3489/stat : 3489 (toysat) S 3485 3488 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13897943 1247350784 25715 33554432000 4194304 16246674 140736706888368 139970448698608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3488/tid=3490] ppid=3485 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3488/task/3490/stat : 3490 (toysat) S 3485 3488 31715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13897943 1247350784 25721 33554432000 4194304 16246674 140736706888368 139970366909680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3488/tid=3491] ppid=3485 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3488/task/3491/stat : 3491 (toysat) S 3485 3488 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13897943 1247350784 25727 33554432000 4194304 16246674 140736706888368 139970356436144 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

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

[startup+0.100175 s]
/proc/loadavg: 2.23 2.29 2.27 3/179 3488
/proc/meminfo: memFree=29081460/32872528 swapFree=1541688/1694988
[pid=3488] ppid=3485 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/3488/stat : 3488 (toysat) R 3485 3488 31715 0 -1 4202496 24837 0 0 0 5 4 0 0 20 0 4 0 13897943 1247350784 25697 33554432000 4194304 16246674 140736706888368 140736706887792 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3488/statm: 304529 25708 718 2943 0 301423 0
[pid=3488/tid=3489] ppid=3485 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3488/task/3489/stat : 3489 (toysat) S 3485 3488 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13897943 1247350784 25715 33554432000 4194304 16246674 140736706888368 139970448698608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3488/tid=3490] ppid=3485 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3488/task/3490/stat : 3490 (toysat) S 3485 3488 31715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13897943 1247350784 25721 33554432000 4194304 16246674 140736706888368 139970366909680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3488/tid=3491] ppid=3485 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3488/task/3491/stat : 3491 (toysat) S 3485 3488 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13897943 1247350784 25727 33554432000 4194304 16246674 140736706888368 139970356436144 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

Child status: 0
Real time (s): 0.192947
CPU time (s): 0.19197
CPU user time (s): 0.114982
CPU system time (s): 0.076988
CPU usage (%): 99.4937
Max. virtual memory (cumulated for all children) (KiB): 1218116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.114982
system time used= 0.076988
maximum resident set size= 172168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42191
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= 18
involuntary context switches= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.002999 second user time and 0.007998 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-17 01:08:33
IDJOB=4097800
IDBENCH=107809
IDSOLVER=2542
FILE ID=node125/4097800-1466118513
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-6_6_10.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4097800-1466118513/watcher-4097800-1466118513 -o /tmp/evaluation-result-4097800-1466118513/solver-4097800-1466118513 -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-4097800-1466118513.opb

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

MD5SUM BENCH= bd7ef7c2cd5de7b333753b34f7a4fae2
RANDOM SEED=537239182

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:        29082088 kB
Buffers:           69508 kB
Cached:           163388 kB
SwapCached:         2680 kB
Active:          1271332 kB
Inactive:         115488 kB
Active(anon):    1154040 kB
Inactive(anon):     2308 kB
Active(file):     117292 kB
Inactive(file):   113180 kB
Unevictable:     1694988 kB
Mlocked:         1541688 kB
SwapTotal:      67108856 kB
SwapFree:       67097016 kB
Dirty:             16808 kB
Writeback:             0 kB
AnonPages:       2847512 kB
Mapped:            11028 kB
Shmem:                 0 kB
Slab:             572684 kB
SReclaimable:      15916 kB
SUnreclaim:       556768 kB
KernelStack:        1448 kB
PageTables:         9888 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:33