Trace number 4099102

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 7.38088 7.38469

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900544463.opb
MD5SUMf0a3f077b037562c6d43175608b1ae5a
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.030995
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 653
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:28+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-4099102-1466206108.opb"]
0.00/0.01	c use --random-gen="3781040732 1462065338 2719184201 3797721852 1406999360 3792975599 2272253442 3606075827 1418217577 681534269 3911561395 1358475566 580464323 170109472 4258872113 2466791748 1618928977 2344620652 2623199914 2689883785 2595196620 1853428081 2106557168 2472485635 2256849487 2531113561 2855659876 2879934377 2833279476 3227499313 277627291 2304434383 3347489131 882778680 1650386138 4287242878 3011487145 3936981304 3128245250 2090258589 2867442040 202215757 1872552061 2722146831 3020063777 3759354154 886066822 4098808055 894843587 1688226782 682936510 787804713 3039477663 1052853303 3531850073 2804656131 3871735409 1460738435 904385518 2351732818 2848328514 204219833 1846046734 2300705994 3223976136 2499330835 1208919517 295262009 2539805574 4104823773 534412414 1720890125 3982308990 3723353429 3206579592 3644964236 386805285 4165517820 2510927077 3819591466 1193958691 2702312016 1427774001 1169932015 305039367 3260458584 1536795075 1381559378 2846999777 3806572692 3393172589 2444058613 752088880 3886588092 3990129151 2070745929 632929422 2933864007 2392736440 600394947 4282244867 2937256834 4149621627 4092496212 634663378 525334642 1414234159 1507006263 4020403489 1395224812 2389057335 3460866242 1479325086 71237718 1752744895 524143673 277363792 2365581588 2177839790 3200292760 1416899318 1640984967 2627791864 242367727 146817097 3371509877 813095900 1945576408 2986087579 2496978713 651406064 578920109 2022094433 672363896 2808713061 2312546598 4188553118 1444147422 14794723 1760752449 3944425298 3363442299 3117577716 1455077859 2411128983 933978388 1933111707 2773177884 2385789929 4283273697 2704593241 2997786232 1716337827 1922516906 2339915973 2052353538 1330674102 1995937325 3064095130 2343899340 224693172 300903265 1403963122 3470479991 132865345 1922965084 2139488319 1557551704 175318856 2433309833 2529811865 2605473498 2753980911 1783491355 3723860328 1770906952 1832044316 2190888006 2880710753 307452446 3026834933 1359075883 2976624324 1536059637 3453866588 2607985190 4199221906 1931033113 1678723093 1853543755 2740643683 1502448710 3014375958 793933833 1228560417 245022393 2959906344 2561601872 4096009139 3338353724 2306779297 1559012912 2193246937 2163045658 2011652928 3445645808 2767672311 79253190 2873515260 2058024352 2060249920 2887678228 258271585 2028778392 4113532138 3940531346 4175913952 766787817 2402918100 1153545791 572542730 2316238556 3409549122 2894457470 126159777 3382165447 398123462 4270633453 2721305746 1212053107 3443870466 77002697 1399526403 856814747 1254347773 529430248 2874751454 2983305543 1141052269 1819542041 3724380023 2845131149 410042144 676310776 1298129972 381379728 1644623209 4147474164 470178127 2930026039 1415729027 3238700702 223619333 3162825438 2111097402 1289862644 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.07	c  0.0s |       0 |        0 |        0 |      979      0 |        0 |        0
0.00/0.09	c  0.0s |       1 |      320 |      100 |      979      0 |        0 |        0
0.08/0.12	c  0.0s |       2 |      528 |      250 |     1077      0 |        0 |        0
0.08/0.17	c  0.1s |       3 |      890 |      475 |     1185      0 |        0 |        0
0.19/0.26	c  0.2s |       4 |     1386 |      813 |     1304      0 |        0 |        0
0.38/0.40	c  0.3s |       5 |     2160 |     1320 |     1435      0 |        0 |        0
0.58/0.62	c  0.5s |       6 |     3388 |     2081 |     1737      1 |        0 |        0
0.88/0.92	c  0.8s |       7 |     5171 |     3223 |     1911      2 |        0 |        0
1.39/1.43	c  1.4s |       8 |     8005 |     4936 |     2103      4 |        0 |        0
1.88/1.93	c  1.9s |       9 |    12292 |     7506 |     2314      6 |        0 |        0
2.69/2.73	c  2.7s |      10 |    18540 |    11361 |     2546      8 |        1 |       11
4.09/4.12	c  4.0s |      11 |    27843 |    17144 |     2801     12 |        1 |       11
5.99/6.09	c  6.0s |      12 |    42415 |    25819 |     3082     18 |        1 |       11
7.28/7.32	c  7.2s |      12 |    52102 |    31392 |     3082     22 |        1 |       11
7.28/7.32	c #cpu_time = 7.227s
7.28/7.32	c #wall_clock_time = 7.246s
7.28/7.32	c #decision = 52102
7.28/7.32	c #random_decision = 164
7.28/7.32	c #conflict = 31392
7.28/7.32	c #restart = 12
7.28/7.32	s SATISFIABLE
7.28/7.32	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
7.28/7.32	v -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20
7.28/7.32	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 x30
7.28/7.32	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40
7.28/7.32	v -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50
7.28/7.32	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
7.28/7.32	v -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70
7.28/7.32	v x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
7.28/7.32	v x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
7.28/7.32	v -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100
7.28/7.32	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110
7.28/7.32	v -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120
7.28/7.32	v -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
7.28/7.32	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140
7.28/7.32	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150
7.28/7.32	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160
7.28/7.32	v -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170
7.28/7.32	v -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
7.28/7.32	v -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
7.28/7.32	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200
7.28/7.32	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
7.28/7.32	v x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220
7.28/7.32	v -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 -x230
7.28/7.32	v -x231
7.28/7.32	c total CPU time = 7.305s
7.28/7.32	c total wall clock time = 7.324s

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-4099102-1466206108/watcher-4099102-1466206108 -o /tmp/evaluation-result-4099102-1466206108/solver-4099102-1466206108 -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-4099102-1466206108.opb 

pid=1002
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.77 0.33 0.22 2/170 1005
/proc/meminfo: memFree=30247128/32872528 swapFree=17888/1798212
[pid=1005] ppid=1002 vsize=474556 CPUtime=0 cores=0,2,4,6
/proc/1005/stat : 1005 (toysat) R 1002 1005 579 0 -1 4202496 1730 0 0 0 0 0 0 0 20 0 4 0 22657967 485945344 1579 33554432000 4194304 16246674 140734815191312 140734815190736 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1005/statm: 119407 1589 441 2943 0 116301 0
[pid=1005/tid=1006] ppid=1002 vsize=736700 CPUtime=0 cores=0,2,4,6
/proc/1005/task/1006/stat : 1006 (toysat) S 1002 1005 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22657968 754380800 2603 33554432000 4194304 16246674 140734815191312 139719022193904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1005/tid=1007] ppid=1002 vsize=746940 CPUtime=0 cores=0,2,4,6
/proc/1005/task/1007/stat : 1007 (toysat) S 1002 1005 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22657968 764866560 2643 33554432000 4194304 16246674 140734815191312 139719011704048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1005/tid=1008] ppid=1002 vsize=752060 CPUtime=0 cores=0,2,4,6
/proc/1005/task/1008/stat : 1008 (toysat) S 1002 1005 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22657968 770109440 2661 33554432000 4194304 16246674 140734815191312 139719001230512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100165 s]
/proc/loadavg: 0.77 0.33 0.22 2/170 1005
/proc/meminfo: memFree=30247128/32872528 swapFree=17888/1798212
[pid=1005] ppid=1002 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/1005/stat : 1005 (toysat) R 1002 1005 579 0 -1 4202496 25730 0 0 0 5 3 0 0 20 0 4 0 22657967 1247350784 25569 33554432000 4194304 16246674 140734815191312 140734815174304 5677277 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1005/statm: 304529 25574 720 2943 0 301423 0
[pid=1005/tid=1006] ppid=1002 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1005/task/1006/stat : 1006 (toysat) S 1002 1005 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22657968 1247350784 25578 33554432000 4194304 16246674 140734815191312 139719022193904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1005/tid=1007] ppid=1002 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1005/task/1007/stat : 1007 (toysat) S 1002 1005 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22657968 1247350784 25583 33554432000 4194304 16246674 140734815191312 139719011704048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1005/tid=1008] ppid=1002 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1005/task/1008/stat : 1008 (toysat) S 1002 1005 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22657968 1247350784 25590 33554432000 4194304 16246674 140734815191312 139719001230512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200494 s]
/proc/loadavg: 0.77 0.33 0.22 2/170 1005
/proc/meminfo: memFree=30247128/32872528 swapFree=17888/1798212
[pid=1005] ppid=1002 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/1005/stat : 1005 (toysat) R 1002 1005 579 0 -1 4202496 42328 0 0 0 13 6 0 0 20 0 4 0 22657967 1247350784 42166 33554432000 4194304 16246674 140734815191312 140734815174304 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1005/statm: 304529 42173 720 2943 0 301423 0
[pid=1005/tid=1006] ppid=1002 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1005/task/1006/stat : 1006 (toysat) S 1002 1005 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22657968 1247350784 42179 33554432000 4194304 16246674 140734815191312 139719022193904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1005/tid=1007] ppid=1002 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1005/task/1007/stat : 1007 (toysat) S 1002 1005 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22657968 1247350784 42185 33554432000 4194304 16246674 140734815191312 139719011704048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1005/tid=1008] ppid=1002 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1005/task/1008/stat : 1008 (toysat) S 1002 1005 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22657968 1247350784 42191 33554432000 4194304 16246674 140734815191312 139719001230512 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.300473 s]
/proc/loadavg: 0.77 0.33 0.22 2/170 1005
/proc/meminfo: memFree=30247128/32872528 swapFree=17888/1798212
[pid=1005] ppid=1002 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/1005/stat : 1005 (toysat) R 1002 1005 579 0 -1 4202496 59058 0 0 0 20 9 0 0 20 0 4 0 22657967 1247350784 58896 33554432000 4194304 16246674 140734815191312 140734815174304 5523634 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1005/statm: 304529 58903 720 2943 0 301423 0
[pid=1005/tid=1006] ppid=1002 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1005/task/1006/stat : 1006 (toysat) S 1002 1005 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22657968 1247350784 58909 33554432000 4194304 16246674 140734815191312 139719022193904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1005/tid=1007] ppid=1002 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1005/task/1007/stat : 1007 (toysat) S 1002 1005 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22657968 1247350784 58914 33554432000 4194304 16246674 140734815191312 139719011704048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1005/tid=1008] ppid=1002 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1005/task/1008/stat : 1008 (toysat) S 1002 1005 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22657968 1247350784 58920 33554432000 4194304 16246674 140734815191312 139719001230512 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.700389 s]
/proc/loadavg: 0.77 0.33 0.22 2/170 1005
/proc/meminfo: memFree=30247128/32872528 swapFree=17888/1798212
[pid=1005] ppid=1002 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/1005/stat : 1005 (toysat) R 1002 1005 579 0 -1 4202496 124531 0 0 0 49 20 0 0 20 0 4 0 22657967 1247350784 124369 33554432000 4194304 16246674 140734815191312 140734815174304 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1005/statm: 304529 124376 726 2943 0 301423 0
[pid=1005/tid=1006] ppid=1002 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1005/task/1006/stat : 1006 (toysat) S 1002 1005 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22657968 1247350784 124380 33554432000 4194304 16246674 140734815191312 139719022193904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1005/tid=1007] ppid=1002 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1005/task/1007/stat : 1007 (toysat) S 1002 1005 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22657968 1247350784 124383 33554432000 4194304 16246674 140734815191312 139719011704048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1005/tid=1008] ppid=1002 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1005/task/1008/stat : 1008 (toysat) S 1002 1005 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22657968 1247350784 124389 33554432000 4194304 16246674 140734815191312 139719001230512 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.50039 s]
/proc/loadavg: 0.79 0.34 0.23 2/174 1009
/proc/meminfo: memFree=29489804/32872528 swapFree=17888/1798212
[pid=1005] ppid=1002 vsize=1221188 CPUtime=1.48 cores=0,2,4,6
/proc/1005/stat : 1005 (toysat) R 1002 1005 579 0 -1 4202496 246155 0 0 0 112 36 0 0 20 0 4 0 22657967 1250496512 245973 33554432000 4194304 16246674 140734815191312 140734815190624 5522898 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1005/statm: 305297 245973 793 2943 0 302191 0
[pid=1005/tid=1006] ppid=1002 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/1005/task/1006/stat : 1006 (toysat) S 1002 1005 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22657968 1250496512 245973 33554432000 4194304 16246674 140734815191312 139719022193904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1005/tid=1007] ppid=1002 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/1005/task/1007/stat : 1007 (toysat) S 1002 1005 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22657968 1250496512 245973 33554432000 4194304 16246674 140734815191312 139719011704048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1005/tid=1008] ppid=1002 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/1005/task/1008/stat : 1008 (toysat) S 1002 1005 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22657968 1250496512 245973 33554432000 4194304 16246674 140734815191312 139719001230512 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) 1221188

[startup+3.10041 s]
/proc/loadavg: 0.79 0.34 0.23 2/174 1009
/proc/meminfo: memFree=29264000/32872528 swapFree=17888/1798212
[pid=1005] ppid=1002 vsize=1303108 CPUtime=3.09 cores=0,2,4,6
/proc/1005/stat : 1005 (toysat) R 1002 1005 579 0 -1 4202496 266658 0 0 0 270 39 0 0 20 0 4 0 22657967 1334382592 266476 33554432000 4194304 16246674 140734815191312 140734815173184 5522977 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1005/statm: 325777 266476 793 2943 0 322671 0
[pid=1005/tid=1006] ppid=1002 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/1005/task/1006/stat : 1006 (toysat) S 1002 1005 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22657968 1334382592 266476 33554432000 4194304 16246674 140734815191312 139719022193904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1005/tid=1007] ppid=1002 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/1005/task/1007/stat : 1007 (toysat) S 1002 1005 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22657968 1334382592 266476 33554432000 4194304 16246674 140734815191312 139719011704048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1005/tid=1008] ppid=1002 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/1005/task/1008/stat : 1008 (toysat) S 1002 1005 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22657968 1334382592 266476 33554432000 4194304 16246674 140734815191312 139719001230512 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

[startup+6.3004 s]
/proc/loadavg: 0.79 0.34 0.23 3/178 1027
/proc/meminfo: memFree=29159068/32872528 swapFree=17888/1798212
[pid=1005] ppid=1002 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/1005/stat : 1005 (toysat) R 1002 1005 579 0 -1 4202496 267784 0 0 0 590 39 0 0 20 0 4 0 22657967 1338576896 267602 33554432000 4194304 16246674 140734815191312 140734815173184 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1005/statm: 326801 267602 794 2943 0 323695 0
[pid=1005/tid=1006] ppid=1002 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1005/task/1006/stat : 1006 (toysat) S 1002 1005 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22657968 1338576896 267602 33554432000 4194304 16246674 140734815191312 139719022193904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1005/tid=1007] ppid=1002 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1005/task/1007/stat : 1007 (toysat) S 1002 1005 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22657968 1338576896 267602 33554432000 4194304 16246674 140734815191312 139719011704048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1005/tid=1008] ppid=1002 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1005/task/1008/stat : 1008 (toysat) S 1002 1005 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22657968 1338576896 267602 33554432000 4194304 16246674 140734815191312 139719001230512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

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

[startup+6.40048 s]
/proc/loadavg: 0.79 0.34 0.23 3/178 1027
/proc/meminfo: memFree=29159068/32872528 swapFree=17888/1798212
[pid=1005] ppid=1002 vsize=1307204 CPUtime=6.39 cores=0,2,4,6
/proc/1005/stat : 1005 (toysat) R 1002 1005 579 0 -1 4202496 267784 0 0 0 600 39 0 0 20 0 4 0 22657967 1338576896 267602 33554432000 4194304 16246674 140734815191312 140734815173184 5711956 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1005/statm: 326801 267602 794 2943 0 323695 0
[pid=1005/tid=1006] ppid=1002 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1005/task/1006/stat : 1006 (toysat) S 1002 1005 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22657968 1338576896 267602 33554432000 4194304 16246674 140734815191312 139719022193904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1005/tid=1007] ppid=1002 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1005/task/1007/stat : 1007 (toysat) S 1002 1005 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22657968 1338576896 267602 33554432000 4194304 16246674 140734815191312 139719011704048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1005/tid=1008] ppid=1002 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1005/task/1008/stat : 1008 (toysat) S 1002 1005 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22657968 1338576896 267602 33554432000 4194304 16246674 140734815191312 139719001230512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.39
Current children cumulated vsize (KiB) 1307204

[startup+6.80039 s]
/proc/loadavg: 0.88 0.36 0.24 2/174 1060
/proc/meminfo: memFree=29177180/32872528 swapFree=17888/1798212
[pid=1005] ppid=1002 vsize=1307204 CPUtime=6.79 cores=0,2,4,6
/proc/1005/stat : 1005 (toysat) R 1002 1005 579 0 -1 4202496 267784 0 0 0 640 39 0 0 20 0 4 0 22657967 1338576896 267602 33554432000 4194304 16246674 140734815191312 140734815173184 12476636 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1005/statm: 326801 267602 794 2943 0 323695 0
[pid=1005/tid=1006] ppid=1002 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1005/task/1006/stat : 1006 (toysat) S 1002 1005 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22657968 1338576896 267602 33554432000 4194304 16246674 140734815191312 139719022193904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1005/tid=1007] ppid=1002 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1005/task/1007/stat : 1007 (toysat) S 1002 1005 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22657968 1338576896 267602 33554432000 4194304 16246674 140734815191312 139719011704048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1005/tid=1008] ppid=1002 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1005/task/1008/stat : 1008 (toysat) S 1002 1005 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22657968 1338576896 267602 33554432000 4194304 16246674 140734815191312 139719001230512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.79
Current children cumulated vsize (KiB) 1307204

[startup+7.20041 s]
/proc/loadavg: 0.88 0.36 0.24 2/174 1060
/proc/meminfo: memFree=29177180/32872528 swapFree=17888/1798212
[pid=1005] ppid=1002 vsize=1307204 CPUtime=7.18 cores=0,2,4,6
/proc/1005/stat : 1005 (toysat) R 1002 1005 579 0 -1 4202496 267784 0 0 0 679 39 0 0 20 0 4 0 22657967 1338576896 267602 33554432000 4194304 16246674 140734815191312 140734815173184 12460976 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1005/statm: 326801 267602 794 2943 0 323695 0
[pid=1005/tid=1006] ppid=1002 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1005/task/1006/stat : 1006 (toysat) S 1002 1005 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22657968 1338576896 267602 33554432000 4194304 16246674 140734815191312 139719022193904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1005/tid=1007] ppid=1002 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1005/task/1007/stat : 1007 (toysat) S 1002 1005 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22657968 1338576896 267602 33554432000 4194304 16246674 140734815191312 139719011704048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1005/tid=1008] ppid=1002 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1005/task/1008/stat : 1008 (toysat) S 1002 1005 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22657968 1338576896 267602 33554432000 4194304 16246674 140734815191312 139719001230512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.18
Current children cumulated vsize (KiB) 1307204

[startup+7.3004 s]
/proc/loadavg: 0.88 0.36 0.24 2/174 1060
/proc/meminfo: memFree=29177180/32872528 swapFree=17888/1798212
[pid=1005] ppid=1002 vsize=1307204 CPUtime=7.28 cores=0,2,4,6
/proc/1005/stat : 1005 (toysat) R 1002 1005 579 0 -1 4202496 267784 0 0 0 689 39 0 0 20 0 4 0 22657967 1338576896 267602 33554432000 4194304 16246674 140734815191312 140734815173184 12483204 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1005/statm: 326801 267602 794 2943 0 323695 0
[pid=1005/tid=1006] ppid=1002 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1005/task/1006/stat : 1006 (toysat) S 1002 1005 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22657968 1338576896 267602 33554432000 4194304 16246674 140734815191312 139719022193904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1005/tid=1007] ppid=1002 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1005/task/1007/stat : 1007 (toysat) S 1002 1005 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22657968 1338576896 267602 33554432000 4194304 16246674 140734815191312 139719011704048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1005/tid=1008] ppid=1002 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1005/task/1008/stat : 1008 (toysat) S 1002 1005 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22657968 1338576896 267602 33554432000 4194304 16246674 140734815191312 139719001230512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.28
Current children cumulated vsize (KiB) 1307204

Child status: 0
Real time (s): 7.38469
CPU time (s): 7.38088
CPU user time (s): 6.92495
CPU system time (s): 0.45593
CPU usage (%): 99.9484
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.92495
system time used= 0.45593
maximum resident set size= 1070432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267791
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= 20
involuntary context switches= 9

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.023996 second user time and 0.027995 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-18 01:28:28
IDJOB=4099102
IDBENCH=1311
IDSOLVER=2542
FILE ID=node123/4099102-1466206108
RUNJOBID= node123-1466206081-595
PBS_JOBID= 19918154
Free space on /tmp= 71636 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900544463.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099102-1466206108/watcher-4099102-1466206108 -o /tmp/evaluation-result-4099102-1466206108/solver-4099102-1466206108 -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-4099102-1466206108.opb

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

MD5SUM BENCH= f0a3f077b037562c6d43175608b1ae5a
RANDOM SEED=704114770

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:        30247136 kB
Buffers:           36648 kB
Cached:            80260 kB
SwapCached:         1640 kB
Active:            65492 kB
Inactive:          54364 kB
Active(anon):       4116 kB
Inactive(anon):     1100 kB
Active(file):      61376 kB
Inactive(file):    53264 kB
Unevictable:     1798212 kB
Mlocked:           17888 kB
SwapTotal:      67108856 kB
SwapFree:       67099272 kB
Dirty:             17012 kB
Writeback:             0 kB
AnonPages:       1800472 kB
Mapped:             6988 kB
Shmem:                 0 kB
Slab:             571572 kB
SReclaimable:      14644 kB
SUnreclaim:       556928 kB
KernelStack:        1392 kB
PageTables:         7152 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1894660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1783808 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:36