Trace number 4099312

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-02UNSAT 134.99 135.022

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900548667.opb
MD5SUM9a7dcf907234f84f0d33881f56632ec3
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark12.4961
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
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 625
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:54+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-4099312-1466206134.opb"]
0.00/0.01	c use --random-gen="2224796142 1668369818 524460905 3069879162 2838415122 2900236576 1198607594 97866297 211736067 2191065333 1607748003 553081863 2866324328 3419076553 879726809 3041746390 2322441412 4021567527 1560406184 665698318 2982121497 2766776065 397036946 2891175660 1580754819 4245577972 2528323078 3387649062 1087335077 40215157 3290735233 3755722510 1669589757 1408035015 3856538340 2700328421 3265477110 2257144738 704542222 186055613 3168196492 3834287918 1130663746 1680098203 357515961 2151508746 1971256652 1449708761 1175060012 3398542712 4183451035 2922787478 3380060579 3856465933 3505410202 1302846866 4034255992 3595511150 3603114137 3031302759 616980554 2800108333 4149715850 3169923223 2910441753 3957034632 3105540968 3489132638 927892302 756174349 530325629 384673330 1644960245 680090174 1182973057 3511642242 3273400558 3890083170 4146976851 4054591304 160726487 1149914447 2137252598 4223311533 2601326629 4064649131 3800766035 1858405688 4095840499 3910199210 284118813 2366332037 3723741580 4036617492 4080668463 3063725127 517110635 2119657387 4175485175 1996218902 3714039596 301740103 200585450 1448325022 1517249388 3814912712 2583277378 1895271712 434301183 184710770 2223113053 3704219610 2604177607 2964972964 1147780382 3076464635 730784277 1383591382 497766229 1091714779 2982097390 452300158 1506276027 2163008910 2621262237 53427662 2787779747 2161564428 1389176366 1297977514 3889550681 2430293814 781879838 1232643851 3366119437 1104604779 560880503 496068260 3274465048 592228355 2705709282 3801239108 3362893537 2554848950 651459762 3700189150 476425904 3046998235 3424251334 137693735 4183280857 3600998316 3308578797 2209521392 10014674 907984604 2973175849 723512482 1444886146 3912275564 1689276909 1092791825 1060667729 387640583 633781882 3272116946 1386116910 2600775542 1331102705 3318587923 867584308 3704210214 999391344 3123652043 1922246957 1991630858 3965333539 4205742936 908839722 3177641734 3695641172 2994442761 427144470 3398829107 2028810495 1569672401 1054190294 4128477388 3621736765 3262802220 53069613 2267702522 2411091405 2327771280 3866030984 4251939545 4090450567 3542788307 578246024 1551740204 3764957373 3253972959 2664921991 3420285133 636760195 2717937901 130781360 1260317602 2367861470 3003406312 3508023733 1618323040 2061234345 3071563602 761069366 1596293521 1675153006 919082352 640269460 594005467 2442202680 1807288086 808961953 4265218776 3978699115 941672440 354757769 228299721 1437762259 1215131676 641832827 1206779973 475037177 2196884040 4045450267 581045833 2791841555 458240366 1626694137 2360276287 865823353 1034385895 2172010454 3690393313 2155911681 1019545592 2527968162 2287553311 2197440948 2024720552 942373015 3636914254 1279037336 2873271606 1164993359 1613364737 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 |      304 |      100 |      979      0 |        0 |        0
0.09/0.12	c  0.0s |       2 |      543 |      250 |     1077      0 |        0 |        0
0.09/0.17	c  0.1s |       3 |      869 |      475 |     1185      0 |        0 |        0
0.18/0.26	c  0.2s |       4 |     1341 |      813 |     1304      0 |        0 |        0
0.39/0.42	c  0.3s |       5 |     1974 |     1320 |     1435      0 |        0 |        0
0.59/0.61	c  0.5s |       6 |     3115 |     2081 |     1737      1 |        0 |        0
0.88/0.93	c  0.9s |       7 |     4816 |     3223 |     1911      2 |        0 |        0
1.39/1.44	c  1.4s |       8 |     7322 |     4936 |     2103      4 |        0 |        0
1.99/2.03	c  2.0s |       9 |    11202 |     7506 |     2314      6 |        0 |        0
2.99/3.08	c  3.0s |      10 |    16488 |    11361 |     2546      9 |        0 |        0
4.50/4.59	c  4.5s |      11 |    24934 |    17144 |     2801     13 |        0 |        0
6.60/6.61	c  6.5s |      11 |    35665 |    24544 |     2801     18 |        0 |        0
6.89/6.94	c  6.9s |      12 |    37514 |    25819 |     3082     19 |        0 |        0
8.90/8.95	c  8.9s |      12 |    48181 |    33219 |     3082     24 |        0 |        0
10.39/10.47	c 10.4s |      13 |    56586 |    38832 |     3391     27 |        0 |        0
12.39/12.49	c 12.4s |      13 |    69177 |    46932 |     3391     32 |        0 |        0
14.49/14.50	c 14.4s |      13 |    82647 |    55932 |     3391     37 |        0 |        0
14.99/15.01	c 14.9s |      14 |    86527 |    58352 |     3731     38 |        1 |       11
16.99/17.02	c 16.9s |      14 |    98259 |    65952 |     3731     41 |        1 |       11
18.99/19.04	c 19.0s |      14 |   113088 |    74752 |     3731     46 |        1 |       11
20.99/21.06	c 21.0s |      14 |   126373 |    83152 |     3731     51 |        1 |       11
22.09/22.15	c 22.1s |      15 |   133765 |    87632 |     4105     53 |        1 |       11
24.08/24.15	c 24.1s |      15 |   147993 |    96532 |     4105     57 |        1 |       11
26.08/26.16	c 26.1s |      15 |   163890 |   106132 |     4105     61 |        2 |       22
28.08/28.16	c 28.1s |      15 |   178284 |   114632 |     4105     65 |        2 |       22
30.08/30.16	c 30.1s |      15 |   193854 |   123632 |     4105     69 |        2 |       22
31.89/31.96	c 31.9s |      16 |   206982 |   131552 |     4516     73 |        2 |       22
33.88/33.97	c 33.9s |      16 |   225008 |   142052 |     4516     76 |        3 |       33
35.88/35.97	c 35.9s |      16 |   241271 |   151252 |     4516     79 |        4 |       44
37.89/37.99	c 37.9s |      16 |   257109 |   160652 |     4516     83 |        4 |       44
39.88/39.99	c 39.9s |      16 |   272694 |   169852 |     4516     87 |        4 |       44
41.98/42.01	c 41.9s |      16 |   288880 |   179252 |     4516     89 |        5 |       55
43.99/44.01	c 43.9s |      16 |   304357 |   188452 |     4516     92 |        6 |       66
45.98/46.02	c 45.9s |      16 |   317632 |   196652 |     4968     95 |        6 |       66
46.19/46.23	c 46.2s |      17 |   318875 |   197432 |     4968     95 |        6 |       66
48.18/48.25	c 48.2s |      17 |   332841 |   205432 |     4968     98 |        6 |       66
50.18/50.27	c 50.2s |      17 |   345839 |   213132 |     4968    102 |        6 |       66
52.18/52.28	c 52.2s |      17 |   361118 |   222132 |     4968    104 |        7 |       77
54.18/54.28	c 54.2s |      17 |   378169 |   231932 |     4968    108 |        7 |       77
56.28/56.30	c 56.2s |      17 |   393098 |   241032 |     4968    111 |        7 |       77
58.28/58.33	c 58.3s |      17 |   402946 |   247932 |     4968    114 |        7 |       77
60.27/60.34	c 60.3s |      17 |   412389 |   254732 |     4968    117 |        7 |       77
62.27/62.37	c 62.3s |      17 |   423780 |   262132 |     4968    120 |        7 |       77
64.27/64.39	c 64.3s |      17 |   434722 |   269432 |     4968    122 |        7 |       77
66.37/66.40	c 66.3s |      17 |   444729 |   276232 |     4968    125 |        7 |       77
68.37/68.42	c 68.3s |      17 |   453684 |   282332 |     4968    128 |        7 |       77
70.38/70.43	c 70.4s |      17 |   463257 |   288832 |     4968    130 |        7 |       77
72.37/72.46	c 72.4s |      17 |   472478 |   295032 |     5465    132 |        7 |       77
72.77/72.87	c 72.8s |      18 |   474163 |   296252 |     5465    133 |        7 |       77
74.87/74.91	c 74.8s |      18 |   483405 |   302652 |     5465    135 |        7 |       77
76.87/76.92	c 76.8s |      18 |   493320 |   309252 |     5465    138 |        7 |       77
78.88/78.94	c 78.9s |      18 |   502745 |   315752 |     5465    139 |        8 |       88
80.87/80.98	c 80.9s |      18 |   512576 |   322352 |     5465    141 |        8 |       88
82.97/83.00	c 82.9s |      18 |   521305 |   328252 |     5465    142 |        9 |       99
84.97/85.02	c 84.9s |      18 |   530207 |   334252 |     5465    144 |        9 |       99
86.98/87.04	c 87.0s |      18 |   538681 |   339852 |     5465    146 |        9 |       99
88.97/89.07	c 89.0s |      18 |   547437 |   345952 |     5465    147 |       10 |      110
90.97/91.08	c 91.0s |      18 |   555460 |   351552 |     5465    149 |       10 |      110
92.97/93.08	c 93.0s |      18 |   564552 |   357752 |     5465    151 |       10 |      110
95.07/95.11	c 95.0s |      18 |   572638 |   363452 |     5465    153 |       10 |      110
97.07/97.14	c 97.1s |      18 |   581010 |   369252 |     5465    155 |       10 |      110
99.07/99.18	c 99.1s |      18 |   589032 |   374952 |     5465    158 |       10 |      110
101.07/101.20	c  101s |      18 |   597878 |   380952 |     5465    159 |       11 |      121
103.17/103.22	c  103s |      18 |   606018 |   386652 |     5465    161 |       11 |      121
105.17/105.23	c  105s |      18 |   614319 |   392352 |     5465    163 |       11 |      121
107.16/107.24	c  107s |      18 |   623300 |   397952 |     5465    165 |       11 |      121
109.16/109.24	c  109s |      18 |   631797 |   403752 |     5465    167 |       11 |      121
111.17/111.25	c  111s |      18 |   640651 |   409752 |     5465    169 |       11 |      121
113.16/113.26	c  113s |      18 |   649540 |   415652 |     5465    171 |       11 |      121
115.16/115.26	c  115s |      18 |   660035 |   422152 |     5465    174 |       11 |      121
117.16/117.27	c  117s |      18 |   673533 |   430552 |     5465    177 |       11 |      121
119.16/119.29	c  119s |      18 |   686365 |   437952 |     5465    179 |       11 |      121
120.66/120.79	c  120s |      19 |   697993 |   444482 |     6012    182 |       11 |      121
122.76/122.80	c  122s |      19 |   712685 |   452982 |     6012    183 |       12 |      132
124.76/124.81	c  124s |      19 |   726475 |   461182 |     6012    185 |       14 |      154
126.76/126.81	c  126s |      19 |   738583 |   468482 |     6012    187 |       19 |      209
128.76/128.82	c  128s |      19 |   748535 |   475082 |     6012    188 |       20 |      220
130.76/130.82	c  130s |      19 |   759558 |   482282 |     6012    189 |       22 |      242
132.76/132.83	c  132s |      19 |   770309 |   489182 |     6012    189 |       24 |      264
134.76/134.85	c  134s |      19 |   779703 |   495382 |     6012    189 |       31 |      341
134.86/134.96	c  134s |      19 |   780274 |   495772 |     6012    189 |      163 |      495
134.86/134.96	c #cpu_time = 134.881s
134.86/134.97	c #wall_clock_time = 134.890s
134.86/134.97	c #decision = 780274
134.86/134.97	c #random_decision = 2851
134.86/134.97	c #conflict = 495772
134.86/134.97	c #restart = 19
134.86/134.97	s UNSATISFIABLE
134.86/134.97	c total CPU time = 134.959s
134.86/134.97	c total wall clock time = 134.968s

Verifier Data 

ERROR: no interpretation found !

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

pid=13796
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: 1.13 0.49 0.28 1/170 13799
/proc/meminfo: memFree=30611660/32872528 swapFree=1286400/1433568
[pid=13799] ppid=13796 vsize=748988 CPUtime=0 cores=1,3,5,7
/proc/13799/stat : 13799 (toysat) R 13796 13799 12983 0 -1 4202496 2800 0 0 0 0 0 0 0 20 0 4 0 22660184 766963712 2650 33554432000 4194304 16246674 140735446097328 140735446096752 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13799/statm: 188015 2659 441 2943 0 184909 0
[pid=13799/tid=13800] ppid=13796 vsize=766396 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13800/stat : 13800 (toysat) S 13796 13799 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660184 784789504 2719 33554432000 4194304 16246674 140735446097328 139913239440624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13799/tid=13801] ppid=13796 vsize=771516 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13801/stat : 13801 (toysat) S 13796 13799 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660184 790032384 2736 33554432000 4194304 16246674 140735446097328 139913228950768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13799/tid=13802] ppid=13796 vsize=775612 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13802/stat : 13802 (toysat) S 13796 13799 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22660184 794226688 2753 33554432000 4194304 16246674 140735446097328 139913218477232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100159 s]
/proc/loadavg: 1.13 0.49 0.28 1/170 13799
/proc/meminfo: memFree=30611660/32872528 swapFree=1286400/1433568
[pid=13799] ppid=13796 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/13799/stat : 13799 (toysat) R 13796 13799 12983 0 -1 4202496 25464 0 0 0 6 3 0 0 20 0 4 0 22660184 1247350784 25302 33554432000 4194304 16246674 140735446097328 140735446096752 5532301 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13799/statm: 304529 25309 726 2943 0 301423 0
[pid=13799/tid=13800] ppid=13796 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13800/stat : 13800 (toysat) S 13796 13799 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660184 1247350784 25314 33554432000 4194304 16246674 140735446097328 139913239440624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13799/tid=13801] ppid=13796 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13801/stat : 13801 (toysat) S 13796 13799 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660184 1247350784 25319 33554432000 4194304 16246674 140735446097328 139913228950768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13799/tid=13802] ppid=13796 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13802/stat : 13802 (toysat) S 13796 13799 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22660184 1247350784 25325 33554432000 4194304 16246674 140735446097328 139913218477232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200511 s]
/proc/loadavg: 1.13 0.49 0.28 1/170 13799
/proc/meminfo: memFree=30611660/32872528 swapFree=1286400/1433568
[pid=13799] ppid=13796 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/13799/stat : 13799 (toysat) R 13796 13799 12983 0 -1 4202496 41751 0 0 0 13 5 0 0 20 0 4 0 22660184 1247350784 41590 33554432000 4194304 16246674 140735446097328 140735446096752 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13799/statm: 304529 41596 726 2943 0 301423 0
[pid=13799/tid=13800] ppid=13796 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13800/stat : 13800 (toysat) S 13796 13799 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660184 1247350784 41604 33554432000 4194304 16246674 140735446097328 139913239440624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13799/tid=13801] ppid=13796 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13801/stat : 13801 (toysat) S 13796 13799 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660184 1247350784 41610 33554432000 4194304 16246674 140735446097328 139913228950768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13799/tid=13802] ppid=13796 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13802/stat : 13802 (toysat) S 13796 13799 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22660184 1247350784 41615 33554432000 4194304 16246674 140735446097328 139913218477232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300491 s]
/proc/loadavg: 1.13 0.49 0.28 1/170 13799
/proc/meminfo: memFree=30611660/32872528 swapFree=1286400/1433568
[pid=13799] ppid=13796 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/13799/stat : 13799 (toysat) R 13796 13799 12983 0 -1 4202496 58087 0 0 0 22 7 0 0 20 0 4 0 22660184 1247350784 57926 33554432000 4194304 16246674 140735446097328 140735446096752 5828874 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13799/statm: 304529 57932 726 2943 0 301423 0
[pid=13799/tid=13800] ppid=13796 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13800/stat : 13800 (toysat) S 13796 13799 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660184 1247350784 57935 33554432000 4194304 16246674 140735446097328 139913239440624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13799/tid=13801] ppid=13796 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13801/stat : 13801 (toysat) S 13796 13799 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660184 1247350784 57939 33554432000 4194304 16246674 140735446097328 139913228950768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13799/tid=13802] ppid=13796 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13802/stat : 13802 (toysat) S 13796 13799 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22660184 1247350784 57945 33554432000 4194304 16246674 140735446097328 139913218477232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700353 s]
/proc/loadavg: 1.13 0.49 0.28 1/170 13799
/proc/meminfo: memFree=30611660/32872528 swapFree=1286400/1433568
[pid=13799] ppid=13796 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/13799/stat : 13799 (toysat) R 13796 13799 12983 0 -1 4202496 121253 0 0 0 52 17 0 0 20 0 4 0 22660184 1247350784 121092 33554432000 4194304 16246674 140735446097328 140735446096752 5545885 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13799/statm: 304529 121101 732 2943 0 301423 0
[pid=13799/tid=13800] ppid=13796 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13800/stat : 13800 (toysat) S 13796 13799 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660184 1247350784 121107 33554432000 4194304 16246674 140735446097328 139913239440624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13799/tid=13801] ppid=13796 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13801/stat : 13801 (toysat) S 13796 13799 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660184 1247350784 121112 33554432000 4194304 16246674 140735446097328 139913228950768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13799/tid=13802] ppid=13796 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13802/stat : 13802 (toysat) S 13796 13799 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22660184 1247350784 121117 33554432000 4194304 16246674 140735446097328 139913218477232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50033 s]
/proc/loadavg: 1.13 0.49 0.28 2/174 13803
/proc/meminfo: memFree=29867860/32872528 swapFree=1286400/1433568
[pid=13799] ppid=13796 vsize=1221188 CPUtime=1.49 cores=1,3,5,7
/proc/13799/stat : 13799 (toysat) R 13796 13799 12983 0 -1 4202496 246125 0 0 0 117 32 0 0 20 0 4 0 22660184 1250496512 245943 33554432000 4194304 16246674 140735446097328 140735446096640 5673443 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13799/statm: 305297 245943 798 2943 0 302191 0
[pid=13799/tid=13800] ppid=13796 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13800/stat : 13800 (toysat) S 13796 13799 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660184 1250496512 245943 33554432000 4194304 16246674 140735446097328 139913239440624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13799/tid=13801] ppid=13796 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13801/stat : 13801 (toysat) S 13796 13799 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660184 1250496512 245943 33554432000 4194304 16246674 140735446097328 139913228950768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13799/tid=13802] ppid=13796 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13802/stat : 13802 (toysat) S 13796 13799 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660184 1250496512 245943 33554432000 4194304 16246674 140735446097328 139913218477232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1221188

[startup+3.10045 s]
/proc/loadavg: 1.13 0.49 0.28 3/183 13821
/proc/meminfo: memFree=29103888/32872528 swapFree=1286400/1433568
[pid=13799] ppid=13796 vsize=1303108 CPUtime=3.09 cores=1,3,5,7
/proc/13799/stat : 13799 (toysat) R 13796 13799 12983 0 -1 4202496 266674 0 0 0 274 35 0 0 20 0 4 0 22660184 1334382592 266492 33554432000 4194304 16246674 140735446097328 140735446079232 12995176 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13799/statm: 325777 266492 798 2943 0 322671 0
[pid=13799/tid=13800] ppid=13796 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13800/stat : 13800 (toysat) S 13796 13799 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660184 1334382592 266492 33554432000 4194304 16246674 140735446097328 139913239440624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13799/tid=13801] ppid=13796 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13801/stat : 13801 (toysat) S 13796 13799 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660184 1334382592 266492 33554432000 4194304 16246674 140735446097328 139913228950768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13799/tid=13802] ppid=13796 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13802/stat : 13802 (toysat) S 13796 13799 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660184 1334382592 266492 33554432000 4194304 16246674 140735446097328 139913218477232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1303108

[startup+6.30043 s]
/proc/loadavg: 1.20 0.51 0.29 3/183 13821
/proc/meminfo: memFree=28454636/32872528 swapFree=1286400/1433568
[pid=13799] ppid=13796 vsize=1308228 CPUtime=6.29 cores=1,3,5,7
/proc/13799/stat : 13799 (toysat) R 13796 13799 12983 0 -1 4202496 267948 0 0 0 594 35 0 0 20 0 4 0 22660184 1339625472 267766 33554432000 4194304 16246674 140735446097328 140735446079232 5860837 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13799/statm: 327057 267766 799 2943 0 323951 0
[pid=13799/tid=13800] ppid=13796 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13800/stat : 13800 (toysat) S 13796 13799 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660184 1339625472 267766 33554432000 4194304 16246674 140735446097328 139913239440624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13799/tid=13801] ppid=13796 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13801/stat : 13801 (toysat) S 13796 13799 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660184 1339625472 267766 33554432000 4194304 16246674 140735446097328 139913228950768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13799/tid=13802] ppid=13796 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13802/stat : 13802 (toysat) S 13796 13799 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660184 1339625472 267766 33554432000 4194304 16246674 140735446097328 139913218477232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 1.34 0.55 0.30 3/183 13870
/proc/meminfo: memFree=28451148/32872528 swapFree=1286400/1433568
[pid=13799] ppid=13796 vsize=1308228 CPUtime=12.69 cores=1,3,5,7
/proc/13799/stat : 13799 (toysat) R 13796 13799 12983 0 -1 4202496 268095 0 0 0 1234 35 0 0 20 0 4 0 22660184 1339625472 267913 33554432000 4194304 16246674 140735446097328 140735446079232 6011952 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13799/statm: 327057 267913 799 2943 0 323951 0
[pid=13799/tid=13800] ppid=13796 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13800/stat : 13800 (toysat) S 13796 13799 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660184 1339625472 267913 33554432000 4194304 16246674 140735446097328 139913239440624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13799/tid=13801] ppid=13796 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13801/stat : 13801 (toysat) S 13796 13799 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660184 1339625472 267913 33554432000 4194304 16246674 140735446097328 139913228950768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13799/tid=13802] ppid=13796 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13802/stat : 13802 (toysat) S 13796 13799 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660184 1339625472 267913 33554432000 4194304 16246674 140735446097328 139913218477232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 1.49 0.62 0.33 3/183 13870
/proc/meminfo: memFree=28427988/32872528 swapFree=1286400/1433568
[pid=13799] ppid=13796 vsize=1321540 CPUtime=25.48 cores=1,3,5,7
/proc/13799/stat : 13799 (toysat) R 13796 13799 12983 0 -1 4202496 271425 0 0 0 2513 35 0 0 20 0 4 0 22660184 1353256960 271243 33554432000 4194304 16246674 140735446097328 140735446080328 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13799/statm: 330385 271243 801 2943 0 327279 0
[pid=13799/tid=13800] ppid=13796 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13800/stat : 13800 (toysat) S 13796 13799 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660184 1353256960 271243 33554432000 4194304 16246674 140735446097328 139913239440624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13799/tid=13801] ppid=13796 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13801/stat : 13801 (toysat) S 13796 13799 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660184 1353256960 271243 33554432000 4194304 16246674 140735446097328 139913228950768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13799/tid=13802] ppid=13796 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13802/stat : 13802 (toysat) S 13796 13799 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660184 1353256960 271243 33554432000 4194304 16246674 140735446097328 139913218477232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1321540

[startup+51.1005 s]
/proc/loadavg: 1.66 0.73 0.37 3/183 13870
/proc/meminfo: memFree=28426344/32872528 swapFree=1286400/1433568
[pid=13799] ppid=13796 vsize=1321540 CPUtime=51.08 cores=1,3,5,7
/proc/13799/stat : 13799 (toysat) R 13796 13799 12983 0 -1 4202496 271431 0 0 0 5072 36 0 0 20 0 4 0 22660184 1353256960 271499 33554432000 4194304 16246674 140735446097328 140735446079232 5717660 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13799/statm: 330385 271499 801 2943 0 327279 0
[pid=13799/tid=13800] ppid=13796 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13800/stat : 13800 (toysat) S 13796 13799 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660184 1353256960 271499 33554432000 4194304 16246674 140735446097328 139913239440624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13799/tid=13801] ppid=13796 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13801/stat : 13801 (toysat) S 13796 13799 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660184 1353256960 271499 33554432000 4194304 16246674 140735446097328 139913228950768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13799/tid=13802] ppid=13796 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13802/stat : 13802 (toysat) S 13796 13799 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660184 1353256960 271499 33554432000 4194304 16246674 140735446097328 139913218477232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1321540

[startup+102.3 s]
/proc/loadavg: 1.97 0.96 0.47 3/184 13874
/proc/meminfo: memFree=28422092/32872528 swapFree=1286400/1433568
[pid=13799] ppid=13796 vsize=1321540 CPUtime=102.27 cores=1,3,5,7
/proc/13799/stat : 13799 (toysat) R 13796 13799 12983 0 -1 4202496 271440 0 0 0 10190 37 0 0 20 0 4 0 22660184 1353256960 271499 33554432000 4194304 16246674 140735446097328 140735446080328 13781168 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13799/statm: 330385 271499 801 2943 0 327279 0
[pid=13799/tid=13800] ppid=13796 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13800/stat : 13800 (toysat) S 13796 13799 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660184 1353256960 271499 33554432000 4194304 16246674 140735446097328 139913239440624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13799/tid=13801] ppid=13796 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13801/stat : 13801 (toysat) S 13796 13799 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660184 1353256960 271499 33554432000 4194304 16246674 140735446097328 139913228950768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13799/tid=13802] ppid=13796 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13802/stat : 13802 (toysat) S 13796 13799 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660184 1353256960 271499 33554432000 4194304 16246674 140735446097328 139913218477232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1321540

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

[startup+102.408 s]
/proc/loadavg: 1.97 0.96 0.47 3/184 13874
/proc/meminfo: memFree=28422092/32872528 swapFree=1286400/1433568
[pid=13799] ppid=13796 vsize=1321540 CPUtime=102.37 cores=1,3,5,7
/proc/13799/stat : 13799 (toysat) R 13796 13799 12983 0 -1 4202496 271440 0 0 0 10200 37 0 0 20 0 4 0 22660184 1353256960 271499 33554432000 4194304 16246674 140735446097328 140735446080328 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13799/statm: 330385 271499 801 2943 0 327279 0
[pid=13799/tid=13800] ppid=13796 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13800/stat : 13800 (toysat) S 13796 13799 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660184 1353256960 271499 33554432000 4194304 16246674 140735446097328 139913239440624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13799/tid=13801] ppid=13796 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13801/stat : 13801 (toysat) S 13796 13799 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660184 1353256960 271499 33554432000 4194304 16246674 140735446097328 139913228950768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13799/tid=13802] ppid=13796 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13802/stat : 13802 (toysat) S 13796 13799 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660184 1353256960 271499 33554432000 4194304 16246674 140735446097328 139913218477232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.37
Current children cumulated vsize (KiB) 1321540

[startup+115.2 s]
/proc/loadavg: 1.98 1.01 0.49 3/184 13874
/proc/meminfo: memFree=28422232/32872528 swapFree=1286400/1433568
[pid=13799] ppid=13796 vsize=1321540 CPUtime=115.16 cores=1,3,5,7
/proc/13799/stat : 13799 (toysat) R 13796 13799 12983 0 -1 4202496 271441 0 0 0 11479 37 0 0 20 0 4 0 22660184 1353256960 271499 33554432000 4194304 16246674 140735446097328 140735446096504 5808428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13799/statm: 330385 271499 801 2943 0 327279 0
[pid=13799/tid=13800] ppid=13796 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13800/stat : 13800 (toysat) S 13796 13799 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660184 1353256960 271499 33554432000 4194304 16246674 140735446097328 139913239440624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13799/tid=13801] ppid=13796 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13801/stat : 13801 (toysat) S 13796 13799 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660184 1353256960 271499 33554432000 4194304 16246674 140735446097328 139913228950768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13799/tid=13802] ppid=13796 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13802/stat : 13802 (toysat) S 13796 13799 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660184 1353256960 271499 33554432000 4194304 16246674 140735446097328 139913218477232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 115.16
Current children cumulated vsize (KiB) 1321540

[startup+128 s]
/proc/loadavg: 2.05 1.06 0.51 3/183 13874
/proc/meminfo: memFree=28412180/32872528 swapFree=1286400/1433568
[pid=13799] ppid=13796 vsize=1325636 CPUtime=127.96 cores=1,3,5,7
/proc/13799/stat : 13799 (toysat) R 13796 13799 12983 0 -1 4202496 272467 0 0 0 12759 37 0 0 20 0 4 0 22660184 1357451264 272523 33554432000 4194304 16246674 140735446097328 140735446079232 5673024 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13799/statm: 331409 272523 801 2943 0 328303 0
[pid=13799/tid=13800] ppid=13796 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13800/stat : 13800 (toysat) S 13796 13799 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660184 1357451264 272523 33554432000 4194304 16246674 140735446097328 139913239440624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13799/tid=13801] ppid=13796 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13801/stat : 13801 (toysat) S 13796 13799 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660184 1357451264 272523 33554432000 4194304 16246674 140735446097328 139913228950768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13799/tid=13802] ppid=13796 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13802/stat : 13802 (toysat) S 13796 13799 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660184 1357451264 272523 33554432000 4194304 16246674 140735446097328 139913218477232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 127.96
Current children cumulated vsize (KiB) 1325636

[startup+131.2 s]
/proc/loadavg: 2.13 1.09 0.53 3/183 13875
/proc/meminfo: memFree=28411932/32872528 swapFree=1286400/1433568
[pid=13799] ppid=13796 vsize=1325636 CPUtime=131.16 cores=1,3,5,7
/proc/13799/stat : 13799 (toysat) R 13796 13799 12983 0 -1 4202496 272467 0 0 0 13079 37 0 0 20 0 4 0 22660184 1357451264 272523 33554432000 4194304 16246674 140735446097328 140735446079232 5545776 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13799/statm: 331409 272523 801 2943 0 328303 0
[pid=13799/tid=13800] ppid=13796 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13800/stat : 13800 (toysat) S 13796 13799 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660184 1357451264 272523 33554432000 4194304 16246674 140735446097328 139913239440624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13799/tid=13801] ppid=13796 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13801/stat : 13801 (toysat) S 13796 13799 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660184 1357451264 272523 33554432000 4194304 16246674 140735446097328 139913228950768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13799/tid=13802] ppid=13796 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13802/stat : 13802 (toysat) S 13796 13799 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660184 1357451264 272523 33554432000 4194304 16246674 140735446097328 139913218477232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 131.16
Current children cumulated vsize (KiB) 1325636

[startup+132.8 s]
/proc/loadavg: 2.13 1.09 0.53 3/183 13875
/proc/meminfo: memFree=28412064/32872528 swapFree=1286400/1433568
[pid=13799] ppid=13796 vsize=1325636 CPUtime=132.76 cores=1,3,5,7
/proc/13799/stat : 13799 (toysat) R 13796 13799 12983 0 -1 4202496 272467 0 0 0 13239 37 0 0 20 0 4 0 22660184 1357451264 272523 33554432000 4194304 16246674 140735446097328 140735446080328 12483411 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13799/statm: 331409 272523 801 2943 0 328303 0
[pid=13799/tid=13800] ppid=13796 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13800/stat : 13800 (toysat) S 13796 13799 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660184 1357451264 272523 33554432000 4194304 16246674 140735446097328 139913239440624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13799/tid=13801] ppid=13796 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13801/stat : 13801 (toysat) S 13796 13799 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660184 1357451264 272523 33554432000 4194304 16246674 140735446097328 139913228950768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13799/tid=13802] ppid=13796 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13802/stat : 13802 (toysat) S 13796 13799 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660184 1357451264 272523 33554432000 4194304 16246674 140735446097328 139913218477232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 132.76
Current children cumulated vsize (KiB) 1325636

[startup+134.4 s]
/proc/loadavg: 2.12 1.10 0.53 4/183 13875
/proc/meminfo: memFree=28412176/32872528 swapFree=1286400/1433568
[pid=13799] ppid=13796 vsize=1325636 CPUtime=134.36 cores=1,3,5,7
/proc/13799/stat : 13799 (toysat) R 13796 13799 12983 0 -1 4202496 272467 0 0 0 13399 37 0 0 20 0 4 0 22660184 1357451264 272523 33554432000 4194304 16246674 140735446097328 140735446079232 6835966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13799/statm: 331409 272523 801 2943 0 328303 0
[pid=13799/tid=13800] ppid=13796 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13800/stat : 13800 (toysat) S 13796 13799 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660184 1357451264 272523 33554432000 4194304 16246674 140735446097328 139913239440624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13799/tid=13801] ppid=13796 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13801/stat : 13801 (toysat) S 13796 13799 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660184 1357451264 272523 33554432000 4194304 16246674 140735446097328 139913228950768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13799/tid=13802] ppid=13796 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13802/stat : 13802 (toysat) S 13796 13799 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660184 1357451264 272523 33554432000 4194304 16246674 140735446097328 139913218477232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 134.36
Current children cumulated vsize (KiB) 1325636

[startup+134.8 s]
/proc/loadavg: 2.12 1.10 0.53 4/183 13875
/proc/meminfo: memFree=28412176/32872528 swapFree=1286400/1433568
[pid=13799] ppid=13796 vsize=1325636 CPUtime=134.76 cores=1,3,5,7
/proc/13799/stat : 13799 (toysat) R 13796 13799 12983 0 -1 4202496 272467 0 0 0 13439 37 0 0 20 0 4 0 22660184 1357451264 272523 33554432000 4194304 16246674 140735446097328 140735446079232 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13799/statm: 331409 272523 801 2943 0 328303 0
[pid=13799/tid=13800] ppid=13796 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13800/stat : 13800 (toysat) S 13796 13799 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660184 1357451264 272523 33554432000 4194304 16246674 140735446097328 139913239440624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13799/tid=13801] ppid=13796 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13801/stat : 13801 (toysat) S 13796 13799 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660184 1357451264 272523 33554432000 4194304 16246674 140735446097328 139913228950768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13799/tid=13802] ppid=13796 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/13799/task/13802/stat : 13802 (toysat) S 13796 13799 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660184 1357451264 272523 33554432000 4194304 16246674 140735446097328 139913218477232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 134.76
Current children cumulated vsize (KiB) 1325636

[startup+135 s]
/proc/loadavg: 2.12 1.10 0.53 4/183 13875
/proc/meminfo: memFree=28412176/32872528 swapFree=1286400/1433568
[pid=13799] ppid=13796 vsize=0 CPUtime=134.96 cores=1,3,5,7
/proc/13799/stat : 13799 (toysat) R 13796 13799 12983 0 -1 4202500 272472 0 0 0 13456 40 0 0 20 0 1 0 22660184 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13799/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 134.96
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 135.022
CPU time (s): 134.99
CPU user time (s): 134.561
CPU system time (s): 0.429934
CPU usage (%): 99.977
Max. virtual memory (cumulated for all children) (KiB): 1325636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 134.561
system time used= 0.429934
maximum resident set size= 1090104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272472
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= 40
involuntary context switches= 137

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.343947 second user time and 0.52592 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-18 01:28:54
IDJOB=4099312
IDBENCH=1356
IDSOLVER=2542
FILE ID=node130/4099312-1466206134
RUNJOBID= node130-1466206066-13000
PBS_JOBID= 19918147
Free space on /tmp= 71748 MiB

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

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

MD5SUM BENCH= 9a7dcf907234f84f0d33881f56632ec3
RANDOM SEED=1902685106

node130.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.365
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	: 5332.73
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.365
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.365
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.55
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.365
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		: 2666.365
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.365
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.53
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.365
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.365
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:        30612032 kB
Buffers:           36304 kB
Cached:            81024 kB
SwapCached:         1824 kB
Active:            65896 kB
Inactive:          54284 kB
Active(anon):       3580 kB
Inactive(anon):     1544 kB
Active(file):      62316 kB
Inactive(file):    52740 kB
Unevictable:     1433568 kB
Mlocked:         1286400 kB
SwapTotal:      67108856 kB
SwapFree:       67098948 kB
Dirty:             16584 kB
Writeback:             4 kB
AnonPages:       1435744 kB
Mapped:             7028 kB
Shmem:                 0 kB
Slab:             572160 kB
SReclaimable:      15236 kB
SUnreclaim:       556924 kB
KernelStack:        1392 kB
PageTables:         6392 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1530316 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 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 node130 at 2016-06-18 01:31:09