Trace number 4079058

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02UNSAT 0.705892 0.706832

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-ship04s.opb
MD5SUM74b86287d15008d17990184d72b42ad1
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.494924
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables43740
Total number of constraints348
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints348
Minimum length of a constraint30
Maximum length of a constraint1980
Number of terms in the objective function 43740
Biggest coefficient in the objective function 1977295568896000
Number of bits for the biggest coefficient in the objective function 51
Sum of the numbers in the objective function 276588440762806557
Number of bits of the sum of numbers in the objective function 58
Biggest number in a constraint 1977295568896000
Number of bits of the biggest number in a constraint 51
Biggest sum of numbers in a constraint 276588440762806557
Number of bits of the biggest sum of numbers58
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-06T20:33:45+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-4079058-1465238024.opb"]
0.00/0.01	c use --random-gen="3750555985 1596557584 1233720343 875734234 346032291 3339784746 480944616 1211074555 3135032895 709524519 1127129798 4205289741 3891233125 33136534 1925485815 1736692624 112464869 1604958853 2081004507 3409221628 4197417920 3097076100 635356976 791305594 2815664146 2157942062 2073511218 1778477790 3660752059 2520354427 2855275437 3659816544 197930257 1409604848 3411778399 985786142 233545999 4258996177 3578918315 3058238744 4125382556 2747994807 2416755624 2458067721 4109457867 3030323402 2532193506 4250795045 3822202322 3244904067 567951726 1286320120 1842200142 3411605374 2943388314 249002946 264497291 1416772371 3207702982 149697306 3722924750 1259881870 2970801801 3188437145 3811269275 2022465721 1849846499 3993641376 1694559846 3413023135 4178094274 936818102 1358140411 2193559331 2785060149 464694159 2880152723 2383323362 1458269604 2143402237 3023065610 2818536692 140894373 3249524556 1696073189 3349758861 3878820264 3304602688 1060693569 991238479 1274232499 75255941 105627060 862877263 3181810153 851763611 3427115108 3636067495 328832211 2640267107 2213266098 756465158 1285986498 2043910424 436681832 3391030042 1662752686 1249889174 2213821011 2702103446 4293658102 710033211 2571497974 1553582785 3229400980 34047184 1704749748 434355260 2043356978 1627721425 1679072349 1304080971 3000489129 4291811066 460397180 190737196 202829297 3162839474 1475987579 2523895470 3781301052 2426429323 2510305505 2436720094 2433179651 4102591000 3572381564 785157146 3817725986 571216516 1235248138 2405064816 1241269949 1643814355 3546647822 758347628 712173862 4153323265 1060240430 680411608 1308057854 1627202527 961540360 852452676 2752415683 2712993675 4049944613 622330287 263433896 2927591328 3618250826 3934089827 4037643535 600197224 3331130878 3583679782 2991045413 2540571262 1373718494 2006512011 2516270667 3344611502 739362678 3621898764 1365519598 3586186688 44004880 1015039070 771643971 1626980625 3295604530 1212162273 322813785 4130527706 3770534586 1109735360 588034349 962779181 4291799647 3845187690 1631648311 2483380418 4188454301 22038074 1572417611 1579445070 1635075652 1604746444 345319764 3212984126 650029008 608107387 300432061 3374339286 171144545 511758413 3937597370 1172403027 2377476046 594039654 1784744263 2143728316 2733954217 425606519 3303763947 435576437 1221481657 423390295 2947944318 973290445 2136304616 938568136 2755955977 3384621250 4183524553 2584633086 3846381763 272186785 3049955208 4147861867 71287978 3899927172 3733204723 1109842605 1048946882 2617156841 927577867 1661744265 2247988052 2594603296 2022481166 3943376974 2320545332 2392041704 3480868070 1983767948 1926971321 3671873631 791979347 1240192978 1952469683 625485540 2969790422 1293917959 2925829809 2026213636 255 362436" option to reproduce the execution
0.29/0.36	c #vars 43740
0.29/0.36	c #constraints 348
0.58/0.62	c BCD2: Hardening is enabled.
0.58/0.62	c BCD2: BiasedSearch is enabled.
0.58/0.62	c Solving starts ...
0.58/0.69	s UNSATISFIABLE
0.58/0.69	c total CPU time = 0.690s
0.58/0.69	c total wall clock time = 0.691s

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

pid=31296
running on 8 cores: 4-7,12-15

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.21 2.10 2.04 3/261 31299
/proc/meminfo: memFree=28399484/32872528 swapFree=9196/9196
[pid=31299] ppid=31296 vsize=1180092 CPUtime=0 cores=4-7,12-15
/proc/31299/stat : 31299 (toysat) R 31296 31299 25889 0 -1 4202496 4482 0 0 0 0 0 0 0 20 0 4 0 105644479 1208414208 4843 33554432000 4194304 16246674 140736444712544 140736444711968 13880264 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/31299/statm: 295535 4853 441 2943 0 292429 0
[pid=31299/tid=31300] ppid=31296 vsize=1200572 CPUtime=0 cores=4-7,12-15
/proc/31299/task/31300/stat : 31300 (toysat) S 31296 31299 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105644480 1229385728 4925 33554432000 4194304 16246674 140736444712544 139906649140464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=31299/tid=31301] ppid=31296 vsize=1205692 CPUtime=0 cores=4-7,12-15
/proc/31299/task/31301/stat : 31301 (toysat) S 31296 31299 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105644480 1234628608 4944 33554432000 4194304 16246674 140736444712544 139906638650608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=31299/tid=31302] ppid=31296 vsize=1209788 CPUtime=0 cores=4-7,12-15
/proc/31299/task/31302/stat : 31302 (toysat) S 31296 31299 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105644480 1238822912 4961 33554432000 4194304 16246674 140736444712544 139906628177072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0

[startup+0.100196 s]
/proc/loadavg: 2.21 2.10 2.04 3/261 31299
/proc/meminfo: memFree=28399484/32872528 swapFree=9196/9196
[pid=31299] ppid=31296 vsize=1303108 CPUtime=0.09 cores=4-7,12-15
/proc/31299/stat : 31299 (toysat) R 31296 31299 25889 0 -1 4202496 30112 0 0 0 6 3 0 0 20 0 4 0 105644479 1334382592 30412 33554432000 4194304 16246674 140736444712544 140736444711856 7368729 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/31299/statm: 325777 30427 798 2943 0 322671 0
[pid=31299/tid=31300] ppid=31296 vsize=1303108 CPUtime=0 cores=4-7,12-15
/proc/31299/task/31300/stat : 31300 (toysat) S 31296 31299 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105644480 1334382592 30438 33554432000 4194304 16246674 140736444712544 139906649140464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=31299/tid=31301] ppid=31296 vsize=1303108 CPUtime=0 cores=4-7,12-15
/proc/31299/task/31301/stat : 31301 (toysat) S 31296 31299 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105644480 1334382592 30448 33554432000 4194304 16246674 140736444712544 139906638650608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=31299/tid=31302] ppid=31296 vsize=1303108 CPUtime=0 cores=4-7,12-15
/proc/31299/task/31302/stat : 31302 (toysat) S 31296 31299 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105644480 1334382592 30458 33554432000 4194304 16246674 140736444712544 139906628177072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.20051 s]
/proc/loadavg: 2.21 2.10 2.04 3/261 31299
/proc/meminfo: memFree=28399484/32872528 swapFree=9196/9196
[pid=31299] ppid=31296 vsize=1311300 CPUtime=0.19 cores=4-7,12-15
/proc/31299/stat : 31299 (toysat) R 31296 31299 25889 0 -1 4202496 41774 0 0 0 14 5 0 0 20 0 4 0 105644479 1342771200 42584 33554432000 4194304 16246674 140736444712544 140736444711856 7369969 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/31299/statm: 327825 42584 800 2943 0 324719 0
[pid=31299/tid=31300] ppid=31296 vsize=1311300 CPUtime=0 cores=4-7,12-15
/proc/31299/task/31300/stat : 31300 (toysat) S 31296 31299 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105644480 1342771200 42584 33554432000 4194304 16246674 140736444712544 139906649140464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=31299/tid=31301] ppid=31296 vsize=1311300 CPUtime=0 cores=4-7,12-15
/proc/31299/task/31301/stat : 31301 (toysat) S 31296 31299 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105644480 1342771200 42584 33554432000 4194304 16246674 140736444712544 139906638650608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=31299/tid=31302] ppid=31296 vsize=1311300 CPUtime=0 cores=4-7,12-15
/proc/31299/task/31302/stat : 31302 (toysat) S 31296 31299 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105644480 1342771200 42584 33554432000 4194304 16246674 140736444712544 139906628177072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300496 s]
/proc/loadavg: 2.21 2.10 2.04 3/261 31299
/proc/meminfo: memFree=28399484/32872528 swapFree=9196/9196
[pid=31299] ppid=31296 vsize=1311300 CPUtime=0.29 cores=4-7,12-15
/proc/31299/stat : 31299 (toysat) R 31296 31299 25889 0 -1 4202496 46254 0 0 0 23 6 0 0 20 0 4 0 105644479 1342771200 47064 33554432000 4194304 16246674 140736444712544 140736444711856 12752410 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/31299/statm: 327825 47064 801 2943 0 324719 0
[pid=31299/tid=31300] ppid=31296 vsize=1311300 CPUtime=0 cores=4-7,12-15
/proc/31299/task/31300/stat : 31300 (toysat) S 31296 31299 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105644480 1342771200 47064 33554432000 4194304 16246674 140736444712544 139906649140464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=31299/tid=31301] ppid=31296 vsize=1311300 CPUtime=0 cores=4-7,12-15
/proc/31299/task/31301/stat : 31301 (toysat) S 31296 31299 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105644480 1342771200 47064 33554432000 4194304 16246674 140736444712544 139906638650608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=31299/tid=31302] ppid=31296 vsize=1311300 CPUtime=0 cores=4-7,12-15
/proc/31299/task/31302/stat : 31302 (toysat) S 31296 31299 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105644480 1342771200 47064 33554432000 4194304 16246674 140736444712544 139906628177072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1311300

[startup+0.700385 s]
/proc/loadavg: 2.21 2.10 2.04 3/261 31299
/proc/meminfo: memFree=28399484/32872528 swapFree=9196/9196
[pid=31299] ppid=31296 vsize=0 CPUtime=0.69 cores=4-7,12-15
/proc/31299/stat : 31299 (toysat) R 31296 31299 25889 0 -1 4202500 51266 0 0 0 62 7 0 0 20 0 1 0 105644479 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/31299/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 0

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

[startup+0.700385 s]
/proc/loadavg: 2.21 2.10 2.04 3/261 31299
/proc/meminfo: memFree=28399484/32872528 swapFree=9196/9196
[pid=31299] ppid=31296 vsize=0 CPUtime=0.69 cores=4-7,12-15
/proc/31299/stat : 31299 (toysat) R 31296 31299 25889 0 -1 4202500 51266 0 0 0 62 7 0 0 20 0 1 0 105644479 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/31299/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 0.706832
CPU time (s): 0.705892
CPU user time (s): 0.622905
CPU system time (s): 0.082987
CPU usage (%): 99.867
Max. virtual memory (cumulated for all children) (KiB): 1327684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.622905
system time used= 0.082987
maximum resident set size= 208300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51266
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.014997 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-06 20:33:45
IDJOB=4079058
IDBENCH=2417
IDSOLVER=2542
FILE ID=node132/4079058-1465238024
RUNJOBID= node132-1465216787-25906
PBS_JOBID= 19843203
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship04s.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079058-1465238024/watcher-4079058-1465238024 -o /tmp/evaluation-result-4079058-1465238024/solver-4079058-1465238024 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25906 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079058-1465238024.opb

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

MD5SUM BENCH= 74b86287d15008d17990184d72b42ad1
RANDOM SEED=1775348351

node132.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		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5334.41
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		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        28400268 kB
Buffers:           38860 kB
Cached:            99004 kB
SwapCached:         3224 kB
Active:          3669596 kB
Inactive:          72000 kB
Active(anon):    3603212 kB
Inactive(anon):     3236 kB
Active(file):      66384 kB
Inactive(file):    68764 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67094528 kB
Dirty:             19216 kB
Writeback:             0 kB
AnonPages:       3612632 kB
Mapped:            10824 kB
Shmem:                 0 kB
Slab:             573456 kB
SReclaimable:      13604 kB
SUnreclaim:       559852 kB
KernelStack:        2288 kB
PageTables:        11236 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3755144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    184320 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 node132 at 2016-06-06 20:33:45