Trace number 4099011

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 5.42117 5.42422

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554373.opb
MD5SUMbe90946aaf59814d5cb6eda02cac5041
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.027995
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 601
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:17+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-4099011-1466206097.opb"]
0.00/0.01	c use --random-gen="3847176118 314342117 2368438244 136462039 3387084236 1979674290 3921039399 2716195462 2242421178 1085622146 3171725207 3626380468 2513018736 3453933269 1946073940 842637310 3806342403 2759495353 177499172 1859414186 2861561156 3843497280 747797759 3994974554 1464174281 1171381633 3303087949 4236007605 909809763 946982990 23920301 497228446 4214386068 3892274820 1708209168 3001386960 679184267 2536349948 3002854270 2689294817 3099291763 3270597873 3354819230 1054080337 3728055594 2173917725 4263365185 1269247236 4158310803 3523076849 1150277618 3032110380 2577874328 2949237737 3125627439 1530786474 4089511697 143544587 4066156225 385845363 2969696754 4008404697 3930436617 4265685807 2833008450 1059760465 3854925187 860019604 3500153957 2199587932 775229114 476838531 2809801039 339494621 1211298912 3189441798 2340618941 3655779451 1419765744 2680394111 2756500143 664275208 1540467426 3601181851 329728311 1567024438 1037291287 2050576624 2112847831 2509281884 3603406883 1571162849 3264002777 3995522013 3666664688 969079082 1268123456 2485889862 2968533159 904077032 3151701527 3311085838 1311868987 2838465270 854765275 643861235 1278724960 1616590750 1560722210 399535772 3712388092 1585013542 1783252970 3671022905 2457200390 2489785213 1996603084 3325155725 167149242 648208639 875354832 4006127397 1085918597 3969643716 1958017258 4210739451 2625676641 4229569968 833018205 360162339 3230273133 430653492 2936349316 2444840926 2224786190 285894964 275362254 2807973716 4079671173 1664392559 2475290494 1439538751 1101708371 785430733 615432400 3261646889 1845432831 2902149096 179581392 2139440 2900912247 1483151884 1500649555 3818221560 453293724 1327293632 1877272445 2135945160 1250904876 1799902303 374504480 3072743392 2192589241 1068591700 768181204 4245707754 2697858370 2654287890 1933112130 706009625 2832235583 3189187601 585422730 866187265 3076858426 2969247191 885104042 2511158500 1656721776 2685999558 4236925549 1288919641 2852004365 1406157937 3573236401 469311465 4216575676 2869235808 162344815 317840107 88021641 65631305 55772363 2053352659 3355340437 318884273 3938600437 1286358830 1207000754 2617755597 3873023511 4252586873 1753972409 1999007844 367173028 3900102082 4113093229 3194150310 2533802176 705827184 3386680251 3395814024 3873810024 2948779733 4253204153 47546369 1444014478 3012531441 2951637596 2175145983 159664833 2279194583 325921834 64917838 2572846268 3607557828 1848108695 1058418009 2170655917 3679340975 1585043504 1173254561 4178457814 561798645 2181128468 303064846 1693320725 1104203815 2875098176 3427757637 3966687301 689943416 3136902599 544560473 4141876049 208561681 2099814522 2994705520 1686901831 311746277 1949262236 3254628493 2176933862 2837522593 1312908969 3889252419 255 362436" option to reproduce the execution
0.00/0.03	c #vars 231
0.00/0.03	c #constraints 2707
0.00/0.07	c Solving starts ...
0.00/0.07	c ============================[ Search Statistics ]============================
0.00/0.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.07	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.07	c =============================================================================
0.00/0.08	c  0.0s |       0 |        0 |        0 |      979      0 |        0 |        0
0.00/0.09	c  0.0s |       1 |      256 |      100 |      979      0 |        0 |        0
0.09/0.12	c  0.0s |       2 |      467 |      250 |     1077      0 |        0 |        0
0.09/0.17	c  0.1s |       3 |      809 |      475 |     1185      0 |        0 |        0
0.19/0.25	c  0.2s |       4 |     1347 |      813 |     1304      0 |        0 |        0
0.29/0.38	c  0.3s |       5 |     2031 |     1320 |     1435      0 |        0 |        0
0.59/0.62	c  0.5s |       6 |     3068 |     2081 |     1737      1 |        0 |        0
0.89/0.96	c  0.9s |       7 |     4554 |     3223 |     1911      2 |        0 |        0
1.39/1.45	c  1.4s |       8 |     6975 |     4936 |     2103      4 |        0 |        0
1.99/2.03	c  2.0s |       9 |    10709 |     7506 |     2314      6 |        0 |        0
2.89/2.90	c  2.8s |      10 |    16194 |    11361 |     2546      9 |        0 |        0
4.29/4.32	c  4.2s |      11 |    25125 |    17144 |     2801     13 |        0 |        0
5.29/5.36	c  5.3s |      11 |    32691 |    21646 |     2801     16 |        1 |       11
5.29/5.36	c #cpu_time = 5.271s
5.29/5.36	c #wall_clock_time = 5.285s
5.29/5.36	c #decision = 32691
5.29/5.36	c #random_decision = 99
5.29/5.36	c #conflict = 21646
5.29/5.36	c #restart = 11
5.29/5.36	s SATISFIABLE
5.29/5.36	v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10
5.29/5.36	v -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20
5.29/5.36	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
5.29/5.36	v -x31 x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40
5.29/5.36	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
5.29/5.36	v -x51 x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60
5.29/5.36	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
5.29/5.36	v -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80
5.29/5.36	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90
5.29/5.36	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
5.29/5.36	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 -x109 -x110
5.29/5.36	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
5.29/5.36	v x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 -x130
5.29/5.36	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140
5.29/5.36	v -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
5.29/5.36	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160
5.29/5.36	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170
5.29/5.36	v -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180
5.29/5.36	v -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190
5.29/5.36	v -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
5.29/5.36	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
5.29/5.36	v x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220
5.29/5.36	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230
5.29/5.36	v -x231
5.29/5.36	c total CPU time = 5.349s
5.29/5.36	c total wall clock time = 5.362s

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

pid=830
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.64 0.29 0.21 4/171 833
/proc/meminfo: memFree=30230620/32872528 swapFree=17888/1798212
[pid=833] ppid=830 vsize=385468 CPUtime=0 cores=0,2,4,6
/proc/833/stat : 833 (toysat) R 830 833 579 0 -1 4202496 1376 0 0 0 0 0 0 0 20 0 4 0 22656867 394719232 2248 33554432000 4194304 16246674 140735180000096 140735179999520 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/833/statm: 97135 2257 441 2943 0 94029 0
[pid=833/tid=834] ppid=830 vsize=660924 CPUtime=0 cores=0,2,4,6
/proc/833/task/834/stat : 834 (toysat) S 830 833 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22656868 676786176 3325 33554432000 4194304 16246674 140735180000096 140554507627760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=833/tid=835] ppid=830 vsize=666044 CPUtime=0 cores=0,2,4,6
/proc/833/task/835/stat : 835 (toysat) S 830 833 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656868 682029056 3343 33554432000 4194304 16246674 140735180000096 140554497137904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=833/tid=836] ppid=830 vsize=670140 CPUtime=0 cores=0,2,4,6
/proc/833/task/836/stat : 836 (toysat) S 830 833 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656868 686223360 3360 33554432000 4194304 16246674 140735180000096 140554415369392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100162 s]
/proc/loadavg: 0.64 0.29 0.21 4/171 833
/proc/meminfo: memFree=30230620/32872528 swapFree=17888/1798212
[pid=833] ppid=830 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/833/stat : 833 (toysat) R 830 833 579 0 -1 4202496 25412 0 0 0 6 3 0 0 20 0 4 0 22656867 1247350784 26272 33554432000 4194304 16246674 140735180000096 140735179983088 6843278 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/833/statm: 304529 26276 728 2943 0 301423 0
[pid=833/tid=834] ppid=830 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/833/task/834/stat : 834 (toysat) S 830 833 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22656868 1247350784 26281 33554432000 4194304 16246674 140735180000096 140554507627760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=833/tid=835] ppid=830 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/833/task/835/stat : 835 (toysat) S 830 833 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656868 1247350784 26286 33554432000 4194304 16246674 140735180000096 140554497137904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=833/tid=836] ppid=830 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/833/task/836/stat : 836 (toysat) S 830 833 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656868 1247350784 26290 33554432000 4194304 16246674 140735180000096 140554415369392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200475 s]
/proc/loadavg: 0.64 0.29 0.21 4/171 833
/proc/meminfo: memFree=30230620/32872528 swapFree=17888/1798212
[pid=833] ppid=830 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/833/stat : 833 (toysat) R 830 833 579 0 -1 4202496 41580 0 0 0 13 6 0 0 20 0 4 0 22656867 1247350784 42440 33554432000 4194304 16246674 140735180000096 140735179983088 5677277 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/833/statm: 304529 42445 728 2943 0 301423 0
[pid=833/tid=834] ppid=830 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/833/task/834/stat : 834 (toysat) S 830 833 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22656868 1247350784 42451 33554432000 4194304 16246674 140735180000096 140554507627760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=833/tid=835] ppid=830 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/833/task/835/stat : 835 (toysat) S 830 833 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656868 1247350784 42460 33554432000 4194304 16246674 140735180000096 140554497137904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=833/tid=836] ppid=830 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/833/task/836/stat : 836 (toysat) S 830 833 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656868 1247350784 42466 33554432000 4194304 16246674 140735180000096 140554415369392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.30048 s]
/proc/loadavg: 0.64 0.29 0.21 4/171 833
/proc/meminfo: memFree=30230620/32872528 swapFree=17888/1798212
[pid=833] ppid=830 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/833/stat : 833 (toysat) R 830 833 579 0 -1 4202496 57186 0 0 0 20 9 0 0 20 0 4 0 22656867 1247350784 58047 33554432000 4194304 16246674 140735180000096 140735179983088 5677541 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/833/statm: 304529 58052 728 2943 0 301423 0
[pid=833/tid=834] ppid=830 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/833/task/834/stat : 834 (toysat) S 830 833 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22656868 1247350784 58057 33554432000 4194304 16246674 140735180000096 140554507627760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=833/tid=835] ppid=830 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/833/task/835/stat : 835 (toysat) S 830 833 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656868 1247350784 58060 33554432000 4194304 16246674 140735180000096 140554497137904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=833/tid=836] ppid=830 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/833/task/836/stat : 836 (toysat) S 830 833 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656868 1247350784 58065 33554432000 4194304 16246674 140735180000096 140554415369392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700296 s]
/proc/loadavg: 0.64 0.29 0.21 4/171 833
/proc/meminfo: memFree=30230620/32872528 swapFree=17888/1798212
[pid=833] ppid=830 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/833/stat : 833 (toysat) R 830 833 579 0 -1 4202496 119730 0 0 0 52 17 0 0 20 0 4 0 22656867 1247350784 120590 33554432000 4194304 16246674 140735180000096 140735179983088 5677541 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/833/statm: 304529 120595 734 2943 0 301423 0
[pid=833/tid=834] ppid=830 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/833/task/834/stat : 834 (toysat) S 830 833 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22656868 1247350784 120596 33554432000 4194304 16246674 140735180000096 140554507627760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=833/tid=835] ppid=830 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/833/task/835/stat : 835 (toysat) S 830 833 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656868 1247350784 120600 33554432000 4194304 16246674 140735180000096 140554497137904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=833/tid=836] ppid=830 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/833/task/836/stat : 836 (toysat) S 830 833 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656868 1247350784 120603 33554432000 4194304 16246674 140735180000096 140554415369392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 0.64 0.29 0.21 4/183 878
/proc/meminfo: memFree=29082580/32872528 swapFree=17888/1798212
[pid=833] ppid=830 vsize=1218116 CPUtime=1.48 cores=0,2,4,6
/proc/833/stat : 833 (toysat) R 830 833 579 0 -1 4202496 242682 0 0 0 116 32 0 0 20 0 4 0 22656867 1247350784 243542 33554432000 4194304 16246674 140735180000096 140735179982016 5677541 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/833/statm: 304529 243547 734 2943 0 301423 0
[pid=833/tid=834] ppid=830 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/833/task/834/stat : 834 (toysat) S 830 833 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22656868 1247350784 243553 33554432000 4194304 16246674 140735180000096 140554507627760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=833/tid=835] ppid=830 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/833/task/835/stat : 835 (toysat) S 830 833 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656868 1247350784 243557 33554432000 4194304 16246674 140735180000096 140554497137904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=833/tid=836] ppid=830 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/833/task/836/stat : 836 (toysat) S 830 833 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656868 1247350784 243559 33554432000 4194304 16246674 140735180000096 140554415369392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1218116

[startup+3.1004 s]
/proc/loadavg: 0.75 0.31 0.22 4/183 878
/proc/meminfo: memFree=28257112/32872528 swapFree=17888/1798212
[pid=833] ppid=830 vsize=1303108 CPUtime=3.09 cores=0,2,4,6
/proc/833/stat : 833 (toysat) R 830 833 579 0 -1 4202496 266649 0 0 0 273 36 0 0 20 0 4 0 22656867 1334382592 267489 33554432000 4194304 16246674 140735180000096 140735179983096 5712604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/833/statm: 325777 267489 800 2943 0 322671 0
[pid=833/tid=834] ppid=830 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/833/task/834/stat : 834 (toysat) S 830 833 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22656868 1334382592 267489 33554432000 4194304 16246674 140735180000096 140554507627760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=833/tid=835] ppid=830 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/833/task/835/stat : 835 (toysat) S 830 833 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656868 1334382592 267489 33554432000 4194304 16246674 140735180000096 140554497137904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=833/tid=836] ppid=830 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/833/task/836/stat : 836 (toysat) S 830 833 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656868 1334382592 267489 33554432000 4194304 16246674 140735180000096 140554415369392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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 833 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.38544 s]
/proc/loadavg: 0.75 0.31 0.22 4/183 878
/proc/meminfo: memFree=28257112/32872528 swapFree=17888/1798212
[pid=833] ppid=830 vsize=1303108 CPUtime=3.37 cores=0,2,4,6
/proc/833/stat : 833 (toysat) R 830 833 579 0 -1 4202496 266665 0 0 0 301 36 0 0 20 0 4 0 22656867 1334382592 267505 33554432000 4194304 16246674 140735180000096 140735179983096 5670496 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/833/statm: 325777 267505 800 2943 0 322671 0
[pid=833/tid=834] ppid=830 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/833/task/834/stat : 834 (toysat) S 830 833 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22656868 1334382592 267505 33554432000 4194304 16246674 140735180000096 140554507627760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=833/tid=835] ppid=830 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/833/task/835/stat : 835 (toysat) S 830 833 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656868 1334382592 267505 33554432000 4194304 16246674 140735180000096 140554497137904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=833/tid=836] ppid=830 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/833/task/836/stat : 836 (toysat) S 830 833 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656868 1334382592 267505 33554432000 4194304 16246674 140735180000096 140554415369392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.37
Current children cumulated vsize (KiB) 1303108

[startup+4.10039 s]
/proc/loadavg: 0.75 0.31 0.22 4/183 878
/proc/meminfo: memFree=28092088/32872528 swapFree=17888/1798212
[pid=833] ppid=830 vsize=1306180 CPUtime=4.09 cores=0,2,4,6
/proc/833/stat : 833 (toysat) R 830 833 579 0 -1 4202496 267512 0 0 0 373 36 0 0 20 0 4 0 22656867 1337528320 268352 33554432000 4194304 16246674 140735180000096 140735179982016 5824017 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/833/statm: 326545 268352 802 2943 0 323439 0
[pid=833/tid=834] ppid=830 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/833/task/834/stat : 834 (toysat) S 830 833 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22656868 1337528320 268352 33554432000 4194304 16246674 140735180000096 140554507627760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=833/tid=835] ppid=830 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/833/task/835/stat : 835 (toysat) S 830 833 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656868 1337528320 268352 33554432000 4194304 16246674 140735180000096 140554497137904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=833/tid=836] ppid=830 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/833/task/836/stat : 836 (toysat) S 830 833 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656868 1337528320 268352 33554432000 4194304 16246674 140735180000096 140554415369392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 1306180

[startup+4.9004 s]
/proc/loadavg: 0.75 0.31 0.22 3/175 886
/proc/meminfo: memFree=29157652/32872528 swapFree=17888/1798212
[pid=833] ppid=830 vsize=1306180 CPUtime=4.89 cores=0,2,4,6
/proc/833/stat : 833 (toysat) R 830 833 579 0 -1 4202496 267515 0 0 0 453 36 0 0 20 0 4 0 22656867 1337528320 268355 33554432000 4194304 16246674 140735180000096 140735179982016 5677537 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/833/statm: 326545 268355 802 2943 0 323439 0
[pid=833/tid=834] ppid=830 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/833/task/834/stat : 834 (toysat) S 830 833 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22656868 1337528320 268355 33554432000 4194304 16246674 140735180000096 140554507627760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=833/tid=835] ppid=830 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/833/task/835/stat : 835 (toysat) S 830 833 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656868 1337528320 268355 33554432000 4194304 16246674 140735180000096 140554497137904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=833/tid=836] ppid=830 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/833/task/836/stat : 836 (toysat) S 830 833 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656868 1337528320 268355 33554432000 4194304 16246674 140735180000096 140554415369392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.89
Current children cumulated vsize (KiB) 1306180

[startup+5.3004 s]
/proc/loadavg: 0.75 0.31 0.22 3/175 886
/proc/meminfo: memFree=29157652/32872528 swapFree=17888/1798212
[pid=833] ppid=830 vsize=1306180 CPUtime=5.29 cores=0,2,4,6
/proc/833/stat : 833 (toysat) R 830 833 579 0 -1 4202496 267581 0 0 0 493 36 0 0 20 0 4 0 22656867 1337528320 268421 33554432000 4194304 16246674 140735180000096 140735179999192 5523416 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/833/statm: 326545 268421 802 2943 0 323439 0
[pid=833/tid=834] ppid=830 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/833/task/834/stat : 834 (toysat) S 830 833 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22656868 1337528320 268421 33554432000 4194304 16246674 140735180000096 140554507627760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=833/tid=835] ppid=830 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/833/task/835/stat : 835 (toysat) S 830 833 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656868 1337528320 268421 33554432000 4194304 16246674 140735180000096 140554497137904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=833/tid=836] ppid=830 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/833/task/836/stat : 836 (toysat) S 830 833 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656868 1337528320 268421 33554432000 4194304 16246674 140735180000096 140554415369392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.29
Current children cumulated vsize (KiB) 1306180

[startup+5.4004 s]
/proc/loadavg: 0.75 0.31 0.22 3/175 886
/proc/meminfo: memFree=29157652/32872528 swapFree=17888/1798212
[pid=833] ppid=830 vsize=0 CPUtime=5.38 cores=0,2,4,6
/proc/833/stat : 833 (toysat) R 830 833 579 0 -1 4202500 267588 0 0 0 499 39 0 0 20 0 1 0 22656867 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/833/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.38
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 5.42422
CPU time (s): 5.42117
CPU user time (s): 4.99924
CPU system time (s): 0.421935
CPU usage (%): 99.9438
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.99924
system time used= 0.421935
maximum resident set size= 1073704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267588
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= 23
involuntary context switches= 7

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.048992 second user time and 0.026995 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-18 01:28:17
IDJOB=4099011
IDBENCH=1290
IDSOLVER=2542
FILE ID=node123/4099011-1466206097
RUNJOBID= node123-1466206081-595
PBS_JOBID= 19918154
Free space on /tmp= 71620 MiB

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

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

MD5SUM BENCH= be90946aaf59814d5cb6eda02cac5041
RANDOM SEED=2062577387

node123.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.791
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.58
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.791
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.791
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.56
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.791
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.57
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.791
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.56
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.791
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.56
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.791
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.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		: 2666.791
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:        30231148 kB
Buffers:           36436 kB
Cached:            96516 kB
SwapCached:         1640 kB
Active:            82628 kB
Inactive:          54344 kB
Active(anon):       4904 kB
Inactive(anon):     1100 kB
Active(file):      77724 kB
Inactive(file):    53244 kB
Unevictable:     1798212 kB
Mlocked:           17888 kB
SwapTotal:      67108856 kB
SwapFree:       67099272 kB
Dirty:             33588 kB
Writeback:             0 kB
AnonPages:       1803420 kB
Mapped:             7144 kB
Shmem:                 0 kB
Slab:             571808 kB
SReclaimable:      14920 kB
SUnreclaim:       556888 kB
KernelStack:        1488 kB
PageTables:         7968 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1895288 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1785856 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= 71620 MiB
End job on node123 at 2016-06-18 01:28:23