Trace number 4078658

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 0.792878 0.795178

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900559365.opb
MD5SUM924af7c450ed428ac078913fd23bc162
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.014997
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 691
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-06T15:22:12+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-4078658-1465219332.opb"]
0.00/0.01	c use --random-gen="2946587508 2641434904 1266134952 1701881296 2657540660 38756990 3269298643 3282629995 3050723784 1536050017 2888384839 1522603633 3867151886 1405015674 306086090 927609131 1058083111 3231995018 1600756458 4038596755 2953925892 2464511525 2398403431 214305268 2557977506 2723496112 2568653923 435058921 2228251339 1080242676 2307622696 1085220946 2009548679 2078184039 2948931139 2288894833 1023821968 315240894 4170260078 3390643808 2059651566 2964271239 1255773381 70003146 624737330 4142658187 3398571476 1101134562 3653045526 3399624850 12941715 1040898872 1436055582 107162505 4018023910 2911600075 1464499409 216090432 3920613785 1186371893 3997348359 3682055058 3480673291 2048095206 1139177151 792382033 3063846826 824316696 907299404 3443280549 2762799611 181533987 3940613363 2921970400 3480885131 1933106262 643702123 2399480545 1625137332 1534392976 600096966 3721430197 3236754990 3576754050 1479448276 3608894954 1109458287 1528085259 170944828 1896746031 4152750056 2380853210 4062760648 1016330926 2513453705 2356615904 1778429724 1524955361 640509632 717514402 1778938408 283952423 266476425 579039129 206812574 1051519342 2042942963 3407877204 993996984 364901365 877054808 1541533629 3065573694 2035511988 3345656652 1709530049 4070998316 2970168194 3344471749 295927917 1589689691 1773825558 1128204996 2844613424 3262738457 2759516655 1621516375 3676489522 2862713215 3740961424 1568355609 1630267731 3483220815 1560143553 1952211432 2730995229 255132736 2725950855 3196762492 1276505286 3482070167 3130110973 4272417799 813853585 3588956099 3152391501 2199260890 593051150 495726968 3589412654 3446605038 894093512 714194044 3575687907 922499193 2002403333 1641082609 2384223641 1225623242 2883729804 4214806953 2868118329 3505499919 689374020 699825072 4073510448 3793044580 2278721376 2875508553 183362516 3184952985 944295941 4144098272 3521279513 3474760325 1518080563 3740187690 2938754501 3109084222 653313531 1669974315 147075561 485551588 2460936865 246093313 3134145085 3459409106 49379692 2950855613 3162494690 3952259299 839877326 3671266424 3004814253 2569711268 2388736628 309864641 623359963 1764110568 3203344362 200738340 1058453461 1541862025 3226052530 3327128475 4266497510 3287568067 4171176014 2616955774 2731904313 2654272755 2554316332 1845799704 4236737949 2411683142 576490071 360590342 3906999238 1324137767 3629571782 1476580604 1246599229 4189557704 816933019 2316146430 3079384303 3763208335 405525283 3819850123 1257491720 3670843735 1638492001 3072781589 3957210912 258157161 1084782895 366743799 2942928213 3331737973 1598152218 4261080937 3344341003 2900321806 2876369809 3256390900 242195725 1016436979 3401022469 2925289387 1471468661 2992588328 2031003109 731786602 3242583355 1381057194 3545203820 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 |      219 |      100 |      979      0 |        0 |        0
0.09/0.13	c  0.1s |       2 |      469 |      250 |     1077      0 |        0 |        0
0.09/0.19	c  0.1s |       3 |      838 |      475 |     1185      0 |        0 |        0
0.19/0.28	c  0.2s |       4 |     1367 |      813 |     1304      0 |        0 |        0
0.38/0.41	c  0.3s |       5 |     2262 |     1320 |     1435      0 |        0 |        0
0.59/0.64	c  0.6s |       6 |     3401 |     2081 |     1737      1 |        0 |        0
0.69/0.76	c  0.7s |       6 |     3983 |     2458 |     1737      1 |        0 |        0
0.69/0.76	c #cpu_time = 0.682s
0.69/0.76	c #wall_clock_time = 0.684s
0.69/0.76	c #decision = 3983
0.69/0.76	c #random_decision = 15
0.69/0.76	c #conflict = 2458
0.69/0.76	c #restart = 6
0.69/0.76	s SATISFIABLE
0.69/0.76	v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
0.69/0.76	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20
0.69/0.76	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 x30
0.69/0.76	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40
0.69/0.76	v -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50
0.69/0.76	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60
0.69/0.76	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70
0.69/0.76	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
0.69/0.76	v -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
0.69/0.76	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100
0.69/0.76	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 -x110
0.69/0.76	v -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120
0.69/0.76	v -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
0.69/0.76	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140
0.69/0.76	v -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150
0.69/0.76	v -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160
0.69/0.76	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
0.69/0.76	v x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
0.69/0.76	v -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
0.69/0.76	v -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200
0.69/0.76	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210
0.69/0.76	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220
0.69/0.76	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
0.69/0.76	v x231
0.69/0.76	c total CPU time = 0.761s
0.69/0.76	c total wall clock time = 0.763s

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

pid=28713
running on 8 cores: 4-7,12-15

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.18 2.12 2.10 3/261 28716
/proc/meminfo: memFree=31414120/32872528 swapFree=9196/9196
[pid=28716] ppid=28713 vsize=1101244 CPUtime=0 cores=4-7,12-15
/proc/28716/stat : 28716 (toysat) R 28713 28716 25889 0 -1 4202496 4176 0 0 0 0 0 0 0 20 0 4 0 103775251 1127673856 4536 33554432000 4194304 16246674 140733581019376 140733581018800 13880264 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/28716/statm: 276079 4545 441 2943 0 272973 0
[pid=28716/tid=28717] ppid=28713 vsize=1123772 CPUtime=0 cores=4-7,12-15
/proc/28716/task/28717/stat : 28717 (toysat) S 28713 28716 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103775251 1150742528 4624 33554432000 4194304 16246674 140733581019376 140588615707888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=28716/tid=28718] ppid=28713 vsize=1129916 CPUtime=0 cores=4-7,12-15
/proc/28716/task/28718/stat : 28718 (toysat) S 28713 28716 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103775251 1157033984 4645 33554432000 4194304 16246674 140733581019376 140588605218032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=28716/tid=28719] ppid=28713 vsize=1132988 CPUtime=0 cores=4-7,12-15
/proc/28716/task/28719/stat : 28719 (toysat) S 28713 28716 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103775251 1160179712 4659 33554432000 4194304 16246674 140733581019376 140588594744496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0

[startup+0.100159 s]
/proc/loadavg: 2.18 2.12 2.10 3/261 28716
/proc/meminfo: memFree=31414120/32872528 swapFree=9196/9196
[pid=28716] ppid=28713 vsize=1218116 CPUtime=0.09 cores=4-7,12-15
/proc/28716/stat : 28716 (toysat) R 28713 28716 25889 0 -1 4202496 25141 0 0 0 5 4 0 0 20 0 4 0 103775251 1247350784 25490 33554432000 4194304 16246674 140733581019376 140733581018800 5532589 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/28716/statm: 304529 25497 728 2943 0 301423 0
[pid=28716/tid=28717] ppid=28713 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/28716/task/28717/stat : 28717 (toysat) S 28713 28716 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103775251 1247350784 25503 33554432000 4194304 16246674 140733581019376 140588615707888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=28716/tid=28718] ppid=28713 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/28716/task/28718/stat : 28718 (toysat) S 28713 28716 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103775251 1247350784 25508 33554432000 4194304 16246674 140733581019376 140588605218032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=28716/tid=28719] ppid=28713 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/28716/task/28719/stat : 28719 (toysat) S 28713 28716 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103775251 1247350784 25514 33554432000 4194304 16246674 140733581019376 140588594744496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200489 s]
/proc/loadavg: 2.18 2.12 2.10 3/261 28716
/proc/meminfo: memFree=31414120/32872528 swapFree=9196/9196
[pid=28716] ppid=28713 vsize=1218116 CPUtime=0.19 cores=4-7,12-15
/proc/28716/stat : 28716 (toysat) R 28713 28716 25889 0 -1 4202496 41921 0 0 0 13 6 0 0 20 0 4 0 103775251 1247350784 42270 33554432000 4194304 16246674 140733581019376 140733581001280 5546181 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/28716/statm: 304529 42277 728 2943 0 301423 0
[pid=28716/tid=28717] ppid=28713 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/28716/task/28717/stat : 28717 (toysat) S 28713 28716 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103775251 1247350784 42281 33554432000 4194304 16246674 140733581019376 140588615707888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=28716/tid=28718] ppid=28713 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/28716/task/28718/stat : 28718 (toysat) S 28713 28716 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103775251 1247350784 42285 33554432000 4194304 16246674 140733581019376 140588605218032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=28716/tid=28719] ppid=28713 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/28716/task/28719/stat : 28719 (toysat) S 28713 28716 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103775251 1247350784 42291 33554432000 4194304 16246674 140733581019376 140588594744496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300477 s]
/proc/loadavg: 2.18 2.12 2.10 3/261 28716
/proc/meminfo: memFree=31414120/32872528 swapFree=9196/9196
[pid=28716] ppid=28713 vsize=1218116 CPUtime=0.29 cores=4-7,12-15
/proc/28716/stat : 28716 (toysat) R 28713 28716 25889 0 -1 4202496 58235 0 0 0 19 10 0 0 20 0 4 0 103775251 1247350784 58584 33554432000 4194304 16246674 140733581019376 140733581001280 6020769 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/28716/statm: 304529 58594 728 2943 0 301423 0
[pid=28716/tid=28717] ppid=28713 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/28716/task/28717/stat : 28717 (toysat) S 28713 28716 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103775251 1247350784 58596 33554432000 4194304 16246674 140733581019376 140588615707888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=28716/tid=28718] ppid=28713 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/28716/task/28718/stat : 28718 (toysat) S 28713 28716 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103775251 1247350784 58603 33554432000 4194304 16246674 140733581019376 140588605218032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=28716/tid=28719] ppid=28713 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/28716/task/28719/stat : 28719 (toysat) S 28713 28716 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103775251 1247350784 58609 33554432000 4194304 16246674 140733581019376 140588594744496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700402 s]
/proc/loadavg: 2.18 2.12 2.10 3/261 28716
/proc/meminfo: memFree=31414120/32872528 swapFree=9196/9196
[pid=28716] ppid=28713 vsize=1218116 CPUtime=0.69 cores=4-7,12-15
/proc/28716/stat : 28716 (toysat) R 28713 28716 25889 0 -1 4202496 122125 0 0 0 49 20 0 0 20 0 4 0 103775251 1247350784 122475 33554432000 4194304 16246674 140733581019376 140733581001280 5546098 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/28716/statm: 304529 122486 734 2943 0 301423 0
[pid=28716/tid=28717] ppid=28713 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/28716/task/28717/stat : 28717 (toysat) S 28713 28716 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103775251 1247350784 122493 33554432000 4194304 16246674 140733581019376 140588615707888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=28716/tid=28718] ppid=28713 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/28716/task/28718/stat : 28718 (toysat) S 28713 28716 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103775251 1247350784 122496 33554432000 4194304 16246674 140733581019376 140588605218032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=28716/tid=28719] ppid=28713 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/28716/task/28719/stat : 28719 (toysat) S 28713 28716 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103775251 1247350784 122498 33554432000 4194304 16246674 140733581019376 140588594744496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

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

[startup+0.700402 s]
/proc/loadavg: 2.18 2.12 2.10 3/261 28716
/proc/meminfo: memFree=31414120/32872528 swapFree=9196/9196
[pid=28716] ppid=28713 vsize=1218116 CPUtime=0.69 cores=4-7,12-15
/proc/28716/stat : 28716 (toysat) R 28713 28716 25889 0 -1 4202496 122125 0 0 0 49 20 0 0 20 0 4 0 103775251 1247350784 122475 33554432000 4194304 16246674 140733581019376 140733581001280 5546098 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/28716/statm: 304529 122486 734 2943 0 301423 0
[pid=28716/tid=28717] ppid=28713 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/28716/task/28717/stat : 28717 (toysat) S 28713 28716 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103775251 1247350784 122493 33554432000 4194304 16246674 140733581019376 140588615707888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=28716/tid=28718] ppid=28713 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/28716/task/28718/stat : 28718 (toysat) S 28713 28716 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103775251 1247350784 122496 33554432000 4194304 16246674 140733581019376 140588605218032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=28716/tid=28719] ppid=28713 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/28716/task/28719/stat : 28719 (toysat) S 28713 28716 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103775251 1247350784 122498 33554432000 4194304 16246674 140733581019376 140588594744496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

Child status: 0
Real time (s): 0.795178
CPU time (s): 0.792878
CPU user time (s): 0.547916
CPU system time (s): 0.244962
CPU usage (%): 99.7108
Max. virtual memory (cumulated for all children) (KiB): 1218116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.547916
system time used= 0.244962
maximum resident set size= 530408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132263
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19
involuntary context switches= 2

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

The end

Launcher Data 

Begin job on node132 at 2016-06-06 15:22:12
IDJOB=4078658
IDBENCH=1333
IDSOLVER=2542
FILE ID=node132/4078658-1465219332
RUNJOBID= node132-1465216787-25906
PBS_JOBID= 19843203
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= 924af7c450ed428ac078913fd23bc162
RANDOM SEED=416727471

node132.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.41
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31427172 kB
Buffers:            8336 kB
Cached:            71800 kB
SwapCached:         3236 kB
Active:           701680 kB
Inactive:          22164 kB
Active(anon):     642980 kB
Inactive(anon):     3236 kB
Active(file):      58700 kB
Inactive(file):    18928 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67094516 kB
Dirty:             33096 kB
Writeback:             0 kB
AnonPages:        706028 kB
Mapped:            10100 kB
Shmem:                 0 kB
Slab:             573856 kB
SReclaimable:      13420 kB
SUnreclaim:       560436 kB
KernelStack:        2240 kB
PageTables:         6224 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1138708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 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= 71716 MiB
End job on node132 at 2016-06-06 15:22:13