Trace number 4079137

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02OPT45008 527.826 527.931

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_50_2__8_45__32.opb
MD5SUMa9de06eb109955ed8ed5086d04c7f5e9
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark45008
Best CPU time to get the best result obtained on this benchmark2.78358
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3248
Total number of constraints150
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)102
Number of constraints which are nor clauses,nor cardinality constraints48
Minimum length of a constraint32
Maximum length of a constraint289
Number of terms in the objective function 3200
Biggest coefficient in the objective function 126454
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 107409120
Number of bits of the sum of numbers in the objective function 27
Biggest number in a constraint 126454
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 107409120
Number of bits of the biggest sum of numbers27
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c 2016-06-07T04:53:20+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-4079137-1465268000.opb"]
0.00/0.01	c use --random-gen="2943504244 2863008579 1151390248 197748898 4108916116 1017681907 877119073 2378286724 1569554998 965054643 4080890553 3336800078 486813208 2715767121 2259366584 53740426 1664362963 2883783323 185329053 3916277057 3234732191 446535974 4185925508 119926440 2157426214 1942485195 1961057777 2038876421 2945109071 2810957219 2894484930 1817776439 2672901519 4216872941 4090953938 3945364545 1927113148 2592809710 2903557250 647072314 3534498013 2876559965 87520026 2715367618 3945862861 588481224 2827255893 4053648105 3286237717 3850626987 917884499 2805154365 4194592725 3900295213 1912892211 384336081 2804421901 2065238828 2226208117 3500580894 579124635 1329191157 1006360813 504556910 3018401821 1768134232 4150035856 2155113067 1130084470 2333157052 4176878919 3569923590 2398433064 2759185793 4290760034 545323869 4055068710 1652002379 1945600420 3081574172 1972795172 3617550330 3595530108 3771281058 314569953 461624202 3401915969 3512060362 2189162200 2813740418 1913592259 100035489 3542389674 2292805334 2083979828 3978949758 1218606457 2923171005 2965325908 491415206 365466169 2664688322 1010576729 3849976936 497429552 1546889069 2939726208 55544792 757744824 599586661 3558427897 1999272695 958154126 571763980 3037415916 1774816806 1542507821 1973833885 3248577441 2295211108 3295179394 4265742701 1112368014 300609749 278449556 3456452082 3804167157 2583796775 1809217150 3543034033 2196544568 2153155349 1545039590 546579634 2968094792 4025343085 2479396129 3909914728 2432350071 3466136147 4083614717 4274737745 971469808 3592818304 3107266200 4158673912 2268786698 112916251 3583351922 946935318 3661583512 3173390935 3854206428 2213732474 615453811 478755115 1739315180 2869901703 3382771914 2696297834 3994844138 1778807992 2302356690 417959822 407399507 692180879 1600687939 2325270273 4279660312 3798833305 683653377 2244477800 2802213281 302669213 2439121433 2296803818 3449070520 3757637389 3551322911 3885403585 1298065323 2645575537 2649555028 1648249450 1361375193 3593875543 627695159 4065227222 4079510745 3085477171 2687759679 3448388876 2907079093 113741376 451543466 790151943 2279426795 3441305919 3442608354 2741981937 1209109225 668286687 1312091493 4000080605 2357894660 1330670104 409823874 2255214816 4255919667 3477906692 1400146596 1054428760 1615712145 1529386986 1496507836 1578923096 1101120326 4153112490 2525769714 1125028076 235644001 3854891333 2868728502 2365638404 560631336 752836653 2479391555 3548615502 2659963489 2882160893 1341966409 1191808593 1557630214 1162374291 2530677770 2713372058 3261588979 1202551324 3386882034 4204022612 2409081077 1226757829 803700 1856123166 2162537444 3159973830 2972984471 471042888 478632895 1386492568 4119475797 1760898421 2515989776 2541811648 211922594 3786293599 255 362436" option to reproduce the execution
0.00/0.04	c #vars 3248
0.00/0.04	c #constraints 150
0.00/0.08	c BCD2: Hardening is enabled.
0.00/0.08	c BCD2: BiasedSearch is enabled.
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.09	c  0.0s |       0 |        0 |        0 |     1149      0 |        0 |        0
0.09/0.12	c  0.0s |       1 |      373 |      100 |     1149      0 |        0 |        0
0.19/0.20	c  0.1s |       2 |     2892 |      250 |     1264      0 |        0 |        0
0.39/0.43	c  0.3s |       3 |     5229 |      475 |     1391      0 |        0 |        0
0.79/0.80	c  0.7s |       4 |     7706 |      813 |     1531      0 |        0 |        0
0.99/1.00	c  0.9s |       4 |    10766 |      957 |     1685      0 |        0 |        0
0.99/1.00	c #cpu_time = 0.900s
0.99/1.00	c #wall_clock_time = 0.900s
0.99/1.00	c #decision = 10766
0.99/1.00	c #random_decision = 26
0.99/1.00	c #conflict = 957
0.99/1.00	c #restart = 4
0.99/1.00	o 1122915
0.99/1.02	c BCD2: updating upper bound: 107409120 -> 1122914
0.99/1.05	c BCD2: 0 <= obj <= 1122914
0.99/1.05	c BCD2: #cores=0, #unrelaxed=3200, #relaxed=0, #hardened=0
0.99/1.05	c BCD2: #sat=1 #unsat=1 bias=1/2
0.99/1.05	c Solving starts ...
0.99/1.05	c ============================[ Search Statistics ]============================
0.99/1.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.99/1.05	c       |         |          |          |    Limit     GC | Var      | Constra 
0.99/1.05	c =============================================================================
0.99/1.05	c  0.0s |       0 |        0 |        0 |     1685      0 |        0 |        0
0.99/1.07	c  0.0s |       0 |      443 |        0 |     1685      0 |        0 |        0
0.99/1.07	c #cpu_time = 0.017s
0.99/1.07	c #wall_clock_time = 0.017s
0.99/1.07	c #decision = 443
0.99/1.07	c #random_decision = 0
0.99/1.07	c #conflict = 0
0.99/1.07	c #restart = 0
0.99/1.07	c BCD2: found a new core of size 64: cost of the new core is >=10131
0.99/1.07	c lower bound updated to 10131
0.99/1.09	c BCD2: 10131 <= obj <= 1122914
0.99/1.09	c BCD2: #cores=1, #unrelaxed=3136, #relaxed=64, #hardened=0
0.99/1.09	c BCD2: #sat=1 #unsat=2 bias=2/3
0.99/1.09	c Solving starts ...
0.99/1.09	c ============================[ Search Statistics ]============================
0.99/1.09	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.99/1.09	c       |         |          |          |    Limit     GC | Var      | Constra 
0.99/1.09	c =============================================================================
0.99/1.09	c  0.0s |       0 |        0 |        0 |     1685      0 |        0 |        1
1.10/1.12	c  0.0s |       0 |     2662 |        0 |     1685      0 |        0 |        1
1.10/1.12	c #cpu_time = 0.029s
1.10/1.12	c #wall_clock_time = 0.029s
1.10/1.12	c #decision = 2662
1.10/1.12	c #random_decision = 0
1.10/1.12	c #conflict = 0
1.10/1.12	c #restart = 0
1.10/1.12	c BCD2: found a new core of size 351: cost of the new core is >=9426
1.10/1.12	c lower bound updated to 19557
1.10/1.13	c BCD2: 19557 <= obj <= 1122914
1.10/1.13	c BCD2: #cores=2, #unrelaxed=2785, #relaxed=415, #hardened=0
1.10/1.13	c BCD2: #sat=1 #unsat=3 bias=3/4
512.20/512.39	c Solving starts ...
512.20/512.39	c ============================[ Search Statistics ]============================
512.20/512.39	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
512.20/512.39	c       |         |          |          |    Limit     GC | Var      | Constra 
512.20/512.39	c =============================================================================
512.20/512.39	c  0.0s |       0 |        0 |        0 |     1685      0 |        0 |        1
512.30/512.42	c  0.0s |       0 |     2916 |       21 |     1685      0 |        0 |        1
512.30/512.42	c #cpu_time = 0.026s
512.30/512.42	c #wall_clock_time = 0.026s
512.30/512.42	c #decision = 2916
512.30/512.42	c #random_decision = 0
512.30/512.42	c #conflict = 21
512.30/512.42	c #restart = 0
512.30/512.42	o 45008
512.30/512.45	c BCD2: hardening fixes 1792 literals
512.30/512.46	c BCD2: updating upper bound: 1122914 -> 45007
512.41/512.50	c BCD2: 19557 <= obj <= 45007
512.41/512.50	c BCD2: #cores=2, #unrelaxed=1153, #relaxed=255, #hardened=1792
512.41/512.50	c BCD2: #sat=2 #unsat=3 bias=3/5
520.60/520.72	c Solving starts ...
520.60/520.72	c ============================[ Search Statistics ]============================
520.60/520.72	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
520.60/520.72	c       |         |          |          |    Limit     GC | Var      | Constra 
520.60/520.72	c =============================================================================
520.60/520.72	c  0.0s |       0 |        0 |        0 |     1685      0 |     1800 |        2
520.60/520.75	c  0.0s |       0 |     1143 |       63 |     1685      0 |     1800 |       70
520.60/520.75	c #cpu_time = 0.031s
520.60/520.75	c #wall_clock_time = 0.031s
520.60/520.75	c #decision = 1143
520.60/520.75	c #random_decision = 0
520.60/520.75	c #conflict = 63
520.60/520.75	c #restart = 0
520.60/520.75	c BCD2: relaxing 0 and merging with 2 cores into a new core of size 415: cost of the new core is >=20219
520.60/520.75	c BCD2: refineLB: 19558 -> 20219
520.60/520.75	c lower bound updated to 20219
520.60/520.78	c BCD2: 20219 <= obj <= 45007
520.60/520.78	c BCD2: #cores=1, #unrelaxed=1153, #relaxed=255, #hardened=1792
520.60/520.78	c BCD2: #sat=2 #unsat=4 bias=4/6
527.60/527.79	c Solving starts ...
527.60/527.79	c ============================[ Search Statistics ]============================
527.60/527.79	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
527.60/527.79	c       |         |          |          |    Limit     GC | Var      | Constra 
527.60/527.79	c =============================================================================
527.60/527.79	c  0.0s |       0 |        0 |        0 |     1685      0 |     1803 |       70
527.70/527.83	c  0.0s |       0 |     2038 |       62 |     1685      0 |     1901 |       74
527.70/527.83	c #cpu_time = 0.044s
527.70/527.83	c #wall_clock_time = 0.044s
527.70/527.83	c #decision = 2038
527.70/527.83	c #random_decision = 1
527.70/527.83	c #conflict = 62
527.70/527.83	c #restart = 0
527.70/527.83	c lower bound updated to 45008
527.70/527.83	s OPTIMUM FOUND
527.70/527.83	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
527.70/527.83	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
527.70/527.83	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
527.70/527.83	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
527.70/527.83	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
527.70/527.83	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
527.70/527.83	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
527.70/527.83	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
527.70/527.83	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
527.70/527.83	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
527.70/527.83	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
527.70/527.83	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
527.70/527.83	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
527.70/527.83	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
527.70/527.83	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
527.70/527.83	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
527.70/527.83	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
527.70/527.83	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
527.70/527.83	v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
527.70/527.83	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
527.70/527.83	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
527.70/527.83	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
527.70/527.83	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
527.70/527.83	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240
527.70/527.83	v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
527.70/527.83	v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260
527.70/527.83	v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
527.70/527.83	v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280
527.70/527.83	v -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290
527.70/527.83	v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300
527.70/527.83	v -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310
527.70/527.83	v -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320
527.70/527.83	v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330
527.70/527.83	v -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340
527.70/527.83	v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350
527.70/527.83	v -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360
527.70/527.83	v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370
527.70/527.83	v -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380
527.70/527.83	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390
527.70/527.83	v -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400
527.70/527.83	v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410
527.70/527.83	v -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
527.70/527.83	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430
527.70/527.83	v -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
527.70/527.83	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450
527.70/527.83	v -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460
527.70/527.83	v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470
527.70/527.83	v -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
527.70/527.83	v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490
527.70/527.83	v -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
527.70/527.83	v -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510
527.70/527.83	v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520
527.70/527.83	v -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530
527.70/527.83	v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540
527.70/527.83	v -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550
527.70/527.83	v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560
527.70/527.83	v -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570
527.70/527.83	v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580
527.70/527.83	v -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590
527.70/527.83	v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600
527.70/527.83	v -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610
527.70/527.83	v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620
527.70/527.83	v -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630
527.70/527.83	v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640
527.70/527.83	v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
527.70/527.83	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660
527.70/527.83	v -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670
527.70/527.83	v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680
527.70/527.83	v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690
527.70/527.83	v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700
527.70/527.83	v -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710
527.70/527.83	v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720
527.70/527.83	v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730
527.70/527.83	v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740
527.70/527.83	v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750
527.70/527.83	v -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760
527.70/527.83	v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770
527.70/527.83	v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780
527.70/527.83	v -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790
527.70/527.83	v -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800
527.70/527.83	v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810
527.70/527.83	v -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820
527.70/527.83	v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830
527.70/527.83	v -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
527.70/527.83	v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850
527.70/527.83	v -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860
527.70/527.83	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870
527.70/527.83	v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880
527.70/527.83	v -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890
527.70/527.83	v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900
527.70/527.83	v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910
527.70/527.83	v -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920
527.70/527.83	v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930
527.70/527.83	v -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940
527.70/527.83	v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950
527.70/527.83	v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960
527.70/527.83	v -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970
527.70/527.83	v -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980
527.70/527.83	v -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990
527.70/527.83	v -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000
527.70/527.83	v -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010
527.70/527.83	v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020
527.70/527.83	v -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030
527.70/527.83	v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
527.70/527.83	v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050
527.70/527.83	v -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060
527.70/527.83	v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070
527.70/527.83	v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080
527.70/527.83	v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090
527.70/527.83	v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 x1099 -x1100
527.70/527.83	v -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110
527.70/527.83	v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120
527.70/527.83	v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130
527.70/527.83	v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140
527.70/527.83	v -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150
527.70/527.83	v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160
527.70/527.83	v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170
527.70/527.83	v -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180
527.70/527.83	v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190
527.70/527.83	v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200
527.70/527.83	v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210
527.70/527.83	v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220
527.70/527.83	v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230
527.70/527.83	v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240
527.70/527.83	v -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250
527.70/527.83	v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260
527.70/527.83	v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270
527.70/527.83	v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280
527.70/527.84	v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290
527.70/527.84	v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300
527.70/527.84	v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310
527.70/527.84	v -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320
527.70/527.84	v -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330
527.70/527.84	v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340
527.70/527.84	v -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350
527.70/527.84	v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360
527.70/527.84	v -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370
527.70/527.84	v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380
527.70/527.84	v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390
527.70/527.84	v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400
527.70/527.84	v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410
527.70/527.84	v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420
527.70/527.84	v -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430
527.70/527.84	v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440
527.70/527.84	v -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450
527.70/527.84	v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460
527.70/527.84	v -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470
527.70/527.84	v -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480
527.70/527.84	v -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490
527.70/527.84	v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500
527.70/527.84	v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510
527.70/527.84	v -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520
527.70/527.84	v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530
527.70/527.84	v -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540
527.70/527.84	v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550
527.70/527.84	v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560
527.70/527.84	v -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570
527.70/527.84	v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580
527.70/527.84	v -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590
527.70/527.84	v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600
527.70/527.84	v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610
527.70/527.84	v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620
527.70/527.84	v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630
527.70/527.84	v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640
527.70/527.84	v -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650
527.70/527.84	v -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660
527.70/527.84	v -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670
527.70/527.84	v -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680
527.70/527.84	v -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690
527.70/527.84	v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700
527.70/527.84	v -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710
527.70/527.84	v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720
527.70/527.84	v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730
527.70/527.84	v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740
527.70/527.84	v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750
527.70/527.84	v -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760
527.70/527.84	v -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770
527.70/527.84	v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780
527.70/527.84	v -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790
527.70/527.84	v -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800
527.70/527.84	v -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810
527.70/527.84	v -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820
527.70/527.84	v -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830
527.70/527.84	v -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840
527.70/527.84	v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850
527.70/527.84	v -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860
527.70/527.84	v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870
527.70/527.84	v -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880
527.70/527.84	v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890
527.70/527.84	v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900
527.70/527.84	v -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910
527.70/527.84	v -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920
527.70/527.84	v -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930
527.70/527.84	v -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940
527.70/527.84	v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950
527.70/527.84	v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960
527.70/527.84	v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970
527.70/527.84	v -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980
527.70/527.84	v -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990
527.70/527.84	v -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000
527.70/527.84	v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010
527.70/527.84	v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020
527.70/527.84	v -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030
527.70/527.84	v -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040
527.70/527.84	v -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050
527.70/527.84	v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060
527.70/527.84	v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070
527.70/527.84	v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080
527.70/527.84	v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090
527.70/527.84	v -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100
527.70/527.84	v -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110
527.70/527.84	v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120
527.70/527.84	v -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130
527.70/527.84	v -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140
527.70/527.84	v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150
527.70/527.84	v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160
527.70/527.84	v -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170
527.70/527.84	v -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180
527.70/527.84	v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190
527.70/527.84	v -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200
527.70/527.84	v -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210
527.70/527.84	v -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220
527.70/527.84	v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230
527.70/527.84	v -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240
527.70/527.84	v -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250
527.70/527.84	v -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260
527.70/527.84	v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270
527.70/527.84	v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280
527.70/527.84	v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290
527.70/527.84	v -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300
527.70/527.84	v -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310
527.70/527.84	v -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320
527.70/527.84	v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330
527.70/527.84	v -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340
527.70/527.84	v -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350
527.70/527.84	v -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360
527.70/527.84	v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370
527.70/527.84	v -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380
527.70/527.84	v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390
527.70/527.84	v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400
527.70/527.84	v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410
527.70/527.84	v -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420
527.70/527.84	v -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430
527.70/527.84	v -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440
527.70/527.84	v -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450
527.70/527.84	v -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460
527.70/527.84	v -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470
527.70/527.84	v -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480
527.70/527.84	v -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490
527.70/527.84	v -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500
527.70/527.84	v -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510
527.70/527.84	v -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520
527.70/527.84	v -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530
527.70/527.84	v -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540
527.70/527.84	v -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550
527.70/527.84	v -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560
527.70/527.84	v -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570
527.70/527.84	v -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580
527.70/527.84	v -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590
527.70/527.84	v -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600
527.70/527.84	v -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610
527.70/527.84	v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620
527.70/527.84	v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630
527.70/527.84	v -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640
527.70/527.84	v -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650
527.70/527.84	v -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660
527.70/527.84	v -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670
527.70/527.84	v -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680
527.70/527.84	v -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690
527.70/527.84	v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700
527.70/527.84	v -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710
527.70/527.84	v -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720
527.70/527.84	v -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730
527.70/527.84	v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740
527.70/527.84	v -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750
527.70/527.84	v -x2751 -x2752 x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760
527.70/527.84	v -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770
527.70/527.84	v -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780
527.70/527.84	v -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790
527.70/527.84	v -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800
527.70/527.84	v -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810
527.70/527.84	v -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820
527.70/527.84	v -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830
527.70/527.84	v -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840
527.70/527.84	v -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850
527.70/527.84	v -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860
527.70/527.84	v -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870
527.70/527.84	v -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880
527.70/527.84	v -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890
527.70/527.84	v -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900
527.70/527.84	v -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910
527.70/527.84	v -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920
527.70/527.84	v -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930
527.70/527.84	v -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940
527.70/527.84	v -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950
527.70/527.84	v -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960
527.70/527.84	v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970
527.70/527.84	v -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980
527.70/527.84	v -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990
527.70/527.84	v -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000
527.70/527.84	v -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010
527.70/527.84	v -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020
527.70/527.84	v -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030
527.70/527.84	v -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040
527.70/527.84	v -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050
527.70/527.84	v -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060
527.70/527.84	v -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070
527.70/527.84	v -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080
527.70/527.84	v -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090
527.70/527.84	v -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100
527.70/527.84	v -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110
527.70/527.84	v -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120
527.70/527.84	v -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130
527.70/527.84	v -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140
527.70/527.84	v -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150
527.70/527.84	v -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160
527.70/527.84	v -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170
527.70/527.84	v -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180
527.70/527.84	v -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190
527.70/527.84	v -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200
527.70/527.84	v -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210
527.70/527.84	v -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 x3219 -x3220
527.70/527.84	v -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230
527.70/527.84	v -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240
527.70/527.84	v -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248
527.70/527.84	c total CPU time = 527.853s
527.70/527.84	c total wall clock time = 527.838s

Verifier Data 

OK	45008

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

pid=6281
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: 2.17 2.18 2.18 3/179 6284
/proc/meminfo: memFree=28889028/32872528 swapFree=15644/1722384
[pid=6284] ppid=6281 vsize=623036 CPUtime=0 cores=1,3,5,7
/proc/6284/stat : 6284 (toysat) R 6281 6284 4315 0 -1 4202496 2308 0 0 0 0 0 0 0 20 0 4 0 108733623 637988864 2668 33554432000 4194304 16246674 140735497165792 140735497164728 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6284/statm: 156527 2678 441 2943 0 153421 0
[pid=6284/tid=6285] ppid=6281 vsize=640444 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6285/stat : 6285 (toysat) S 6281 6284 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108733623 655814656 2736 33554432000 4194304 16246674 140735497165792 140354285186288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6284/tid=6286] ppid=6281 vsize=645564 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6286/stat : 6286 (toysat) S 6281 6284 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108733623 661057536 2753 33554432000 4194304 16246674 140735497165792 140354274696432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6284/tid=6287] ppid=6281 vsize=648636 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6287/stat : 6287 (toysat) S 6281 6284 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733623 664203264 2768 33554432000 4194304 16246674 140735497165792 140354162519216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.17 2.18 2.18 3/179 6284
/proc/meminfo: memFree=28889028/32872528 swapFree=15644/1722384
[pid=6284] ppid=6281 vsize=1224260 CPUtime=0.09 cores=1,3,5,7
/proc/6284/stat : 6284 (toysat) R 6281 6284 4315 0 -1 4202496 28901 0 0 0 5 4 0 0 20 0 4 0 108733623 1253642240 29226 33554432000 4194304 16246674 140735497165792 140735497165104 5996544 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6284/statm: 306065 29226 816 2943 0 302959 0
[pid=6284/tid=6285] ppid=6281 vsize=1224260 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6285/stat : 6285 (toysat) S 6281 6284 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108733623 1253642240 29226 33554432000 4194304 16246674 140735497165792 140354285186288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6284/tid=6286] ppid=6281 vsize=1224260 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6286/stat : 6286 (toysat) S 6281 6284 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108733623 1253642240 29226 33554432000 4194304 16246674 140735497165792 140354274696432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6284/tid=6287] ppid=6281 vsize=1224260 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6287/stat : 6287 (toysat) S 6281 6284 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733623 1253642240 29226 33554432000 4194304 16246674 140735497165792 140354162519216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1224260

[startup+0.200511 s]
/proc/loadavg: 2.17 2.18 2.18 3/179 6284
/proc/meminfo: memFree=28889028/32872528 swapFree=15644/1722384
[pid=6284] ppid=6281 vsize=1224260 CPUtime=0.19 cores=1,3,5,7
/proc/6284/stat : 6284 (toysat) R 6281 6284 4315 0 -1 4202496 28907 0 0 0 15 4 0 0 20 0 4 0 108733623 1253642240 29232 33554432000 4194304 16246674 140735497165792 140735497165104 5711355 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6284/statm: 306065 29232 816 2943 0 302959 0
[pid=6284/tid=6285] ppid=6281 vsize=1224260 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6285/stat : 6285 (toysat) S 6281 6284 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108733623 1253642240 29232 33554432000 4194304 16246674 140735497165792 140354285186288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6284/tid=6286] ppid=6281 vsize=1224260 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6286/stat : 6286 (toysat) S 6281 6284 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108733623 1253642240 29232 33554432000 4194304 16246674 140735497165792 140354274696432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6284/tid=6287] ppid=6281 vsize=1224260 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6287/stat : 6287 (toysat) S 6281 6284 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733623 1253642240 29232 33554432000 4194304 16246674 140735497165792 140354162519216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1224260

[startup+0.300503 s]
/proc/loadavg: 2.17 2.18 2.18 3/179 6284
/proc/meminfo: memFree=28889028/32872528 swapFree=15644/1722384
[pid=6284] ppid=6281 vsize=1224260 CPUtime=0.29 cores=1,3,5,7
/proc/6284/stat : 6284 (toysat) R 6281 6284 4315 0 -1 4202496 44610 0 0 0 23 6 0 0 20 0 4 0 108733623 1253642240 44935 33554432000 4194304 16246674 140735497165792 140735497165104 5723366 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6284/statm: 306065 44947 816 2943 0 302959 0
[pid=6284/tid=6285] ppid=6281 vsize=1224260 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6285/stat : 6285 (toysat) S 6281 6284 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108733623 1253642240 44956 33554432000 4194304 16246674 140735497165792 140354285186288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6284/tid=6286] ppid=6281 vsize=1224260 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6286/stat : 6286 (toysat) S 6281 6284 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108733623 1253642240 44966 33554432000 4194304 16246674 140735497165792 140354274696432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6284/tid=6287] ppid=6281 vsize=1224260 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6287/stat : 6287 (toysat) S 6281 6284 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733623 1253642240 44976 33554432000 4194304 16246674 140735497165792 140354162519216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1224260

[startup+0.700413 s]
/proc/loadavg: 2.17 2.18 2.18 3/179 6284
/proc/meminfo: memFree=28889028/32872528 swapFree=15644/1722384
[pid=6284] ppid=6281 vsize=1224260 CPUtime=0.69 cores=1,3,5,7
/proc/6284/stat : 6284 (toysat) R 6281 6284 4315 0 -1 4202496 121717 0 0 0 51 18 0 0 20 0 4 0 108733623 1253642240 122042 33554432000 4194304 16246674 140735497165792 140735497147712 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6284/statm: 306065 122050 816 2943 0 302959 0
[pid=6284/tid=6285] ppid=6281 vsize=1224260 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6285/stat : 6285 (toysat) S 6281 6284 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108733623 1253642240 122054 33554432000 4194304 16246674 140735497165792 140354285186288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6284/tid=6286] ppid=6281 vsize=1224260 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6286/stat : 6286 (toysat) S 6281 6284 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108733623 1253642240 122058 33554432000 4194304 16246674 140735497165792 140354274696432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6284/tid=6287] ppid=6281 vsize=1224260 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6287/stat : 6287 (toysat) S 6281 6284 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733623 1253642240 122063 33554432000 4194304 16246674 140735497165792 140354162519216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1224260

[startup+1.50044 s]
/proc/loadavg: 2.17 2.18 2.18 3/183 6288
/proc/meminfo: memFree=28053396/32872528 swapFree=15644/1722384
[pid=6284] ppid=6281 vsize=1307204 CPUtime=1.49 cores=1,3,5,7
/proc/6284/stat : 6284 (toysat) R 6281 6284 4315 0 -1 4202496 211104 0 0 0 118 31 0 0 20 0 4 0 108733623 1338576896 211429 33554432000 4194304 16246674 140735497165792 140735497147712 12371152 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6284/statm: 326801 211429 845 2943 0 323695 0
[pid=6284/tid=6285] ppid=6281 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6285/stat : 6285 (toysat) S 6281 6284 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108733623 1338576896 211429 33554432000 4194304 16246674 140735497165792 140354285186288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6284/tid=6286] ppid=6281 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6286/stat : 6286 (toysat) S 6281 6284 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108733623 1338576896 211429 33554432000 4194304 16246674 140735497165792 140354274696432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6284/tid=6287] ppid=6281 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6287/stat : 6287 (toysat) S 6281 6284 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733623 1338576896 211429 33554432000 4194304 16246674 140735497165792 140354162519216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10043 s]
/proc/loadavg: 2.16 2.18 2.17 3/183 6288
/proc/meminfo: memFree=27778596/32872528 swapFree=15644/1722384
[pid=6284] ppid=6281 vsize=1346116 CPUtime=3.09 cores=1,3,5,7
/proc/6284/stat : 6284 (toysat) R 6281 6284 4315 0 -1 4202496 277609 0 0 0 269 40 0 0 20 0 4 0 108733623 1378422784 277934 33554432000 4194304 16246674 140735497165792 140735497147712 12429241 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6284/statm: 336529 277934 845 2943 0 333423 0
[pid=6284/tid=6285] ppid=6281 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6285/stat : 6285 (toysat) S 6281 6284 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108733623 1378422784 277934 33554432000 4194304 16246674 140735497165792 140354285186288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6284/tid=6286] ppid=6281 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6286/stat : 6286 (toysat) S 6281 6284 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108733623 1378422784 277934 33554432000 4194304 16246674 140735497165792 140354274696432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6284/tid=6287] ppid=6281 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6287/stat : 6287 (toysat) S 6281 6284 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733623 1378422784 277934 33554432000 4194304 16246674 140735497165792 140354162519216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1346116

[startup+6.30043 s]
/proc/loadavg: 2.16 2.18 2.17 3/183 6288
/proc/meminfo: memFree=27777116/32872528 swapFree=15644/1722384
[pid=6284] ppid=6281 vsize=1346116 CPUtime=6.29 cores=1,3,5,7
/proc/6284/stat : 6284 (toysat) R 6281 6284 4315 0 -1 4202496 277609 0 0 0 588 41 0 0 20 0 4 0 108733623 1378422784 277934 33554432000 4194304 16246674 140735497165792 140735497163584 4220982 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6284/statm: 336529 277934 845 2943 0 333423 0
[pid=6284/tid=6285] ppid=6281 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6285/stat : 6285 (toysat) S 6281 6284 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108733623 1378422784 277934 33554432000 4194304 16246674 140735497165792 140354285186288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6284/tid=6286] ppid=6281 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6286/stat : 6286 (toysat) S 6281 6284 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108733623 1378422784 277934 33554432000 4194304 16246674 140735497165792 140354274696432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6284/tid=6287] ppid=6281 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6287/stat : 6287 (toysat) S 6281 6284 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733623 1378422784 277934 33554432000 4194304 16246674 140735497165792 140354162519216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1346116

[startup+12.7004 s]
/proc/loadavg: 2.14 2.17 2.17 3/183 6288
/proc/meminfo: memFree=27670776/32872528 swapFree=15644/1722384
[pid=6284] ppid=6281 vsize=1452612 CPUtime=12.69 cores=1,3,5,7
/proc/6284/stat : 6284 (toysat) R 6281 6284 4315 0 -1 4202496 304233 0 0 0 1224 45 0 0 20 0 4 0 108733623 1487474688 304558 33554432000 4194304 16246674 140735497165792 140735497165104 6955218 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6284/statm: 363153 304558 845 2943 0 360047 0
[pid=6284/tid=6285] ppid=6281 vsize=1452612 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6285/stat : 6285 (toysat) S 6281 6284 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108733623 1487474688 304558 33554432000 4194304 16246674 140735497165792 140354285186288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6284/tid=6286] ppid=6281 vsize=1452612 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6286/stat : 6286 (toysat) S 6281 6284 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108733623 1487474688 304558 33554432000 4194304 16246674 140735497165792 140354274696432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6284/tid=6287] ppid=6281 vsize=1452612 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6287/stat : 6287 (toysat) S 6281 6284 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733623 1487474688 304558 33554432000 4194304 16246674 140735497165792 140354162519216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1452612

[startup+25.5005 s]
/proc/loadavg: 2.19 2.18 2.18 3/183 6288
/proc/meminfo: memFree=27340208/32872528 swapFree=15644/1722384
[pid=6284] ppid=6281 vsize=1783364 CPUtime=25.48 cores=1,3,5,7
/proc/6284/stat : 6284 (toysat) R 6281 6284 4315 0 -1 4202496 386921 0 0 0 2491 57 0 0 20 0 4 0 108733623 1826164736 387246 33554432000 4194304 16246674 140735497165792 140735497163648 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6284/statm: 445841 387246 845 2943 0 442735 0
[pid=6284/tid=6285] ppid=6281 vsize=1783364 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6285/stat : 6285 (toysat) S 6281 6284 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108733623 1826164736 387246 33554432000 4194304 16246674 140735497165792 140354285186288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6284/tid=6286] ppid=6281 vsize=1783364 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6286/stat : 6286 (toysat) S 6281 6284 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108733623 1826164736 387246 33554432000 4194304 16246674 140735497165792 140354274696432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6284/tid=6287] ppid=6281 vsize=1783364 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6287/stat : 6287 (toysat) S 6281 6284 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733623 1826164736 387246 33554432000 4194304 16246674 140735497165792 140354162519216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1783364

[startup+51.1005 s]
/proc/loadavg: 2.19 2.18 2.18 3/183 6288
/proc/meminfo: memFree=27065372/32872528 swapFree=15644/1722384
[pid=6284] ppid=6281 vsize=2057796 CPUtime=51.08 cores=1,3,5,7
/proc/6284/stat : 6284 (toysat) R 6281 6284 4315 0 -1 4202496 455529 0 0 0 5041 67 0 0 20 0 4 0 108733623 2107183104 455854 33554432000 4194304 16246674 140735497165792 140735497163648 4225320 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6284/statm: 514449 455854 845 2943 0 511343 0
[pid=6284/tid=6285] ppid=6281 vsize=2057796 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6285/stat : 6285 (toysat) S 6281 6284 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108733623 2107183104 455854 33554432000 4194304 16246674 140735497165792 140354285186288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6284/tid=6286] ppid=6281 vsize=2057796 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6286/stat : 6286 (toysat) S 6281 6284 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108733623 2107183104 455854 33554432000 4194304 16246674 140735497165792 140354274696208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6284/tid=6287] ppid=6281 vsize=2057796 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6287/stat : 6287 (toysat) S 6281 6284 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733623 2107183104 455854 33554432000 4194304 16246674 140735497165792 140354162519216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2057796

[startup+102.3 s]
/proc/loadavg: 2.28 2.21 2.18 3/183 6289
/proc/meminfo: memFree=26571600/32872528 swapFree=15644/1722384
[pid=6284] ppid=6281 vsize=2219588 CPUtime=102.27 cores=1,3,5,7
/proc/6284/stat : 6284 (toysat) R 6281 6284 4315 0 -1 4202496 495977 0 0 0 10154 73 0 0 20 0 4 0 108733623 2272858112 496302 33554432000 4194304 16246674 140735497165792 140735497164888 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6284/statm: 554897 496302 845 2943 0 551791 0
[pid=6284/tid=6285] ppid=6281 vsize=2219588 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6285/stat : 6285 (toysat) S 6281 6284 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108733623 2272858112 496302 33554432000 4194304 16246674 140735497165792 140354285186288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6284/tid=6286] ppid=6281 vsize=2219588 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6286/stat : 6286 (toysat) S 6281 6284 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108733623 2272858112 496302 33554432000 4194304 16246674 140735497165792 140354274696208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6284/tid=6287] ppid=6281 vsize=2219588 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6287/stat : 6287 (toysat) S 6281 6284 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733623 2272858112 496302 33554432000 4194304 16246674 140735497165792 140354162519216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 2219588


################
# More data... #
################

[startup+282.3 s]
/proc/loadavg: 2.13 2.18 2.17 3/183 6292
/proc/meminfo: memFree=25100984/32872528 swapFree=15644/1722384
[pid=6284] ppid=6281 vsize=2729540 CPUtime=282.24 cores=1,3,5,7
/proc/6284/stat : 6284 (toysat) R 6281 6284 4315 0 -1 4202496 623465 0 0 0 28121 103 0 0 20 0 4 0 108733623 2795048960 623790 33554432000 4194304 16246674 140735497165792 140735497164888 4221122 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6284/statm: 682385 623790 845 2943 0 679279 0
[pid=6284/tid=6285] ppid=6281 vsize=2729540 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6285/stat : 6285 (toysat) S 6281 6284 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108733623 2795048960 623790 33554432000 4194304 16246674 140735497165792 140354285186288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6284/tid=6286] ppid=6281 vsize=2729540 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6286/stat : 6286 (toysat) S 6281 6284 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108733623 2795048960 623790 33554432000 4194304 16246674 140735497165792 140354274696208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6284/tid=6287] ppid=6281 vsize=2729540 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6287/stat : 6287 (toysat) S 6281 6284 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733623 2795048960 623790 33554432000 4194304 16246674 140735497165792 140354162519216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 2729540

[startup+342.3 s]
/proc/loadavg: 2.22 2.19 2.18 4/183 6294
/proc/meminfo: memFree=24696812/32872528 swapFree=15644/1722384
[pid=6284] ppid=6281 vsize=2941508 CPUtime=342.23 cores=1,3,5,7
/proc/6284/stat : 6284 (toysat) R 6281 6284 4315 0 -1 4202496 676457 0 0 0 34109 114 0 0 20 0 4 0 108733623 3012104192 676782 33554432000 4194304 16246674 140735497165792 140735497165104 12371445 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6284/statm: 735377 676782 845 2943 0 732271 0
[pid=6284/tid=6285] ppid=6281 vsize=2941508 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6285/stat : 6285 (toysat) S 6281 6284 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108733623 3012104192 676782 33554432000 4194304 16246674 140735497165792 140354285186288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6284/tid=6286] ppid=6281 vsize=2941508 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6286/stat : 6286 (toysat) S 6281 6284 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108733623 3012104192 676782 33554432000 4194304 16246674 140735497165792 140354274696432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6284/tid=6287] ppid=6281 vsize=2941508 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6287/stat : 6287 (toysat) S 6281 6284 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733623 3012104192 676782 33554432000 4194304 16246674 140735497165792 140354162519216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 2941508

[startup+402.3 s]
/proc/loadavg: 2.32 2.22 2.19 3/184 6298
/proc/meminfo: memFree=24346968/32872528 swapFree=15644/1722384
[pid=6284] ppid=6281 vsize=3211844 CPUtime=402.22 cores=1,3,5,7
/proc/6284/stat : 6284 (toysat) R 6281 6284 4315 0 -1 4202496 744041 0 0 0 40093 129 0 0 20 0 4 0 108733623 3288928256 744366 33554432000 4194304 16246674 140735497165792 140735497164888 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6284/statm: 802961 744366 845 2943 0 799855 0
[pid=6284/tid=6285] ppid=6281 vsize=3211844 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6285/stat : 6285 (toysat) S 6281 6284 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108733623 3288928256 744366 33554432000 4194304 16246674 140735497165792 140354285186288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6284/tid=6286] ppid=6281 vsize=3211844 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6286/stat : 6286 (toysat) S 6281 6284 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108733623 3288928256 744366 33554432000 4194304 16246674 140735497165792 140354274696208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6284/tid=6287] ppid=6281 vsize=3211844 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6287/stat : 6287 (toysat) S 6281 6284 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733623 3288928256 744366 33554432000 4194304 16246674 140735497165792 140354162519216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 3211844

[startup+462.3 s]
/proc/loadavg: 2.25 2.22 2.19 3/184 6322
/proc/meminfo: memFree=23965788/32872528 swapFree=15644/1722384
[pid=6284] ppid=6281 vsize=3376708 CPUtime=462.21 cores=1,3,5,7
/proc/6284/stat : 6284 (toysat) R 6281 6284 4315 0 -1 4202496 819049 0 0 0 46072 149 0 0 20 0 4 0 108733623 3457748992 785582 33554432000 4194304 16246674 140735497165792 140735497164968 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6284/statm: 844177 785582 845 2943 0 841071 0
[pid=6284/tid=6285] ppid=6281 vsize=3376708 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6285/stat : 6285 (toysat) S 6281 6284 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108733623 3457748992 785582 33554432000 4194304 16246674 140735497165792 140354285186288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6284/tid=6286] ppid=6281 vsize=3376708 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6286/stat : 6286 (toysat) S 6281 6284 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108733623 3457748992 785582 33554432000 4194304 16246674 140735497165792 140354274696432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6284/tid=6287] ppid=6281 vsize=3376708 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6287/stat : 6287 (toysat) S 6281 6284 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733623 3457748992 785582 33554432000 4194304 16246674 140735497165792 140354162519216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 3376708

[startup+522.3 s]
/proc/loadavg: 2.28 2.24 2.19 3/183 6323
/proc/meminfo: memFree=25419248/32872528 swapFree=15644/1722384
[pid=6284] ppid=6281 vsize=1768004 CPUtime=522.2 cores=1,3,5,7
/proc/6284/stat : 6284 (toysat) R 6281 6284 4315 0 -1 4202496 851054 0 0 0 52051 169 0 0 20 0 4 0 108733623 1810436096 383411 33554432000 4194304 16246674 140735497165792 140735497163584 6958920 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6284/statm: 442001 383411 849 2943 0 438895 0
[pid=6284/tid=6285] ppid=6281 vsize=1768004 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6285/stat : 6285 (toysat) S 6281 6284 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108733623 1810436096 383411 33554432000 4194304 16246674 140735497165792 140354285186288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6284/tid=6286] ppid=6281 vsize=1768004 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6286/stat : 6286 (toysat) S 6281 6284 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108733623 1810436096 383411 33554432000 4194304 16246674 140735497165792 140354274696432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6284/tid=6287] ppid=6281 vsize=1768004 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6287/stat : 6287 (toysat) S 6281 6284 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733623 1810436096 383411 33554432000 4194304 16246674 140735497165792 140354162519216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1768004

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

[startup+524.807 s]
/proc/loadavg: 2.28 2.24 2.19 3/183 6323
/proc/meminfo: memFree=25419256/32872528 swapFree=15644/1722384
[pid=6284] ppid=6281 vsize=1768004 CPUtime=524.71 cores=1,3,5,7
/proc/6284/stat : 6284 (toysat) R 6281 6284 4315 0 -1 4202496 851054 0 0 0 52302 169 0 0 20 0 4 0 108733623 1810436096 383411 33554432000 4194304 16246674 140735497165792 140735497147712 12449269 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6284/statm: 442001 383411 849 2943 0 438895 0
[pid=6284/tid=6285] ppid=6281 vsize=1768004 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6285/stat : 6285 (toysat) S 6281 6284 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108733623 1810436096 383411 33554432000 4194304 16246674 140735497165792 140354285186288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6284/tid=6286] ppid=6281 vsize=1768004 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6286/stat : 6286 (toysat) S 6281 6284 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108733623 1810436096 383411 33554432000 4194304 16246674 140735497165792 140354274696432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6284/tid=6287] ppid=6281 vsize=1768004 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6287/stat : 6287 (toysat) S 6281 6284 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733623 1810436096 383411 33554432000 4194304 16246674 140735497165792 140354162519216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 524.71
Current children cumulated vsize (KiB) 1768004

[startup+526.4 s]
/proc/loadavg: 2.28 2.24 2.19 3/183 6323
/proc/meminfo: memFree=25419256/32872528 swapFree=15644/1722384
[pid=6284] ppid=6281 vsize=1768004 CPUtime=526.3 cores=1,3,5,7
/proc/6284/stat : 6284 (toysat) R 6281 6284 4315 0 -1 4202496 851054 0 0 0 52461 169 0 0 20 0 4 0 108733623 1810436096 383411 33554432000 4194304 16246674 140735497165792 140735497147712 12429736 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6284/statm: 442001 383411 849 2943 0 438895 0
[pid=6284/tid=6285] ppid=6281 vsize=1768004 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6285/stat : 6285 (toysat) S 6281 6284 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108733623 1810436096 383411 33554432000 4194304 16246674 140735497165792 140354285186288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6284/tid=6286] ppid=6281 vsize=1768004 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6286/stat : 6286 (toysat) S 6281 6284 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108733623 1810436096 383411 33554432000 4194304 16246674 140735497165792 140354274696432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6284/tid=6287] ppid=6281 vsize=1768004 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6287/stat : 6287 (toysat) S 6281 6284 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733623 1810436096 383411 33554432000 4194304 16246674 140735497165792 140354162519216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 526.3
Current children cumulated vsize (KiB) 1768004

[startup+527.2 s]
/proc/loadavg: 2.34 2.25 2.19 3/183 6323
/proc/meminfo: memFree=25419256/32872528 swapFree=15644/1722384
[pid=6284] ppid=6281 vsize=1768004 CPUtime=527.1 cores=1,3,5,7
/proc/6284/stat : 6284 (toysat) R 6281 6284 4315 0 -1 4202496 851054 0 0 0 52541 169 0 0 20 0 4 0 108733623 1810436096 383411 33554432000 4194304 16246674 140735497165792 140735497147712 13950236 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6284/statm: 442001 383411 849 2943 0 438895 0
[pid=6284/tid=6285] ppid=6281 vsize=1768004 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6285/stat : 6285 (toysat) S 6281 6284 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108733623 1810436096 383411 33554432000 4194304 16246674 140735497165792 140354285186288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6284/tid=6286] ppid=6281 vsize=1768004 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6286/stat : 6286 (toysat) S 6281 6284 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108733623 1810436096 383411 33554432000 4194304 16246674 140735497165792 140354274696432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6284/tid=6287] ppid=6281 vsize=1768004 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6287/stat : 6287 (toysat) S 6281 6284 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733623 1810436096 383411 33554432000 4194304 16246674 140735497165792 140354162519216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 527.1
Current children cumulated vsize (KiB) 1768004

[startup+527.6 s]
/proc/loadavg: 2.34 2.25 2.19 3/183 6323
/proc/meminfo: memFree=25419256/32872528 swapFree=15644/1722384
[pid=6284] ppid=6281 vsize=1768004 CPUtime=527.5 cores=1,3,5,7
/proc/6284/stat : 6284 (toysat) R 6281 6284 4315 0 -1 4202496 851054 0 0 0 52581 169 0 0 20 0 4 0 108733623 1810436096 383411 33554432000 4194304 16246674 140735497165792 140735497163584 4206940 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6284/statm: 442001 383411 849 2943 0 438895 0
[pid=6284/tid=6285] ppid=6281 vsize=1768004 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6285/stat : 6285 (toysat) S 6281 6284 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108733623 1810436096 383411 33554432000 4194304 16246674 140735497165792 140354285186288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6284/tid=6286] ppid=6281 vsize=1768004 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6286/stat : 6286 (toysat) S 6281 6284 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108733623 1810436096 383411 33554432000 4194304 16246674 140735497165792 140354274696432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6284/tid=6287] ppid=6281 vsize=1768004 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6287/stat : 6287 (toysat) S 6281 6284 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733623 1810436096 383411 33554432000 4194304 16246674 140735497165792 140354162519216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 527.5
Current children cumulated vsize (KiB) 1768004

[startup+527.8 s]
/proc/loadavg: 2.34 2.25 2.19 3/183 6323
/proc/meminfo: memFree=25419256/32872528 swapFree=15644/1722384
[pid=6284] ppid=6281 vsize=1768004 CPUtime=527.7 cores=1,3,5,7
/proc/6284/stat : 6284 (toysat) R 6281 6284 4315 0 -1 4202496 851054 0 0 0 52601 169 0 0 20 0 4 0 108733623 1810436096 383411 33554432000 4194304 16246674 140735497165792 140735497163584 13950218 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6284/statm: 442001 383411 849 2943 0 438895 0
[pid=6284/tid=6285] ppid=6281 vsize=1768004 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6285/stat : 6285 (toysat) S 6281 6284 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108733623 1810436096 383411 33554432000 4194304 16246674 140735497165792 140354285186288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6284/tid=6286] ppid=6281 vsize=1768004 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6286/stat : 6286 (toysat) S 6281 6284 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108733623 1810436096 383411 33554432000 4194304 16246674 140735497165792 140354274696432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6284/tid=6287] ppid=6281 vsize=1768004 CPUtime=0 cores=1,3,5,7
/proc/6284/task/6287/stat : 6287 (toysat) S 6281 6284 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733623 1810436096 383411 33554432000 4194304 16246674 140735497165792 140354162519216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 527.7
Current children cumulated vsize (KiB) 1768004

[startup+527.9 s]
/proc/loadavg: 2.34 2.25 2.19 3/183 6323
/proc/meminfo: memFree=25419256/32872528 swapFree=15644/1722384
[pid=6284] ppid=6281 vsize=0 CPUtime=527.79 cores=1,3,5,7
/proc/6284/stat : 6284 (toysat) Z 6281 6284 4315 0 -1 4202508 851059 0 0 0 52606 173 0 0 20 0 2 0 108733623 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6284/statm: 0 0 0 0 0 0 0
[pid=6284/tid=6287] ppid=6281 vsize=0 CPUtime=0.04 cores=1,3,5,7
/proc/6284/task/6287/stat : 6287 (toysat) R 6281 6284 4315 0 -1 4203588 1 0 0 0 0 4 0 0 20 0 2 0 108733623 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 527.79
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 527.931
CPU time (s): 527.826
CPU user time (s): 526.061
CPU system time (s): 1.76473
CPU usage (%): 99.9801
Max. virtual memory (cumulated for all children) (KiB): 3504708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 526.061
system time used= 1.76473
maximum resident set size= 3270344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 851059
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= 614
involuntary context switches= 616

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.3038 second user time and 2.10368 second system time

The end

Launcher Data 

Begin job on node120 at 2016-06-07 04:53:20
IDJOB=4079137
IDBENCH=71902
IDSOLVER=2542
FILE ID=node120/4079137-1465268000
RUNJOBID= node120-1465256721-4332
PBS_JOBID= 19843284
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45__32.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079137-1465268000/watcher-4079137-1465268000 -o /tmp/evaluation-result-4079137-1465268000/solver-4079137-1465268000 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1465256721-4332 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079137-1465268000.opb

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

MD5SUM BENCH= a9de06eb109955ed8ed5086d04c7f5e9
RANDOM SEED=70887521

node120.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.425
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.85
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.425
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.425
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.425
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.425
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.425
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.425
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.55
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.425
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:        28889408 kB
Buffers:           98340 kB
Cached:           124368 kB
SwapCached:         1476 kB
Active:          1401740 kB
Inactive:         108136 kB
Active(anon):    1286208 kB
Inactive(anon):     3252 kB
Active(file):     115532 kB
Inactive(file):   104884 kB
Unevictable:     1722384 kB
Mlocked:           15644 kB
SwapTotal:      67108856 kB
SwapFree:       67099668 kB
Dirty:             32836 kB
Writeback:             0 kB
AnonPages:       3100540 kB
Mapped:            11668 kB
Shmem:                 0 kB
Slab:             614876 kB
SReclaimable:      58972 kB
SUnreclaim:       555904 kB
KernelStack:        1520 kB
PageTables:         9588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3155224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1802240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node120 at 2016-06-07 05:02:08