Trace number 4099179

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 6.00309 6.01613

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900567003.opb
MD5SUM2c89f98280dbfe67701e28e9614a6259
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.068988
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 715
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-18T01:28:37+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-4099179-1466206117.opb"]
0.00/0.01	c use --random-gen="779093402 3112092777 2060786024 2665767471 175297763 1202993148 212585037 369614945 1850703939 2283943606 2876088016 1825370214 1473856925 2258205438 3008462073 1853081514 3407583713 1623085040 2492485708 2153911734 4190796715 4105587602 3299964026 748392134 2055340212 3482478677 2069089304 2209591246 3687896496 1808283605 1063614113 2196006108 1001053130 2361793705 386750657 544787907 2070043147 3492522355 1817653473 2365493592 1776829521 1111589226 4225535358 970746285 1041822689 3249593730 2635517778 1349404371 145132223 3971389018 1125811580 1940589761 1330187330 1632000681 458960400 1844746411 3002910081 3264290030 3352799628 3451705997 3853936360 1235817903 1473766194 1643126255 4037269962 834015768 3561180005 1624841362 1448193933 4160973526 3048151566 1268074795 3701736585 1612561965 3495751822 1836302499 2552290029 3740013490 3702778986 1333569499 1384322711 2156795351 2845548066 3139407478 1229948048 3652683001 3824447973 2765717472 671469833 1991211213 3703226390 2465181325 4064274262 2798682538 1655169011 1446001261 4229842152 3334320796 3570652111 2024275986 1738029072 3866488780 351305911 2776110363 1784127093 2932102827 3038704301 1091846497 2497339299 3597768989 2694774223 3312474896 2508284650 887457425 3336782348 1818554990 4141319113 2465001609 758101453 24528629 4162086635 3698354670 1217461495 2835942078 1292403685 3403206829 3861712103 3364540414 4055644647 3657950443 2411108509 231466849 982812253 1472087852 1444686827 892147058 3362472511 1389197597 1637669577 3298839504 3010502061 3099367770 598953101 1745420609 1086692612 172874857 3862875565 3592185580 2664408778 1891725319 2993351823 134888833 682272940 437516842 714385538 4013684893 806830938 1767381871 852656626 1838082355 1830586444 500909625 1288670181 3245924618 2801587711 1873830374 1284632066 1323769431 4133187524 4047429172 1730886679 3389155918 1342231520 2632307555 3638704757 1164451634 751607331 925908874 1480404571 2396739098 2603147832 170333065 2104715515 3008652333 3620153085 1112210451 306551924 615326957 2233519629 1637905903 3586427935 3817928115 3523275138 3382720816 490318937 3865121467 3619030967 1724921426 2777272077 2192076505 3295703614 1626899137 2485879926 4117820119 3191914628 1520124365 1748273201 410807765 2943673150 2549256628 272819046 3000646815 1287554243 1357519277 1259158257 123897643 852110574 1652935967 4139871726 862395248 373137308 657498764 4050711907 3287896032 1251415695 2510096433 2021782004 548666707 1249036319 3384098769 3352318670 339058558 1777217366 2604209148 679048721 1129979060 2767150516 3538934669 1088011082 4205953478 2911967078 1133737559 1040946571 3463424588 2457284092 3459481241 758401180 2047350387 2644513958 2002966213 2473611504 2203371658 2240400929 3341384703 177730497 1632950035 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 |      212 |      100 |      979      0 |        0 |        0
0.08/0.12	c  0.0s |       2 |      474 |      250 |     1077      0 |        0 |        0
0.08/0.16	c  0.1s |       3 |      830 |      475 |     1185      0 |        0 |        0
0.18/0.22	c  0.1s |       4 |     1331 |      813 |     1304      0 |        0 |        0
0.29/0.33	c  0.2s |       5 |     2098 |     1320 |     1435      0 |        0 |        0
0.49/0.51	c  0.4s |       6 |     3223 |     2081 |     1737      1 |        0 |        0
0.79/0.81	c  0.7s |       7 |     4842 |     3223 |     1911      2 |        0 |        0
1.19/1.29	c  1.2s |       8 |     7458 |     4936 |     2103      4 |        0 |        0
1.89/1.93	c  1.9s |       9 |    11276 |     7506 |     2314      6 |        0 |        0
2.79/2.83	c  2.8s |      10 |    17295 |    11361 |     2546      9 |        0 |        0
4.19/4.30	c  4.2s |      11 |    26211 |    17144 |     2801     12 |        1 |       11
5.89/5.95	c  5.9s |      11 |    38277 |    24143 |     2801     15 |        2 |       22
5.89/5.95	c #cpu_time = 5.858s
5.89/5.95	c #wall_clock_time = 5.873s
5.89/5.95	c #decision = 38277
5.89/5.95	c #random_decision = 121
5.89/5.95	c #conflict = 24143
5.89/5.95	c #restart = 11
5.89/5.95	s SATISFIABLE
5.89/5.95	v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10
5.89/5.95	v -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20
5.89/5.95	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
5.89/5.95	v -x31 x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40
5.89/5.95	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
5.89/5.95	v -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
5.89/5.95	v -x61 -x62 x63 -x64 -x65 -x66 x67 -x68 -x69 -x70
5.89/5.95	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
5.89/5.95	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 x90
5.89/5.95	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
5.89/5.95	v -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110
5.89/5.95	v -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
5.89/5.95	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
5.89/5.95	v x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140
5.89/5.95	v -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150
5.89/5.95	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160
5.89/5.95	v -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170
5.89/5.95	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180
5.89/5.95	v -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190
5.89/5.95	v -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
5.89/5.95	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210
5.89/5.95	v -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 -x220
5.89/5.95	v -x221 -x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
5.89/5.95	v -x231
5.89/5.95	c total CPU time = 5.936s
5.89/5.95	c total wall clock time = 5.952s

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

pid=1535
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: 0.58 0.21 0.12 3/179 1538
/proc/meminfo: memFree=30215992/32872528 swapFree=681964/737152
[pid=1538] ppid=1535 vsize=325052 CPUtime=0 cores=0,2,4,6
/proc/1538/stat : 1538 (toysat) R 1535 1538 1377 0 -1 4202496 1138 0 0 0 0 0 0 0 20 0 4 0 22660928 332853248 2009 33554432000 4194304 16246674 140736341475360 140736341474784 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1538/statm: 81775 2017 441 2943 0 78669 0
[pid=1538/tid=1539] ppid=1535 vsize=500156 CPUtime=0 cores=0,2,4,6
/proc/1538/task/1539/stat : 1539 (toysat) S 1535 1538 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660928 512159744 2697 33554432000 4194304 16246674 140736341475360 140028965530864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1538/tid=1540] ppid=1535 vsize=505276 CPUtime=0 cores=0,2,4,6
/proc/1538/task/1540/stat : 1540 (toysat) S 1535 1538 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22660928 517402624 2715 33554432000 4194304 16246674 140736341475360 140028885839088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1538/tid=1541] ppid=1535 vsize=509372 CPUtime=0 cores=0,2,4,6
/proc/1538/task/1541/stat : 1541 (toysat) S 1535 1538 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22660928 521596928 2730 33554432000 4194304 16246674 140736341475360 140028875365552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 0.58 0.21 0.12 3/179 1538
/proc/meminfo: memFree=30215992/32872528 swapFree=681964/737152
[pid=1538] ppid=1535 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/1538/stat : 1538 (toysat) R 1535 1538 1377 0 -1 4202496 25034 0 0 0 5 3 0 0 20 0 4 0 22660928 1247350784 25894 33554432000 4194304 16246674 140736341475360 140736341474784 5532301 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1538/statm: 304529 25901 724 2943 0 301423 0
[pid=1538/tid=1539] ppid=1535 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1538/task/1539/stat : 1539 (toysat) S 1535 1538 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660928 1247350784 25907 33554432000 4194304 16246674 140736341475360 140028965530864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1538/tid=1540] ppid=1535 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1538/task/1540/stat : 1540 (toysat) S 1535 1538 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22660928 1247350784 25912 33554432000 4194304 16246674 140736341475360 140028885839088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1538/tid=1541] ppid=1535 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1538/task/1541/stat : 1541 (toysat) S 1535 1538 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22660928 1247350784 25917 33554432000 4194304 16246674 140736341475360 140028875365552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200511 s]
/proc/loadavg: 0.58 0.21 0.12 3/179 1538
/proc/meminfo: memFree=30215992/32872528 swapFree=681964/737152
[pid=1538] ppid=1535 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/1538/stat : 1538 (toysat) R 1535 1538 1377 0 -1 4202496 40700 0 0 0 12 6 0 0 20 0 4 0 22660928 1247350784 41561 33554432000 4194304 16246674 140736341475360 140736341474784 12874965 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1538/statm: 304529 41567 724 2943 0 301423 0
[pid=1538/tid=1539] ppid=1535 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1538/task/1539/stat : 1539 (toysat) S 1535 1538 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660928 1247350784 41572 33554432000 4194304 16246674 140736341475360 140028965530864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1538/tid=1540] ppid=1535 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1538/task/1540/stat : 1540 (toysat) S 1535 1538 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22660928 1247350784 41574 33554432000 4194304 16246674 140736341475360 140028885839088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1538/tid=1541] ppid=1535 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1538/task/1541/stat : 1541 (toysat) S 1535 1538 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22660928 1247350784 41580 33554432000 4194304 16246674 140736341475360 140028875365552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300485 s]
/proc/loadavg: 0.58 0.21 0.12 3/179 1538
/proc/meminfo: memFree=30215992/32872528 swapFree=681964/737152
[pid=1538] ppid=1535 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/1538/stat : 1538 (toysat) R 1535 1538 1377 0 -1 4202496 56454 0 0 0 20 9 0 0 20 0 4 0 22660928 1247350784 57314 33554432000 4194304 16246674 140736341475360 140736341474784 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1538/statm: 304529 57317 724 2943 0 301423 0
[pid=1538/tid=1539] ppid=1535 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1538/task/1539/stat : 1539 (toysat) S 1535 1538 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660928 1247350784 57321 33554432000 4194304 16246674 140736341475360 140028965530864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1538/tid=1540] ppid=1535 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1538/task/1540/stat : 1540 (toysat) S 1535 1538 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22660928 1247350784 57328 33554432000 4194304 16246674 140736341475360 140028885839088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1538/tid=1541] ppid=1535 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1538/task/1541/stat : 1541 (toysat) S 1535 1538 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22660928 1247350784 57331 33554432000 4194304 16246674 140736341475360 140028875365552 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

[startup+0.700398 s]
/proc/loadavg: 0.58 0.21 0.12 3/179 1538
/proc/meminfo: memFree=30215992/32872528 swapFree=681964/737152
[pid=1538] ppid=1535 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/1538/stat : 1538 (toysat) R 1535 1538 1377 0 -1 4202496 119429 0 0 0 51 18 0 0 20 0 4 0 22660928 1247350784 120289 33554432000 4194304 16246674 140736341475360 140736341457280 13194067 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1538/statm: 304529 120297 730 2943 0 301423 0
[pid=1538/tid=1539] ppid=1535 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1538/task/1539/stat : 1539 (toysat) S 1535 1538 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660928 1247350784 120301 33554432000 4194304 16246674 140736341475360 140028965530864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1538/tid=1540] ppid=1535 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1538/task/1540/stat : 1540 (toysat) S 1535 1538 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22660928 1247350784 120306 33554432000 4194304 16246674 140736341475360 140028885839088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1538/tid=1541] ppid=1535 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1538/task/1541/stat : 1541 (toysat) S 1535 1538 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22660928 1247350784 120310 33554432000 4194304 16246674 140736341475360 140028875365552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50039 s]
/proc/loadavg: 0.69 0.24 0.13 3/183 1545
/proc/meminfo: memFree=29485380/32872528 swapFree=681964/737152
[pid=1538] ppid=1535 vsize=1221188 CPUtime=1.49 cores=0,2,4,6
/proc/1538/stat : 1538 (toysat) R 1535 1538 1377 0 -1 4202496 246147 0 0 0 114 35 0 0 20 0 4 0 22660928 1250496512 246987 33554432000 4194304 16246674 140736341475360 140736341474672 5754696 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1538/statm: 305297 246987 797 2943 0 302191 0
[pid=1538/tid=1539] ppid=1535 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/1538/task/1539/stat : 1539 (toysat) S 1535 1538 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660928 1250496512 246987 33554432000 4194304 16246674 140736341475360 140028965530864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1538/tid=1540] ppid=1535 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/1538/task/1540/stat : 1540 (toysat) S 1535 1538 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22660928 1250496512 246987 33554432000 4194304 16246674 140736341475360 140028885839088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1538/tid=1541] ppid=1535 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/1538/task/1541/stat : 1541 (toysat) S 1535 1538 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660928 1250496512 246987 33554432000 4194304 16246674 140736341475360 140028875365552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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: 0.69 0.24 0.13 3/183 1545
/proc/meminfo: memFree=29228824/32872528 swapFree=681964/737152
[pid=1538] ppid=1535 vsize=1303108 CPUtime=3.09 cores=0,2,4,6
/proc/1538/stat : 1538 (toysat) R 1535 1538 1377 0 -1 4202496 266680 0 0 0 271 38 0 0 20 0 4 0 22660928 1334382592 267520 33554432000 4194304 16246674 140736341475360 140736341458360 5822416 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1538/statm: 325777 267520 797 2943 0 322671 0
[pid=1538/tid=1539] ppid=1535 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/1538/task/1539/stat : 1539 (toysat) S 1535 1538 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660928 1334382592 267520 33554432000 4194304 16246674 140736341475360 140028965530864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1538/tid=1540] ppid=1535 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/1538/task/1540/stat : 1540 (toysat) S 1535 1538 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22660928 1334382592 267520 33554432000 4194304 16246674 140736341475360 140028885839088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1538/tid=1541] ppid=1535 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/1538/task/1541/stat : 1541 (toysat) S 1535 1538 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660928 1334382592 267520 33554432000 4194304 16246674 140736341475360 140028875365552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1303108

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

[startup+3.20048 s]
/proc/loadavg: 0.69 0.24 0.13 3/183 1545
/proc/meminfo: memFree=29228824/32872528 swapFree=681964/737152
[pid=1538] ppid=1535 vsize=1303108 CPUtime=3.19 cores=0,2,4,6
/proc/1538/stat : 1538 (toysat) R 1535 1538 1377 0 -1 4202496 266680 0 0 0 281 38 0 0 20 0 4 0 22660928 1334382592 267520 33554432000 4194304 16246674 140736341475360 140736341458360 5754764 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1538/statm: 325777 267520 797 2943 0 322671 0
[pid=1538/tid=1539] ppid=1535 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/1538/task/1539/stat : 1539 (toysat) S 1535 1538 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660928 1334382592 267520 33554432000 4194304 16246674 140736341475360 140028965530864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1538/tid=1540] ppid=1535 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/1538/task/1540/stat : 1540 (toysat) S 1535 1538 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22660928 1334382592 267520 33554432000 4194304 16246674 140736341475360 140028885839088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1538/tid=1541] ppid=1535 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/1538/task/1541/stat : 1541 (toysat) S 1535 1538 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660928 1334382592 267520 33554432000 4194304 16246674 140736341475360 140028875365552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 1303108

[startup+4.80039 s]
/proc/loadavg: 0.69 0.24 0.13 3/183 1545
/proc/meminfo: memFree=29143292/32872528 swapFree=681964/737152
[pid=1538] ppid=1535 vsize=1306180 CPUtime=4.79 cores=0,2,4,6
/proc/1538/stat : 1538 (toysat) R 1535 1538 1377 0 -1 4202496 267487 0 0 0 441 38 0 0 20 0 4 0 22660928 1337528320 268327 33554432000 4194304 16246674 140736341475360 140736341457280 5523475 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1538/statm: 326545 268327 797 2943 0 323439 0
[pid=1538/tid=1539] ppid=1535 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1538/task/1539/stat : 1539 (toysat) S 1535 1538 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660928 1337528320 268327 33554432000 4194304 16246674 140736341475360 140028965530864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1538/tid=1540] ppid=1535 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1538/task/1540/stat : 1540 (toysat) S 1535 1538 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22660928 1337528320 268327 33554432000 4194304 16246674 140736341475360 140028885839088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1538/tid=1541] ppid=1535 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1538/task/1541/stat : 1541 (toysat) S 1535 1538 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660928 1337528320 268327 33554432000 4194304 16246674 140736341475360 140028875365552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.79
Current children cumulated vsize (KiB) 1306180

[startup+5.60744 s]
/proc/loadavg: 0.69 0.24 0.13 3/183 1545
/proc/meminfo: memFree=29139820/32872528 swapFree=681964/737152
[pid=1538] ppid=1535 vsize=1309252 CPUtime=5.6 cores=0,2,4,6
/proc/1538/stat : 1538 (toysat) R 1535 1538 1377 0 -1 4202496 268249 0 0 0 522 38 0 0 20 0 4 0 22660928 1340674048 269089 33554432000 4194304 16246674 140736341475360 140736341457280 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1538/statm: 327313 269089 797 2943 0 324207 0
[pid=1538/tid=1539] ppid=1535 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/1538/task/1539/stat : 1539 (toysat) S 1535 1538 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660928 1340674048 269089 33554432000 4194304 16246674 140736341475360 140028965530864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1538/tid=1540] ppid=1535 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/1538/task/1540/stat : 1540 (toysat) S 1535 1538 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22660928 1340674048 269089 33554432000 4194304 16246674 140736341475360 140028885839088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1538/tid=1541] ppid=1535 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/1538/task/1541/stat : 1541 (toysat) S 1535 1538 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660928 1340674048 269089 33554432000 4194304 16246674 140736341475360 140028875365552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 5.6
Current children cumulated vsize (KiB) 1309252

[startup+6.00036 s]
/proc/loadavg: 0.69 0.24 0.13 3/183 1545
/proc/meminfo: memFree=29139820/32872528 swapFree=681964/737152
[pid=1538] ppid=1535 vsize=0 CPUtime=5.99 cores=0,2,4,6
/proc/1538/stat : 1538 (toysat) Z 1535 1538 1377 0 -1 4202508 268256 0 0 0 557 42 0 0 20 0 2 0 22660928 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1538/statm: 0 0 0 0 0 0 0
[pid=1538/tid=1541] ppid=1535 vsize=0 CPUtime=0.03 cores=0,2,4,6
/proc/1538/task/1541/stat : 1541 (toysat) R 1535 1538 1377 0 -1 4202564 2 0 0 0 0 3 0 0 20 0 2 0 22660928 0 0 33554432000 0 0 0 0 0 256 0 33554432 0 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 6.01613
CPU time (s): 6.00309
CPU user time (s): 5.57015
CPU system time (s): 0.432934
CPU usage (%): 99.7832
Max. virtual memory (cumulated for all children) (KiB): 1309252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.57015
system time used= 0.432934
maximum resident set size= 1076376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268256
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22
involuntary context switches= 9

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.020996 second user time and 0.025996 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-18 01:28:37
IDJOB=4099179
IDBENCH=1326
IDSOLVER=2542
FILE ID=node112/4099179-1466206117
RUNJOBID= node112-1466206100-1394
PBS_JOBID= 19918164
Free space on /tmp= 71696 MiB

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

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

MD5SUM BENCH= 2c89f98280dbfe67701e28e9614a6259
RANDOM SEED=1497442099

node112.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.734
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.46
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.734
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.734
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	: 5321.48
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.734
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.55
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.734
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.734
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.734
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.734
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30216792 kB
Buffers:           35876 kB
Cached:            97064 kB
SwapCached:         1940 kB
Active:          1158312 kB
Inactive:          54724 kB
Active(anon):    1081100 kB
Inactive(anon):     1528 kB
Active(file):      77212 kB
Inactive(file):    53196 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67096920 kB
Dirty:             33104 kB
Writeback:             4 kB
AnonPages:       1816544 kB
Mapped:            10352 kB
Shmem:                 0 kB
Slab:             570760 kB
SReclaimable:      14112 kB
SUnreclaim:       556648 kB
KernelStack:        1456 kB
PageTables:         7540 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1961304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     57344 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= 71680 MiB
End job on node112 at 2016-06-18 01:28:43