Trace number 4099144

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.75943 3.76201

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900670756.opb
MD5SUM11371eec29d871c470e0cb7778802319
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.084986
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 683
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:31+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-4099144-1466206111.opb"]
0.00/0.01	c use --random-gen="2639455534 2009483756 2711200450 3698131540 2320732768 4006147977 363548000 2174074374 1426127339 2244163378 3876164267 3487799321 4608739 2352487374 2702445605 1250210179 496424757 4058352911 1085382992 1597726432 3112806549 894057316 2082161945 152339171 1469568064 1593905609 960990413 442648850 2133503831 823760302 1413787228 4056276577 1956488292 115691621 2024870328 886955349 521500400 85537318 1970033870 2181715615 3841410264 948324852 1439143416 46195121 120133320 4152295003 48733126 2732898679 2546265312 731633091 3585616608 1788696578 2840720252 2891614117 2191914909 2667423391 833933205 1865329163 914630004 1715369169 2858101820 1541564079 3935819927 3008831871 3933629796 2581687321 2248250375 213126769 1642856260 3158258380 1004574431 918395679 927218848 3678391779 1475625636 1909147740 456358085 1143818905 1483635820 298740592 446784331 1752692217 822218619 432850305 947832202 4058126563 468789684 2218080937 1920397073 2871516808 332700095 675128357 1668477982 3003707009 2565620290 3806080620 983736190 4223641952 1865142869 3691301058 4280284937 2758685693 677343256 2441237363 3945168802 3597121373 4053819834 3082519651 32671804 676338882 1224791717 1298926179 1995785707 1128109210 2128587278 426818794 3206933234 2964896966 2201357309 1681673467 599862319 2675814185 3002251060 1792161595 2907262519 4202444991 1294893456 1117397599 3336020211 3532574085 4144637438 3394936288 2236071645 549953314 3860617649 3218306908 3274292473 1406155662 367767123 571562406 1136642553 2801256128 3164772428 1291512875 2793427591 2638511396 2587545395 649542904 3544790032 2184743628 4011482211 3224144580 3961327238 824580740 2241596708 2281810599 1523415959 2248281498 2306821274 3853403707 1469580477 4029779743 1421236607 2548576758 220973867 28496759 2658372869 1831020023 2687499486 2640247640 1970492538 2447584559 4083852495 2534972099 2706264985 2447219650 3702599510 655307879 1029843264 4149833100 2588837536 2943381555 1833361352 3510362419 1199410702 1579134827 2032061211 489122557 1052980227 1585572079 821226169 409007869 408868488 735225121 3752744839 3103045496 917243866 2364810560 4042290688 3231344961 2521348511 1951942878 1555138858 2641029206 1745469179 2796797893 4227479465 2002197414 1801355676 715505044 523883672 2652048112 2381585886 342276114 2068052886 2413926830 998421106 1329031703 98468661 4225558039 2049884807 1729033981 656788007 994988728 3676359476 853671418 169087250 1352433233 937577420 3816810242 2895326977 1176093803 2901433763 2624393816 2552301980 879836694 208827849 2425876538 146434718 1794633699 2068898296 4280001436 861132933 605456674 520387049 748638303 2704578838 3654806677 4267912196 1235086775 1223165449 1144664828 352552811 3599461552 1516795658 2907295337 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 |      231 |      100 |      979      0 |        0 |        0
0.09/0.12	c  0.0s |       2 |      485 |      250 |     1077      0 |        0 |        0
0.09/0.17	c  0.1s |       3 |      846 |      475 |     1185      0 |        0 |        0
0.19/0.25	c  0.2s |       4 |     1374 |      813 |     1304      0 |        0 |        0
0.29/0.39	c  0.3s |       5 |     2090 |     1320 |     1435      0 |        0 |        0
0.59/0.60	c  0.5s |       6 |     3129 |     2081 |     1737      1 |        0 |        0
0.89/0.91	c  0.8s |       7 |     4790 |     3223 |     1911      2 |        0 |        0
1.38/1.44	c  1.4s |       8 |     7147 |     4936 |     2103      4 |        0 |        0
1.99/2.04	c  2.0s |       9 |    11025 |     7506 |     2314      6 |        0 |        0
2.89/2.94	c  2.9s |      10 |    17134 |    11361 |     2546      9 |        0 |        0
3.59/3.70	c  3.6s |      10 |    22510 |    14875 |     2546     11 |        1 |       11
3.59/3.70	c #cpu_time = 3.610s
3.59/3.70	c #wall_clock_time = 3.619s
3.59/3.70	c #decision = 22510
3.59/3.70	c #random_decision = 71
3.59/3.70	c #conflict = 14875
3.59/3.70	c #restart = 10
3.59/3.70	s SATISFIABLE
3.59/3.70	v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10
3.59/3.70	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
3.59/3.70	v -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 x30
3.59/3.70	v -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40
3.59/3.70	v -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50
3.59/3.70	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
3.59/3.70	v -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 x70
3.59/3.70	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
3.59/3.70	v -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90
3.59/3.70	v -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100
3.59/3.70	v -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110
3.59/3.70	v -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
3.59/3.70	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130
3.59/3.70	v -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140
3.59/3.70	v -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
3.59/3.70	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160
3.59/3.70	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
3.59/3.70	v x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
3.59/3.70	v -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190
3.69/3.88	v -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200
3.69/3.88	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210
3.69/3.88	v -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 -x220
3.69/3.88	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230
3.69/3.88	v -x231
3.69/3.88	c total CPU time = 3.688s
3.69/3.88	c total wall clock time = 3.698s

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

pid=15107
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: 1.07 0.37 0.21 3/179 15110
/proc/meminfo: memFree=29735576/32872528 swapFree=1191052/1305516
[pid=15110] ppid=15107 vsize=709052 CPUtime=0 cores=0,2,4,6
/proc/15110/stat : 15110 (toysat) R 15107 15110 14522 0 -1 4202496 2644 0 0 0 0 0 0 0 20 0 4 0 22657763 726069248 3004 33554432000 4194304 16246674 140734894926048 140734894925472 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15110/statm: 178031 3013 441 2943 0 174925 0
[pid=15110/tid=15111] ppid=15107 vsize=727484 CPUtime=0 cores=0,2,4,6
/proc/15110/task/15111/stat : 15111 (toysat) S 15107 15110 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22657763 744943616 3074 33554432000 4194304 16246674 140734894926048 139802460531952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15110/tid=15112] ppid=15107 vsize=731580 CPUtime=0 cores=0,2,4,6
/proc/15110/task/15112/stat : 15112 (toysat) S 15107 15110 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22657763 749137920 3091 33554432000 4194304 16246674 140734894926048 139802450042096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15110/tid=15113] ppid=15107 vsize=735676 CPUtime=0 cores=0,2,4,6
/proc/15110/task/15113/stat : 15113 (toysat) S 15107 15110 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22657763 753332224 3106 33554432000 4194304 16246674 140734894926048 139802439568560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100162 s]
/proc/loadavg: 1.07 0.37 0.21 3/179 15110
/proc/meminfo: memFree=29735576/32872528 swapFree=1191052/1305516
[pid=15110] ppid=15107 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/15110/stat : 15110 (toysat) R 15107 15110 14522 0 -1 4202496 25178 0 0 0 6 3 0 0 20 0 4 0 22657763 1247350784 25527 33554432000 4194304 16246674 140734894926048 140734894907968 5532589 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15110/statm: 304529 25534 729 2943 0 301423 0
[pid=15110/tid=15111] ppid=15107 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15110/task/15111/stat : 15111 (toysat) S 15107 15110 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22657763 1247350784 25540 33554432000 4194304 16246674 140734894926048 139802460531952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15110/tid=15112] ppid=15107 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15110/task/15112/stat : 15112 (toysat) S 15107 15110 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22657763 1247350784 25545 33554432000 4194304 16246674 140734894926048 139802450042096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15110/tid=15113] ppid=15107 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15110/task/15113/stat : 15113 (toysat) S 15107 15110 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22657763 1247350784 25550 33554432000 4194304 16246674 140734894926048 139802439568560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200451 s]
/proc/loadavg: 1.07 0.37 0.21 3/179 15110
/proc/meminfo: memFree=29735576/32872528 swapFree=1191052/1305516
[pid=15110] ppid=15107 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/15110/stat : 15110 (toysat) R 15107 15110 14522 0 -1 4202496 40711 0 0 0 13 6 0 0 20 0 4 0 22657763 1247350784 41061 33554432000 4194304 16246674 140734894926048 140734894907968 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15110/statm: 304529 41065 729 2943 0 301423 0
[pid=15110/tid=15111] ppid=15107 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15110/task/15111/stat : 15111 (toysat) S 15107 15110 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22657763 1247350784 41068 33554432000 4194304 16246674 140734894926048 139802460531952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15110/tid=15112] ppid=15107 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15110/task/15112/stat : 15112 (toysat) S 15107 15110 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22657763 1247350784 41072 33554432000 4194304 16246674 140734894926048 139802450042096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15110/tid=15113] ppid=15107 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15110/task/15113/stat : 15113 (toysat) S 15107 15110 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22657763 1247350784 41076 33554432000 4194304 16246674 140734894926048 139802439568560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300478 s]
/proc/loadavg: 1.07 0.37 0.21 3/179 15110
/proc/meminfo: memFree=29735576/32872528 swapFree=1191052/1305516
[pid=15110] ppid=15107 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/15110/stat : 15110 (toysat) R 15107 15110 14522 0 -1 4202496 56746 0 0 0 21 8 0 0 20 0 4 0 22657763 1247350784 57096 33554432000 4194304 16246674 140734894926048 140734894907968 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15110/statm: 304529 57106 729 2943 0 301423 0
[pid=15110/tid=15111] ppid=15107 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15110/task/15111/stat : 15111 (toysat) S 15107 15110 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22657763 1247350784 57112 33554432000 4194304 16246674 140734894926048 139802460531952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15110/tid=15112] ppid=15107 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15110/task/15112/stat : 15112 (toysat) S 15107 15110 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22657763 1247350784 57115 33554432000 4194304 16246674 140734894926048 139802450042096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15110/tid=15113] ppid=15107 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15110/task/15113/stat : 15113 (toysat) S 15107 15110 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22657763 1247350784 57122 33554432000 4194304 16246674 140734894926048 139802439568560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700348 s]
/proc/loadavg: 1.07 0.37 0.21 3/179 15110
/proc/meminfo: memFree=29735576/32872528 swapFree=1191052/1305516
[pid=15110] ppid=15107 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/15110/stat : 15110 (toysat) R 15107 15110 14522 0 -1 4202496 118143 0 0 0 52 16 0 0 20 0 4 0 22657763 1247350784 118492 33554432000 4194304 16246674 140734894926048 140734894907968 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15110/statm: 304529 118496 735 2943 0 301423 0
[pid=15110/tid=15111] ppid=15107 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15110/task/15111/stat : 15111 (toysat) S 15107 15110 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22657763 1247350784 118500 33554432000 4194304 16246674 140734894926048 139802460531952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15110/tid=15112] ppid=15107 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15110/task/15112/stat : 15112 (toysat) S 15107 15110 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22657763 1247350784 118503 33554432000 4194304 16246674 140734894926048 139802450042096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15110/tid=15113] ppid=15107 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15110/task/15113/stat : 15113 (toysat) S 15107 15110 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22657763 1247350784 118513 33554432000 4194304 16246674 140734894926048 139802439568560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50039 s]
/proc/loadavg: 1.07 0.37 0.21 2/174 15145
/proc/meminfo: memFree=30015752/32872528 swapFree=1191052/1305516
[pid=15110] ppid=15107 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/15110/stat : 15110 (toysat) R 15107 15110 14522 0 -1 4202496 240841 0 0 0 113 36 0 0 20 0 4 0 22657763 1247350784 241190 33554432000 4194304 16246674 140734894926048 140734894907968 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15110/statm: 304529 241199 735 2943 0 301423 0
[pid=15110/tid=15111] ppid=15107 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15110/task/15111/stat : 15111 (toysat) S 15107 15110 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22657763 1247350784 241204 33554432000 4194304 16246674 140734894926048 139802460531952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15110/tid=15112] ppid=15107 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15110/task/15112/stat : 15112 (toysat) S 15107 15110 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22657763 1247350784 241211 33554432000 4194304 16246674 140734894926048 139802450042096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15110/tid=15113] ppid=15107 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15110/task/15113/stat : 15113 (toysat) S 15107 15110 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22657763 1247350784 241216 33554432000 4194304 16246674 140734894926048 139802439568560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10043 s]
/proc/loadavg: 1.07 0.37 0.21 2/174 15145
/proc/meminfo: memFree=29748904/32872528 swapFree=1191052/1305516
[pid=15110] ppid=15107 vsize=1303108 CPUtime=3.09 cores=0,2,4,6
/proc/15110/stat : 15110 (toysat) R 15107 15110 14522 0 -1 4202496 266659 0 0 0 270 39 0 0 20 0 4 0 22657763 1334382592 266988 33554432000 4194304 16246674 140734894926048 140734894907968 5808495 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15110/statm: 325777 266988 800 2943 0 322671 0
[pid=15110/tid=15111] ppid=15107 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/15110/task/15111/stat : 15111 (toysat) S 15107 15110 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22657763 1334382592 266988 33554432000 4194304 16246674 140734894926048 139802460531952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15110/tid=15112] ppid=15107 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/15110/task/15112/stat : 15112 (toysat) S 15107 15110 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22657763 1334382592 266988 33554432000 4194304 16246674 140734894926048 139802450042096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15110/tid=15113] ppid=15107 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/15110/task/15113/stat : 15113 (toysat) S 15107 15110 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22657763 1334382592 266988 33554432000 4194304 16246674 140734894926048 139802439568560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1303108
Solver just ended.
ain loop
??? sigkill at end of watcher main loop
??? kill 15110 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20048 s]
/proc/loadavg: 1.07 0.37 0.21 2/174 15145
/proc/meminfo: memFree=29748904/32872528 swapFree=1191052/1305516
[pid=15110] ppid=15107 vsize=1303108 CPUtime=3.19 cores=0,2,4,6
/proc/15110/stat : 15110 (toysat) R 15107 15110 14522 0 -1 4202496 266659 0 0 0 280 39 0 0 20 0 4 0 22657763 1334382592 266988 33554432000 4194304 16246674 140734894926048 140734894907968 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15110/statm: 325777 266988 800 2943 0 322671 0
[pid=15110/tid=15111] ppid=15107 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/15110/task/15111/stat : 15111 (toysat) S 15107 15110 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22657763 1334382592 266988 33554432000 4194304 16246674 140734894926048 139802460531952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15110/tid=15112] ppid=15107 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/15110/task/15112/stat : 15112 (toysat) S 15107 15110 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22657763 1334382592 266988 33554432000 4194304 16246674 140734894926048 139802450042096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15110/tid=15113] ppid=15107 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/15110/task/15113/stat : 15113 (toysat) S 15107 15110 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22657763 1334382592 266988 33554432000 4194304 16246674 140734894926048 139802439568560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 1303108

[startup+3.60042 s]
/proc/loadavg: 1.06 0.38 0.21 2/174 15145
/proc/meminfo: memFree=29666824/32872528 swapFree=1191052/1305516
[pid=15110] ppid=15107 vsize=1303108 CPUtime=3.59 cores=0,2,4,6
/proc/15110/stat : 15110 (toysat) R 15107 15110 14522 0 -1 4202496 266675 0 0 0 320 39 0 0 20 0 4 0 22657763 1334382592 267004 33554432000 4194304 16246674 140734894926048 140734894907968 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15110/statm: 325777 267004 800 2943 0 322671 0
[pid=15110/tid=15111] ppid=15107 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/15110/task/15111/stat : 15111 (toysat) S 15107 15110 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22657763 1334382592 267004 33554432000 4194304 16246674 140734894926048 139802460531952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15110/tid=15112] ppid=15107 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/15110/task/15112/stat : 15112 (toysat) S 15107 15110 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22657763 1334382592 267004 33554432000 4194304 16246674 140734894926048 139802450042096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15110/tid=15113] ppid=15107 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/15110/task/15113/stat : 15113 (toysat) S 15107 15110 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22657763 1334382592 267004 33554432000 4194304 16246674 140734894926048 139802439568560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.59
Current children cumulated vsize (KiB) 1303108

[startup+3.70034 s]
/proc/loadavg: 1.06 0.38 0.21 2/174 15145
/proc/meminfo: memFree=29666824/32872528 swapFree=1191052/1305516
[pid=15110] ppid=15107 vsize=1304132 CPUtime=3.69 cores=0,2,4,6
/proc/15110/stat : 15110 (toysat) R 15107 15110 14522 0 -1 4202496 266684 0 0 0 330 39 0 0 20 0 4 0 22657763 1335431168 267013 33554432000 4194304 16246674 140734894926048 140734894907968 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15110/statm: 326545 267023 803 2943 0 323439 0
[pid=15110/tid=15111] ppid=15107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/15110/task/15111/stat : 15111 (toysat) R 15107 15110 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22657763 1337528320 267023 33554432000 4194304 16246674 140734894926048 139802460531728 14069300 0 0 0 34082818 0 0 0 -1 4 0 0 0 0 0
[pid=15110/tid=15112] ppid=15107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/15110/task/15112/stat : 15112 (toysat) S 15107 15110 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22657763 1337528320 267024 33554432000 4194304 16246674 140734894926048 139802450041872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15110/tid=15113] ppid=15107 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/15110/task/15113/stat : 15113 (toysat) S 15107 15110 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22657763 1337528320 267025 33554432000 4194304 16246674 140734894926048 139802439568560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 1304132

Child status: 0
Real time (s): 3.76201
CPU time (s): 3.75943
CPU user time (s): 3.3065
CPU system time (s): 0.452931
CPU usage (%): 99.9315
Max. virtual memory (cumulated for all children) (KiB): 1304132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.3065
system time used= 0.452931
maximum resident set size= 1068100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 266698
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23
involuntary context switches= 6

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.015997 second user time and 0.033994 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-18 01:28:31
IDJOB=4099144
IDBENCH=1319
IDSOLVER=2542
FILE ID=node127/4099144-1466206111
RUNJOBID= node127-1466206072-14538
PBS_JOBID= 19918150
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 11371eec29d871c470e0cb7778802319
RANDOM SEED=346985113

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
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.769
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:        29735956 kB
Buffers:           40204 kB
Cached:            98256 kB
SwapCached:          520 kB
Active:          1064400 kB
Inactive:          58448 kB
Active(anon):     985836 kB
Inactive(anon):      816 kB
Active(file):      78564 kB
Inactive(file):    57632 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100220 kB
Dirty:             32884 kB
Writeback:             0 kB
AnonPages:       2289520 kB
Mapped:            10420 kB
Shmem:                 0 kB
Slab:             572768 kB
SReclaimable:      16088 kB
SUnreclaim:       556680 kB
KernelStack:        1448 kB
PageTables:         8500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2437348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    114688 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= 71724 MiB
End job on node127 at 2016-06-18 01:28:35