Trace number 4078663

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-02SAT 8.69668 8.70035

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900566263.opb
MD5SUMf4c214ee809fe2c6dba5a2a6d8bf156c
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.090985
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables231
Total number of constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
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 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 613
Number of bits of the biggest sum of numbers10
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-06T15:21:53+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-4078663-1465219313.opb"]
0.00/0.01	c use --random-gen="3493028329 2234201527 1116989951 2130117764 912723207 2569574814 3295214056 679633103 551800015 1987225377 3374026133 4133911404 1402608486 750435947 2400316309 1130295275 1665517262 141932772 1699412367 4221776624 1283373489 2450481993 3521297755 2239595392 1167961150 2635251518 2849359362 2907465384 834695292 1187294630 1966463673 2335572675 3780193209 677294773 2944632657 3006281778 1987909896 1596383722 546326035 474437331 547207720 3455321437 247221332 4074404655 1561562874 1778923820 1655211482 1017261119 2575195468 3864341489 2583819554 3511166354 4014913796 2084726687 2073438668 2748296646 3279917228 63826335 1660525050 3305387814 825939490 3066885134 250665140 2684467448 850606065 1828073966 264689196 4201805286 1986648596 28576442 185332985 3881339949 3830555919 90849452 4278696601 3520619275 2251614227 2482509184 929694992 372246025 3303586652 4168948263 1540419934 2088876039 4172978415 3146159987 2377438882 265663049 2209636948 2407270925 1732083851 1341904844 2422832631 3872837099 2521739862 3350538582 450212042 3540605920 1571337910 1614905914 3815979732 2900890447 468281388 1189392179 3536895103 3162023642 1884340551 2861418369 2884616969 252468894 2226340741 803978224 3798192675 1744436188 2853305553 523481209 2843503871 1106242107 1613557583 2474331661 1001578478 1919366913 931228611 1353546105 3937628168 2917562159 514364001 798917784 1471631722 3256239410 1979751659 1607735022 988079159 461440579 963734522 3402990649 1682783151 1301920677 1724421010 2518166943 1529746914 1653461042 2681674668 2660322952 3561294456 3215575910 1643275945 833020145 3874545180 3147131645 3905955636 3499714767 1778496240 1241880984 943719206 2110448236 502423302 519948269 1378896269 3669651171 2807076402 608838982 3777836605 3166501226 4173174952 4283233854 208277053 1477075783 3385647310 779477332 711948630 2440299541 1461708553 1499319207 2603576455 3622384379 1671908408 3424524178 3609236631 1487370776 2896424298 2505120303 2365162592 2422492437 1671443869 2270782831 1772979077 221814248 760772174 3651920828 2460855066 1499127652 1947665507 4239906036 2830044317 1974617881 3676825289 2023213478 2917732006 1495583490 2258703639 1280608568 49669595 3075592655 2180510697 1992489143 3537784731 670761291 3706499650 2111545643 1847977638 1514158098 2791258594 3521272180 1954544207 3867764755 4284419810 1903598020 1450282089 957695637 1346355445 51175337 1221899074 1962394632 1651270096 2122067788 3268963664 2707453048 3622869200 1096328341 3261672548 172917359 661059476 4172003574 750842690 1986561489 2945857160 3728625279 188019487 3408511279 3940645845 615471398 274803944 2694277268 2965957371 2406237525 3640559055 1013802226 14132197 2488875715 2420042884 3386760825 2665025457 1363064989 229111967 1786920257 255 362436" option to reproduce the execution
0.00/0.03	c #vars 231
0.00/0.03	c #constraints 2707
0.00/0.08	c Solving starts ...
0.00/0.08	c ============================[ Search Statistics ]============================
0.00/0.08	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.08	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.08	c =============================================================================
0.00/0.08	c  0.0s |       0 |        0 |        0 |      979      0 |        0 |        0
0.00/0.09	c  0.0s |       1 |      317 |      100 |      979      0 |        0 |        0
0.08/0.12	c  0.0s |       2 |      563 |      250 |     1077      0 |        0 |        0
0.08/0.17	c  0.1s |       3 |      909 |      475 |     1185      0 |        0 |        0
0.19/0.24	c  0.2s |       4 |     1380 |      813 |     1304      0 |        0 |        0
0.29/0.37	c  0.3s |       5 |     2093 |     1320 |     1435      0 |        0 |        0
0.49/0.58	c  0.5s |       6 |     3118 |     2081 |     1737      1 |        0 |        0
0.69/0.93	c  0.9s |       7 |     4542 |     3223 |     1911      2 |        0 |        0
1.39/1.48	c  1.4s |       8 |     6800 |     4936 |     2103      4 |        0 |        0
1.99/2.07	c  2.0s |       9 |    10107 |     7506 |     2314      6 |        0 |        0
2.99/3.09	c  3.0s |      10 |    15088 |    11361 |     2546      9 |        0 |        0
4.68/4.71	c  4.6s |      11 |    22898 |    17144 |     2801     13 |        0 |        0
6.69/6.74	c  6.7s |      11 |    32656 |    24244 |     2801     18 |        0 |        0
7.18/7.26	c  7.2s |      12 |    34866 |    25819 |     3082     19 |        0 |        0
8.59/8.63	c  8.6s |      12 |    42060 |    30690 |     3082     22 |        0 |        0
8.59/8.63	c #cpu_time = 8.536s
8.59/8.63	c #wall_clock_time = 8.559s
8.59/8.63	c #decision = 42060
8.59/8.63	c #random_decision = 110
8.59/8.63	c #conflict = 30690
8.59/8.63	c #restart = 12
8.59/8.63	s SATISFIABLE
8.59/8.64	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
8.59/8.64	v -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20
8.59/8.64	v -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30
8.59/8.64	v -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 -x40
8.59/8.64	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50
8.59/8.64	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
8.59/8.64	v -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70
8.59/8.64	v -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80
8.59/8.64	v x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
8.59/8.64	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100
8.59/8.64	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110
8.59/8.64	v -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120
8.59/8.64	v -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130
8.59/8.64	v -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140
8.59/8.64	v -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
8.59/8.64	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160
8.59/8.64	v -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170
8.59/8.64	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180
8.59/8.64	v -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
8.59/8.64	v -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200
8.59/8.64	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210
8.59/8.64	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
8.59/8.64	v x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230
8.59/8.64	v -x231
8.59/8.64	c total CPU time = 8.615s
8.59/8.64	c total wall clock time = 8.638s

Verifier Data 

OK	0

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

pid=28517
running on 8 cores: 0-3,8-11

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.13 2.10 3/261 28520
/proc/meminfo: memFree=30982700/32872528 swapFree=9196/9196
[pid=28520] ppid=28517 vsize=1092164 CPUtime=0 cores=0-3,8-11
/proc/28520/stat : 28520 (toysat) R 28517 28520 25889 0 -1 4202496 4141 0 0 0 0 0 0 0 20 0 4 0 103773353 1118375936 3991 33554432000 4194304 16246674 140734808189040 140734808188464 13880264 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/28520/statm: 273553 4000 442 2943 0 270447 0
[pid=28520/tid=28521] ppid=28517 vsize=1112644 CPUtime=0 cores=0-3,8-11
/proc/28520/task/28521/stat : 28521 (toysat) S 28517 28520 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103773353 1139347456 4074 33554432000 4194304 16246674 140734808189040 140105307106544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=28520/tid=28522] ppid=28517 vsize=1116740 CPUtime=0 cores=0-3,8-11
/proc/28520/task/28522/stat : 28522 (toysat) S 28517 28520 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103773353 1143541760 4091 33554432000 4194304 16246674 140734808189040 140105296616688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=28520/tid=28523] ppid=28517 vsize=1121860 CPUtime=0 cores=0-3,8-11
/proc/28520/task/28523/stat : 28523 (toysat) S 28517 28520 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103773353 1148784640 4106 33554432000 4194304 16246674 140734808189040 140105286143152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0

[startup+0.100107 s]
/proc/loadavg: 2.23 2.13 2.10 3/261 28520
/proc/meminfo: memFree=30982700/32872528 swapFree=9196/9196
[pid=28520] ppid=28517 vsize=1218116 CPUtime=0.08 cores=0-3,8-11
/proc/28520/stat : 28520 (toysat) R 28517 28520 25889 0 -1 4202496 25369 0 0 0 5 3 0 0 20 0 4 0 103773353 1247350784 25208 33554432000 4194304 16246674 140734808189040 140734808188464 5677541 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/28520/statm: 304529 25215 728 2943 0 301423 0
[pid=28520/tid=28521] ppid=28517 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/28520/task/28521/stat : 28521 (toysat) S 28517 28520 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103773353 1247350784 25218 33554432000 4194304 16246674 140734808189040 140105307106544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=28520/tid=28522] ppid=28517 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/28520/task/28522/stat : 28522 (toysat) S 28517 28520 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103773353 1247350784 25222 33554432000 4194304 16246674 140734808189040 140105296616688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=28520/tid=28523] ppid=28517 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/28520/task/28523/stat : 28523 (toysat) S 28517 28520 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103773353 1247350784 25227 33554432000 4194304 16246674 140734808189040 140105286143152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.20049 s]
/proc/loadavg: 2.23 2.13 2.10 3/261 28520
/proc/meminfo: memFree=30982700/32872528 swapFree=9196/9196
[pid=28520] ppid=28517 vsize=1218116 CPUtime=0.19 cores=0-3,8-11
/proc/28520/stat : 28520 (toysat) R 28517 28520 25889 0 -1 4202496 41604 0 0 0 13 6 0 0 20 0 4 0 103773353 1247350784 41443 33554432000 4194304 16246674 140734808189040 140734808170944 5546181 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/28520/statm: 304529 41455 728 2943 0 301423 0
[pid=28520/tid=28521] ppid=28517 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/28520/task/28521/stat : 28521 (toysat) S 28517 28520 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103773353 1247350784 41461 33554432000 4194304 16246674 140734808189040 140105307106544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=28520/tid=28522] ppid=28517 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/28520/task/28522/stat : 28522 (toysat) S 28517 28520 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103773353 1247350784 41466 33554432000 4194304 16246674 140734808189040 140105296616688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=28520/tid=28523] ppid=28517 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/28520/task/28523/stat : 28523 (toysat) S 28517 28520 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103773353 1247350784 41471 33554432000 4194304 16246674 140734808189040 140105286143152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300472 s]
/proc/loadavg: 2.23 2.13 2.10 3/261 28520
/proc/meminfo: memFree=30982700/32872528 swapFree=9196/9196
[pid=28520] ppid=28517 vsize=1218116 CPUtime=0.29 cores=0-3,8-11
/proc/28520/stat : 28520 (toysat) R 28517 28520 25889 0 -1 4202496 57938 0 0 0 20 9 0 0 20 0 4 0 103773353 1247350784 57777 33554432000 4194304 16246674 140734808189040 140734808170944 5712608 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/28520/statm: 304529 57785 728 2943 0 301423 0
[pid=28520/tid=28521] ppid=28517 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/28520/task/28521/stat : 28521 (toysat) S 28517 28520 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103773353 1247350784 57789 33554432000 4194304 16246674 140734808189040 140105307106544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=28520/tid=28522] ppid=28517 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/28520/task/28522/stat : 28522 (toysat) S 28517 28520 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103773353 1247350784 57794 33554432000 4194304 16246674 140734808189040 140105296616688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=28520/tid=28523] ppid=28517 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/28520/task/28523/stat : 28523 (toysat) S 28517 28520 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103773353 1247350784 57798 33554432000 4194304 16246674 140734808189040 140105286143152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700406 s]
/proc/loadavg: 2.23 2.13 2.10 3/261 28520
/proc/meminfo: memFree=30982700/32872528 swapFree=9196/9196
[pid=28520] ppid=28517 vsize=1218116 CPUtime=0.69 cores=0-3,8-11
/proc/28520/stat : 28520 (toysat) R 28517 28520 25889 0 -1 4202496 122176 0 0 0 53 16 0 0 20 0 4 0 103773353 1247350784 122015 33554432000 4194304 16246674 140734808189040 140734808170944 5675357 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/28520/statm: 304529 122019 734 2943 0 301423 0
[pid=28520/tid=28521] ppid=28517 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/28520/task/28521/stat : 28521 (toysat) S 28517 28520 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103773353 1247350784 122022 33554432000 4194304 16246674 140734808189040 140105307106544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=28520/tid=28522] ppid=28517 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/28520/task/28522/stat : 28522 (toysat) S 28517 28520 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103773353 1247350784 122024 33554432000 4194304 16246674 140734808189040 140105296616688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=28520/tid=28523] ppid=28517 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/28520/task/28523/stat : 28523 (toysat) S 28517 28520 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103773353 1247350784 122028 33554432000 4194304 16246674 140734808189040 140105286143152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50044 s]
/proc/loadavg: 2.23 2.13 2.10 3/265 28524
/proc/meminfo: memFree=30180188/32872528 swapFree=9196/9196
[pid=28520] ppid=28517 vsize=1221188 CPUtime=1.49 cores=0-3,8-11
/proc/28520/stat : 28520 (toysat) R 28517 28520 25889 0 -1 4202496 246165 0 0 0 115 34 0 0 20 0 4 0 103773353 1250496512 245984 33554432000 4194304 16246674 140734808189040 140734808188352 6021174 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/28520/statm: 305297 245984 800 2943 0 302191 0
[pid=28520/tid=28521] ppid=28517 vsize=1221188 CPUtime=0 cores=0-3,8-11
/proc/28520/task/28521/stat : 28521 (toysat) S 28517 28520 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103773353 1250496512 245984 33554432000 4194304 16246674 140734808189040 140105307106544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=28520/tid=28522] ppid=28517 vsize=1221188 CPUtime=0 cores=0-3,8-11
/proc/28520/task/28522/stat : 28522 (toysat) S 28517 28520 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103773353 1250496512 245984 33554432000 4194304 16246674 140734808189040 140105296616688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=28520/tid=28523] ppid=28517 vsize=1221188 CPUtime=0 cores=0-3,8-11
/proc/28520/task/28523/stat : 28523 (toysat) S 28517 28520 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103773353 1250496512 245984 33554432000 4194304 16246674 140734808189040 140105286143152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1221188

[startup+3.10041 s]
/proc/loadavg: 2.23 2.13 2.10 3/265 28524
/proc/meminfo: memFree=29999496/32872528 swapFree=9196/9196
[pid=28520] ppid=28517 vsize=1303108 CPUtime=3.09 cores=0-3,8-11
/proc/28520/stat : 28520 (toysat) R 28517 28520 25889 0 -1 4202496 266626 0 0 0 273 36 0 0 20 0 4 0 103773353 1334382592 266445 33554432000 4194304 16246674 140734808189040 140734808170944 5823538 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/28520/statm: 325777 266445 800 2943 0 322671 0
[pid=28520/tid=28521] ppid=28517 vsize=1303108 CPUtime=0 cores=0-3,8-11
/proc/28520/task/28521/stat : 28521 (toysat) S 28517 28520 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103773353 1334382592 266445 33554432000 4194304 16246674 140734808189040 140105307106544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=28520/tid=28522] ppid=28517 vsize=1303108 CPUtime=0 cores=0-3,8-11
/proc/28520/task/28522/stat : 28522 (toysat) S 28517 28520 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103773353 1334382592 266445 33554432000 4194304 16246674 140734808189040 140105296616688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=28520/tid=28523] ppid=28517 vsize=1303108 CPUtime=0 cores=0-3,8-11
/proc/28520/task/28523/stat : 28523 (toysat) S 28517 28520 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103773353 1334382592 266445 33554432000 4194304 16246674 140734808189040 140105286143152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1303108

[startup+6.30041 s]
/proc/loadavg: 2.21 2.13 2.10 3/265 28524
/proc/meminfo: memFree=29913960/32872528 swapFree=9196/9196
[pid=28520] ppid=28517 vsize=1307204 CPUtime=6.28 cores=0-3,8-11
/proc/28520/stat : 28520 (toysat) R 28517 28520 25889 0 -1 4202496 267642 0 0 0 592 36 0 0 20 0 4 0 103773353 1338576896 267461 33554432000 4194304 16246674 140734808189040 140734808170944 5545872 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/28520/statm: 326801 267461 800 2943 0 323695 0
[pid=28520/tid=28521] ppid=28517 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/28520/task/28521/stat : 28521 (toysat) S 28517 28520 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103773353 1338576896 267461 33554432000 4194304 16246674 140734808189040 140105307106544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=28520/tid=28522] ppid=28517 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/28520/task/28522/stat : 28522 (toysat) S 28517 28520 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103773353 1338576896 267461 33554432000 4194304 16246674 140734808189040 140105296616688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=28520/tid=28523] ppid=28517 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/28520/task/28523/stat : 28523 (toysat) S 28517 28520 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103773353 1338576896 267461 33554432000 4194304 16246674 140734808189040 140105286143152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204

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

[startup+6.50041 s]
/proc/loadavg: 2.21 2.13 2.10 3/265 28524
/proc/meminfo: memFree=29913960/32872528 swapFree=9196/9196
[pid=28520] ppid=28517 vsize=1307204 CPUtime=6.48 cores=0-3,8-11
/proc/28520/stat : 28520 (toysat) R 28517 28520 25889 0 -1 4202496 267642 0 0 0 612 36 0 0 20 0 4 0 103773353 1338576896 267461 33554432000 4194304 16246674 140734808189040 140734808170944 5523360 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/28520/statm: 326801 267461 800 2943 0 323695 0
[pid=28520/tid=28521] ppid=28517 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/28520/task/28521/stat : 28521 (toysat) S 28517 28520 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103773353 1338576896 267461 33554432000 4194304 16246674 140734808189040 140105307106544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=28520/tid=28522] ppid=28517 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/28520/task/28522/stat : 28522 (toysat) S 28517 28520 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103773353 1338576896 267461 33554432000 4194304 16246674 140734808189040 140105296616688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=28520/tid=28523] ppid=28517 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/28520/task/28523/stat : 28523 (toysat) S 28517 28520 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103773353 1338576896 267461 33554432000 4194304 16246674 140734808189040 140105286143152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 6.48
Current children cumulated vsize (KiB) 1307204

[startup+7.30044 s]
/proc/loadavg: 2.21 2.13 2.10 3/265 28524
/proc/meminfo: memFree=29913712/32872528 swapFree=9196/9196
[pid=28520] ppid=28517 vsize=1307204 CPUtime=7.28 cores=0-3,8-11
/proc/28520/stat : 28520 (toysat) R 28517 28520 25889 0 -1 4202496 267642 0 0 0 692 36 0 0 20 0 4 0 103773353 1338576896 267461 33554432000 4194304 16246674 140734808189040 140734808170944 12476798 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/28520/statm: 326801 267461 800 2943 0 323695 0
[pid=28520/tid=28521] ppid=28517 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/28520/task/28521/stat : 28521 (toysat) S 28517 28520 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103773353 1338576896 267461 33554432000 4194304 16246674 140734808189040 140105307106544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=28520/tid=28522] ppid=28517 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/28520/task/28522/stat : 28522 (toysat) S 28517 28520 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103773353 1338576896 267461 33554432000 4194304 16246674 140734808189040 140105296616688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=28520/tid=28523] ppid=28517 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/28520/task/28523/stat : 28523 (toysat) S 28517 28520 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103773353 1338576896 267461 33554432000 4194304 16246674 140734808189040 140105286143152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 7.28
Current children cumulated vsize (KiB) 1307204

[startup+8.10043 s]
/proc/loadavg: 2.21 2.13 2.10 3/265 28524
/proc/meminfo: memFree=29913712/32872528 swapFree=9196/9196
[pid=28520] ppid=28517 vsize=1307204 CPUtime=8.08 cores=0-3,8-11
/proc/28520/stat : 28520 (toysat) R 28517 28520 25889 0 -1 4202496 267642 0 0 0 772 36 0 0 20 0 4 0 103773353 1338576896 267461 33554432000 4194304 16246674 140734808189040 140734808170944 13943608 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/28520/statm: 326801 267461 800 2943 0 323695 0
[pid=28520/tid=28521] ppid=28517 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/28520/task/28521/stat : 28521 (toysat) S 28517 28520 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103773353 1338576896 267461 33554432000 4194304 16246674 140734808189040 140105307106544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=28520/tid=28522] ppid=28517 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/28520/task/28522/stat : 28522 (toysat) S 28517 28520 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103773353 1338576896 267461 33554432000 4194304 16246674 140734808189040 140105296616688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=28520/tid=28523] ppid=28517 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/28520/task/28523/stat : 28523 (toysat) S 28517 28520 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103773353 1338576896 267461 33554432000 4194304 16246674 140734808189040 140105286143152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 8.08
Current children cumulated vsize (KiB) 1307204

[startup+8.50044 s]
/proc/loadavg: 2.21 2.13 2.10 3/265 28524
/proc/meminfo: memFree=29913712/32872528 swapFree=9196/9196
[pid=28520] ppid=28517 vsize=1312324 CPUtime=8.49 cores=0-3,8-11
/proc/28520/stat : 28520 (toysat) R 28517 28520 25889 0 -1 4202496 268892 0 0 0 812 37 0 0 20 0 4 0 103773353 1343819776 268711 33554432000 4194304 16246674 140734808189040 140734808172040 5822604 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/28520/statm: 328081 268711 800 2943 0 324975 0
[pid=28520/tid=28521] ppid=28517 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/28520/task/28521/stat : 28521 (toysat) S 28517 28520 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103773353 1343819776 268711 33554432000 4194304 16246674 140734808189040 140105307106544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=28520/tid=28522] ppid=28517 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/28520/task/28522/stat : 28522 (toysat) S 28517 28520 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103773353 1343819776 268711 33554432000 4194304 16246674 140734808189040 140105296616688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=28520/tid=28523] ppid=28517 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/28520/task/28523/stat : 28523 (toysat) S 28517 28520 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103773353 1343819776 268711 33554432000 4194304 16246674 140734808189040 140105286143152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 8.49
Current children cumulated vsize (KiB) 1312324

[startup+8.60041 s]
/proc/loadavg: 2.21 2.13 2.10 3/265 28524
/proc/meminfo: memFree=29913712/32872528 swapFree=9196/9196
[pid=28520] ppid=28517 vsize=1312324 CPUtime=8.59 cores=0-3,8-11
/proc/28520/stat : 28520 (toysat) R 28517 28520 25889 0 -1 4202496 268892 0 0 0 822 37 0 0 20 0 4 0 103773353 1343819776 268711 33554432000 4194304 16246674 140734808189040 140734808172040 5672818 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/28520/statm: 328081 268711 800 2943 0 324975 0
[pid=28520/tid=28521] ppid=28517 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/28520/task/28521/stat : 28521 (toysat) S 28517 28520 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103773353 1343819776 268711 33554432000 4194304 16246674 140734808189040 140105307106544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=28520/tid=28522] ppid=28517 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/28520/task/28522/stat : 28522 (toysat) S 28517 28520 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103773353 1343819776 268711 33554432000 4194304 16246674 140734808189040 140105296616688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=28520/tid=28523] ppid=28517 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/28520/task/28523/stat : 28523 (toysat) S 28517 28520 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103773353 1343819776 268711 33554432000 4194304 16246674 140734808189040 140105286143152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 8.59
Current children cumulated vsize (KiB) 1312324

Child status: 0
Real time (s): 8.70035
CPU time (s): 8.69668
CPU user time (s): 8.26774
CPU system time (s): 0.428934
CPU usage (%): 99.9578
Max. virtual memory (cumulated for all children) (KiB): 1312324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.26774
system time used= 0.428934
maximum resident set size= 1074868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268899
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= 19
involuntary context switches= 10

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.069989 second user time and 0.089986 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-06 15:21:53
IDJOB=4078663
IDBENCH=1325
IDSOLVER=2542
FILE ID=node132/4078663-1465219313
RUNJOBID= node132-1465216787-25905
PBS_JOBID= 19843203
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900566263.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078663-1465219313/watcher-4078663-1465219313 -o /tmp/evaluation-result-4078663-1465219313/solver-4078663-1465219313 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25905 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078663-1465219313.opb

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

MD5SUM BENCH= f4c214ee809fe2c6dba5a2a6d8bf156c
RANDOM SEED=454704489

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:        30982660 kB
Buffers:            8076 kB
Cached:            71784 kB
SwapCached:         3236 kB
Active:          1147532 kB
Inactive:          21816 kB
Active(anon):    1088700 kB
Inactive(anon):     3236 kB
Active(file):      58832 kB
Inactive(file):    18580 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67094516 kB
Dirty:             16776 kB
Writeback:             0 kB
AnonPages:       1079620 kB
Mapped:            10656 kB
Shmem:                 0 kB
Slab:             572840 kB
SReclaimable:      12692 kB
SUnreclaim:       560148 kB
KernelStack:        2240 kB
PageTables:         6604 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1239996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node132 at 2016-06-06 15:22:02