Trace number 4079418

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-02? (TO) 1800.07 1800.42

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Multihop/
normalized-minisat50_6_9_1_mh.opb
MD5SUM923b3d320d3ae7a9bc670c75aa390685
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3310393
Best CPU time to get the best result obtained on this benchmark1800.36
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables250200
Total number of constraints605407
Number of constraints which are clauses477850
Number of constraints which are cardinality constraints (but not clauses)57
Number of constraints which are nor clauses,nor cardinality constraints127500
Minimum length of a constraint2
Maximum length of a constraint3725
Number of terms in the objective function 129900
Biggest coefficient in the objective function 133432831
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 59299133078
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 133432831
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 59299133078
Number of bits of the biggest sum of numbers36
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-07T22:30:42+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-4079418-1465331441.opb"]
0.00/0.01	c use --random-gen="75966525 3691958007 2445648093 2407315177 1904529032 1322742297 1614293981 665445715 2846131141 3665646931 2915537291 436506838 1368600009 3545209181 457270342 2601755688 2305784370 4044633100 2124058288 1669560555 2216436454 2914445491 3209135393 1419712841 3707714440 980914560 3973660478 3794799880 1749487045 2314250262 890925581 1516224041 3751794316 802260497 2954235383 3976411336 121365456 2190778984 2620815358 3945142419 2349750351 3409855222 219676712 3975239541 4168763435 606602014 4003683944 1380629940 3824800307 3013869540 580905827 2986396450 2145608157 466725781 3824121379 366660766 2555010246 1345060619 3456388160 2621588750 1123529677 2722813070 2942572540 2676891969 1464742361 1898822037 3601714130 490735806 593980669 3968327467 3747351537 3165720872 923268550 3539602920 2617360988 3293033847 1853263814 1294899830 683222952 1235876821 867089146 782781762 2246501812 3490428175 2420379526 721026800 3824827853 449180599 389027021 1581701390 2291955582 1273829853 2014319701 1365422808 1055024553 1069521425 2642274112 3118183744 2024085880 2985622744 177339836 2546383826 335982700 2325588734 3609262880 282992738 888266266 869235297 463832924 4109273644 812283329 3219178275 305678201 85400968 2274373612 1225868653 3334119755 4216820519 2718366828 1133353365 3025115751 4249517577 2415264860 1474440752 733255845 3854139270 2219983512 1779086987 2467414649 200854521 1474981025 2211758591 2260316891 3421905118 3782616528 3325921377 4223977940 1300624921 2464888854 4052720091 3503564842 1951111522 1296759788 1251166976 1571526701 4099221408 1440460499 1421480183 2853718564 4105057698 945091239 3878881276 2705209435 2168996911 3846475515 3600687584 3816436250 2197294700 2470609426 101269528 3313020675 1123526980 2304505160 660730299 3009994960 2250266943 932591627 2267803296 947990896 4050574996 2659257066 2314567122 4005821963 3496944261 1352958449 3863358984 3058224298 513856911 1705485396 2958283728 891010288 273896314 29466979 1092085882 1789718706 3993670095 2474308778 2483779160 3265724668 3596465395 3609137024 1652879733 2980949530 4003717935 57947023 428767889 3778183156 113922875 1687279234 2432771451 2969539265 3271258364 2065454341 443041749 2951444483 3073624144 679666290 2366630988 2672421576 422454799 4145531303 611104741 4189205502 1931744914 2145837177 140958731 767404909 3509509833 1954488297 1861125308 1576861191 1532710591 3540349306 3573348908 276353671 2303434021 252393241 2002218447 191762113 652691728 4238601250 3312874850 2905314882 1673455544 2793414095 2271136531 782796433 542426006 3067416307 4206798510 2617482245 1013768892 1807117756 62642587 2967691419 4143114902 3918458539 2632541907 3297314821 3663518888 477448029 3651810527 620008756 691442744 1660768068 1583687821 255 362436" option to reproduce the execution
4.18/4.24	c #vars 250200
4.18/4.24	c #constraints 605407
14.79/14.87	c BCD2: Hardening is enabled.
14.79/14.87	c BCD2: BiasedSearch is enabled.
14.79/14.87	c Solving starts ...
14.79/14.87	c ============================[ Search Statistics ]============================
14.79/14.87	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
14.79/14.87	c       |         |          |          |    Limit     GC | Var      | Constra 
14.79/14.87	c =============================================================================
14.79/14.88	c  0.0s |       0 |        0 |        0 |   286836      0 |      150 |        0
25.89/25.93	c 11.1s |       0 |      315 |      100 |   286836      0 |      150 |        0
25.99/26.08	c 11.2s |       1 |      315 |      100 |   286836      0 |      150 |        0
29.58/29.61	c 14.7s |       1 |     2349 |      200 |   315520      0 |      150 |        0
29.98/30.07	c 15.2s |       2 |     3666 |      250 |   315520      0 |      150 |        0
36.48/36.54	c 21.7s |       2 |    12449 |      350 |   347072      0 |      150 |        0
43.88/43.99	c 29.1s |       2 |    12624 |      450 |   347072      0 |      150 |        0
45.79/45.89	c 31.0s |       3 |    12647 |      475 |   347072      0 |      150 |        0
48.58/48.63	c 33.7s |       3 |    14821 |      575 |   381780      0 |      150 |        0
51.68/51.74	c 36.9s |       3 |    14939 |      675 |   381780      0 |      150 |        0
53.28/53.34	c 38.5s |       4 |    15089 |      813 |   381780      0 |      150 |        0
55.48/55.54	c 40.7s |       4 |    18610 |     1313 |   419959      0 |      150 |        0
55.69/55.73	c 40.8s |       5 |    18623 |     1320 |   419959      0 |      150 |        0
75.58/75.63	c 60.7s |       5 |    21920 |     1420 |   461955      0 |      150 |        0
87.58/87.69	c 72.8s |       5 |    23129 |     1520 |   461955      0 |      150 |        0
107.17/107.24	c 92.4s |       5 |    24076 |     1620 |   461955      0 |      150 |        0
131.27/131.38	c  116s |       5 |    26274 |     1720 |   461955      0 |      150 |        0
140.67/140.77	c  125s |       5 |    26534 |     1820 |   461955      0 |      150 |        0
159.17/159.28	c  144s |       5 |    26970 |     1920 |   461955      0 |      150 |        0
182.17/182.30	c  167s |       5 |    27994 |     2020 |   461955      0 |      150 |        0
193.27/193.31	c  178s |       6 |    28884 |     2081 |   508151      0 |      150 |        0
220.45/220.53	c  205s |       6 |    30007 |     2181 |   508151      0 |      150 |        0
251.05/251.16	c  236s |       6 |    32118 |     2281 |   508151      0 |      150 |        0
278.15/278.26	c  263s |       6 |    32812 |     2381 |   508151      0 |      150 |        0
293.74/293.82	c  278s |       6 |    33756 |     2481 |   508151      0 |      150 |        0
313.34/313.45	c  298s |       6 |    34471 |     2581 |   508151      0 |      150 |        0
330.54/330.67	c  315s |       6 |    34725 |     2681 |   508151      0 |      150 |        0
356.43/356.53	c  341s |       6 |    35272 |     2781 |   508151      0 |      150 |        0
382.23/382.40	c  367s |       6 |    36334 |     2881 |   508151      0 |      150 |        0
407.93/408.09	c  393s |       6 |    38458 |     2981 |   508151      0 |      150 |        0
428.53/428.68	c  413s |       6 |    39046 |     3081 |   508151      0 |      150 |        0
432.22/432.30	c  417s |       6 |    40370 |     3181 |   508151      0 |      150 |        0
434.32/434.41	c  419s |       7 |    40788 |     3223 |   558967      0 |      150 |        0
469.92/470.05	c  455s |       7 |    42408 |     3323 |   558967      0 |      150 |        0
491.41/491.51	c  476s |       7 |    43921 |     3423 |   558967      0 |      150 |        0
525.71/525.83	c  510s |       7 |    44331 |     3523 |   558967      0 |      150 |        0
549.90/550.01	c  535s |       7 |    45812 |     3623 |   558967      0 |      150 |        0
559.60/559.79	c  544s |       7 |    46903 |     3723 |   558967      0 |      150 |        0
577.60/577.73	c  562s |       7 |    47117 |     3823 |   558967      0 |      150 |        0
604.60/604.73	c  589s |       7 |    47917 |     3923 |   558967      0 |      150 |        0
622.10/622.22	c  607s |       7 |    48482 |     4023 |   558967      0 |      150 |        0
645.09/645.24	c  630s |       7 |    51415 |     4123 |   558967      0 |      150 |        0
649.29/649.45	c  634s |       7 |    52344 |     4223 |   558967      0 |      150 |        0
654.49/654.64	c  639s |       7 |    53549 |     4323 |   558967      0 |      150 |        0
658.89/659.05	c  644s |       7 |    54096 |     4423 |   558967      0 |      150 |        0
663.49/663.63	c  648s |       7 |    54469 |     4523 |   558967      0 |      150 |        0
669.39/669.51	c  654s |       7 |    54843 |     4623 |   558967      0 |      150 |        0
677.19/677.39	c  662s |       7 |    55639 |     4723 |   558967      0 |      150 |        0
683.58/683.76	c  668s |       7 |    56551 |     4823 |   558967      0 |      150 |        0
689.19/689.35	c  674s |       7 |    57262 |     4923 |   614864      0 |      150 |        0
690.08/690.27	c  675s |       8 |    57462 |     4936 |   614864      0 |      150 |        0
696.18/696.35	c  681s |       8 |    58681 |     5036 |   614864      0 |      150 |        0
699.58/699.79	c  684s |       8 |    59091 |     5136 |   614864      0 |      150 |        0
702.28/702.45	c  687s |       8 |    59486 |     5236 |   614864      0 |      150 |        0
707.88/708.02	c  693s |       8 |    60589 |     5336 |   614864      0 |      150 |        0
712.57/712.79	c  697s |       8 |    61093 |     5436 |   614864      0 |      150 |        0
720.17/720.34	c  705s |       8 |    62228 |     5536 |   614864      0 |      150 |        0
722.18/722.36	c  707s |       8 |    62612 |     5636 |   614864      0 |      150 |        0
728.67/728.81	c  713s |       8 |    63814 |     5736 |   614864      0 |      150 |        0
731.77/731.93	c  717s |       8 |    64975 |     5836 |   614864      0 |      150 |        0
735.17/735.35	c  720s |       8 |    65623 |     5936 |   614864      0 |      150 |        0
738.07/738.22	c  723s |       8 |    66413 |     6036 |   614864      0 |      150 |        0
741.87/742.07	c  727s |       8 |    67025 |     6136 |   614864      0 |      150 |        0
745.46/745.65	c  730s |       8 |    67938 |     6236 |   614864      0 |      150 |        0
751.46/751.68	c  736s |       8 |    68898 |     6336 |   614864      0 |      150 |        0
755.46/755.69	c  740s |       8 |    70016 |     6436 |   614864      0 |      150 |        0
757.76/757.95	c  743s |       8 |    70577 |     6536 |   614864      0 |      150 |        0
759.96/760.12	c  745s |       8 |    70972 |     6636 |   614864      0 |      150 |        0
764.16/764.36	c  749s |       8 |    72074 |     6736 |   614864      0 |      150 |        0
767.86/768.05	c  753s |       8 |    72566 |     6836 |   614864      0 |      150 |        0
772.96/773.14	c  758s |       8 |    73218 |     6936 |   614864      0 |      150 |        0
783.66/783.89	c  769s |       8 |    73701 |     7036 |   614864      0 |      150 |        0
791.16/791.37	c  776s |       8 |    74426 |     7136 |   614864      0 |      150 |        0
795.66/795.81	c  780s |       8 |    74916 |     7236 |   614864      0 |      150 |        0
800.66/800.87	c  785s |       8 |    75414 |     7336 |   614864      0 |      150 |        0
805.36/805.55	c  790s |       8 |    75990 |     7436 |   614864      0 |      150 |        0
812.05/812.25	c  797s |       9 |    76600 |     7506 |   676351      0 |      150 |        0
817.35/817.54	c  802s |       9 |    77307 |     7606 |   676351      0 |      150 |        0
821.35/821.51	c  806s |       9 |    77857 |     7706 |   676351      0 |      150 |        0
823.46/823.65	c  808s |       9 |    78153 |     7806 |   676351      0 |      150 |        0
828.55/828.71	c  813s |       9 |    78539 |     7906 |   676351      0 |      150 |        0
833.05/833.24	c  818s |       9 |    78893 |     8006 |   676351      0 |      150 |        0
837.85/838.04	c  823s |       9 |    79454 |     8106 |   676351      0 |      150 |        0
843.45/843.66	c  828s |       9 |    80035 |     8206 |   676351      0 |      150 |        0
848.85/849.05	c  834s |       9 |    80398 |     8306 |   676351      0 |      150 |        0
851.25/851.47	c  836s |       9 |    80743 |     8406 |   676351      0 |      150 |        0
855.05/855.27	c  840s |       9 |    80972 |     8506 |   676351      0 |      150 |        0
858.75/858.99	c  844s |       9 |    81352 |     8606 |   676351      0 |      150 |        0
861.55/861.73	c  846s |       9 |    81684 |     8706 |   676351      0 |      150 |        0
865.55/865.77	c  850s |       9 |    82047 |     8806 |   676351      0 |      150 |        0
871.75/871.91	c  857s |       9 |    82328 |     8906 |   676351      0 |      150 |        0
875.84/876.09	c  861s |       9 |    82679 |     9006 |   676351      0 |      150 |        0
879.64/879.88	c  864s |       9 |    83131 |     9106 |   676351      0 |      150 |        0
885.05/885.29	c  870s |       9 |    83502 |     9206 |   676351      0 |      150 |        0
893.04/893.26	c  878s |       9 |    83983 |     9306 |   676351      0 |      150 |        0
901.45/901.70	c  886s |       9 |    84668 |     9406 |   676351      0 |      150 |        0
908.24/908.44	c  893s |       9 |    85127 |     9506 |   676351      0 |      150 |        0
911.45/911.66	c  896s |       9 |    85685 |     9606 |   676351      0 |      150 |        0
915.94/916.17	c  901s |       9 |    86123 |     9706 |   676351      0 |      150 |        0
918.24/918.48	c  903s |       9 |    86569 |     9806 |   676351      0 |      150 |        0
922.74/922.91	c  908s |       9 |    87127 |     9906 |   676351      0 |      150 |        0
928.34/928.51	c  913s |       9 |    87462 |    10006 |   676351      0 |      150 |        0
933.04/933.20	c  918s |       9 |    88206 |    10106 |   676351      0 |      150 |        0
937.34/937.59	c  922s |       9 |    88556 |    10206 |   676351      0 |      150 |        0
941.63/941.86	c  926s |       9 |    89287 |    10306 |   676351      0 |      150 |        0
946.03/946.27	c  931s |       9 |    89685 |    10406 |   676351      0 |      150 |        0
951.73/951.90	c  937s |       9 |    90514 |    10506 |   676351      0 |      150 |        0
955.23/955.46	c  940s |       9 |    90916 |    10606 |   676351      0 |      150 |        0
958.64/958.84	c  943s |       9 |    91575 |    10706 |   676351      0 |      150 |        0
961.33/961.57	c  946s |       9 |    91814 |    10806 |   676351      0 |      150 |        0
964.63/964.86	c  949s |       9 |    92218 |    10906 |   676351      0 |      150 |        0
969.73/969.94	c  955s |       9 |    92533 |    11006 |   676351      0 |      150 |        0
974.52/974.79	c  959s |       9 |    92894 |    11106 |   676351      0 |      150 |        0
979.63/979.85	c  964s |       9 |    93738 |    11206 |   676351      0 |      150 |        0
984.42/984.64	c  969s |       9 |    94371 |    11306 |   743987      0 |      150 |        0
986.52/986.76	c  971s |      10 |    94643 |    11361 |   743987      0 |      150 |        0
992.52/992.79	c  977s |      10 |    95273 |    11461 |   743987      0 |      150 |        0
996.62/996.89	c  982s |      10 |    95594 |    11561 |   743987      0 |      150 |        0
1001.42/1001.60	c  986s |      10 |    96375 |    11661 |   743987      0 |      150 |        0
1005.02/1005.29	c  990s |      10 |    96962 |    11761 |   743987      0 |      150 |        0
1012.01/1012.23	c  997s |      10 |    97557 |    11861 |   743987      0 |      150 |        0
1016.31/1016.57	c 1001s |      10 |    97948 |    11961 |   743987      0 |      150 |        0
1020.10/1020.35	c 1005s |      10 |    98272 |    12061 |   743987      0 |      150 |        0
1024.40/1024.69	c 1009s |      10 |    98503 |    12161 |   743987      0 |      150 |        0
1028.50/1028.75	c 1013s |      10 |    98767 |    12261 |   743987      0 |      150 |        0
1031.80/1032.02	c 1017s |      10 |    99065 |    12361 |   743987      0 |      150 |        0
1035.79/1036.03	c 1021s |      10 |    99400 |    12461 |   743987      0 |      150 |        0
1039.39/1039.62	c 1024s |      10 |    99644 |    12561 |   743987      0 |      150 |        0
1043.69/1043.96	c 1029s |      10 |    99854 |    12661 |   743987      0 |      150 |        0
1046.29/1046.59	c 1031s |      10 |   100061 |    12761 |   743987      0 |      150 |        0
1050.49/1050.76	c 1035s |      10 |   100460 |    12861 |   743987      0 |      150 |        0
1053.89/1054.13	c 1039s |      10 |   100966 |    13061 |   743987      0 |      150 |        0
1059.69/1059.94	c 1045s |      10 |   101207 |    13161 |   743987      0 |      150 |        0
1064.58/1064.88	c 1050s |      10 |   101481 |    13261 |   743987      0 |      150 |        0
1069.08/1069.35	c 1054s |      10 |   101662 |    13361 |   743987      0 |      150 |        0
1072.58/1072.80	c 1057s |      10 |   102005 |    13461 |   743987      0 |      150 |        0
1077.49/1077.71	c 1062s |      10 |   102264 |    13561 |   743987      0 |      150 |        0
1084.09/1084.34	c 1069s |      10 |   102834 |    13761 |   743987      0 |      150 |        0
1089.59/1089.84	c 1074s |      10 |   103255 |    13861 |   743987      0 |      150 |        0
1093.98/1094.22	c 1079s |      10 |   103683 |    13961 |   743987      0 |      150 |        0
1096.88/1097.10	c 1082s |      10 |   104047 |    14061 |   743987      0 |      150 |        0
1101.68/1101.96	c 1087s |      10 |   104215 |    14161 |   743987      0 |      150 |        0
1106.57/1106.88	c 1092s |      10 |   104419 |    14261 |   743987      0 |      150 |        0
1111.87/1112.10	c 1097s |      10 |   104747 |    14361 |   743987      0 |      150 |        0
1116.57/1116.87	c 1101s |      10 |   105117 |    14461 |   743987      0 |      150 |        0
1121.48/1121.79	c 1106s |      10 |   105531 |    14561 |   743987      0 |      150 |        0
1125.57/1125.80	c 1110s |      10 |   105951 |    14661 |   743987      0 |      150 |        0
1129.08/1129.38	c 1114s |      10 |   106286 |    14761 |   743987      0 |      150 |        0
1137.17/1137.40	c 1122s |      10 |   106553 |    14861 |   743987      0 |      150 |        0
1140.57/1140.82	c 1125s |      10 |   106875 |    14961 |   743987      0 |      150 |        0
1144.07/1144.35	c 1129s |      10 |   107102 |    15061 |   743987      0 |      150 |        0
1148.57/1148.83	c 1133s |      10 |   107558 |    15161 |   743987      0 |      150 |        0
1153.97/1154.24	c 1139s |      10 |   107829 |    15261 |   743987      0 |      150 |        0
1159.56/1159.82	c 1144s |      10 |   108350 |    15461 |   743987      0 |      150 |        0
1164.06/1164.30	c 1149s |      10 |   108583 |    15561 |   743987      0 |      150 |        0
1167.16/1167.41	c 1152s |      10 |   108806 |    15661 |   743987      0 |      150 |        0
1172.16/1172.43	c 1157s |      10 |   109053 |    15761 |   743987      0 |      150 |        0
1177.16/1177.40	c 1162s |      10 |   109421 |    15861 |   743987      0 |      150 |        0
1180.86/1181.12	c 1166s |      10 |   109955 |    15961 |   743987      0 |      150 |        0
1183.85/1184.14	c 1169s |      10 |   110386 |    16061 |   743987      0 |      150 |        0
1187.85/1188.12	c 1173s |      10 |   111039 |    16161 |   743987      0 |      150 |        0
1191.75/1192.08	c 1177s |      10 |   111549 |    16261 |   743987      0 |      150 |        0
1195.24/1195.55	c 1180s |      10 |   111976 |    16361 |   743987      0 |      150 |        0
1199.45/1199.78	c 1184s |      10 |   112490 |    16461 |   743987      0 |      150 |        0
1204.44/1204.77	c 1189s |      10 |   112902 |    16561 |   743987      0 |      150 |        0
1211.14/1211.49	c 1196s |      10 |   113151 |    16661 |   743987      0 |      150 |        0
1217.44/1217.75	c 1202s |      10 |   113339 |    16761 |   743987      0 |      150 |        0
1222.94/1223.24	c 1208s |      10 |   113571 |    16861 |   743987      0 |      150 |        0
1227.04/1227.31	c 1212s |      10 |   114062 |    16961 |   743987      0 |      150 |        0
1230.43/1230.79	c 1215s |      10 |   114413 |    17061 |   818386      0 |      150 |        0
1234.23/1234.57	c 1219s |      11 |   114700 |    17144 |   818386      0 |      150 |        0
1243.83/1244.15	c 1229s |      11 |   115827 |    17244 |   818386      0 |      150 |        0
1246.74/1247.09	c 1232s |      11 |   116078 |    17344 |   818386      0 |      150 |        0
1254.33/1254.70	c 1239s |      11 |   116871 |    17444 |   818386      0 |      150 |        0
1259.03/1259.37	c 1244s |      11 |   117306 |    17544 |   818386      0 |      150 |        0
1261.53/1261.86	c 1246s |      11 |   117721 |    17644 |   818386      0 |      150 |        0
1265.83/1266.14	c 1251s |      11 |   118277 |    17744 |   818386      0 |      150 |        0
1270.33/1270.67	c 1255s |      11 |   118783 |    17844 |   818386      0 |      150 |        0
1276.73/1277.04	c 1262s |      11 |   119198 |    17944 |   818386      0 |      150 |        0
1282.43/1282.75	c 1267s |      11 |   119543 |    18044 |   818386      0 |      150 |        0
1286.02/1286.30	c 1271s |      11 |   120042 |    18144 |   818386      0 |      150 |        0
1293.12/1293.44	c 1278s |      11 |   120395 |    18244 |   818386      0 |      150 |        0
1298.12/1298.40	c 1283s |      11 |   120794 |    18344 |   818386      0 |      150 |        0
1302.72/1303.03	c 1288s |      11 |   121234 |    18444 |   818386      0 |      150 |        0
1307.12/1307.45	c 1292s |      11 |   121624 |    18544 |   818386      0 |      150 |        0
1310.22/1310.57	c 1295s |      11 |   121951 |    18644 |   818386      0 |      150 |        0
1313.93/1314.25	c 1299s |      11 |   122222 |    18744 |   818386      0 |      150 |        0
1322.22/1322.53	c 1307s |      11 |   122680 |    18944 |   818386      0 |      150 |        0
1331.11/1331.49	c 1316s |      11 |   123325 |    19044 |   818386      0 |      150 |        0
1338.02/1338.38	c 1323s |      11 |   123710 |    19144 |   818386      0 |      150 |        0
1343.31/1343.69	c 1328s |      11 |   124061 |    19244 |   818386      0 |      150 |        0
1347.01/1347.34	c 1332s |      11 |   124243 |    19344 |   818386      0 |      150 |        0
1352.91/1353.27	c 1338s |      11 |   124683 |    19444 |   818386      0 |      150 |        0
1357.21/1357.51	c 1342s |      11 |   125105 |    19544 |   818386      0 |      150 |        0
1360.41/1360.74	c 1345s |      11 |   125417 |    19644 |   818386      0 |      150 |        0
1364.41/1364.80	c 1349s |      11 |   125808 |    19744 |   818386      0 |      150 |        0
1368.21/1368.50	c 1353s |      11 |   126122 |    19844 |   818386      0 |      150 |        0
1375.51/1375.82	c 1360s |      11 |   126427 |    19944 |   818386      0 |      150 |        0
1380.40/1380.71	c 1365s |      11 |   126698 |    20044 |   818386      0 |      150 |        0
1388.40/1388.76	c 1373s |      11 |   126870 |    20144 |   818386      0 |      150 |        0
1395.21/1395.59	c 1380s |      11 |   127333 |    20244 |   818386      0 |      150 |        0
1402.20/1402.52	c 1387s |      11 |   127861 |    20344 |   818386      0 |      150 |        0
1409.80/1410.15	c 1395s |      11 |   128238 |    20444 |   818386      0 |      150 |        0
1417.00/1417.38	c 1402s |      11 |   128620 |    20544 |   818386      0 |      150 |        0
1422.40/1422.71	c 1407s |      11 |   128980 |    20644 |   818386      0 |      150 |        0
1426.50/1426.80	c 1411s |      11 |   129366 |    20744 |   818386      0 |      150 |        0
1431.50/1431.88	c 1416s |      11 |   129607 |    20844 |   818386      0 |      150 |        0
1438.50/1438.80	c 1423s |      11 |   129867 |    20944 |   818386      0 |      150 |        0
1446.09/1446.44	c 1431s |      11 |   130165 |    21044 |   818386      0 |      150 |        0
1454.49/1454.81	c 1439s |      11 |   130571 |    21144 |   818386      0 |      150 |        0
1463.69/1464.08	c 1449s |      11 |   130927 |    21244 |   818386      0 |      150 |        0
1472.39/1472.75	c 1457s |      11 |   131515 |    21344 |   818386      0 |      150 |        0
1481.19/1481.53	c 1466s |      11 |   132080 |    21444 |   818386      0 |      150 |        0
1490.79/1491.14	c 1476s |      11 |   132411 |    21544 |   818386      0 |      150 |        0
1496.19/1496.57	c 1481s |      11 |   132837 |    21644 |   818386      0 |      150 |        0
1507.49/1507.84	c 1492s |      11 |   133421 |    21744 |   818386      0 |      150 |        0
1519.08/1519.41	c 1504s |      11 |   133955 |    21844 |   818386      0 |      150 |        0
1529.78/1530.17	c 1515s |      11 |   134401 |    21944 |   818386      0 |      150 |        0
1533.89/1534.27	c 1519s |      11 |   134654 |    22044 |   818386      0 |      150 |        0
1538.08/1538.44	c 1523s |      11 |   134911 |    22144 |   818386      0 |      150 |        0
1541.98/1542.32	c 1527s |      11 |   135134 |    22244 |   818386      0 |      150 |        0
1548.28/1548.67	c 1533s |      11 |   135640 |    22344 |   818386      0 |      150 |        0
1553.18/1553.58	c 1538s |      11 |   136108 |    22444 |   818386      0 |      150 |        0
1557.78/1558.15	c 1543s |      11 |   136619 |    22544 |   818386      0 |      150 |        0
1566.47/1566.82	c 1551s |      11 |   137125 |    22644 |   818386      0 |      150 |        0
1569.47/1569.87	c 1554s |      11 |   137512 |    22744 |   818386      0 |      150 |        0
1574.87/1575.20	c 1560s |      11 |   137976 |    22844 |   818386      0 |      150 |        0
1580.17/1580.50	c 1565s |      11 |   138922 |    22944 |   818386      0 |      150 |        0
1584.38/1584.79	c 1569s |      11 |   139172 |    23044 |   818386      0 |      150 |        0
1590.47/1590.81	c 1575s |      11 |   139496 |    23144 |   818386      0 |      150 |        0
1592.77/1593.13	c 1578s |      11 |   139771 |    23244 |   818386      0 |      150 |        0
1598.68/1599.09	c 1584s |      11 |   140038 |    23344 |   818386      0 |      150 |        0
1602.77/1603.13	c 1588s |      11 |   140268 |    23444 |   818386      0 |      150 |        0
1611.57/1611.95	c 1597s |      11 |   140497 |    23544 |   818386      0 |      150 |        0
1616.67/1617.03	c 1602s |      11 |   141061 |    23644 |   818386      0 |      150 |        0
1621.57/1621.93	c 1607s |      11 |   141257 |    23744 |   818386      0 |      150 |        0
1625.77/1626.18	c 1611s |      11 |   141523 |    23844 |   818386      0 |      150 |        0
1632.56/1632.95	c 1618s |      11 |   142080 |    23944 |   818386      0 |      150 |        0
1637.56/1637.95	c 1623s |      11 |   142383 |    24044 |   818386      0 |      150 |        0
1642.67/1643.01	c 1628s |      11 |   142603 |    24144 |   818386      0 |      150 |        0
1649.16/1649.58	c 1634s |      11 |   143366 |    24244 |   818386      0 |      150 |        0
1684.26/1684.62	c 1669s |      11 |   145669 |    24344 |   818386      0 |      150 |        0
1706.85/1707.23	c 1692s |      11 |   147798 |    24444 |   818386      0 |      150 |        0
1712.15/1712.50	c 1697s |      11 |   149068 |    24544 |   818386      0 |      150 |        0
1716.65/1717.01	c 1702s |      11 |   149994 |    24644 |   818386      0 |      150 |        0
1721.75/1722.12	c 1707s |      11 |   150450 |    24744 |   818386      0 |      150 |        0
1728.56/1728.99	c 1714s |      11 |   151291 |    24844 |   818386      0 |      150 |        0
1733.15/1733.58	c 1718s |      11 |   151729 |    24944 |   818386      0 |      150 |        0
1739.75/1740.18	c 1725s |      11 |   154079 |    25044 |   818386      0 |      150 |        0
1745.45/1745.88	c 1731s |      11 |   154707 |    25144 |   818386      0 |      150 |        0
1748.95/1749.38	c 1734s |      11 |   156156 |    25244 |   818386      0 |      150 |        0
1753.25/1753.69	c 1738s |      11 |   156456 |    25344 |   818386      0 |      150 |        0
1758.65/1759.06	c 1744s |      11 |   158444 |    25444 |   818386      0 |      150 |        0
1765.25/1765.68	c 1750s |      11 |   159403 |    25544 |   818386      0 |      150 |        0
1770.65/1771.08	c 1756s |      11 |   159961 |    25644 |   818386      0 |      150 |        0
1775.35/1775.77	c 1760s |      11 |   161168 |    25744 |   900225      0 |      150 |        0
1781.85/1782.26	c 1767s |      12 |   161850 |    25819 |   900225      0 |      150 |        0
1788.96/1789.40	c 1774s |      12 |   163556 |    25919 |   900225      0 |      150 |        0
1795.66/1796.05	c 1781s |      12 |   164390 |    26019 |   900225      0 |      150 |        0

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

pid=21347
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.11 2.17 2.17 3/180 21350
/proc/meminfo: memFree=28368468/32872528 swapFree=16204/1518544
[pid=21350] ppid=21347 vsize=692668 CPUtime=0 cores=0,2,4,6
/proc/21350/stat : 21350 (toysat) R 21347 21350 19387 0 -1 4202496 2579 0 0 0 0 0 0 0 20 0 4 0 115077061 709292032 2430 33554432000 4194304 16246674 140734900090736 140734900090160 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21350/statm: 173679 2439 441 2943 0 170573 0
[pid=21350/tid=21351] ppid=21347 vsize=709052 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21351/stat : 21351 (toysat) S 21347 21350 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115077062 726069248 2497 33554432000 4194304 16246674 140734900090736 140710761180400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21350/tid=21352] ppid=21347 vsize=714172 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21352/stat : 21352 (toysat) S 21347 21350 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115077062 731312128 2514 33554432000 4194304 16246674 140734900090736 140710750690544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21350/tid=21353] ppid=21347 vsize=718268 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21353/stat : 21353 (toysat) S 21347 21350 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115077062 735506432 2532 33554432000 4194304 16246674 140734900090736 140710740217008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.11 2.17 2.17 3/180 21350
/proc/meminfo: memFree=28368468/32872528 swapFree=16204/1518544
[pid=21350] ppid=21347 vsize=1303108 CPUtime=0.09 cores=0,2,4,6
/proc/21350/stat : 21350 (toysat) R 21347 21350 19387 0 -1 4202496 30674 0 0 0 5 4 0 0 20 0 4 0 115077061 1334382592 30463 33554432000 4194304 16246674 140734900090736 140734900072640 7376282 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21350/statm: 325777 30476 799 2943 0 322671 0
[pid=21350/tid=21351] ppid=21347 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21351/stat : 21351 (toysat) S 21347 21350 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115077062 1334382592 30487 33554432000 4194304 16246674 140734900090736 140710761180400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21350/tid=21352] ppid=21347 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21352/stat : 21352 (toysat) S 21347 21350 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115077062 1334382592 30499 33554432000 4194304 16246674 140734900090736 140710750690544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21350/tid=21353] ppid=21347 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21353/stat : 21353 (toysat) S 21347 21350 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115077062 1334382592 30510 33554432000 4194304 16246674 140734900090736 140710740217008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200496 s]
/proc/loadavg: 2.11 2.17 2.17 3/180 21350
/proc/meminfo: memFree=28368468/32872528 swapFree=16204/1518544
[pid=21350] ppid=21347 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/21350/stat : 21350 (toysat) R 21347 21350 19387 0 -1 4202496 43180 0 0 0 13 6 0 0 20 0 4 0 115077061 1343819776 43479 33554432000 4194304 16246674 140734900090736 140734900072640 4206613 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21350/statm: 328081 43479 800 2943 0 324975 0
[pid=21350/tid=21351] ppid=21347 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21351/stat : 21351 (toysat) S 21347 21350 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115077062 1343819776 43479 33554432000 4194304 16246674 140734900090736 140710761180400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21350/tid=21352] ppid=21347 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21352/stat : 21352 (toysat) S 21347 21350 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115077062 1343819776 43479 33554432000 4194304 16246674 140734900090736 140710750690544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21350/tid=21353] ppid=21347 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21353/stat : 21353 (toysat) S 21347 21350 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115077062 1343819776 43479 33554432000 4194304 16246674 140734900090736 140710740217008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300497 s]
/proc/loadavg: 2.11 2.17 2.17 3/180 21350
/proc/meminfo: memFree=28368468/32872528 swapFree=16204/1518544
[pid=21350] ppid=21347 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/21350/stat : 21350 (toysat) R 21347 21350 19387 0 -1 4202496 48190 0 0 0 22 7 0 0 20 0 4 0 115077061 1343819776 48489 33554432000 4194304 16246674 140734900090736 140734900072640 4206604 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21350/statm: 328081 48489 801 2943 0 324975 0
[pid=21350/tid=21351] ppid=21347 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21351/stat : 21351 (toysat) S 21347 21350 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115077062 1343819776 48489 33554432000 4194304 16246674 140734900090736 140710761180400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21350/tid=21352] ppid=21347 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21352/stat : 21352 (toysat) S 21347 21350 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115077062 1343819776 48489 33554432000 4194304 16246674 140734900090736 140710750690544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21350/tid=21353] ppid=21347 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21353/stat : 21353 (toysat) S 21347 21350 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115077062 1343819776 48489 33554432000 4194304 16246674 140734900090736 140710740217008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700407 s]
/proc/loadavg: 2.11 2.17 2.17 3/180 21350
/proc/meminfo: memFree=28368468/32872528 swapFree=16204/1518544
[pid=21350] ppid=21347 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/21350/stat : 21350 (toysat) R 21347 21350 19387 0 -1 4202496 67948 0 0 0 59 10 0 0 20 0 4 0 115077061 1344868352 68247 33554432000 4194304 16246674 140734900090736 140734900072640 4206664 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21350/statm: 328337 68247 803 2943 0 325231 0
[pid=21350/tid=21351] ppid=21347 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21351/stat : 21351 (toysat) S 21347 21350 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115077062 1344868352 68247 33554432000 4194304 16246674 140734900090736 140710761180400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21350/tid=21352] ppid=21347 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21352/stat : 21352 (toysat) S 21347 21350 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115077062 1344868352 68247 33554432000 4194304 16246674 140734900090736 140710750690544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21350/tid=21353] ppid=21347 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21353/stat : 21353 (toysat) S 21347 21350 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115077062 1344868352 68247 33554432000 4194304 16246674 140734900090736 140710740217008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.11 2.17 2.17 3/184 21354
/proc/meminfo: memFree=28039608/32872528 swapFree=16204/1518544
[pid=21350] ppid=21347 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/21350/stat : 21350 (toysat) R 21347 21350 19387 0 -1 4202496 83665 0 0 0 137 12 0 0 20 0 4 0 115077061 1344868352 83964 33554432000 4194304 16246674 140734900090736 140734900088576 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21350/statm: 328337 83964 803 2943 0 325231 0
[pid=21350/tid=21351] ppid=21347 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21351/stat : 21351 (toysat) S 21347 21350 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115077062 1344868352 83964 33554432000 4194304 16246674 140734900090736 140710761180400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21350/tid=21352] ppid=21347 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21352/stat : 21352 (toysat) S 21347 21350 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115077062 1344868352 83964 33554432000 4194304 16246674 140734900090736 140710750690544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21350/tid=21353] ppid=21347 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21353/stat : 21353 (toysat) S 21347 21350 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115077062 1344868352 83964 33554432000 4194304 16246674 140734900090736 140710740217008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10039 s]
/proc/loadavg: 2.11 2.17 2.17 3/184 21354
/proc/meminfo: memFree=27901068/32872528 swapFree=16204/1518544
[pid=21350] ppid=21347 vsize=1337924 CPUtime=3.09 cores=0,2,4,6
/proc/21350/stat : 21350 (toysat) R 21347 21350 19387 0 -1 4202496 157919 0 0 0 286 23 0 0 20 0 4 0 115077061 1370034176 162817 33554432000 4194304 16246674 140734900090736 140734900088576 4220871 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21350/statm: 334481 162817 803 2943 0 331375 0
[pid=21350/tid=21351] ppid=21347 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21351/stat : 21351 (toysat) S 21347 21350 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115077062 1370034176 162817 33554432000 4194304 16246674 140734900090736 140710761180400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21350/tid=21352] ppid=21347 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21352/stat : 21352 (toysat) S 21347 21350 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115077062 1370034176 162817 33554432000 4194304 16246674 140734900090736 140710750690544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21350/tid=21353] ppid=21347 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21353/stat : 21353 (toysat) S 21347 21350 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115077062 1370034176 162817 33554432000 4194304 16246674 140734900090736 140710740217008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1337924

[startup+6.30734 s]
/proc/loadavg: 2.10 2.17 2.17 3/184 21354
/proc/meminfo: memFree=27274724/32872528 swapFree=16204/1518544
[pid=21350] ppid=21347 vsize=1411652 CPUtime=6.29 cores=0,2,4,6
/proc/21350/stat : 21350 (toysat) R 21347 21350 19387 0 -1 4202496 255707 0 0 0 592 37 0 0 20 0 4 0 115077061 1445531648 273891 33554432000 4194304 16246674 140734900090736 140734900072640 13760266 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21350/statm: 352913 273891 841 2943 0 349807 0
[pid=21350/tid=21351] ppid=21347 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21351/stat : 21351 (toysat) S 21347 21350 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115077062 1445531648 273891 33554432000 4194304 16246674 140734900090736 140710761180400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21350/tid=21352] ppid=21347 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21352/stat : 21352 (toysat) S 21347 21350 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115077062 1445531648 273891 33554432000 4194304 16246674 140734900090736 140710750690544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21350/tid=21353] ppid=21347 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21353/stat : 21353 (toysat) S 21347 21350 19387 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 115077062 1445531648 273891 33554432000 4194304 16246674 140734900090736 140710740217008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1411652

[startup+12.7004 s]
/proc/loadavg: 2.10 2.17 2.17 4/184 21354
/proc/meminfo: memFree=27195008/32872528 swapFree=16204/1518544
[pid=21350] ppid=21347 vsize=1411652 CPUtime=12.68 cores=0,2,4,6
/proc/21350/stat : 21350 (toysat) R 21347 21350 19387 0 -1 4202496 275665 0 0 0 1228 40 0 0 20 0 4 0 115077061 1445531648 293849 33554432000 4194304 16246674 140734900090736 140734900072640 7204266 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21350/statm: 352913 293849 847 2943 0 349807 0
[pid=21350/tid=21351] ppid=21347 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21351/stat : 21351 (toysat) S 21347 21350 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115077062 1445531648 293849 33554432000 4194304 16246674 140734900090736 140710761180400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21350/tid=21352] ppid=21347 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21352/stat : 21352 (toysat) S 21347 21350 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115077062 1445531648 293849 33554432000 4194304 16246674 140734900090736 140710750690544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21350/tid=21353] ppid=21347 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21353/stat : 21353 (toysat) S 21347 21350 19387 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 115077062 1445531648 293849 33554432000 4194304 16246674 140734900090736 140710740217008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1411652

[startup+25.5004 s]
/proc/loadavg: 2.07 2.16 2.17 3/183 21354
/proc/meminfo: memFree=26808708/32872528 swapFree=16204/1518544
[pid=21350] ppid=21347 vsize=1797700 CPUtime=25.49 cores=0,2,4,6
/proc/21350/stat : 21350 (toysat) R 21347 21350 19387 0 -1 4202496 372224 0 0 0 2496 53 0 0 20 0 4 0 115077061 1840844800 390408 33554432000 4194304 16246674 140734900090736 140734900072640 5598428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21350/statm: 449425 390408 893 2943 0 446319 0
[pid=21350/tid=21351] ppid=21347 vsize=1797700 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21351/stat : 21351 (toysat) S 21347 21350 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115077062 1840844800 390408 33554432000 4194304 16246674 140734900090736 140710761180400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21350/tid=21352] ppid=21347 vsize=1797700 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21352/stat : 21352 (toysat) S 21347 21350 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115077062 1840844800 390408 33554432000 4194304 16246674 140734900090736 140710750690544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21350/tid=21353] ppid=21347 vsize=1797700 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21353/stat : 21353 (toysat) S 21347 21350 19387 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 115077062 1840844800 390408 33554432000 4194304 16246674 140734900090736 140710740217008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1797700

[startup+51.1004 s]
/proc/loadavg: 2.05 2.15 2.16 3/183 21354
/proc/meminfo: memFree=26546496/32872528 swapFree=16204/1518544
[pid=21350] ppid=21347 vsize=2188868 CPUtime=51.08 cores=0,2,4,6
/proc/21350/stat : 21350 (toysat) R 21347 21350 19387 0 -1 4202496 469964 0 0 0 5040 68 0 0 20 0 4 0 115077061 2241400832 488148 33554432000 4194304 16246674 140734900090736 140734900072640 5994987 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21350/statm: 547217 488148 897 2943 0 544111 0
[pid=21350/tid=21351] ppid=21347 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21351/stat : 21351 (toysat) S 21347 21350 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115077062 2241400832 488148 33554432000 4194304 16246674 140734900090736 140710761180400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21350/tid=21352] ppid=21347 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21352/stat : 21352 (toysat) S 21347 21350 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115077062 2241400832 488148 33554432000 4194304 16246674 140734900090736 140710750690544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21350/tid=21353] ppid=21347 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21353/stat : 21353 (toysat) S 21347 21350 19387 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 115077062 2241400832 488148 33554432000 4194304 16246674 140734900090736 140710740217008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2188868

[startup+102.3 s]
/proc/loadavg: 2.09 2.14 2.16 4/183 21355
/proc/meminfo: memFree=26416828/32872528 swapFree=16204/1518544
[pid=21350] ppid=21347 vsize=2188868 CPUtime=102.27 cores=0,2,4,6
/proc/21350/stat : 21350 (toysat) R 21347 21350 19387 0 -1 4202496 470020 0 0 0 10159 68 0 0 20 0 4 0 115077061 2241400832 488204 33554432000 4194304 16246674 140734900090736 140734900072640 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21350/statm: 547217 488204 897 2943 0 544111 0
[pid=21350/tid=21351] ppid=21347 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21351/stat : 21351 (toysat) S 21347 21350 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115077062 2241400832 488204 33554432000 4194304 16246674 140734900090736 140710761180400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21350/tid=21352] ppid=21347 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21352/stat : 21352 (toysat) S 21347 21350 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115077062 2241400832 488204 33554432000 4194304 16246674 140734900090736 140710750690544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21350/tid=21353] ppid=21347 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21353/stat : 21353 (toysat) S 21347 21350 19387 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 115077062 2241400832 488204 33554432000 4194304 16246674 140734900090736 140710740217008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 2188868


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

/proc/21350/task/21353/stat : 21353 (toysat) S 21347 21350 19387 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 115077062 2241400832 488460 33554432000 4194304 16246674 140734900090736 140710740217008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 2188868

[startup+1362.3 s]
/proc/loadavg: 2.20 2.22 2.18 3/183 21436
/proc/meminfo: memFree=27710924/32872528 swapFree=16204/1518544
[pid=21350] ppid=21347 vsize=2188868 CPUtime=1362.01 cores=0,2,4,6
/proc/21350/stat : 21350 (toysat) R 21347 21350 19387 0 -1 4202496 470136 0 0 0 136133 68 0 0 20 0 4 0 115077061 2241400832 488460 33554432000 4194304 16246674 140734900090736 140734900072640 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21350/statm: 547217 488460 897 2943 0 544111 0
[pid=21350/tid=21351] ppid=21347 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21351/stat : 21351 (toysat) S 21347 21350 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115077062 2241400832 488460 33554432000 4194304 16246674 140734900090736 140710761180400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21350/tid=21352] ppid=21347 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21352/stat : 21352 (toysat) S 21347 21350 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115077062 2241400832 488460 33554432000 4194304 16246674 140734900090736 140710750690544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21350/tid=21353] ppid=21347 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21353/stat : 21353 (toysat) S 21347 21350 19387 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 115077062 2241400832 488460 33554432000 4194304 16246674 140734900090736 140710740217008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 2188868

[startup+1422.3 s]
/proc/loadavg: 2.29 2.24 2.19 3/183 21438
/proc/meminfo: memFree=27710276/32872528 swapFree=16204/1518544
[pid=21350] ppid=21347 vsize=2188868 CPUtime=1422 cores=0,2,4,6
/proc/21350/stat : 21350 (toysat) R 21347 21350 19387 0 -1 4202496 470136 0 0 0 142132 68 0 0 20 0 4 0 115077061 2241400832 488460 33554432000 4194304 16246674 140734900090736 140734900072640 5659504 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21350/statm: 547217 488460 897 2943 0 544111 0
[pid=21350/tid=21351] ppid=21347 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21351/stat : 21351 (toysat) S 21347 21350 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115077062 2241400832 488460 33554432000 4194304 16246674 140734900090736 140710761180400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21350/tid=21352] ppid=21347 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21352/stat : 21352 (toysat) S 21347 21350 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115077062 2241400832 488460 33554432000 4194304 16246674 140734900090736 140710750690544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21350/tid=21353] ppid=21347 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21353/stat : 21353 (toysat) S 21347 21350 19387 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 115077062 2241400832 488460 33554432000 4194304 16246674 140734900090736 140710740217008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 2188868

[startup+1482.3 s]
/proc/loadavg: 2.25 2.24 2.19 3/183 21439
/proc/meminfo: memFree=27711244/32872528 swapFree=16204/1518544
[pid=21350] ppid=21347 vsize=2188868 CPUtime=1481.99 cores=0,2,4,6
/proc/21350/stat : 21350 (toysat) R 21347 21350 19387 0 -1 4202496 470136 0 0 0 148131 68 0 0 20 0 4 0 115077061 2241400832 488460 33554432000 4194304 16246674 140734900090736 140734900072640 13753026 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21350/statm: 547217 488460 897 2943 0 544111 0
[pid=21350/tid=21351] ppid=21347 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21351/stat : 21351 (toysat) S 21347 21350 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115077062 2241400832 488460 33554432000 4194304 16246674 140734900090736 140710761180400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21350/tid=21352] ppid=21347 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21352/stat : 21352 (toysat) S 21347 21350 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115077062 2241400832 488460 33554432000 4194304 16246674 140734900090736 140710750690544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21350/tid=21353] ppid=21347 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21353/stat : 21353 (toysat) S 21347 21350 19387 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 115077062 2241400832 488460 33554432000 4194304 16246674 140734900090736 140710740217008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 2188868

[startup+1542.3 s]
/proc/loadavg: 2.30 2.25 2.19 3/183 21440
/proc/meminfo: memFree=27710976/32872528 swapFree=16204/1518544
[pid=21350] ppid=21347 vsize=2188868 CPUtime=1541.98 cores=0,2,4,6
/proc/21350/stat : 21350 (toysat) R 21347 21350 19387 0 -1 4202496 470136 0 0 0 154130 68 0 0 20 0 4 0 115077061 2241400832 488460 33554432000 4194304 16246674 140734900090736 140734900072640 13752941 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21350/statm: 547217 488460 897 2943 0 544111 0
[pid=21350/tid=21351] ppid=21347 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21351/stat : 21351 (toysat) S 21347 21350 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115077062 2241400832 488460 33554432000 4194304 16246674 140734900090736 140710761180400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21350/tid=21352] ppid=21347 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21352/stat : 21352 (toysat) S 21347 21350 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115077062 2241400832 488460 33554432000 4194304 16246674 140734900090736 140710750690544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21350/tid=21353] ppid=21347 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21353/stat : 21353 (toysat) S 21347 21350 19387 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 115077062 2241400832 488460 33554432000 4194304 16246674 140734900090736 140710740217008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 2188868

[startup+1602.3 s]
/proc/loadavg: 2.21 2.23 2.18 3/183 21441
/proc/meminfo: memFree=27710700/32872528 swapFree=16204/1518544
[pid=21350] ppid=21347 vsize=2188868 CPUtime=1601.98 cores=0,2,4,6
/proc/21350/stat : 21350 (toysat) R 21347 21350 19387 0 -1 4202496 470136 0 0 0 160130 68 0 0 20 0 4 0 115077061 2241400832 488460 33554432000 4194304 16246674 140734900090736 140734900072640 5827728 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21350/statm: 547217 488460 897 2943 0 544111 0
[pid=21350/tid=21351] ppid=21347 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21351/stat : 21351 (toysat) S 21347 21350 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115077062 2241400832 488460 33554432000 4194304 16246674 140734900090736 140710761180400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21350/tid=21352] ppid=21347 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21352/stat : 21352 (toysat) S 21347 21350 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115077062 2241400832 488460 33554432000 4194304 16246674 140734900090736 140710750690544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21350/tid=21353] ppid=21347 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21353/stat : 21353 (toysat) S 21347 21350 19387 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 115077062 2241400832 488460 33554432000 4194304 16246674 140734900090736 140710740217008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 2188868

[startup+1662.3 s]
/proc/loadavg: 2.17 2.22 2.18 4/183 21442
/proc/meminfo: memFree=27710336/32872528 swapFree=16204/1518544
[pid=21350] ppid=21347 vsize=2188868 CPUtime=1661.96 cores=0,2,4,6
/proc/21350/stat : 21350 (toysat) R 21347 21350 19387 0 -1 4202496 470136 0 0 0 166128 68 0 0 20 0 4 0 115077061 2241400832 488460 33554432000 4194304 16246674 140734900090736 140734900072640 5600232 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21350/statm: 547217 488460 897 2943 0 544111 0
[pid=21350/tid=21351] ppid=21347 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21351/stat : 21351 (toysat) S 21347 21350 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115077062 2241400832 488460 33554432000 4194304 16246674 140734900090736 140710761180400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21350/tid=21352] ppid=21347 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21352/stat : 21352 (toysat) S 21347 21350 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115077062 2241400832 488460 33554432000 4194304 16246674 140734900090736 140710750690544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21350/tid=21353] ppid=21347 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21353/stat : 21353 (toysat) S 21347 21350 19387 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 115077062 2241400832 488460 33554432000 4194304 16246674 140734900090736 140710740217008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 2188868

[startup+1722.31 s]
/proc/loadavg: 2.29 2.24 2.19 3/183 21444
/proc/meminfo: memFree=27710580/32872528 swapFree=16204/1518544
[pid=21350] ppid=21347 vsize=2188868 CPUtime=1721.96 cores=0,2,4,6
/proc/21350/stat : 21350 (toysat) R 21347 21350 19387 0 -1 4202496 470136 0 0 0 172128 68 0 0 20 0 4 0 115077061 2241400832 488460 33554432000 4194304 16246674 140734900090736 140734900072640 12415815 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21350/statm: 547217 488460 897 2943 0 544111 0
[pid=21350/tid=21351] ppid=21347 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21351/stat : 21351 (toysat) S 21347 21350 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115077062 2241400832 488460 33554432000 4194304 16246674 140734900090736 140710761180400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21350/tid=21352] ppid=21347 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21352/stat : 21352 (toysat) S 21347 21350 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115077062 2241400832 488460 33554432000 4194304 16246674 140734900090736 140710750690544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21350/tid=21353] ppid=21347 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21353/stat : 21353 (toysat) S 21347 21350 19387 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 115077062 2241400832 488460 33554432000 4194304 16246674 140734900090736 140710740217008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 2188868

[startup+1782.3 s]
/proc/loadavg: 2.29 2.24 2.19 3/184 21448
/proc/meminfo: memFree=27710036/32872528 swapFree=16204/1518544
[pid=21350] ppid=21347 vsize=2188868 CPUtime=1781.95 cores=0,2,4,6
/proc/21350/stat : 21350 (toysat) R 21347 21350 19387 0 -1 4202496 470136 0 0 0 178126 69 0 0 20 0 4 0 115077061 2241400832 488460 33554432000 4194304 16246674 140734900090736 140734900072640 5532218 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21350/statm: 547217 488460 897 2943 0 544111 0
[pid=21350/tid=21351] ppid=21347 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21351/stat : 21351 (toysat) S 21347 21350 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115077062 2241400832 488460 33554432000 4194304 16246674 140734900090736 140710761180400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21350/tid=21352] ppid=21347 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21352/stat : 21352 (toysat) S 21347 21350 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115077062 2241400832 488460 33554432000 4194304 16246674 140734900090736 140710750690544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21350/tid=21353] ppid=21347 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21353/stat : 21353 (toysat) S 21347 21350 19387 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 115077062 2241400832 488460 33554432000 4194304 16246674 140734900090736 140710740217008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 2188868



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.41 s]
/proc/loadavg: 2.35 2.26 2.19 3/184 21448
/proc/meminfo: memFree=27710500/32872528 swapFree=16204/1518544
[pid=21350] ppid=21347 vsize=2188868 CPUtime=1800.06 cores=0,2,4,6
/proc/21350/stat : 21350 (toysat) R 21347 21350 19387 0 -1 4202496 470136 0 0 0 179937 69 0 0 20 0 4 0 115077061 2241400832 488460 33554432000 4194304 16246674 140734900090736 140734900072640 5659576 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21350/statm: 547217 488460 897 2943 0 544111 0
[pid=21350/tid=21351] ppid=21347 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21351/stat : 21351 (toysat) S 21347 21350 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115077062 2241400832 488460 33554432000 4194304 16246674 140734900090736 140710761180400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21350/tid=21352] ppid=21347 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21352/stat : 21352 (toysat) S 21347 21350 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115077062 2241400832 488460 33554432000 4194304 16246674 140734900090736 140710750690544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21350/tid=21353] ppid=21347 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21353/stat : 21353 (toysat) S 21347 21350 19387 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 115077062 2241400832 488460 33554432000 4194304 16246674 140734900090736 140710740217008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2188868

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.41 s]
/proc/loadavg: 2.35 2.26 2.19 3/184 21448
/proc/meminfo: memFree=27710500/32872528 swapFree=16204/1518544
[pid=21350] ppid=21347 vsize=2188868 CPUtime=1800.06 cores=0,2,4,6
/proc/21350/stat : 21350 (toysat) R 21347 21350 19387 0 -1 4202496 470136 0 0 0 179937 69 0 0 20 0 4 0 115077061 2241400832 488460 33554432000 4194304 16246674 140734900090736 140734900072640 5659576 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21350/statm: 547217 488460 897 2943 0 544111 0
[pid=21350/tid=21351] ppid=21347 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21351/stat : 21351 (toysat) S 21347 21350 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115077062 2241400832 488460 33554432000 4194304 16246674 140734900090736 140710761180400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21350/tid=21352] ppid=21347 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21352/stat : 21352 (toysat) S 21347 21350 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115077062 2241400832 488460 33554432000 4194304 16246674 140734900090736 140710750690544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21350/tid=21353] ppid=21347 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/21350/task/21353/stat : 21353 (toysat) S 21347 21350 19387 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 115077062 2241400832 488460 33554432000 4194304 16246674 140734900090736 140710740217008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2188868

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.42
CPU time (s): 1800.07
CPU user time (s): 1799.38
CPU system time (s): 0.689895
CPU usage (%): 99.9804
Max. virtual memory (cumulated for all children) (KiB): 2188868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 0.689895
maximum resident set size= 1953840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 470136
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= 143
involuntary context switches= 1859

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.81811 second user time and 6.96394 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-07 22:30:42
IDJOB=4079418
IDBENCH=92721
IDSOLVER=2542
FILE ID=node129/4079418-1465331441
RUNJOBID= node129-1465311042-19403
PBS_JOBID= 19850114
Free space on /tmp= 71672 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat50_6_9_1_mh.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079418-1465331441/watcher-4079418-1465331441 -o /tmp/evaluation-result-4079418-1465331441/solver-4079418-1465331441 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1465311042-19403 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079418-1465331441.opb

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

MD5SUM BENCH= 923b3d320d3ae7a9bc670c75aa390685
RANDOM SEED=2058392330

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.715
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.715
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.715
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.715
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.715
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:        28369228 kB
Buffers:           37308 kB
Cached:           246440 kB
SwapCached:         1620 kB
Active:          2105520 kB
Inactive:         131288 kB
Active(anon):    1951124 kB
Inactive(anon):     4316 kB
Active(file):     154396 kB
Inactive(file):   126972 kB
Unevictable:     1518544 kB
Mlocked:           16204 kB
SwapTotal:      67108856 kB
SwapFree:       67098824 kB
Dirty:             41928 kB
Writeback:             0 kB
AnonPages:       3475500 kB
Mapped:            11736 kB
Shmem:                 0 kB
Slab:             605160 kB
SReclaimable:      49088 kB
SUnreclaim:       556072 kB
KernelStack:        1456 kB
PageTables:        11224 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3619352 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2572288 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= 71680 MiB
End job on node129 at 2016-06-07 23:00:43