Trace number 4098920

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 3.87241 3.87315

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900568952.opb
MD5SUMd3b8f3f407b82b0f272ff2eb3fe91ca6
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.342947
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 657
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:13+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-4098920-1466206093.opb"]
0.00/0.01	c use --random-gen="2933116903 1092378298 4188746090 2951727268 3630171178 2939757768 2525727582 829459607 3165885967 1934470243 500186582 4251368161 499836778 317002662 3723689864 179696826 2423599468 3860990409 474091649 3568629507 3741790726 3372539479 3729882400 1513397887 4164536934 1666999741 2597626531 1593580001 264865479 2653675771 2185589435 673855383 3184533237 3944204115 3850755768 243698803 3512045209 3775806908 1307291630 3907995127 1433010654 1857576146 3589170185 2618980945 234017822 1755800011 3923635370 1055606864 3372893264 351444083 754254378 511129492 178278510 168147125 335772255 3726627343 2912220633 1120844611 412801773 665533155 3721655946 2173125339 3143600627 75788946 3671749819 4194429236 453874008 2879383653 1270081332 611719746 2843270629 551672607 2351876039 1275825307 3345766939 3967755485 2138039692 3723312624 1145899975 2293687570 3661832318 3767468723 578795654 2686951035 4117031130 3693970010 1027502503 2813361261 4183070334 3799963118 4030608453 2241677307 3055127639 3836994564 784528556 2869551456 3950894792 1159237691 2558654801 2890123371 2349475745 2220181532 151277602 41910400 35338471 1792818179 3858789742 3440130519 1276063080 3786436864 3059069680 2211234126 2602122717 3416047513 1027232612 182338252 1550537910 90971263 1490985986 2525268291 2587343230 3351076673 632982192 3028768011 3553314157 2117873460 1217129875 461001475 481629319 2353852449 3811178015 3901288442 848236954 1972666305 964928971 2731807075 1819262268 3547520236 2243380927 1158628172 3139236987 1465917986 3475686749 1545128609 2954099876 3739167899 4080772796 3046811654 476950083 2570515376 3534540243 4011019750 559928953 1292497525 700757486 3917821858 3578685130 906655344 2069657361 4193691845 3889358257 4234982255 3724322597 3712765140 3749231272 2271842657 3856331437 693748247 938440889 3799500024 2533805660 255053200 3344401191 820280320 2239783148 3813732491 4266614104 1935999907 2014541801 3291783621 1044642987 2737177470 1184888163 3746624096 367595661 1155183357 3024409442 4194162783 2136871158 3150921159 4130810640 1900976646 1259880944 1002722897 3361702184 4009885805 1940797328 574377099 1848574140 4172012206 2931626759 2294501952 47049807 3709675065 706750169 2434820364 3992488953 22613796 619191962 3635979120 4065146545 2241665645 2510249166 490803 1601169877 3326022794 2549536365 2210267444 1004229185 4227431842 4119530300 1970682953 2509067521 1387629928 3671669516 1649700710 2226978520 2030414741 1373513577 3336180843 3352954959 3470566230 838198909 1188170578 1040982830 3090880609 3642408844 2711905655 1806457467 2846002438 363842331 300512254 2558090809 255695188 1171285705 1597391378 714077655 3262801845 2874191069 2831052913 1108000182 542431511 1856369330 1516835400 1556266915 3971036553 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 |      240 |      100 |      979      0 |        0 |        0
0.09/0.12	c  0.0s |       2 |      516 |      250 |     1077      0 |        0 |        0
0.09/0.17	c  0.1s |       3 |      890 |      475 |     1185      0 |        0 |        0
0.19/0.24	c  0.2s |       4 |     1472 |      813 |     1304      0 |        0 |        0
0.29/0.36	c  0.3s |       5 |     2265 |     1320 |     1435      0 |        0 |        0
0.49/0.54	c  0.5s |       6 |     3564 |     2081 |     1737      1 |        0 |        0
0.79/0.84	c  0.8s |       7 |     5269 |     3223 |     1911      2 |        0 |        0
1.20/1.29	c  1.2s |       8 |     7810 |     4936 |     2103      4 |        0 |        0
1.79/1.89	c  1.8s |       9 |    12059 |     7506 |     2314      6 |        0 |        0
2.69/2.70	c  2.6s |      10 |    18535 |    11361 |     2546      8 |        1 |       11
3.79/3.81	c  3.7s |      10 |    25546 |    15785 |     2546     12 |        1 |       11
3.79/3.81	c #cpu_time = 3.726s
3.79/3.81	c #wall_clock_time = 3.736s
3.79/3.81	c #decision = 25546
3.79/3.81	c #random_decision = 89
3.79/3.81	c #conflict = 15785
3.79/3.88	c #restart = 10
3.79/3.88	s SATISFIABLE
3.79/3.88	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
3.79/3.88	v x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20
3.79/3.88	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30
3.79/3.88	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
3.79/3.88	v -x41 -x42 x43 -x44 x45 -x46 -x47 -x48 -x49 -x50
3.79/3.88	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60
3.79/3.88	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
3.79/3.88	v x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80
3.79/3.88	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
3.79/3.88	v -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100
3.79/3.88	v -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110
3.79/3.88	v -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
3.79/3.88	v -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130
3.79/3.88	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140
3.79/3.88	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
3.79/3.88	v x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160
3.79/3.88	v -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
3.79/3.88	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180
3.79/3.88	v -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190
3.79/3.88	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200
3.79/3.88	v -x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210
3.79/3.88	v -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
3.79/3.88	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230
3.79/3.88	v -x231
3.79/3.88	c total CPU time = 3.804s
3.79/3.88	c total wall clock time = 3.814s

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

pid=17099
running on 4 cores: 1,3,5,7

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.94 0.39 0.24 2/170 17102
/proc/meminfo: memFree=28706372/32872528 swapFree=1459628/1655852
[pid=17102] ppid=17099 vsize=740932 CPUtime=0 cores=1,3,5,7
/proc/17102/stat : 17102 (toysat) R 17099 17102 16189 0 -1 4202496 2772 0 0 0 0 0 0 0 20 0 4 0 22654807 758714368 2621 33554432000 4194304 16246674 140736552728800 140736552728224 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17102/statm: 186001 2630 442 2943 0 182895 0
[pid=17102/tid=17103] ppid=17099 vsize=758340 CPUtime=0 cores=1,3,5,7
/proc/17102/task/17103/stat : 17103 (toysat) S 17099 17102 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22654807 776540160 2689 33554432000 4194304 16246674 140736552728800 140677162708208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17102/tid=17104] ppid=17099 vsize=762436 CPUtime=0 cores=1,3,5,7
/proc/17102/task/17104/stat : 17104 (toysat) S 17099 17102 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22654807 780734464 2705 33554432000 4194304 16246674 140736552728800 140677152218352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17102/tid=17105] ppid=17099 vsize=766532 CPUtime=0 cores=1,3,5,7
/proc/17102/task/17105/stat : 17105 (toysat) S 17099 17102 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22654807 784928768 2721 33554432000 4194304 16246674 140736552728800 140677141744816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100164 s]
/proc/loadavg: 0.94 0.39 0.24 2/170 17102
/proc/meminfo: memFree=28706372/32872528 swapFree=1459628/1655852
[pid=17102] ppid=17099 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/17102/stat : 17102 (toysat) R 17099 17102 16189 0 -1 4202496 25555 0 0 0 6 3 0 0 20 0 4 0 22654807 1247350784 25394 33554432000 4194304 16246674 140736552728800 140736552728224 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17102/statm: 304529 25400 720 2943 0 301423 0
[pid=17102/tid=17103] ppid=17099 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17102/task/17103/stat : 17103 (toysat) S 17099 17102 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22654807 1247350784 25405 33554432000 4194304 16246674 140736552728800 140677162708208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17102/tid=17104] ppid=17099 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17102/task/17104/stat : 17104 (toysat) S 17099 17102 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22654807 1247350784 25410 33554432000 4194304 16246674 140736552728800 140677152218352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17102/tid=17105] ppid=17099 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17102/task/17105/stat : 17105 (toysat) S 17099 17102 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22654807 1247350784 25415 33554432000 4194304 16246674 140736552728800 140677141744816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200522 s]
/proc/loadavg: 0.94 0.39 0.24 2/170 17102
/proc/meminfo: memFree=28706372/32872528 swapFree=1459628/1655852
[pid=17102] ppid=17099 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/17102/stat : 17102 (toysat) R 17099 17102 16189 0 -1 4202496 42145 0 0 0 14 5 0 0 20 0 4 0 22654807 1247350784 41983 33554432000 4194304 16246674 140736552728800 140736552728224 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17102/statm: 304529 41988 720 2943 0 301423 0
[pid=17102/tid=17103] ppid=17099 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17102/task/17103/stat : 17103 (toysat) S 17099 17102 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22654807 1247350784 41993 33554432000 4194304 16246674 140736552728800 140677162708208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17102/tid=17104] ppid=17099 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17102/task/17104/stat : 17104 (toysat) S 17099 17102 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22654807 1247350784 41997 33554432000 4194304 16246674 140736552728800 140677152218352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17102/tid=17105] ppid=17099 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17102/task/17105/stat : 17105 (toysat) S 17099 17102 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22654807 1247350784 42001 33554432000 4194304 16246674 140736552728800 140677141744816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300443 s]
/proc/loadavg: 0.94 0.39 0.24 2/170 17102
/proc/meminfo: memFree=28706372/32872528 swapFree=1459628/1655852
[pid=17102] ppid=17099 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/17102/stat : 17102 (toysat) R 17099 17102 16189 0 -1 4202496 57756 0 0 0 22 7 0 0 20 0 4 0 22654807 1247350784 57594 33554432000 4194304 16246674 140736552728800 140736552728224 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17102/statm: 304529 57601 720 2943 0 301423 0
[pid=17102/tid=17103] ppid=17099 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17102/task/17103/stat : 17103 (toysat) S 17099 17102 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22654807 1247350784 57605 33554432000 4194304 16246674 140736552728800 140677162708208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17102/tid=17104] ppid=17099 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17102/task/17104/stat : 17104 (toysat) S 17099 17102 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22654807 1247350784 57608 33554432000 4194304 16246674 140736552728800 140677152218352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17102/tid=17105] ppid=17099 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17102/task/17105/stat : 17105 (toysat) S 17099 17102 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22654807 1247350784 57611 33554432000 4194304 16246674 140736552728800 140677141744816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700411 s]
/proc/loadavg: 0.94 0.39 0.24 2/170 17102
/proc/meminfo: memFree=28706372/32872528 swapFree=1459628/1655852
[pid=17102] ppid=17099 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/17102/stat : 17102 (toysat) R 17099 17102 16189 0 -1 4202496 122361 0 0 0 53 16 0 0 20 0 4 0 22654807 1247350784 122199 33554432000 4194304 16246674 140736552728800 140736552710720 6843278 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17102/statm: 304529 122206 726 2943 0 301423 0
[pid=17102/tid=17103] ppid=17099 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17102/task/17103/stat : 17103 (toysat) S 17099 17102 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22654807 1247350784 122213 33554432000 4194304 16246674 140736552728800 140677162708208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17102/tid=17104] ppid=17099 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17102/task/17104/stat : 17104 (toysat) S 17099 17102 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22654807 1247350784 122219 33554432000 4194304 16246674 140736552728800 140677152218352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17102/tid=17105] ppid=17099 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17102/task/17105/stat : 17105 (toysat) S 17099 17102 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22654807 1247350784 122224 33554432000 4194304 16246674 140736552728800 140677141744816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.94 0.39 0.24 3/183 17124
/proc/meminfo: memFree=27421068/32872528 swapFree=1459628/1655852
[pid=17102] ppid=17099 vsize=1221188 CPUtime=1.49 cores=1,3,5,7
/proc/17102/stat : 17102 (toysat) R 17099 17102 16189 0 -1 4202496 246179 0 0 0 116 33 0 0 20 0 4 0 22654807 1250496512 245997 33554432000 4194304 16246674 140736552728800 140736552728112 5823835 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17102/statm: 305297 245997 794 2943 0 302191 0
[pid=17102/tid=17103] ppid=17099 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/17102/task/17103/stat : 17103 (toysat) S 17099 17102 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22654807 1250496512 245997 33554432000 4194304 16246674 140736552728800 140677162708208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17102/tid=17104] ppid=17099 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/17102/task/17104/stat : 17104 (toysat) S 17099 17102 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22654807 1250496512 245997 33554432000 4194304 16246674 140736552728800 140677152218352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17102/tid=17105] ppid=17099 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/17102/task/17105/stat : 17105 (toysat) S 17099 17102 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22654807 1250496512 245997 33554432000 4194304 16246674 140736552728800 140677141744816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1221188

[startup+3.10043 s]
/proc/loadavg: 0.94 0.39 0.24 3/183 17124
/proc/meminfo: memFree=26720116/32872528 swapFree=1459628/1655852
[pid=17102] ppid=17099 vsize=1303108 CPUtime=3.09 cores=1,3,5,7
/proc/17102/stat : 17102 (toysat) R 17099 17102 16189 0 -1 4202496 266692 0 0 0 273 36 0 0 20 0 4 0 22654807 1334382592 266510 33554432000 4194304 16246674 140736552728800 140736552710720 5823037 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17102/statm: 325777 266510 794 2943 0 322671 0
[pid=17102/tid=17103] ppid=17099 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/17102/task/17103/stat : 17103 (toysat) S 17099 17102 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22654807 1334382592 266510 33554432000 4194304 16246674 140736552728800 140677162708208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17102/tid=17104] ppid=17099 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/17102/task/17104/stat : 17104 (toysat) S 17099 17102 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22654807 1334382592 266510 33554432000 4194304 16246674 140736552728800 140677152218352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17102/tid=17105] ppid=17099 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/17102/task/17105/stat : 17105 (toysat) S 17099 17102 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22654807 1334382592 266510 33554432000 4194304 16246674 140736552728800 140677141744816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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 17102 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20051 s]
/proc/loadavg: 0.94 0.39 0.24 3/183 17124
/proc/meminfo: memFree=26720116/32872528 swapFree=1459628/1655852
[pid=17102] ppid=17099 vsize=1303108 CPUtime=3.19 cores=1,3,5,7
/proc/17102/stat : 17102 (toysat) R 17099 17102 16189 0 -1 4202496 266707 0 0 0 283 36 0 0 20 0 4 0 22654807 1334382592 266525 33554432000 4194304 16246674 140736552728800 140736552710720 5822989 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17102/statm: 325777 266525 794 2943 0 322671 0
[pid=17102/tid=17103] ppid=17099 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/17102/task/17103/stat : 17103 (toysat) S 17099 17102 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22654807 1334382592 266525 33554432000 4194304 16246674 140736552728800 140677162708208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17102/tid=17104] ppid=17099 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/17102/task/17104/stat : 17104 (toysat) S 17099 17102 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22654807 1334382592 266525 33554432000 4194304 16246674 140736552728800 140677152218352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17102/tid=17105] ppid=17099 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/17102/task/17105/stat : 17105 (toysat) S 17099 17102 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22654807 1334382592 266525 33554432000 4194304 16246674 140736552728800 140677141744816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 1303108

[startup+3.60039 s]
/proc/loadavg: 1.03 0.42 0.25 3/183 17124
/proc/meminfo: memFree=26554588/32872528 swapFree=1459628/1655852
[pid=17102] ppid=17099 vsize=1303108 CPUtime=3.59 cores=1,3,5,7
/proc/17102/stat : 17102 (toysat) R 17099 17102 16189 0 -1 4202496 266723 0 0 0 323 36 0 0 20 0 4 0 22654807 1334382592 266541 33554432000 4194304 16246674 140736552728800 140736552710720 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17102/statm: 325777 266541 794 2943 0 322671 0
[pid=17102/tid=17103] ppid=17099 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/17102/task/17103/stat : 17103 (toysat) S 17099 17102 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22654807 1334382592 266541 33554432000 4194304 16246674 140736552728800 140677162708208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17102/tid=17104] ppid=17099 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/17102/task/17104/stat : 17104 (toysat) S 17099 17102 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22654807 1334382592 266541 33554432000 4194304 16246674 140736552728800 140677152218352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17102/tid=17105] ppid=17099 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/17102/task/17105/stat : 17105 (toysat) S 17099 17102 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22654807 1334382592 266541 33554432000 4194304 16246674 140736552728800 140677141744816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.59
Current children cumulated vsize (KiB) 1303108

[startup+3.80037 s]
/proc/loadavg: 1.03 0.42 0.25 3/183 17124
/proc/meminfo: memFree=26554588/32872528 swapFree=1459628/1655852
[pid=17102] ppid=17099 vsize=1306180 CPUtime=3.79 cores=1,3,5,7
/proc/17102/stat : 17102 (toysat) R 17099 17102 16189 0 -1 4202496 267491 0 0 0 343 36 0 0 20 0 4 0 22654807 1337528320 267309 33554432000 4194304 16246674 140736552728800 140736552710720 5667556 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17102/statm: 326545 267309 794 2943 0 323439 0
[pid=17102/tid=17103] ppid=17099 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17102/task/17103/stat : 17103 (toysat) S 17099 17102 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22654807 1337528320 267309 33554432000 4194304 16246674 140736552728800 140677162708208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17102/tid=17104] ppid=17099 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17102/task/17104/stat : 17104 (toysat) S 17099 17102 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22654807 1337528320 267309 33554432000 4194304 16246674 140736552728800 140677152218352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17102/tid=17105] ppid=17099 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17102/task/17105/stat : 17105 (toysat) S 17099 17102 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22654807 1337528320 267309 33554432000 4194304 16246674 140736552728800 140677141744816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 1306180

Child status: 0
Real time (s): 3.87315
CPU time (s): 3.87241
CPU user time (s): 3.44948
CPU system time (s): 0.422935
CPU usage (%): 99.981
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.44948
system time used= 0.422935
maximum resident set size= 1069260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267498
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= 18
involuntary context switches= 5

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.011998 second user time and 0.017997 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-18 01:28:13
IDJOB=4098920
IDBENCH=1271
IDSOLVER=2542
FILE ID=node136/4098920-1466206093
RUNJOBID= node136-1466206055-16206
PBS_JOBID= 19918141
Free space on /tmp= 71740 MiB

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

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

MD5SUM BENCH= d3b8f3f407b82b0f272ff2eb3fe91ca6
RANDOM SEED=2060146884

node136.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.278
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	: 5334.55
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.278
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		: 2667.278
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		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
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		: 2667.278
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.67
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.278
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:        28707272 kB
Buffers:          132364 kB
Cached:          1623344 kB
SwapCached:            0 kB
Active:           126616 kB
Inactive:        1639680 kB
Active(anon):      13040 kB
Inactive(anon):        0 kB
Active(file):     113576 kB
Inactive(file):  1639680 kB
Unevictable:     1655852 kB
Mlocked:         1459628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             17236 kB
Writeback:             0 kB
AnonPages:       1666340 kB
Mapped:            12732 kB
Shmem:               204 kB
Slab:             609580 kB
SReclaimable:      52308 kB
SUnreclaim:       557272 kB
KernelStack:        1376 kB
PageTables:         7032 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1752444 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    196608 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= 71708 MiB
End job on node136 at 2016-06-18 01:28:17