Trace number 4097191

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.417935 0.420267

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/
SyncCodes/d_n_k/normalized-7_7_10.opb
MD5SUM9d6768472ea53070d7d4f4b834562661
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.042992
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables306
Total number of constraints1382
Number of constraints which are clauses1377
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 constraint17
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 27
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-17T00:37:23+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-4097191-1466116643.opb"]
0.00/0.01	c use --random-gen="1481893701 597440679 2004834520 3949195724 4200545140 3696060900 222979075 2304777087 760257824 1569964607 1742527747 1634246677 616539167 2170522750 3649426513 1374581789 1007360524 1698338572 3696913439 267116549 3549862916 2002946329 1058700959 3812243746 1638753251 1939603997 1107823604 4039505664 3319755649 3206019665 1025606252 3581821096 2000931944 737974736 3279478349 2713642564 3459666484 499443069 1132742247 970974957 163007072 2096950036 2302163976 2877177856 3280107410 3881177163 2852233483 2549850234 1254605638 1470957819 2724822513 3712395358 3613610256 2200001445 805131801 1596028243 972274822 740160638 1530911561 641687677 1600039799 2405415791 2086917606 3300448642 3746988166 3684767058 4088939211 3670669543 1613666036 2188019190 3697968927 3294399772 1140796352 1758369990 2476636939 961403460 4104412045 2470991916 1932307643 3210406283 2185012776 3539655835 932120832 3038399189 625165305 698675043 2094429500 778311685 2163206261 294288660 1237860880 1838354231 3858482565 1987319809 1061674958 392714005 391710342 344599444 3802406322 1139088363 444008195 2984656638 3226192583 744084239 1790433053 195884461 2315913794 160686389 1762081146 3069078279 898736580 566018651 772602797 2868269807 37597045 2670856509 2200478130 3069202986 818191181 3432866255 1917029618 445803471 2502287396 4154343685 1144049152 3950577047 2815246325 3134001534 1384426417 3047638371 897881806 2399988096 1832529580 4188620776 2045445095 2183872273 3948281609 2681821554 511341673 2748110789 4132109872 2842837283 3320552912 2490905507 3712596018 1975501480 182604959 3633062822 2334787727 1552248570 3019461559 2575450995 795388270 705668019 2121325700 2759941218 310923981 2354960621 2953935229 2957390146 4287251868 3804552495 1512939969 1567462349 836027705 1008712698 2188142742 3854880947 2701517482 887473981 2363384906 422202481 4292009398 2946088402 1994240749 2680065188 4113448113 3341263909 3776480144 1971438635 2948031978 975508364 2227224419 1690264299 3037204674 2119493490 476842933 521833793 38289985 332137600 2739364909 2926936760 1094943860 1984553 2769190553 1716885884 3895966144 52153099 1233308945 4013346521 2794380758 653780791 152811072 2014443758 1316710369 795672906 3923696564 2760606312 2507425339 4116688798 15625202 2896598696 1421648931 2367580032 1471689590 1632664048 3448094497 507325102 588787855 3523356767 3174490659 2178249208 219508586 2134239741 259475472 1304107512 147986841 1658048592 3251948424 447441352 3829968500 1810271852 2366061739 3971827792 1175722773 1980940691 149010484 3698907602 3248961086 3927874827 2999848859 403757905 1310744335 1292720746 3851916163 217688728 4198502925 590565003 3125557903 336836551 3577690906 393046503 3603489549 412700073 1691752262 1793268721 255 362436" option to reproduce the execution
0.00/0.02	c #vars 306
0.00/0.02	c #constraints 1382
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 |      561      0 |        5 |        0
0.00/0.07	c  0.0s |       1 |      115 |      100 |      561      0 |        5 |      135
0.09/0.10	c  0.1s |       2 |      290 |      250 |      618      0 |        5 |      135
0.09/0.15	c  0.1s |       3 |      535 |      475 |      680      0 |        5 |      135
0.19/0.25	c  0.2s |       4 |      900 |      813 |      749      1 |        5 |      135
0.29/0.38	c  0.3s |       5 |     1449 |     1320 |      824      1 |       71 |      369
0.29/0.39	c  0.3s |       5 |     1506 |     1371 |      907      1 |      212 |      756
0.29/0.39	c #cpu_time = 0.348s
0.38/0.59	c #wall_clock_time = 0.349s
0.38/0.59	c #decision = 1506
0.38/0.59	c #random_decision = 1
0.38/0.59	c #conflict = 1371
0.38/0.59	c #restart = 5
0.38/0.59	s UNSATISFIABLE
0.38/0.59	c total CPU time = 0.395s
0.38/0.59	c total wall clock time = 0.396s

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

pid=2194
running on 4 cores: 0,2,4,6

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.15 2.20 2.18 3/179 2197
/proc/meminfo: memFree=29118828/32872528 swapFree=1541688/1694988
[pid=2197] ppid=2194 vsize=622012 CPUtime=0 cores=0,2,4,6
/proc/2197/stat : 2197 (toysat) R 2194 2197 31715 0 -1 4202496 2304 0 0 0 0 0 0 0 20 0 4 0 13710910 636940288 2664 33554432000 4194304 16246674 140736033504864 140736033504288 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2197/statm: 156271 2673 441 2943 0 153165 0
[pid=2197/tid=2198] ppid=2194 vsize=654780 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2198/stat : 2198 (toysat) S 2194 2197 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13710910 670494720 2790 33554432000 4194304 16246674 140736033504864 139709138316528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2197/tid=2199] ppid=2194 vsize=658876 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2199/stat : 2199 (toysat) S 2194 2197 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13710910 674689024 2808 33554432000 4194304 16246674 140736033504864 139709127826672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2197/tid=2200] ppid=2194 vsize=663996 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2200/stat : 2200 (toysat) S 2194 2197 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13710910 679931904 2825 33554432000 4194304 16246674 140736033504864 139709045009584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.15 2.20 2.18 3/179 2197
/proc/meminfo: memFree=29118828/32872528 swapFree=1541688/1694988
[pid=2197] ppid=2194 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/2197/stat : 2197 (toysat) R 2194 2197 31715 0 -1 4202496 24962 0 0 0 6 3 0 0 20 0 4 0 13710910 1247350784 25311 33554432000 4194304 16246674 140736033504864 140736033504288 5675010 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2197/statm: 304529 25319 719 2943 0 301423 0
[pid=2197/tid=2198] ppid=2194 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2198/stat : 2198 (toysat) S 2194 2197 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13710910 1247350784 25325 33554432000 4194304 16246674 140736033504864 139709138316528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2197/tid=2199] ppid=2194 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2199/stat : 2199 (toysat) S 2194 2197 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13710910 1247350784 25332 33554432000 4194304 16246674 140736033504864 139709127826672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2197/tid=2200] ppid=2194 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2200/stat : 2200 (toysat) S 2194 2197 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13710910 1247350784 25338 33554432000 4194304 16246674 140736033504864 139709045009584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200468 s]
/proc/loadavg: 2.15 2.20 2.18 3/179 2197
/proc/meminfo: memFree=29118828/32872528 swapFree=1541688/1694988
[pid=2197] ppid=2194 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/2197/stat : 2197 (toysat) R 2194 2197 31715 0 -1 4202496 45460 0 0 0 13 6 0 0 20 0 4 0 13710910 1247350784 45809 33554432000 4194304 16246674 140736033504864 140736033504288 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2197/statm: 304529 45816 719 2943 0 301423 0
[pid=2197/tid=2198] ppid=2194 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2198/stat : 2198 (toysat) S 2194 2197 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13710910 1247350784 45821 33554432000 4194304 16246674 140736033504864 139709138316528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2197/tid=2199] ppid=2194 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2199/stat : 2199 (toysat) S 2194 2197 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13710910 1247350784 45826 33554432000 4194304 16246674 140736033504864 139709127826672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2197/tid=2200] ppid=2194 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2200/stat : 2200 (toysat) S 2194 2197 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13710910 1247350784 45831 33554432000 4194304 16246674 140736033504864 139709045009584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300425 s]
/proc/loadavg: 2.15 2.20 2.18 3/179 2197
/proc/meminfo: memFree=29118828/32872528 swapFree=1541688/1694988
[pid=2197] ppid=2194 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/2197/stat : 2197 (toysat) R 2194 2197 31715 0 -1 4202496 64838 0 0 0 20 9 0 0 20 0 4 0 13710910 1247350784 65187 33554432000 4194304 16246674 140736033504864 140736033504288 13198569 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2197/statm: 304529 65201 719 2943 0 301423 0
[pid=2197/tid=2198] ppid=2194 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2198/stat : 2198 (toysat) S 2194 2197 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13710910 1247350784 65210 33554432000 4194304 16246674 140736033504864 139709138316528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2197/tid=2199] ppid=2194 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2199/stat : 2199 (toysat) S 2194 2197 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13710910 1247350784 65219 33554432000 4194304 16246674 140736033504864 139709127826672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2197/tid=2200] ppid=2194 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2200/stat : 2200 (toysat) S 2194 2197 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13710910 1247350784 65229 33554432000 4194304 16246674 140736033504864 139709045009584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116
Solver just ended.
ain loop
??? sigkill at end of watcher main loop
??? kill 2197 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+0.400458 s]
/proc/loadavg: 2.15 2.20 2.18 3/179 2197
/proc/meminfo: memFree=29118828/32872528 swapFree=1541688/1694988
[pid=2197] ppid=2194 vsize=0 CPUtime=0.38 cores=0,2,4,6
/proc/2197/stat : 2197 (toysat) R 2194 2197 31715 0 -1 4202500 85420 0 0 0 27 11 0 0 20 0 1 0 13710910 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2197/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 0.420267
CPU time (s): 0.417935
CPU user time (s): 0.277957
CPU system time (s): 0.139978
CPU usage (%): 99.4451
Max. virtual memory (cumulated for all children) (KiB): 1218116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.277957
system time used= 0.139978
maximum resident set size= 343040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85420
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= 2

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

The end

Launcher Data 

Begin job on node125 at 2016-06-17 00:37:23
IDJOB=4097191
IDBENCH=107722
IDSOLVER=2542
FILE ID=node125/4097191-1466116643
RUNJOBID= node125-1466112694-1100
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-7_7_10.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4097191-1466116643/watcher-4097191-1466116643 -o /tmp/evaluation-result-4097191-1466116643/solver-4097191-1466116643 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466112694-1100 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4097191-1466116643.opb

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

MD5SUM BENCH= 9d6768472ea53070d7d4f4b834562661
RANDOM SEED=1004742823

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:        29119744 kB
Buffers:           65516 kB
Cached:           161684 kB
SwapCached:         2680 kB
Active:          1236700 kB
Inactive:         111540 kB
Active(anon):    1120700 kB
Inactive(anon):     2308 kB
Active(file):     116000 kB
Inactive(file):   109232 kB
Unevictable:     1694988 kB
Mlocked:         1541688 kB
SwapTotal:      67108856 kB
SwapFree:       67097016 kB
Dirty:             16324 kB
Writeback:             0 kB
AnonPages:       2818184 kB
Mapped:            10712 kB
Shmem:                 0 kB
Slab:             571516 kB
SReclaimable:      15372 kB
SUnreclaim:       556144 kB
KernelStack:        1520 kB
PageTables:         9568 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2957340 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    180224 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 00:37:24