Trace number 4079426

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_9_mh.opb
MD5SUM361e90d7cecbe172d79499041722735d
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark319069963
Best CPU time to get the best result obtained on this benchmark1800.06
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 129800
Biggest coefficient in the objective function 99897344
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 68832465136
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 99897344
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 68832465136
Number of bits of the biggest sum of numbers37
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:21:15+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-4079426-1465330874.opb"]
0.00/0.01	c use --random-gen="1411937687 2968365971 2393892144 60206085 924808386 283585968 2022155162 554497524 1014173237 28551764 151564032 2677683350 369187027 2463635690 1137145197 2940625554 1551263094 778434170 952944052 1946448896 603425364 3340442166 35120140 3869290445 122921223 2640485101 2545217496 691174573 3214064744 1084747687 3944734177 884734508 4061389018 3238583788 3524502194 1217286502 464106124 1792084852 779619213 2530087836 1690752197 3152475822 2161950170 824421884 3603257236 3268465644 1392530742 612475684 1489303202 2264669819 1720585117 294351509 643070362 2143267753 1011139223 2189003719 2249257061 3138642658 3909461601 1374992599 2750814649 144053505 2471754480 589429356 3831769088 1506417959 2738504999 2604334853 3276016284 3037286355 3052396480 1154573112 3156246202 744149715 4001752738 1318700411 3071673211 1032237012 2013521893 3778585740 4032780218 3580888001 3611001249 4083652396 4152182395 2036843516 3182851984 332259203 930646209 1167698917 3872582206 1775584556 678709857 2273759469 1636656478 3317533444 740223546 2319990272 3340252285 3541329535 1379315151 3538958888 3334323553 2426787050 2185268037 2324719682 1181165149 3806123910 2318803361 653925155 4075095813 1276527041 2307911334 882520282 2473515326 3260459851 3381667148 3491661611 2136091731 3824382381 2155449581 1190388446 3329854693 2240204702 2363825204 1846277472 4016027404 1621485892 1355200103 2687390259 1630892589 2883822800 1513105607 2233295253 2698165273 2189135027 212388201 3531910481 1772414770 2814538864 3202802592 1078126086 3393880146 1572018761 720997595 2168086194 2107975343 3386235524 2218130647 1878667808 3421549198 1880044642 2758338452 2260708459 3068203576 1254182132 2870804663 2206723859 2634736961 48114153 1930917496 3612130058 767183850 1551640268 1371105282 2635304262 3506042770 3982086827 1984792098 954362057 2491573772 1379004390 3466361193 3462799267 968475154 352271298 43663896 323647529 3895597405 856189599 3980216368 2424659485 346368722 1028104471 3111713492 3618490250 3015845492 1189041679 174258855 696535049 3860856165 3866240453 115818264 1923671199 2819790389 1793470083 174079769 191821679 545020073 841102842 1175355037 1387994082 3407287191 4204320408 3486465937 2759036917 4193561573 4148626475 886475143 1449652284 1878993026 2006234512 588783636 2483610071 966343675 1088136907 1989697170 3741030503 4092036774 1926549308 2057505169 1892823127 3821173856 2232636609 3639767642 436290256 4163026463 838877011 2196289414 3143265327 1275794877 3983613125 2361278952 4065337660 3772092924 1256454611 4160162734 817372494 2364486306 1270199419 2419226452 2007912557 550933605 809628528 1886422587 3074433179 3931858190 4229549829 762888806 1722265795 132448656 823486822 3439465810 3259726187 2155350470 1109304841 255 362436" option to reproduce the execution
4.19/4.24	c #vars 250200
4.19/4.24	c #constraints 605407
14.69/14.77	c BCD2: Hardening is enabled.
14.69/14.77	c BCD2: BiasedSearch is enabled.
14.69/14.77	c Solving starts ...
14.69/14.77	c ============================[ Search Statistics ]============================
14.69/14.77	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
14.69/14.77	c       |         |          |          |    Limit     GC | Var      | Constra 
14.69/14.77	c =============================================================================
14.79/14.82	c  0.0s |       0 |        0 |        0 |   286836      0 |      150 |        0
25.98/26.09	c 11.3s |       0 |      317 |      100 |   286836      0 |      150 |        0
26.18/26.23	c 11.4s |       1 |      317 |      100 |   286836      0 |      150 |        0
29.69/29.76	c 14.9s |       1 |     2350 |      200 |   315520      0 |      150 |        0
30.18/30.23	c 15.4s |       2 |     3667 |      250 |   315520      0 |      150 |        0
36.58/36.69	c 21.9s |       2 |    12444 |      350 |   347072      0 |      150 |        0
44.28/44.39	c 29.6s |       2 |    12602 |      450 |   347072      0 |      150 |        0
46.19/46.23	c 31.4s |       3 |    12633 |      475 |   347072      0 |      150 |        0
49.09/49.15	c 34.3s |       3 |    14551 |      575 |   381780      0 |      150 |        0
51.88/51.90	c 37.1s |       4 |    14816 |      813 |   381780      0 |      150 |        0
55.48/55.50	c 40.7s |       4 |    17892 |     1013 |   419959      0 |      150 |        0
58.58/58.69	c 43.9s |       4 |    18094 |     1213 |   419959      0 |      150 |        0
60.48/60.59	c 45.8s |       5 |    18209 |     1320 |   419959      0 |      150 |        0
68.68/68.70	c 53.9s |       5 |    20992 |     1420 |   461955      0 |      150 |        0
71.88/71.91	c 57.1s |       5 |    21729 |     1520 |   461955      0 |      150 |        0
84.07/84.12	c 69.3s |       5 |    23180 |     1620 |   461955      0 |      150 |        0
93.67/93.71	c 78.9s |       5 |    24133 |     1720 |   461955      0 |      150 |        0
111.87/111.93	c 97.1s |       5 |    26617 |     1820 |   461955      0 |      150 |        0
125.27/125.40	c  110s |       5 |    27237 |     1920 |   461955      0 |      150 |        0
135.47/135.58	c  120s |       5 |    27580 |     2020 |   461955      0 |      150 |        0
146.66/146.70	c  131s |       6 |    28473 |     2081 |   508151      0 |      150 |        0
176.56/176.69	c  161s |       6 |    31588 |     2181 |   508151      0 |      150 |        0
197.76/197.80	c  182s |       6 |    32633 |     2281 |   508151      0 |      150 |        0
231.45/231.55	c  216s |       6 |    33792 |     2381 |   508151      0 |      150 |        0
263.15/263.26	c  248s |       6 |    35545 |     2481 |   508151      0 |      150 |        0
273.95/274.09	c  259s |       6 |    36570 |     2581 |   508151      0 |      150 |        0
303.34/303.46	c  288s |       6 |    36763 |     2681 |   508151      0 |      150 |        0
317.24/317.32	c  302s |       6 |    37349 |     2781 |   508151      0 |      150 |        0
328.54/328.66	c  313s |       6 |    37823 |     2881 |   508151      0 |      150 |        0
344.93/345.00	c  330s |       6 |    38157 |     2981 |   508151      0 |      150 |        0
359.53/359.66	c  344s |       6 |    38750 |     3081 |   508151      0 |      150 |        0
380.43/380.59	c  365s |       6 |    39947 |     3181 |   508151      0 |      150 |        0
392.73/392.85	c  378s |       7 |    40563 |     3223 |   558967      0 |      150 |        0
402.02/402.14	c  387s |       7 |    42972 |     3323 |   558967      0 |      150 |        0
404.52/404.62	c  389s |       7 |    44256 |     4023 |   558967      0 |      150 |        0
406.52/406.62	c  391s |       7 |    45177 |     4423 |   558967      0 |      150 |        0
408.92/409.04	c  394s |       7 |    45925 |     4823 |   558967      0 |      150 |        0
409.73/409.88	c  395s |       8 |    46104 |     4936 |   614864      0 |      150 |        0
423.54/423.63	c  408s |       8 |    51249 |     5036 |   614864      0 |      150 |        0
436.23/436.38	c  421s |       8 |    52857 |     5136 |   614864      0 |      150 |        0
441.53/441.63	c  426s |       8 |    53489 |     5236 |   614864      0 |      150 |        0
444.93/445.09	c  430s |       8 |    54464 |     5336 |   614864      0 |      150 |        0
449.12/449.28	c  434s |       8 |    55078 |     5436 |   614864      0 |      150 |        0
452.82/452.98	c  438s |       8 |    56168 |     5536 |   614864      0 |      150 |        0
454.92/455.02	c  440s |       8 |    56719 |     5636 |   614864      0 |      150 |        0
458.32/458.43	c  443s |       8 |    58707 |     5836 |   614864      0 |      150 |        0
460.32/460.48	c  445s |       8 |    59190 |     5936 |   614864      0 |      150 |        0
462.62/462.76	c  447s |       8 |    59541 |     6036 |   614864      0 |      150 |        0
466.12/466.20	c  451s |       8 |    60136 |     6136 |   614864      0 |      150 |        0
468.12/468.21	c  453s |       8 |    61153 |     6236 |   614864      0 |      150 |        0
470.32/470.47	c  455s |       8 |    61785 |     6336 |   614864      0 |      150 |        0
474.72/474.81	c  459s |       8 |    62954 |     6536 |   614864      0 |      150 |        0
479.02/479.17	c  464s |       8 |    63811 |     6736 |   614864      0 |      150 |        0
482.02/482.10	c  467s |       8 |    64598 |     6836 |   614864      0 |      150 |        0
484.52/484.66	c  469s |       8 |    65366 |     6936 |   614864      0 |      150 |        0
486.62/486.70	c  471s |       8 |    66953 |     7036 |   614864      0 |      150 |        0
488.62/488.74	c  473s |       8 |    67378 |     7136 |   614864      0 |      150 |        0
492.82/492.91	c  478s |       8 |    68784 |     7336 |   614864      0 |      150 |        0
495.31/495.41	c  480s |       8 |    69006 |     7436 |   614864      0 |      150 |        0
497.22/497.36	c  482s |       9 |    69167 |     7506 |   676351      0 |      150 |        0
522.52/522.68	c  507s |       9 |    72059 |     7606 |   676351      0 |      150 |        0
547.81/547.98	c  533s |       9 |    74569 |     7706 |   676351      0 |      150 |        0
567.90/568.05	c  553s |       9 |    76074 |     7806 |   676351      0 |      150 |        0
594.40/594.59	c  579s |       9 |    78666 |     7906 |   676351      0 |      150 |        0
619.10/619.27	c  604s |       9 |    80650 |     8006 |   676351      0 |      150 |        0
634.79/634.91	c  620s |       9 |    81916 |     8106 |   676351      0 |      150 |        0
649.69/649.81	c  634s |       9 |    82319 |     8206 |   676351      0 |      150 |        0
668.09/668.23	c  653s |       9 |    84033 |     8306 |   676351      0 |      150 |        0
671.29/671.49	c  656s |       9 |    86463 |     8406 |   676351      0 |      150 |        0
674.49/674.63	c  659s |       9 |    88445 |     8506 |   676351      0 |      150 |        0
678.09/678.29	c  663s |       9 |    91027 |     8606 |   676351      0 |      150 |        0
682.49/682.63	c  667s |       9 |    91465 |     8706 |   676351      0 |      150 |        0
688.39/688.56	c  673s |       9 |    92063 |     8806 |   676351      0 |      150 |        0
692.28/692.48	c  677s |       9 |    92523 |     8906 |   676351      0 |      150 |        0
695.98/696.19	c  681s |       9 |    93495 |     9006 |   676351      0 |      150 |        0
701.69/701.81	c  686s |       9 |    94891 |     9206 |   676351      0 |      150 |        0
706.19/706.35	c  691s |       9 |    95324 |     9306 |   676351      0 |      150 |        0
709.58/709.79	c  694s |       9 |    95712 |     9406 |   676351      0 |      150 |        0
714.48/714.62	c  699s |       9 |    96266 |     9506 |   676351      0 |      150 |        0
719.18/719.36	c  704s |       9 |    96674 |     9606 |   676351      0 |      150 |        0
723.79/723.99	c  709s |       9 |    96986 |     9706 |   676351      0 |      150 |        0
726.38/726.53	c  711s |       9 |    97205 |     9806 |   676351      0 |      150 |        0
731.17/731.34	c  716s |       9 |    97468 |     9906 |   676351      0 |      150 |        0
735.47/735.60	c  720s |       9 |    97768 |    10006 |   676351      0 |      150 |        0
739.77/739.93	c  725s |       9 |    98326 |    10106 |   676351      0 |      150 |        0
742.38/742.59	c  727s |       9 |    98931 |    10206 |   676351      0 |      150 |        0
745.67/745.85	c  731s |       9 |   100271 |    10406 |   676351      0 |      150 |        0
748.07/748.29	c  733s |       9 |   100905 |    10506 |   676351      0 |      150 |        0
751.17/751.38	c  736s |       9 |   101219 |    10606 |   676351      0 |      150 |        0
755.06/755.30	c  740s |       9 |   101952 |    10706 |   676351      0 |      150 |        0
757.56/757.78	c  742s |       9 |   102537 |    10806 |   676351      0 |      150 |        0
759.97/760.10	c  745s |       9 |   102867 |    10906 |   676351      0 |      150 |        0
763.96/764.11	c  749s |       9 |   103383 |    11106 |   676351      0 |      150 |        0
766.16/766.34	c  751s |       9 |   103886 |    11206 |   676351      0 |      150 |        0
769.26/769.47	c  754s |       9 |   104268 |    11306 |   743987      0 |      150 |        0
770.66/770.90	c  756s |      10 |   104525 |    11361 |   743987      0 |      150 |        0
775.66/775.82	c  761s |      10 |   106137 |    11461 |   743987      0 |      150 |        0
779.96/780.12	c  765s |      10 |   106871 |    11561 |   743987      0 |      150 |        0
782.96/783.15	c  768s |      10 |   107318 |    11661 |   743987      0 |      150 |        0
785.16/785.39	c  770s |      10 |   107781 |    11761 |   743987      0 |      150 |        0
788.16/788.33	c  773s |      10 |   108236 |    11861 |   743987      0 |      150 |        0
791.26/791.46	c  776s |      10 |   108904 |    11961 |   743987      0 |      150 |        0
794.06/794.30	c  779s |      10 |   109190 |    12061 |   743987      0 |      150 |        0
800.56/800.73	c  785s |      10 |   110165 |    12161 |   743987      0 |      150 |        0
804.06/804.21	c  789s |      10 |   110610 |    12261 |   743987      0 |      150 |        0
806.95/807.15	c  792s |      10 |   111166 |    12361 |   743987      0 |      150 |        0
810.85/811.07	c  796s |      10 |   112065 |    12461 |   743987      0 |      150 |        0
813.65/813.87	c  799s |      10 |   112365 |    12561 |   743987      0 |      150 |        0
816.15/816.34	c  801s |      10 |   113839 |    12661 |   743987      0 |      150 |        0
818.25/818.50	c  803s |      10 |   114975 |    12761 |   743987      0 |      150 |        0
820.55/820.75	c  805s |      10 |   116676 |    12861 |   743987      0 |      150 |        0
823.54/823.78	c  808s |      10 |   118341 |    12961 |   743987      0 |      150 |        0
826.74/826.90	c  812s |      10 |   120019 |    13161 |   743987      0 |      150 |        0
830.35/830.51	c  815s |      10 |   123269 |    13361 |   743987      0 |      150 |        0
833.03/833.20	c  818s |      10 |   124506 |    13461 |   743987      0 |      150 |        0
835.03/835.26	c  820s |      10 |   125454 |    13561 |   743987      0 |      150 |        0
838.43/838.61	c  823s |      10 |   126529 |    13761 |   743987      0 |      150 |        0
843.03/843.26	c  828s |      10 |   128280 |    13961 |   743987      0 |      150 |        0
848.43/848.67	c  833s |      10 |   128938 |    14161 |   743987      0 |      150 |        0
851.62/851.88	c  837s |      10 |   129391 |    14361 |   743987      0 |      150 |        0
853.72/853.94	c  839s |      10 |   129744 |    14461 |   743987      0 |      150 |        0
855.73/855.99	c  841s |      10 |   130068 |    14561 |   743987      0 |      150 |        0
858.62/858.88	c  844s |      10 |   131093 |    14761 |   743987      0 |      150 |        0
862.62/862.81	c  847s |      10 |   131867 |    14961 |   743987      0 |      150 |        0
865.72/865.93	c  851s |      10 |   132410 |    15161 |   743987      0 |      150 |        0
869.82/870.04	c  855s |      10 |   134133 |    15361 |   743987      0 |      150 |        0
872.02/872.27	c  857s |      10 |   134393 |    15461 |   743987      0 |      150 |        0
874.82/875.04	c  860s |      10 |   134642 |    15561 |   743987      0 |      150 |        0
876.92/877.14	c  862s |      10 |   135147 |    15661 |   743987      0 |      150 |        0
879.72/879.99	c  865s |      10 |   135643 |    15761 |   743987      0 |      150 |        0
881.91/882.16	c  867s |      10 |   136218 |    15861 |   743987      0 |      150 |        0
884.81/885.07	c  870s |      10 |   136856 |    15961 |   743987      0 |      150 |        0
887.31/887.58	c  872s |      10 |   137215 |    16061 |   743987      0 |      150 |        0
890.21/890.48	c  875s |      10 |   138505 |    16261 |   743987      0 |      150 |        0
893.91/894.10	c  879s |      10 |   139049 |    16461 |   743987      0 |      150 |        0
896.81/897.05	c  882s |      10 |   139961 |    16661 |   743987      0 |      150 |        0
899.72/899.94	c  885s |      10 |   140949 |    16861 |   743987      0 |      150 |        0
903.12/903.32	c  888s |      10 |   141507 |    17061 |   818386      0 |      150 |        0
904.42/904.64	c  889s |      11 |   141732 |    17144 |   818386      0 |      150 |        0
906.92/907.19	c  892s |      11 |   142067 |    17244 |   818386      0 |      150 |        0
909.82/910.09	c  895s |      11 |   142545 |    17344 |   818386      0 |      150 |        0
913.42/913.66	c  898s |      11 |   143032 |    17444 |   818386      0 |      150 |        0
916.51/916.76	c  901s |      11 |   143474 |    17544 |   818386      0 |      150 |        0
918.91/919.13	c  904s |      11 |   143745 |    17644 |   818386      0 |      150 |        0
921.21/921.44	c  906s |      11 |   144023 |    17744 |   818386      0 |      150 |        0
925.41/925.69	c  910s |      11 |   144599 |    17944 |   818386      0 |      150 |        0
929.01/929.27	c  914s |      11 |   144981 |    18144 |   818386      0 |      150 |        0
931.62/931.89	c  917s |      11 |   145447 |    18344 |   818386      0 |      150 |        0
935.01/935.29	c  920s |      11 |   145932 |    18544 |   818386      0 |      150 |        0
940.51/940.73	c  925s |      11 |   146616 |    18744 |   818386      0 |      150 |        0
946.11/946.32	c  931s |      11 |   146807 |    18844 |   818386      0 |      150 |        0
951.42/951.69	c  936s |      11 |   147039 |    18944 |   818386      0 |      150 |        0
955.31/955.56	c  940s |      11 |   147578 |    19044 |   818386      0 |      150 |        0
957.41/957.69	c  942s |      11 |   147918 |    19144 |   818386      0 |      150 |        0
961.41/961.60	c  946s |      11 |   148178 |    19244 |   818386      0 |      150 |        0
964.91/965.10	c  950s |      11 |   148509 |    19344 |   818386      0 |      150 |        0
967.31/967.50	c  952s |      11 |   148916 |    19444 |   818386      0 |      150 |        0
971.30/971.57	c  956s |      11 |   149561 |    19544 |   818386      0 |      150 |        0
973.60/973.89	c  959s |      11 |   150390 |    19644 |   818386      0 |      150 |        0
976.40/976.60	c  961s |      11 |   151051 |    19844 |   818386      0 |      150 |        0
979.40/979.66	c  964s |      11 |   151525 |    20044 |   818386      0 |      150 |        0
983.80/984.04	c  969s |      11 |   153140 |    20244 |   818386      0 |      150 |        0
986.00/986.26	c  971s |      11 |   153440 |    20344 |   818386      0 |      150 |        0
988.60/988.81	c  973s |      11 |   153962 |    20444 |   818386      0 |      150 |        0
991.39/991.67	c  976s |      11 |   154412 |    20644 |   818386      0 |      150 |        0
995.89/996.14	c  981s |      11 |   155168 |    20844 |   818386      0 |      150 |        0
999.39/999.67	c  984s |      11 |   156113 |    21044 |   818386      0 |      150 |        0
1003.49/1003.71	c  988s |      11 |   156464 |    21144 |   818386      0 |      150 |        0
1007.29/1007.50	c  992s |      11 |   156725 |    21244 |   818386      0 |      150 |        0
1011.80/1012.06	c  997s |      11 |   157355 |    21344 |   818386      0 |      150 |        0
1016.20/1016.49	c 1001s |      11 |   158545 |    21444 |   818386      0 |      150 |        0
1018.40/1018.69	c 1003s |      11 |   159662 |    21544 |   818386      0 |      150 |        0
1023.29/1023.56	c 1008s |      11 |   160459 |    21744 |   818386      0 |      150 |        0
1026.10/1026.32	c 1011s |      11 |   160923 |    21844 |   818386      0 |      150 |        0
1028.69/1028.96	c 1014s |      11 |   161549 |    21944 |   818386      0 |      150 |        0
1032.89/1033.11	c 1018s |      11 |   164478 |    22044 |   818386      0 |      150 |        0
1035.29/1035.52	c 1020s |      11 |   166544 |    22144 |   818386      0 |      150 |        0
1037.99/1038.23	c 1023s |      11 |   168414 |    22244 |   818386      0 |      150 |        0
1042.19/1042.42	c 1027s |      11 |   169825 |    22344 |   818386      0 |      150 |        0
1045.19/1045.48	c 1030s |      11 |   170801 |    22444 |   818386      0 |      150 |        0
1048.59/1048.81	c 1033s |      11 |   173218 |    22644 |   818386      0 |      150 |        0
1051.99/1052.21	c 1037s |      11 |   175553 |    22844 |   818386      0 |      150 |        0
1057.48/1057.72	c 1042s |      11 |   177252 |    23044 |   818386      0 |      150 |        0
1059.78/1060.00	c 1045s |      11 |   179399 |    23144 |   818386      0 |      150 |        0
1062.88/1063.14	c 1048s |      11 |   182007 |    23244 |   818386      0 |      150 |        0
1065.28/1065.59	c 1050s |      11 |   184344 |    23344 |   818386      0 |      150 |        0
1067.38/1067.64	c 1052s |      11 |   186690 |    23444 |   818386      0 |      150 |        0
1069.68/1069.97	c 1055s |      11 |   189367 |    23544 |   818386      0 |      150 |        0
1071.88/1072.14	c 1057s |      11 |   191942 |    23644 |   818386      0 |      150 |        0
1074.78/1075.05	c 1060s |      11 |   194073 |    23744 |   818386      0 |      150 |        0
1077.08/1077.30	c 1062s |      11 |   196488 |    23844 |   818386      0 |      150 |        0
1079.58/1079.88	c 1065s |      11 |   198181 |    23944 |   818386      0 |      150 |        0
1081.88/1082.18	c 1067s |      11 |   200216 |    24044 |   818386      0 |      150 |        0
1084.18/1084.44	c 1069s |      11 |   202340 |    24144 |   818386      0 |      150 |        0
1087.58/1087.80	c 1072s |      11 |   204226 |    24344 |   818386      0 |      150 |        0
1089.78/1090.05	c 1075s |      11 |   205258 |    24444 |   818386      0 |      150 |        0
1092.28/1092.58	c 1077s |      11 |   207541 |    24544 |   818386      0 |      150 |        0
1095.98/1096.24	c 1081s |      11 |   209248 |    24644 |   818386      0 |      150 |        0
1098.48/1098.74	c 1083s |      11 |   209779 |    24744 |   818386      0 |      150 |        0
1101.38/1101.68	c 1086s |      11 |   211098 |    24844 |   818386      0 |      150 |        0
1104.98/1105.27	c 1090s |      11 |   214840 |    25044 |   818386      0 |      150 |        0
1107.58/1107.87	c 1093s |      11 |   216098 |    25244 |   818386      0 |      150 |        0
1110.08/1110.36	c 1095s |      11 |   216857 |    25344 |   818386      0 |      150 |        0
1113.08/1113.34	c 1098s |      11 |   217867 |    25544 |   818386      0 |      150 |        0
1115.28/1115.52	c 1100s |      11 |   218469 |    25644 |   818386      0 |      150 |        0
1118.58/1118.82	c 1103s |      12 |   219008 |    25819 |   900225      0 |      150 |        0
1122.77/1123.02	c 1108s |      12 |   220486 |    25919 |   900225      0 |      150 |        0
1126.07/1126.35	c 1111s |      12 |   222074 |    26119 |   900225      0 |      150 |        0
1128.38/1128.70	c 1113s |      12 |   223877 |    26219 |   900225      0 |      150 |        0
1130.68/1130.98	c 1116s |      12 |   224629 |    26319 |   900225      0 |      150 |        0
1134.98/1135.23	c 1120s |      12 |   226392 |    26519 |   900225      0 |      150 |        0
1137.28/1137.59	c 1122s |      12 |   227280 |    26619 |   900225      0 |      150 |        0
1139.77/1140.00	c 1125s |      12 |   227802 |    26719 |   900225      0 |      150 |        0
1142.07/1142.39	c 1127s |      12 |   228187 |    26819 |   900225      0 |      150 |        0
1144.37/1144.65	c 1129s |      12 |   228978 |    26919 |   900225      0 |      150 |        0
1148.37/1148.69	c 1133s |      12 |   230039 |    27119 |   900225      0 |      150 |        0
1150.77/1151.06	c 1136s |      12 |   231504 |    27219 |   900225      0 |      150 |        0
1153.47/1153.74	c 1138s |      12 |   233589 |    27419 |   900225      0 |      150 |        0
1155.88/1156.19	c 1141s |      12 |   233977 |    27619 |   900225      0 |      150 |        0
1159.57/1159.84	c 1145s |      12 |   235074 |    27819 |   900225      0 |      150 |        0
1164.37/1164.68	c 1149s |      12 |   236466 |    27919 |   900225      0 |      150 |        0
1167.87/1168.14	c 1153s |      12 |   237764 |    28119 |   900225      0 |      150 |        0
1172.27/1172.51	c 1157s |      12 |   238925 |    28319 |   900225      0 |      150 |        0
1174.68/1174.90	c 1160s |      12 |   241065 |    28419 |   900225      0 |      150 |        0
1177.07/1177.37	c 1162s |      12 |   242881 |    28519 |   900225      0 |      150 |        0
1179.27/1179.55	c 1164s |      12 |   243740 |    28719 |   900225      0 |      150 |        0
1182.57/1182.80	c 1167s |      12 |   244880 |    28919 |   900225      0 |      150 |        0
1184.97/1185.26	c 1170s |      12 |   245877 |    29119 |   900225      0 |      150 |        0
1187.78/1188.06	c 1173s |      12 |   247010 |    29319 |   900225      0 |      150 |        0
1192.17/1192.49	c 1177s |      12 |   248376 |    29519 |   900225      0 |      150 |        0
1195.07/1195.33	c 1180s |      12 |   249178 |    29719 |   900225      0 |      150 |        0
1197.07/1197.38	c 1182s |      12 |   249596 |    29819 |   900225      0 |      150 |        0
1199.37/1199.61	c 1184s |      12 |   250458 |    30019 |   900225      0 |      150 |        0
1202.57/1202.87	c 1188s |      12 |   251156 |    30119 |   900225      0 |      150 |        0
1206.17/1206.45	c 1191s |      12 |   252245 |    30319 |   900225      0 |      150 |        0
1208.77/1209.09	c 1194s |      12 |   252664 |    30419 |   900225      0 |      150 |        0
1211.46/1211.79	c 1196s |      12 |   252926 |    30519 |   900225      0 |      150 |        0
1214.17/1214.46	c 1199s |      12 |   253591 |    30619 |   900225      0 |      150 |        0
1218.46/1218.71	c 1203s |      12 |   254428 |    30819 |   900225      0 |      150 |        0
1221.76/1222.00	c 1207s |      12 |   254719 |    30919 |   900225      0 |      150 |        0
1223.96/1224.22	c 1209s |      12 |   255833 |    31019 |   900225      0 |      150 |        0
1228.47/1228.79	c 1213s |      12 |   258029 |    31219 |   900225      0 |      150 |        0
1231.36/1231.68	c 1216s |      12 |   258481 |    31319 |   900225      0 |      150 |        0
1233.56/1233.86	c 1219s |      12 |   258882 |    31419 |   900225      0 |      150 |        0
1236.66/1236.97	c 1222s |      12 |   259403 |    31519 |   900225      0 |      150 |        0
1238.76/1239.03	c 1224s |      12 |   259952 |    31719 |   900225      0 |      150 |        0
1241.16/1241.49	c 1226s |      12 |   260964 |    31919 |   900225      0 |      150 |        0
1243.26/1243.57	c 1228s |      12 |   261445 |    32019 |   900225      0 |      150 |        0
1247.66/1247.90	c 1233s |      12 |   262423 |    32219 |   900225      0 |      150 |        0
1249.96/1250.25	c 1235s |      12 |   263131 |    32419 |   900225      0 |      150 |        0
1252.76/1253.03	c 1238s |      12 |   263606 |    32619 |   900225      0 |      150 |        0
1254.96/1255.21	c 1240s |      12 |   264023 |    32719 |   900225      0 |      150 |        0
1257.06/1257.39	c 1242s |      12 |   264314 |    32819 |   900225      0 |      150 |        0
1260.46/1260.78	c 1245s |      12 |   264985 |    33019 |   900225      0 |      150 |        0
1267.15/1267.45	c 1252s |      12 |   268687 |    33219 |   900225      0 |      150 |        0
1269.65/1269.98	c 1255s |      12 |   270414 |    33319 |   900225      0 |      150 |        0
1272.25/1272.53	c 1257s |      12 |   271371 |    33419 |   900225      0 |      150 |        0
1274.95/1275.27	c 1260s |      12 |   272391 |    33519 |   900225      0 |      150 |        0
1277.96/1278.23	c 1263s |      12 |   273309 |    33619 |   900225      0 |      150 |        0
1280.75/1281.09	c 1266s |      12 |   274085 |    33719 |   900225      0 |      150 |        0
1283.15/1283.49	c 1268s |      12 |   274549 |    33819 |   900225      0 |      150 |        0
1285.55/1285.81	c 1270s |      12 |   275018 |    33919 |   900225      0 |      150 |        0
1287.96/1288.22	c 1273s |      12 |   275622 |    34019 |   900225      0 |      150 |        0
1291.25/1291.54	c 1276s |      12 |   276696 |    34119 |   900225      0 |      150 |        0
1294.45/1294.73	c 1279s |      12 |   277554 |    34219 |   900225      0 |      150 |        0
1298.25/1298.55	c 1283s |      12 |   278062 |    34319 |   900225      0 |      150 |        0
1302.05/1302.39	c 1287s |      12 |   278799 |    34419 |   900225      0 |      150 |        0
1306.14/1306.42	c 1291s |      12 |   279631 |    34519 |   900225      0 |      150 |        0
1308.75/1309.01	c 1294s |      12 |   280299 |    34619 |   900225      0 |      150 |        0
1313.44/1313.71	c 1298s |      12 |   282144 |    34819 |   900225      0 |      150 |        0
1316.24/1316.57	c 1301s |      12 |   282735 |    34919 |   900225      0 |      150 |        0
1320.04/1320.31	c 1305s |      12 |   283355 |    35019 |   900225      0 |      150 |        0
1323.15/1323.48	c 1308s |      12 |   284025 |    35119 |   900225      0 |      150 |        0
1326.54/1326.89	c 1312s |      12 |   284407 |    35219 |   900225      0 |      150 |        0
1329.94/1330.23	c 1315s |      12 |   285089 |    35319 |   900225      0 |      150 |        0
1333.54/1333.83	c 1319s |      12 |   285707 |    35419 |   900225      0 |      150 |        0
1337.14/1337.43	c 1322s |      12 |   286075 |    35519 |   900225      0 |      150 |        0
1340.04/1340.35	c 1325s |      12 |   286482 |    35619 |   900225      0 |      150 |        0
1343.74/1344.08	c 1329s |      12 |   286975 |    35719 |   900225      0 |      150 |        0
1347.04/1347.36	c 1332s |      12 |   287663 |    35819 |   900225      0 |      150 |        0
1351.24/1351.53	c 1336s |      12 |   288697 |    36019 |   900225      0 |      150 |        0
1353.44/1353.72	c 1338s |      12 |   288994 |    36119 |   900225      0 |      150 |        0
1356.53/1356.81	c 1341s |      12 |   289667 |    36319 |   900225      0 |      150 |        0
1359.13/1359.46	c 1344s |      12 |   290140 |    36419 |   900225      0 |      150 |        0
1361.43/1361.80	c 1346s |      12 |   290501 |    36519 |   900225      0 |      150 |        0
1363.93/1364.29	c 1349s |      12 |   290820 |    36619 |   900225      0 |      150 |        0
1367.23/1367.50	c 1352s |      12 |   291019 |    36719 |   900225      0 |      150 |        0
1369.43/1369.70	c 1354s |      12 |   291290 |    36819 |   900225      0 |      150 |        0
1371.54/1371.81	c 1356s |      12 |   291459 |    36919 |   900225      0 |      150 |        0
1374.43/1374.76	c 1359s |      12 |   291678 |    37019 |   900225      0 |      150 |        0
1377.53/1377.82	c 1362s |      12 |   291867 |    37119 |   900225      0 |      150 |        0
1380.53/1380.86	c 1366s |      12 |   292040 |    37219 |   900225      0 |      150 |        0
1383.93/1384.24	c 1369s |      12 |   292520 |    37319 |   900225      0 |      150 |        0
1386.63/1386.91	c 1372s |      12 |   292842 |    37419 |   900225      0 |      150 |        0
1390.93/1391.20	c 1376s |      12 |   293263 |    37519 |   900225      0 |      150 |        0
1394.23/1394.55	c 1379s |      12 |   293511 |    37619 |   900225      0 |      150 |        0
1396.23/1396.57	c 1381s |      12 |   293891 |    37719 |   900225      0 |      150 |        0
1399.53/1399.85	c 1385s |      12 |   294184 |    37819 |   900225      0 |      150 |        0
1402.12/1402.43	c 1387s |      12 |   294351 |    37919 |   900225      0 |      150 |        0
1404.43/1404.73	c 1389s |      12 |   294560 |    38019 |   900225      0 |      150 |        0
1408.93/1409.22	c 1394s |      12 |   295144 |    38219 |   900225      0 |      150 |        0
1412.23/1412.59	c 1397s |      12 |   295650 |    38419 |   900225      0 |      150 |        0
1414.33/1414.63	c 1399s |      12 |   295827 |    38519 |   900225      0 |      150 |        0
1416.82/1417.15	c 1402s |      12 |   296001 |    38619 |   990248      0 |      150 |        0
1419.12/1419.40	c 1404s |      12 |   296485 |    38719 |   990248      0 |      150 |        0
1422.42/1422.77	c 1407s |      12 |   296809 |    38819 |   990248      0 |      150 |        0
1422.92/1423.30	c 1408s |      13 |   296872 |    38832 |   990248      0 |      150 |        0
1430.83/1431.10	c 1416s |      13 |   297699 |    38932 |   990248      0 |      150 |        0
1436.52/1436.83	c 1422s |      13 |   299460 |    39132 |   990248      0 |      150 |        0
1439.32/1439.69	c 1424s |      13 |   299980 |    39232 |   990248      0 |      150 |        0
1441.52/1441.81	c 1426s |      13 |   300912 |    39332 |   990248      0 |      150 |        0
1444.42/1444.73	c 1429s |      13 |   301942 |    39432 |   990248      0 |      150 |        0
1447.92/1448.20	c 1433s |      13 |   302888 |    39532 |   990248      0 |      150 |        0
1450.42/1450.77	c 1435s |      13 |   303284 |    39632 |   990248      0 |      150 |        0
1453.11/1453.42	c 1438s |      13 |   304336 |    39732 |   990248      0 |      150 |        0
1455.91/1456.25	c 1441s |      13 |   304793 |    39832 |   990248      0 |      150 |        0
1458.42/1458.79	c 1443s |      13 |   305195 |    39932 |   990248      0 |      150 |        0
1462.00/1462.39	c 1447s |      13 |   306169 |    40032 |   990248      0 |      150 |        0
1466.20/1466.59	c 1451s |      13 |   306985 |    40132 |   990248      0 |      150 |        0
1470.20/1470.59	c 1455s |      13 |   307716 |    40232 |   990248      0 |      150 |        0
1473.30/1473.61	c 1458s |      13 |   308011 |    40332 |   990248      0 |      150 |        0
1476.80/1477.13	c 1462s |      13 |   308494 |    40432 |   990248      0 |      150 |        0
1481.20/1481.51	c 1466s |      13 |   308866 |    40532 |   990248      0 |      150 |        0
1484.10/1484.43	c 1469s |      13 |   311035 |    40632 |   990248      0 |      150 |        0
1501.00/1501.38	c 1486s |      13 |   312622 |    40732 |   990248      0 |      150 |        0
1526.89/1527.26	c 1512s |      13 |   314751 |    40832 |   990248      0 |      150 |        0
1542.19/1542.52	c 1527s |      13 |   315087 |    40932 |   990248      0 |      150 |        0
1563.49/1563.89	c 1549s |      13 |   315603 |    41032 |   990248      0 |      150 |        0
1586.48/1586.80	c 1571s |      13 |   316703 |    41132 |   990248      0 |      150 |        0
1608.58/1608.94	c 1594s |      13 |   319491 |    41232 |   990248      0 |      150 |        0
1617.28/1617.61	c 1602s |      13 |   320511 |    41332 |   990248      0 |      150 |        0
1624.28/1624.63	c 1609s |      13 |   321261 |    41432 |   990248      0 |      150 |        0
1636.98/1637.36	c 1622s |      13 |   321957 |    41532 |   990248      0 |      150 |        0
1647.68/1648.06	c 1633s |      13 |   323056 |    41632 |   990248      0 |      150 |        0
1673.57/1673.91	c 1659s |      13 |   324558 |    41732 |   990248      0 |      150 |        0
1699.17/1699.58	c 1684s |      13 |   328101 |    41832 |   990248      0 |      150 |        0
1715.26/1715.66	c 1700s |      13 |   328718 |    41932 |   990248      0 |      150 |        0
1734.96/1735.34	c 1720s |      13 |   329764 |    42032 |   990248      0 |      150 |        0
1752.26/1752.66	c 1737s |      13 |   331246 |    42132 |   990248      0 |      150 |        0
1774.26/1774.64	c 1759s |      13 |   333521 |    42232 |   990248      0 |      150 |        0
1791.35/1791.72	c 1776s |      13 |   334208 |    42332 |   990248      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-4079426-1465330874/watcher-4079426-1465330874 -o /tmp/evaluation-result-4079426-1465330874/solver-4079426-1465330874 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465312758-19943 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079426-1465330874.opb 

pid=21761
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.21 2.27 2.26 4/179 21764
/proc/meminfo: memFree=29155556/32872528 swapFree=16636/1570076
[pid=21764] ppid=21761 vsize=693692 CPUtime=0 cores=0,2,4,6
/proc/21764/stat : 21764 (toysat) R 21761 21764 2168 0 -1 4202496 2584 0 0 0 0 0 0 0 20 0 4 0 115019865 710340608 2945 33554432000 4194304 16246674 140735946822960 140735946822384 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21764/statm: 173935 2953 441 2943 0 170829 0
[pid=21764/tid=21765] ppid=21761 vsize=712124 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21765/stat : 21765 (toysat) S 21761 21764 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115019865 729214976 3016 33554432000 4194304 16246674 140735946822960 139890813545712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21764/tid=21766] ppid=21761 vsize=716220 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21766/stat : 21766 (toysat) S 21761 21764 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115019865 733409280 3033 33554432000 4194304 16246674 140735946822960 139890803055856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21764/tid=21767] ppid=21761 vsize=720316 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21767/stat : 21767 (toysat) S 21761 21764 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115019865 737603584 3047 33554432000 4194304 16246674 140735946822960 139890792582320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.21 2.27 2.26 4/179 21764
/proc/meminfo: memFree=29155556/32872528 swapFree=16636/1570076
[pid=21764] ppid=21761 vsize=1303108 CPUtime=0.09 cores=0,2,4,6
/proc/21764/stat : 21764 (toysat) R 21761 21764 2168 0 -1 4202496 30395 0 0 0 5 4 0 0 20 0 4 0 115019865 1334382592 30694 33554432000 4194304 16246674 140735946822960 140735946822272 7367789 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21764/statm: 325777 30709 799 2943 0 322671 0
[pid=21764/tid=21765] ppid=21761 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21765/stat : 21765 (toysat) S 21761 21764 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115019865 1334382592 30719 33554432000 4194304 16246674 140735946822960 139890813545712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21764/tid=21766] ppid=21761 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21766/stat : 21766 (toysat) S 21761 21764 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115019865 1334382592 30731 33554432000 4194304 16246674 140735946822960 139890803055856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21764/tid=21767] ppid=21761 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21767/stat : 21767 (toysat) S 21761 21764 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115019865 1334382592 30743 33554432000 4194304 16246674 140735946822960 139890792582320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200462 s]
/proc/loadavg: 2.21 2.27 2.26 4/179 21764
/proc/meminfo: memFree=29155556/32872528 swapFree=16636/1570076
[pid=21764] ppid=21761 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/21764/stat : 21764 (toysat) R 21761 21764 2168 0 -1 4202496 45027 0 0 0 13 6 0 0 20 0 4 0 115019865 1343819776 45836 33554432000 4194304 16246674 140735946822960 140735946822272 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21764/statm: 328081 45836 800 2943 0 324975 0
[pid=21764/tid=21765] ppid=21761 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21765/stat : 21765 (toysat) S 21761 21764 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115019865 1343819776 45836 33554432000 4194304 16246674 140735946822960 139890813545712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21764/tid=21766] ppid=21761 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21766/stat : 21766 (toysat) S 21761 21764 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115019865 1343819776 45836 33554432000 4194304 16246674 140735946822960 139890803055856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21764/tid=21767] ppid=21761 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21767/stat : 21767 (toysat) S 21761 21764 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115019865 1343819776 45836 33554432000 4194304 16246674 140735946822960 139890792582320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300434 s]
/proc/loadavg: 2.21 2.27 2.26 4/179 21764
/proc/meminfo: memFree=29155556/32872528 swapFree=16636/1570076
[pid=21764] ppid=21761 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/21764/stat : 21764 (toysat) R 21761 21764 2168 0 -1 4202496 50296 0 0 0 22 7 0 0 20 0 4 0 115019865 1343819776 51105 33554432000 4194304 16246674 140735946822960 140735946822272 4221119 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21764/statm: 328081 51105 801 2943 0 324975 0
[pid=21764/tid=21765] ppid=21761 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21765/stat : 21765 (toysat) S 21761 21764 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115019865 1343819776 51105 33554432000 4194304 16246674 140735946822960 139890813545712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21764/tid=21766] ppid=21761 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21766/stat : 21766 (toysat) S 21761 21764 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115019865 1343819776 51105 33554432000 4194304 16246674 140735946822960 139890803055856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21764/tid=21767] ppid=21761 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21767/stat : 21767 (toysat) S 21761 21764 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115019865 1343819776 51105 33554432000 4194304 16246674 140735946822960 139890792582320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700408 s]
/proc/loadavg: 2.21 2.27 2.26 4/179 21764
/proc/meminfo: memFree=29155556/32872528 swapFree=16636/1570076
[pid=21764] ppid=21761 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/21764/stat : 21764 (toysat) R 21761 21764 2168 0 -1 4202496 64725 0 0 0 60 9 0 0 20 0 4 0 115019865 1344868352 65534 33554432000 4194304 16246674 140735946822960 140735946822272 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21764/statm: 328337 65534 803 2943 0 325231 0
[pid=21764/tid=21765] ppid=21761 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21765/stat : 21765 (toysat) S 21761 21764 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115019865 1344868352 65534 33554432000 4194304 16246674 140735946822960 139890813545712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21764/tid=21766] ppid=21761 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21766/stat : 21766 (toysat) S 21761 21764 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115019865 1344868352 65534 33554432000 4194304 16246674 140735946822960 139890803055856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21764/tid=21767] ppid=21761 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21767/stat : 21767 (toysat) S 21761 21764 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115019865 1344868352 65534 33554432000 4194304 16246674 140735946822960 139890792582320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50037 s]
/proc/loadavg: 2.21 2.27 2.26 3/183 21768
/proc/meminfo: memFree=28827044/32872528 swapFree=16636/1570076
[pid=21764] ppid=21761 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/21764/stat : 21764 (toysat) R 21761 21764 2168 0 -1 4202496 83627 0 0 0 137 12 0 0 20 0 4 0 115019865 1344868352 84436 33554432000 4194304 16246674 140735946822960 140735946805952 4220527 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21764/statm: 328337 84436 803 2943 0 325231 0
[pid=21764/tid=21765] ppid=21761 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21765/stat : 21765 (toysat) S 21761 21764 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115019865 1344868352 84436 33554432000 4194304 16246674 140735946822960 139890813545712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21764/tid=21766] ppid=21761 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21766/stat : 21766 (toysat) S 21761 21764 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115019865 1344868352 84436 33554432000 4194304 16246674 140735946822960 139890803055856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21764/tid=21767] ppid=21761 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21767/stat : 21767 (toysat) S 21761 21764 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115019865 1344868352 84436 33554432000 4194304 16246674 140735946822960 139890792582320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.1004 s]
/proc/loadavg: 2.20 2.27 2.25 3/183 21768
/proc/meminfo: memFree=28687352/32872528 swapFree=16636/1570076
[pid=21764] ppid=21761 vsize=1337924 CPUtime=3.09 cores=0,2,4,6
/proc/21764/stat : 21764 (toysat) R 21761 21764 2168 0 -1 4202496 159238 0 0 0 287 22 0 0 20 0 4 0 115019865 1370034176 165157 33554432000 4194304 16246674 140735946822960 140735946820800 4220543 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21764/statm: 334481 165157 803 2943 0 331375 0
[pid=21764/tid=21765] ppid=21761 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21765/stat : 21765 (toysat) S 21761 21764 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115019865 1370034176 165157 33554432000 4194304 16246674 140735946822960 139890813545712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21764/tid=21766] ppid=21761 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21766/stat : 21766 (toysat) S 21761 21764 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115019865 1370034176 165157 33554432000 4194304 16246674 140735946822960 139890803055856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21764/tid=21767] ppid=21761 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21767/stat : 21767 (toysat) S 21761 21764 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115019865 1370034176 165157 33554432000 4194304 16246674 140735946822960 139890792582320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1337924

[startup+6.3004 s]
/proc/loadavg: 2.20 2.27 2.25 3/183 21768
/proc/meminfo: memFree=28197932/32872528 swapFree=16636/1570076
[pid=21764] ppid=21761 vsize=1411652 CPUtime=6.29 cores=0,2,4,6
/proc/21764/stat : 21764 (toysat) R 21761 21764 2168 0 -1 4202496 233378 0 0 0 597 32 0 0 20 0 4 0 115019865 1445531648 252584 33554432000 4194304 16246674 140735946822960 140735946804864 6156545 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21764/statm: 352913 252591 843 2943 0 349807 0
[pid=21764/tid=21765] ppid=21761 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21765/stat : 21765 (toysat) S 21761 21764 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115019865 1445531648 252596 33554432000 4194304 16246674 140735946822960 139890813545712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21764/tid=21766] ppid=21761 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21766/stat : 21766 (toysat) S 21761 21764 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115019865 1445531648 252602 33554432000 4194304 16246674 140735946822960 139890803055856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21764/tid=21767] ppid=21761 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21767/stat : 21767 (toysat) S 21761 21764 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115019865 1445531648 252607 33554432000 4194304 16246674 140735946822960 139890792582320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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.25 2.27 2.26 4/183 21768
/proc/meminfo: memFree=28052164/32872528 swapFree=16636/1570076
[pid=21764] ppid=21761 vsize=1411652 CPUtime=12.69 cores=0,2,4,6
/proc/21764/stat : 21764 (toysat) R 21761 21764 2168 0 -1 4202496 257065 0 0 0 1233 36 0 0 20 0 4 0 115019865 1445531648 276270 33554432000 4194304 16246674 140735946822960 140735946804864 5912600 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21764/statm: 352913 276270 847 2943 0 349807 0
[pid=21764/tid=21765] ppid=21761 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21765/stat : 21765 (toysat) S 21761 21764 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115019865 1445531648 276270 33554432000 4194304 16246674 140735946822960 139890813545712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21764/tid=21766] ppid=21761 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21766/stat : 21766 (toysat) S 21761 21764 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115019865 1445531648 276270 33554432000 4194304 16246674 140735946822960 139890803055856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21764/tid=21767] ppid=21761 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21767/stat : 21767 (toysat) S 21761 21764 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115019865 1445531648 276270 33554432000 4194304 16246674 140735946822960 139890792582320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1411652

[startup+25.5005 s]
/proc/loadavg: 2.21 2.26 2.25 3/183 21768
/proc/meminfo: memFree=27607684/32872528 swapFree=16636/1570076
[pid=21764] ppid=21761 vsize=1782340 CPUtime=25.48 cores=0,2,4,6
/proc/21764/stat : 21764 (toysat) R 21761 21764 2168 0 -1 4202496 367872 0 0 0 2498 50 0 0 20 0 4 0 115019865 1825116160 387077 33554432000 4194304 16246674 140735946822960 140735946804864 5601643 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21764/statm: 445585 387077 893 2943 0 442479 0
[pid=21764/tid=21765] ppid=21761 vsize=1782340 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21765/stat : 21765 (toysat) S 21761 21764 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115019865 1825116160 387077 33554432000 4194304 16246674 140735946822960 139890813545712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21764/tid=21766] ppid=21761 vsize=1782340 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21766/stat : 21766 (toysat) S 21761 21764 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115019865 1825116160 387077 33554432000 4194304 16246674 140735946822960 139890803055856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21764/tid=21767] ppid=21761 vsize=1782340 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21767/stat : 21767 (toysat) S 21761 21764 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115019865 1825116160 387077 33554432000 4194304 16246674 140735946822960 139890792582320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1782340

[startup+51.1005 s]
/proc/loadavg: 2.21 2.26 2.25 3/183 21768
/proc/meminfo: memFree=27202452/32872528 swapFree=16636/1570076
[pid=21764] ppid=21761 vsize=2174532 CPUtime=51.08 cores=0,2,4,6
/proc/21764/stat : 21764 (toysat) R 21761 21764 2168 0 -1 4202496 465745 0 0 0 5043 65 0 0 20 0 4 0 115019865 2226720768 484950 33554432000 4194304 16246674 140735946822960 140735946804864 12483222 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21764/statm: 543633 484950 896 2943 0 540527 0
[pid=21764/tid=21765] ppid=21761 vsize=2174532 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21765/stat : 21765 (toysat) S 21761 21764 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115019865 2226720768 484950 33554432000 4194304 16246674 140735946822960 139890813545712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21764/tid=21766] ppid=21761 vsize=2174532 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21766/stat : 21766 (toysat) S 21761 21764 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115019865 2226720768 484950 33554432000 4194304 16246674 140735946822960 139890803055856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21764/tid=21767] ppid=21761 vsize=2174532 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21767/stat : 21767 (toysat) S 21761 21764 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115019865 2226720768 484950 33554432000 4194304 16246674 140735946822960 139890792582320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2174532

[startup+102.3 s]
/proc/loadavg: 2.29 2.27 2.26 4/183 21769
/proc/meminfo: memFree=27201564/32872528 swapFree=16636/1570076
[pid=21764] ppid=21761 vsize=2174532 CPUtime=102.28 cores=0,2,4,6
/proc/21764/stat : 21764 (toysat) R 21761 21764 2168 0 -1 4202496 465923 0 0 0 10162 66 0 0 20 0 4 0 115019865 2226720768 485128 33554432000 4194304 16246674 140735946822960 140735946804864 12483674 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21764/statm: 543633 485128 896 2943 0 540527 0
[pid=21764/tid=21765] ppid=21761 vsize=2174532 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21765/stat : 21765 (toysat) S 21761 21764 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115019865 2226720768 485128 33554432000 4194304 16246674 140735946822960 139890813545712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21764/tid=21766] ppid=21761 vsize=2174532 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21766/stat : 21766 (toysat) S 21761 21764 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115019865 2226720768 485128 33554432000 4194304 16246674 140735946822960 139890803055856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21764/tid=21767] ppid=21761 vsize=2174532 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21767/stat : 21767 (toysat) S 21761 21764 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115019865 2226720768 485128 33554432000 4194304 16246674 140735946822960 139890792582320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2174532


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

/proc/21764/task/21767/stat : 21767 (toysat) S 21761 21764 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 139890792582320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 2174532

[startup+1302.3 s]
/proc/loadavg: 2.35 2.30 2.27 3/183 21847
/proc/meminfo: memFree=27714824/32872528 swapFree=16636/1570076
[pid=21764] ppid=21761 vsize=2174532 CPUtime=1302.05 cores=0,2,4,6
/proc/21764/stat : 21764 (toysat) R 21761 21764 2168 0 -1 4202496 466007 0 0 0 130136 69 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 140735946804864 5600136 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21764/statm: 543633 485132 897 2943 0 540527 0
[pid=21764/tid=21765] ppid=21761 vsize=2174532 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21765/stat : 21765 (toysat) S 21761 21764 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 139890813545712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21764/tid=21766] ppid=21761 vsize=2174532 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21766/stat : 21766 (toysat) S 21761 21764 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 139890803055856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21764/tid=21767] ppid=21761 vsize=2174532 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21767/stat : 21767 (toysat) S 21761 21764 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 139890792582320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 2174532

[startup+1362.3 s]
/proc/loadavg: 2.41 2.33 2.28 4/183 21848
/proc/meminfo: memFree=27714724/32872528 swapFree=16636/1570076
[pid=21764] ppid=21761 vsize=2174532 CPUtime=1362.03 cores=0,2,4,6
/proc/21764/stat : 21764 (toysat) R 21761 21764 2168 0 -1 4202496 466011 0 0 0 136134 69 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 140735946804864 5677716 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21764/statm: 543633 485132 897 2943 0 540527 0
[pid=21764/tid=21765] ppid=21761 vsize=2174532 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21765/stat : 21765 (toysat) S 21761 21764 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 139890813545712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21764/tid=21766] ppid=21761 vsize=2174532 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21766/stat : 21766 (toysat) S 21761 21764 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 139890803055856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21764/tid=21767] ppid=21761 vsize=2174532 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21767/stat : 21767 (toysat) S 21761 21764 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 139890792582320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 2174532

[startup+1422.3 s]
/proc/loadavg: 2.39 2.33 2.28 3/183 21849
/proc/meminfo: memFree=27715264/32872528 swapFree=16636/1570076
[pid=21764] ppid=21761 vsize=2174532 CPUtime=1422.03 cores=0,2,4,6
/proc/21764/stat : 21764 (toysat) R 21761 21764 2168 0 -1 4202496 466013 0 0 0 142134 69 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 140735946804864 5600072 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21764/statm: 543633 485132 897 2943 0 540527 0
[pid=21764/tid=21765] ppid=21761 vsize=2174532 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21765/stat : 21765 (toysat) S 21761 21764 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 139890813545712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21764/tid=21766] ppid=21761 vsize=2174532 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21766/stat : 21766 (toysat) S 21761 21764 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 139890803055856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21764/tid=21767] ppid=21761 vsize=2174532 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21767/stat : 21767 (toysat) S 21761 21764 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 139890792582320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 2174532

[startup+1482.3 s]
/proc/loadavg: 2.33 2.33 2.28 3/183 21851
/proc/meminfo: memFree=27714560/32872528 swapFree=16636/1570076
[pid=21764] ppid=21761 vsize=2174532 CPUtime=1482 cores=0,2,4,6
/proc/21764/stat : 21764 (toysat) R 21761 21764 2168 0 -1 4202496 466033 0 0 0 148131 69 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 140735946804864 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21764/statm: 543633 485132 897 2943 0 540527 0
[pid=21764/tid=21765] ppid=21761 vsize=2174532 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21765/stat : 21765 (toysat) S 21761 21764 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 139890813545712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21764/tid=21766] ppid=21761 vsize=2174532 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21766/stat : 21766 (toysat) S 21761 21764 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 139890803055856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21764/tid=21767] ppid=21761 vsize=2174532 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21767/stat : 21767 (toysat) S 21761 21764 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 139890792582320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 2174532

[startup+1542.31 s]
/proc/loadavg: 2.25 2.31 2.27 3/183 21852
/proc/meminfo: memFree=27714336/32872528 swapFree=16636/1570076
[pid=21764] ppid=21761 vsize=2174532 CPUtime=1542 cores=0,2,4,6
/proc/21764/stat : 21764 (toysat) R 21761 21764 2168 0 -1 4202496 466033 0 0 0 154130 70 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 140735946804864 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21764/statm: 543633 485132 897 2943 0 540527 0
[pid=21764/tid=21765] ppid=21761 vsize=2174532 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21765/stat : 21765 (toysat) S 21761 21764 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 139890813545712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21764/tid=21766] ppid=21761 vsize=2174532 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21766/stat : 21766 (toysat) S 21761 21764 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 139890803055856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21764/tid=21767] ppid=21761 vsize=2174532 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21767/stat : 21767 (toysat) S 21761 21764 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 139890792582320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 2174532

[startup+1602.3 s]
/proc/loadavg: 2.36 2.33 2.28 4/183 21853
/proc/meminfo: memFree=27714792/32872528 swapFree=16636/1570076
[pid=21764] ppid=21761 vsize=2174532 CPUtime=1601.98 cores=0,2,4,6
/proc/21764/stat : 21764 (toysat) R 21761 21764 2168 0 -1 4202496 466033 0 0 0 160128 70 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 140735946804864 12483671 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21764/statm: 543633 485132 897 2943 0 540527 0
[pid=21764/tid=21765] ppid=21761 vsize=2174532 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21765/stat : 21765 (toysat) S 21761 21764 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 139890813545712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21764/tid=21766] ppid=21761 vsize=2174532 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21766/stat : 21766 (toysat) S 21761 21764 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 139890803055856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21764/tid=21767] ppid=21761 vsize=2174532 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21767/stat : 21767 (toysat) S 21761 21764 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 139890792582320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 2174532

[startup+1662.3 s]
/proc/loadavg: 2.28 2.31 2.27 3/183 21854
/proc/meminfo: memFree=27539736/32872528 swapFree=16636/1570076
[pid=21764] ppid=21761 vsize=2174532 CPUtime=1661.97 cores=0,2,4,6
/proc/21764/stat : 21764 (toysat) R 21761 21764 2168 0 -1 4202496 466033 0 0 0 166127 70 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 140735946804864 5600384 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21764/statm: 543633 485132 897 2943 0 540527 0
[pid=21764/tid=21765] ppid=21761 vsize=2174532 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21765/stat : 21765 (toysat) S 21761 21764 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 139890813545712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21764/tid=21766] ppid=21761 vsize=2174532 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21766/stat : 21766 (toysat) S 21761 21764 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 139890803055856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21764/tid=21767] ppid=21761 vsize=2174532 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21767/stat : 21767 (toysat) S 21761 21764 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 139890792582320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 2174532

[startup+1722.3 s]
/proc/loadavg: 2.30 2.30 2.27 4/183 21855
/proc/meminfo: memFree=27539388/32872528 swapFree=16636/1570076
[pid=21764] ppid=21761 vsize=2174532 CPUtime=1721.96 cores=0,2,4,6
/proc/21764/stat : 21764 (toysat) R 21761 21764 2168 0 -1 4202496 466033 0 0 0 172126 70 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 140735946804864 12483168 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21764/statm: 543633 485132 897 2943 0 540527 0
[pid=21764/tid=21765] ppid=21761 vsize=2174532 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21765/stat : 21765 (toysat) S 21761 21764 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 139890813545712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21764/tid=21766] ppid=21761 vsize=2174532 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21766/stat : 21766 (toysat) S 21761 21764 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 139890803055856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21764/tid=21767] ppid=21761 vsize=2174532 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21767/stat : 21767 (toysat) S 21761 21764 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 139890792582320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 2174532

[startup+1782.3 s]
/proc/loadavg: 2.46 2.34 2.28 3/184 21860
/proc/meminfo: memFree=27498292/32872528 swapFree=16636/1570076
[pid=21764] ppid=21761 vsize=2174532 CPUtime=1781.95 cores=0,2,4,6
/proc/21764/stat : 21764 (toysat) R 21761 21764 2168 0 -1 4202496 466033 0 0 0 178125 70 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 140735946804864 12483624 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21764/statm: 543633 485132 897 2943 0 540527 0
[pid=21764/tid=21765] ppid=21761 vsize=2174532 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21765/stat : 21765 (toysat) S 21761 21764 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 139890813545712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21764/tid=21766] ppid=21761 vsize=2174532 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21766/stat : 21766 (toysat) S 21761 21764 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 139890803055856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21764/tid=21767] ppid=21761 vsize=2174532 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21767/stat : 21767 (toysat) S 21761 21764 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 139890792582320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 2174532



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.35 2.33 2.28 3/183 21861
/proc/meminfo: memFree=27498532/32872528 swapFree=16636/1570076
[pid=21764] ppid=21761 vsize=2174532 CPUtime=1800.05 cores=0,2,4,6
/proc/21764/stat : 21764 (toysat) R 21761 21764 2168 0 -1 4202496 466033 0 0 0 179935 70 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 140735946804864 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21764/statm: 543633 485132 897 2943 0 540527 0
[pid=21764/tid=21765] ppid=21761 vsize=2174532 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21765/stat : 21765 (toysat) S 21761 21764 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 139890813545712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21764/tid=21766] ppid=21761 vsize=2174532 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21766/stat : 21766 (toysat) S 21761 21764 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 139890803055856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21764/tid=21767] ppid=21761 vsize=2174532 CPUtime=0 cores=0,2,4,6
/proc/21764/task/21767/stat : 21767 (toysat) S 21761 21764 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115019865 2226720768 485132 33554432000 4194304 16246674 140735946822960 139890792582320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2174532

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 21764 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.42
CPU time (s): 1800.07
CPU user time (s): 1799.36
CPU system time (s): 0.712891
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 2174532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.36
system time used= 0.712891
maximum resident set size= 1940528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 466033
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= 151
involuntary context switches= 1872

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.85796 second user time and 9.52055 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-07 22:21:15
IDJOB=4079426
IDBENCH=92720
IDSOLVER=2542
FILE ID=node140/4079426-1465330874
RUNJOBID= node140-1465312758-19943
PBS_JOBID= 19850417
Free space on /tmp= 71700 MiB

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

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

MD5SUM BENCH= 361e90d7cecbe172d79499041722735d
RANDOM SEED=1249544288

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
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.768
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.768
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.768
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	: 5334.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29156084 kB
Buffers:           64500 kB
Cached:           241788 kB
SwapCached:         1660 kB
Active:          1250236 kB
Inactive:         144560 kB
Active(anon):    1084884 kB
Inactive(anon):     5988 kB
Active(file):     165352 kB
Inactive(file):   138572 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67098752 kB
Dirty:             41924 kB
Writeback:             0 kB
AnonPages:       2658068 kB
Mapped:            10648 kB
Shmem:                 0 kB
Slab:             614964 kB
SReclaimable:      58496 kB
SUnreclaim:       556468 kB
KernelStack:        1456 kB
PageTables:         9376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2802180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1558528 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= 71684 MiB
End job on node140 at 2016-06-07 22:51:16