Trace number 4109878

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02OPTIMUM 421.106 421.173

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900582300--soft-33-100-0.wbo
MD5SUM9fdf6a24194e0c0ae14212c193866ebe
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark56.7704
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints1830
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 92327
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 92326
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 683
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c 2016-06-19T15:51:47+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","--wbo","--search=bcd2","HOME/instance-4109878-1466344307.wbo"]
0.00/0.01	c use --random-gen="532158958 1732662898 3242866679 3854464418 559052875 3914779318 3019854009 3716446128 2098564065 1115751740 3010893608 254410519 2311227519 1579682392 2126735509 344152866 1144775479 3880391982 4100761614 3349252151 542734630 1036023011 1007376381 554603091 1507147338 4244083641 1905130292 3426882947 2292427858 2642556089 2390102945 1559397121 3294513426 1754925267 1909120700 3555277457 568502708 3613176921 825374828 3484472120 4281708205 2275390484 4037653354 2264744951 2646058104 3669501243 2997882594 3054475609 3519358794 4204704105 636874256 3115133968 3970026067 968816468 2888613606 3812735723 1334334847 4127452008 705142881 1665368211 2446334433 2854412693 1648387747 1746734764 401516824 4143589660 2389681222 332790847 3043926754 18479873 848698557 1068114611 3647284903 2210008127 1408237107 3097858553 317801023 2642794606 103346596 3999034745 3320091726 2569133696 4112074652 1650421391 2334348430 851886210 2995800644 2973655978 3262016617 3622604682 2788110706 771682392 1157703612 2890517316 3521398213 1477286581 3937680143 4067127514 1153667119 941117168 3801869034 1676821618 656207409 2794471054 463837162 1720220260 2754386990 2097268875 2364494334 553930987 66289425 1469952573 416187228 1914206361 3470254600 931383156 3186915698 69880714 1364790729 4042503016 3188350678 3580620848 3885971251 888213565 948272360 435417086 226585212 530720581 2415706635 3007139755 2164049926 2067646609 3598774331 1991274077 2216061340 3231656294 1952742115 1013461623 1394766487 64633217 1973576954 1364016805 4179676541 2271348675 826320380 3288024248 3328185827 2057184990 2652339172 2884440536 1259597359 3021898339 1689950424 2263851052 1985332938 1372938139 110907408 2465818158 1138022052 3840283605 253898481 701124741 296250563 4196957803 2994524734 4155603625 3819320819 239518331 4101206117 4192568530 1803888121 1213922471 2507874365 3784666783 1366260901 731860485 1738702090 84247317 1634185030 1017046603 3625444579 2127049284 2854274980 1240628728 1586694883 1871601192 89076401 1628671059 2578511826 4167468761 3975533886 1787139756 3951464410 1515354316 1991108361 383980932 4002241886 883635548 1591847420 3176901623 3847765570 2153671473 1492887477 1910110585 159534235 3026838905 603307611 2056314696 148780659 4162054461 3215728847 2639014450 1000382025 2624768246 154094356 1328921394 1335398821 36123346 478958876 998944369 2924914874 2166235663 3733031665 2880359820 2622425743 1167298421 2773328449 397298588 1544826489 3251841218 3370571021 4194821658 3021912222 3709851422 1041877700 861376914 162652302 3356372939 994384155 1358415839 872150020 1738382274 255170970 1090441245 655800022 969490303 403785039 666060009 4075718358 1805049834 3398438823 841115203 1885171533 496919172 2621752550 209581452 255 362436" option to reproduce the execution
0.09/0.15	c #vars 231
0.09/0.15	c #constraints 2707
0.18/0.20	c BCD2: Hardening is enabled.
0.18/0.20	c BCD2: BiasedSearch is enabled.
0.18/0.20	c Solving starts ...
0.18/0.20	c ============================[ Search Statistics ]============================
0.18/0.20	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.18/0.20	c       |         |          |          |    Limit     GC | Var      | Constra 
0.18/0.20	c =============================================================================
0.18/0.20	c  0.0s |       0 |        0 |        0 |     1589      0 |        0 |        0
0.18/0.21	c  0.0s |       0 |     1920 |        9 |     1589      0 |        0 |        0
0.18/0.21	c #cpu_time = 0.007s
0.18/0.21	c #wall_clock_time = 0.007s
0.18/0.21	c #decision = 1920
0.18/0.21	c #random_decision = 10
0.18/0.21	c #conflict = 9
0.18/0.21	c #restart = 0
0.18/0.21	o 517
0.18/0.21	c BCD2: updating upper bound: 92326 -> 516
0.18/0.22	c BCD2: 0 <= obj <= 516
0.18/0.22	c BCD2: #cores=0, #unrelaxed=1830, #relaxed=0, #hardened=0
0.18/0.22	c BCD2: #sat=1 #unsat=1 bias=1/2
0.18/0.22	c Solving starts ...
0.18/0.22	c ============================[ Search Statistics ]============================
0.18/0.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.18/0.22	c       |         |          |          |    Limit     GC | Var      | Constra 
0.18/0.22	c =============================================================================
0.18/0.22	c  0.0s |       0 |        0 |        0 |     1589      0 |        0 |        0
0.18/0.25	c  0.0s |       1 |     2002 |      100 |     1748      0 |        0 |        0
0.28/0.30	c  0.1s |       2 |     4062 |      250 |     1923      0 |        0 |        0
0.28/0.36	c  0.1s |       3 |     6201 |      475 |     2116      0 |        0 |        0
0.39/0.47	c  0.2s |       4 |     8472 |      813 |     2328      0 |        0 |        0
0.69/0.70	c  0.5s |       5 |    11002 |     1320 |     2561      0 |        0 |        0
0.99/1.08	c  0.9s |       6 |    13819 |     2081 |     2818      0 |        0 |        0
1.29/1.40	c  1.2s |       7 |    17248 |     3223 |     3100      0 |        0 |        0
1.99/2.04	c  1.8s |       8 |    21643 |     4936 |     3411      1 |        0 |        0
3.30/3.35	c  3.1s |       9 |    27195 |     7506 |     3753      2 |        0 |        0
5.29/5.31	c  5.1s |      10 |    34472 |    11361 |     4129      3 |        0 |        0
7.29/7.33	c  7.1s |      10 |    42199 |    15861 |     4129      5 |        0 |        0
7.89/7.99	c  7.8s |      11 |    43951 |    17144 |     4542      5 |        0 |        0
10.00/10.02	c  9.8s |      11 |    48898 |    19444 |     4542      6 |        0 |        0
11.99/12.07	c 11.8s |      11 |    53758 |    22944 |     4542      7 |        0 |        0
14.09/14.12	c 13.9s |      11 |    57825 |    25744 |     4997      8 |        0 |        0
14.09/14.16	c 13.9s |      12 |    57944 |    25819 |     4997      8 |        0 |        0
16.19/16.26	c 16.0s |      12 |    63628 |    28719 |     4997      9 |        0 |        0
18.19/18.28	c 18.1s |      12 |    67376 |    31419 |     4997      9 |        0 |        0
20.28/20.33	c 20.1s |      12 |    70850 |    33819 |     4997     10 |        0 |        0
22.38/22.40	c 22.2s |      12 |    73853 |    35919 |     4997     11 |        0 |        0
24.38/24.49	c 24.3s |      12 |    76345 |    37719 |     4997     11 |        0 |        0
26.09/26.13	c 25.9s |      13 |    77987 |    38832 |     5497     12 |        0 |        0
28.09/28.14	c 27.9s |      13 |    83040 |    41032 |     5497     12 |        0 |        0
30.09/30.15	c 29.9s |      13 |    88899 |    45132 |     5497     13 |        0 |        0
32.08/32.18	c 32.0s |      13 |    93608 |    48532 |     5497     14 |        0 |        0
34.09/34.20	c 34.0s |      13 |    97891 |    51732 |     5497     15 |        0 |        0
36.18/36.21	c 36.0s |      13 |   100585 |    53832 |     5497     16 |        0 |        0
38.18/38.22	c 38.0s |      13 |   105213 |    57132 |     5497     16 |        0 |        0
38.78/38.81	c 38.6s |      14 |   107002 |    58352 |     6047     17 |        0 |        0
40.79/40.84	c 40.6s |      14 |   112749 |    61152 |     6047     17 |        0 |        0
42.78/42.89	c 42.7s |      14 |   115625 |    63352 |     6047     18 |        0 |        0
44.88/44.94	c 44.7s |      14 |   118021 |    65152 |     6047     18 |        0 |        0
46.98/47.06	c 46.8s |      14 |   120173 |    66752 |     6047     19 |        0 |        0
48.98/49.07	c 48.8s |      14 |   122273 |    68152 |     6047     19 |        0 |        0
50.98/51.07	c 50.8s |      14 |   125082 |    70052 |     6047     20 |        0 |        0
53.08/53.13	c 52.9s |      14 |   128406 |    72252 |     6047     20 |        0 |        0
55.09/55.16	c 54.9s |      14 |   131610 |    74352 |     6047     21 |        0 |        0
57.08/57.17	c 56.9s |      14 |   133912 |    75952 |     6047     21 |        0 |        0
59.08/59.19	c 59.0s |      14 |   135692 |    77252 |     6047     21 |        0 |        0
61.18/61.28	c 61.1s |      14 |   137615 |    78552 |     6047     22 |        0 |        0
63.28/63.36	c 63.1s |      14 |   139510 |    79852 |     6047     22 |        0 |        0
65.38/65.42	c 65.2s |      14 |   142137 |    81552 |     6047     23 |        0 |        0
67.38/67.43	c 67.2s |      14 |   147631 |    85452 |     6047     24 |        0 |        0
68.78/68.84	c 68.6s |      15 |   150712 |    87632 |     6652     24 |        0 |        0
70.77/70.86	c 70.6s |      15 |   156310 |    90132 |     6652     25 |        0 |        0
72.88/72.97	c 72.7s |      15 |   159989 |    92632 |     6652     25 |        0 |        0
74.89/74.98	c 74.8s |      15 |   163170 |    94532 |     6652     26 |        0 |        0
76.98/77.06	c 76.8s |      15 |   166174 |    96432 |     6652     26 |        0 |        0
79.07/79.12	c 78.9s |      15 |   169010 |    98232 |     6652     26 |        0 |        0
81.08/81.17	c 80.9s |      15 |   171330 |    99732 |     6652     27 |        0 |        0
83.18/83.24	c 83.0s |      15 |   175573 |   102232 |     6652     27 |        0 |        0
85.18/85.24	c 85.0s |      15 |   179918 |   105032 |     6652     28 |        0 |        0
87.18/87.26	c 87.0s |      15 |   184280 |   107632 |     6652     29 |        0 |        0
89.18/89.26	c 89.0s |      15 |   188899 |   110232 |     6652     29 |        0 |        0
91.17/91.29	c 91.1s |      15 |   192689 |   112432 |     6652     30 |        0 |        0
93.27/93.37	c 93.1s |      15 |   196373 |   114632 |     6652     30 |        0 |        0
95.37/95.43	c 95.2s |      15 |   199345 |   116732 |     6652     31 |        0 |        0
97.38/97.45	c 97.2s |      15 |   202437 |   118432 |     6652     31 |        0 |        0
99.57/99.60	c 99.4s |      15 |   204708 |   119832 |     6652     32 |        0 |        0
101.57/101.60	c  101s |      15 |   206758 |   121232 |     6652     32 |        0 |        0
103.67/103.73	c  103s |      15 |   208865 |   122632 |     6652     32 |        0 |        0
105.68/105.79	c  105s |      15 |   211113 |   124132 |     6652     33 |        0 |        0
107.67/107.80	c  107s |      15 |   215133 |   126632 |     6652     33 |        0 |        0
109.77/109.86	c  109s |      15 |   218033 |   128432 |     6652     34 |        0 |        0
111.77/111.87	c  111s |      15 |   221430 |   130632 |     6652     34 |        0 |        0
112.57/112.68	c  112s |      16 |   222926 |   131552 |     7318     34 |        0 |        0
114.67/114.71	c  114s |      16 |   229044 |   134152 |     7318     35 |        0 |        0
116.68/116.75	c  116s |      16 |   232470 |   136452 |     7318     35 |        0 |        0
118.78/118.80	c  118s |      16 |   236698 |   138952 |     7318     36 |        0 |        0
120.77/120.81	c  120s |      16 |   240172 |   141152 |     7318     36 |        0 |        0
122.77/122.86	c  122s |      16 |   245306 |   144352 |     7318     37 |        0 |        0
124.77/124.87	c  124s |      16 |   248744 |   146652 |     7318     38 |        0 |        0
126.86/126.90	c  126s |      16 |   252872 |   149152 |     7318     38 |        0 |        0
128.87/128.95	c  128s |      16 |   256375 |   151252 |     7318     39 |        0 |        0
130.88/130.96	c  130s |      16 |   258974 |   152952 |     7318     39 |        0 |        0
132.87/132.99	c  132s |      16 |   263101 |   155952 |     7318     40 |        0 |        0
134.97/135.01	c  134s |      16 |   266100 |   158252 |     7318     40 |        0 |        0
136.97/137.07	c  136s |      16 |   269289 |   160552 |     7318     41 |        0 |        0
139.07/139.13	c  138s |      16 |   272135 |   162652 |     7318     41 |        0 |        0
141.16/141.22	c  140s |      16 |   273985 |   164152 |     7318     41 |        0 |        0
143.17/143.25	c  143s |      16 |   275588 |   165452 |     7318     42 |        0 |        0
145.27/145.39	c  145s |      16 |   277806 |   167152 |     7318     42 |        0 |        0
147.37/147.44	c  147s |      16 |   279712 |   168552 |     7318     42 |        0 |        0
149.36/149.47	c  149s |      16 |   281462 |   169752 |     7318     43 |        0 |        0
151.46/151.53	c  151s |      16 |   283227 |   171052 |     7318     43 |        0 |        0
153.47/153.54	c  153s |      16 |   286366 |   173152 |     7318     43 |        0 |        0
155.47/155.57	c  155s |      16 |   290062 |   175452 |     7318     44 |        0 |        0
157.57/157.65	c  157s |      16 |   294033 |   178152 |     7318     44 |        0 |        0
159.57/159.68	c  159s |      16 |   297800 |   180252 |     7318     45 |        0 |        0
161.67/161.70	c  161s |      16 |   300580 |   181952 |     7318     45 |        0 |        0
163.66/163.77	c  163s |      16 |   303274 |   183652 |     7318     46 |        0 |        0
165.76/165.83	c  165s |      16 |   305861 |   185352 |     7318     46 |        0 |        0
167.76/167.86	c  167s |      16 |   308846 |   187152 |     7318     46 |        0 |        0
169.86/169.96	c  169s |      16 |   311660 |   188852 |     7318     47 |        0 |        0
171.96/172.02	c  171s |      16 |   314690 |   190752 |     7318     47 |        0 |        0
173.97/174.03	c  173s |      16 |   318761 |   193252 |     7318     48 |        0 |        0
175.97/176.06	c  175s |      16 |   323767 |   196352 |     8050     48 |        0 |        0
176.77/176.89	c  176s |      17 |   325564 |   197432 |     8050     48 |        0 |        0
178.77/178.89	c  178s |      17 |   331229 |   199732 |     8050     49 |        0 |        0
180.97/181.01	c  180s |      17 |   335524 |   202432 |     8050     50 |        0 |        0
182.97/183.03	c  182s |      17 |   339608 |   205032 |     8050     50 |        0 |        0
184.96/185.10	c  184s |      17 |   343946 |   207532 |     8050     51 |        0 |        0
187.07/187.15	c  186s |      17 |   347375 |   209732 |     8050     51 |        0 |        0
189.06/189.19	c  188s |      17 |   350402 |   211632 |     8050     51 |        0 |        0
191.16/191.20	c  190s |      17 |   352300 |   212932 |     8050     52 |        0 |        0
193.16/193.25	c  193s |      17 |   356181 |   215132 |     8050     52 |        0 |        0
195.36/195.47	c  195s |      17 |   359605 |   217332 |     8050     53 |        0 |        0
197.46/197.55	c  197s |      17 |   362554 |   219332 |     8050     53 |        0 |        0
199.56/199.62	c  199s |      17 |   365235 |   221032 |     8050     53 |        0 |        0
201.65/201.73	c  201s |      17 |   367646 |   222632 |     8050     54 |        0 |        0
203.66/203.73	c  203s |      17 |   370505 |   224532 |     8050     54 |        0 |        0
205.77/205.82	c  205s |      17 |   373085 |   226232 |     8050     54 |        0 |        0
207.86/207.95	c  207s |      17 |   375380 |   227732 |     8050     55 |        0 |        0
209.95/210.09	c  209s |      17 |   377895 |   229332 |     8050     55 |        0 |        0
212.06/212.11	c  211s |      17 |   380199 |   230832 |     8050     55 |        0 |        0
214.06/214.13	c  213s |      17 |   383893 |   233132 |     8050     56 |        0 |        0
216.06/216.18	c  215s |      17 |   388353 |   235932 |     8050     56 |        0 |        0
218.16/218.26	c  218s |      17 |   392161 |   238132 |     8050     57 |        0 |        0
220.25/220.32	c  220s |      17 |   396565 |   240732 |     8050     57 |        0 |        0
222.26/222.35	c  222s |      17 |   401325 |   243532 |     8050     58 |        0 |        0
224.36/224.45	c  224s |      17 |   405773 |   246132 |     8050     58 |        0 |        0
226.35/226.49	c  226s |      17 |   409721 |   248532 |     8050     59 |        0 |        0
228.46/228.51	c  228s |      17 |   414710 |   251232 |     8050     59 |        0 |        0
230.46/230.53	c  230s |      17 |   418779 |   253632 |     8050     60 |        0 |        0
232.45/232.56	c  232s |      17 |   422687 |   255832 |     8050     60 |        0 |        0
234.55/234.61	c  234s |      17 |   426527 |   257832 |     8050     61 |        0 |        0
236.56/236.62	c  236s |      17 |   431950 |   260932 |     8050     61 |        0 |        0
238.55/238.64	c  238s |      17 |   436020 |   263332 |     8050     62 |        0 |        0
240.55/240.65	c  240s |      17 |   440871 |   266132 |     8050     62 |        0 |        0
242.65/242.71	c  242s |      17 |   444766 |   268432 |     8050     63 |        0 |        0
244.65/244.72	c  244s |      17 |   449331 |   271032 |     8050     63 |        0 |        0
246.66/246.73	c  246s |      17 |   453791 |   273732 |     8050     64 |        0 |        0
248.66/248.78	c  248s |      17 |   458764 |   276632 |     8050     64 |        0 |        0
250.76/250.82	c  250s |      17 |   463204 |   279132 |     8050     65 |        0 |        0
252.75/252.84	c  252s |      17 |   468369 |   281832 |     8050     65 |        0 |        0
254.85/254.90	c  254s |      17 |   473191 |   284532 |     8050     66 |        0 |        0
257.05/257.16	c  256s |      17 |   477550 |   286932 |     8050     67 |        0 |        0
259.15/259.22	c  259s |      17 |   481586 |   289132 |     8050     67 |        0 |        0
261.15/261.28	c  261s |      17 |   485113 |   291132 |     8050     67 |        0 |        0
263.25/263.33	c  263s |      17 |   488441 |   293032 |     8050     68 |        0 |        0
265.35/265.44	c  265s |      17 |   491930 |   295132 |     8855     68 |        0 |        0
266.55/266.64	c  266s |      18 |   493813 |   296252 |     8855     68 |        0 |        0
268.55/268.66	c  268s |      18 |   500949 |   299652 |     8855     69 |        0 |        0
270.75/270.82	c  270s |      18 |   505278 |   302352 |     8855     70 |        0 |        0
272.75/272.89	c  272s |      18 |   510704 |   305352 |     8855     70 |        0 |        0
274.85/274.95	c  274s |      18 |   514839 |   308152 |     8855     71 |        0 |        0
276.85/276.96	c  276s |      18 |   518122 |   310452 |     8855     71 |        0 |        0
278.94/279.09	c  278s |      18 |   522072 |   312852 |     8855     71 |        0 |        0
281.04/281.17	c  280s |      18 |   525573 |   315152 |     8855     72 |        0 |        0
283.15/283.24	c  283s |      18 |   528479 |   317152 |     8855     72 |        0 |        0
285.15/285.26	c  285s |      18 |   530702 |   318652 |     8855     73 |        0 |        0
287.15/287.28	c  287s |      18 |   533532 |   320352 |     8855     73 |        0 |        0
289.35/289.41	c  289s |      18 |   536879 |   322752 |     8855     73 |        0 |        0
291.34/291.48	c  291s |      18 |   539099 |   324352 |     8855     74 |        0 |        0
293.45/293.56	c  293s |      18 |   542063 |   326252 |     8855     74 |        0 |        0
295.55/295.68	c  295s |      18 |   544095 |   327552 |     8855     74 |        0 |        0
297.74/297.82	c  297s |      18 |   546408 |   328952 |     8855     74 |        0 |        0
299.84/299.92	c  299s |      18 |   548041 |   330152 |     8855     75 |        0 |        0
301.85/301.98	c  301s |      18 |   550505 |   331752 |     8855     75 |        0 |        0
304.04/304.10	c  303s |      18 |   552976 |   333352 |     8855     75 |        0 |        0
306.04/306.18	c  305s |      18 |   554999 |   334652 |     8855     76 |        0 |        0
308.24/308.38	c  308s |      18 |   557120 |   336052 |     8855     76 |        0 |        0
310.34/310.48	c  310s |      18 |   559470 |   337452 |     8855     76 |        0 |        0
312.54/312.60	c  312s |      18 |   561326 |   338652 |     8855     76 |        0 |        0
314.54/314.63	c  314s |      18 |   563011 |   339752 |     8855     76 |        0 |        0
316.54/316.65	c  316s |      18 |   566111 |   341652 |     8855     77 |        0 |        0
318.54/318.69	c  318s |      18 |   570481 |   344352 |     8855     77 |        0 |        0
320.64/320.73	c  320s |      18 |   574384 |   346752 |     8855     78 |        0 |        0
322.74/322.80	c  322s |      18 |   577817 |   348752 |     8855     78 |        0 |        0
324.74/324.86	c  324s |      18 |   581111 |   350452 |     8855     78 |        0 |        0
326.75/326.87	c  326s |      18 |   584990 |   352952 |     8855     79 |        0 |        0
328.85/328.90	c  328s |      18 |   588529 |   355252 |     8855     79 |        0 |        0
330.84/330.92	c  330s |      18 |   591563 |   357152 |     8855     80 |        0 |        0
332.94/333.02	c  332s |      18 |   594491 |   358952 |     8855     80 |        0 |        0
335.04/335.13	c  334s |      18 |   597231 |   360752 |     8855     80 |        0 |        0
337.04/337.14	c  336s |      18 |   600569 |   362952 |     8855     81 |        0 |        0
339.04/339.18	c  338s |      18 |   605028 |   365752 |     8855     81 |        0 |        0
341.14/341.26	c  341s |      18 |   608717 |   368252 |     8855     82 |        0 |        0
343.25/343.34	c  343s |      18 |   612220 |   370552 |     8855     82 |        0 |        0
345.24/345.40	c  345s |      18 |   615552 |   372652 |     8855     83 |        0 |        0
347.34/347.46	c  347s |      18 |   619660 |   375252 |     8855     83 |        0 |        0
349.43/349.56	c  349s |      18 |   622985 |   377352 |     8855     83 |        0 |        0
351.53/351.62	c  351s |      18 |   625797 |   379252 |     8855     84 |        0 |        0
353.53/353.68	c  353s |      18 |   628710 |   381252 |     8855     84 |        0 |        0
355.64/355.73	c  355s |      18 |   630900 |   382752 |     8855     84 |        0 |        0
357.73/357.82	c  357s |      18 |   633275 |   384252 |     8855     85 |        0 |        0
359.83/359.95	c  359s |      18 |   635579 |   385852 |     8855     85 |        0 |        0
361.94/362.08	c  361s |      18 |   637583 |   387252 |     8855     85 |        0 |        0
364.04/364.13	c  363s |      18 |   639735 |   388552 |     8855     86 |        0 |        0
366.03/366.15	c  365s |      18 |   642019 |   389952 |     8855     86 |        0 |        0
368.23/368.31	c  368s |      18 |   644136 |   391252 |     8855     86 |        0 |        0
370.23/370.38	c  370s |      18 |   646032 |   392352 |     8855     86 |        0 |        0
372.43/372.57	c  372s |      18 |   648085 |   393552 |     8855     87 |        0 |        0
374.63/374.71	c  374s |      18 |   650038 |   394852 |     8855     87 |        0 |        0
376.73/376.81	c  376s |      18 |   652253 |   396352 |     8855     87 |        0 |        0
378.73/378.83	c  378s |      18 |   655407 |   398252 |     8855     87 |        0 |        0
380.73/380.87	c  380s |      18 |   657759 |   399752 |     8855     88 |        0 |        0
382.74/382.89	c  382s |      18 |   660118 |   401352 |     8855     88 |        0 |        0
384.83/384.96	c  384s |      18 |   663073 |   403152 |     8855     88 |        0 |        0
386.83/386.99	c  386s |      18 |   665112 |   404552 |     8855     89 |        0 |        0
388.93/389.05	c  388s |      18 |   667370 |   406052 |     8855     89 |        0 |        0
390.93/391.09	c  390s |      18 |   670094 |   407652 |     8855     89 |        0 |        0
393.02/393.17	c  392s |      18 |   672654 |   409252 |     8855     89 |        0 |        0
395.13/395.23	c  395s |      18 |   674940 |   410652 |     8855     90 |        0 |        0
397.13/397.27	c  397s |      18 |   677482 |   412252 |     8855     90 |        0 |        0
399.23/399.35	c  399s |      18 |   679595 |   413652 |     8855     90 |        0 |        0
401.33/401.49	c  401s |      18 |   681670 |   414952 |     8855     90 |        0 |        0
403.53/403.65	c  403s |      18 |   683695 |   416152 |     8855     91 |        0 |        0
405.63/405.77	c  405s |      18 |   686246 |   417652 |     8855     91 |        0 |        0
406.63/406.70	c  406s |      18 |   687127 |   418196 |     8855     91 |        0 |        0
406.63/406.70	c #cpu_time = 405.433s
406.63/406.70	c #wall_clock_time = 406.476s
406.63/406.70	c #decision = 687127
406.63/406.70	c #random_decision = 1249
406.63/406.70	c #conflict = 418196
406.63/406.70	c #restart = 18
406.63/406.70	c BCD2: found a new core of size 1829: cost of the new core is >=1
406.63/406.70	c lower bound updated to 1
406.63/406.71	c BCD2: 1 <= obj <= 516
406.63/406.71	c BCD2: #cores=1, #unrelaxed=1, #relaxed=1829, #hardened=0
406.63/406.71	c BCD2: #sat=1 #unsat=2 bias=2/3
406.63/406.71	c Solving starts ...
406.63/406.71	c ============================[ Search Statistics ]============================
406.63/406.71	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
406.63/406.71	c       |         |          |          |    Limit     GC | Var      | Constra 
406.63/406.71	c =============================================================================
406.63/406.71	c  0.0s |       0 |        0 |        0 |     8855      0 |        0 |        0
406.73/406.83	c  0.1s |       0 |     1903 |        1 |     8855      0 |        0 |        0
406.73/406.83	c #cpu_time = 0.111s
406.73/406.83	c #wall_clock_time = 0.111s
406.73/406.83	c #decision = 1903
406.73/406.83	c #random_decision = 9
406.73/406.83	c #conflict = 1
406.73/406.83	c #restart = 0
406.73/406.83	o 71
406.73/406.83	c BCD2: hardening fixes 556 literals
406.73/406.83	c BCD2: updating upper bound: 516 -> 70
406.73/406.83	c BCD2: 1 <= obj <= 70
406.73/406.83	c BCD2: #cores=1, #unrelaxed=1, #relaxed=1273, #hardened=556
406.73/406.83	c BCD2: #sat=2 #unsat=2 bias=2/4
406.73/406.84	c Solving starts ...
406.73/406.84	c ============================[ Search Statistics ]============================
406.73/406.84	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
406.73/406.84	c       |         |          |          |    Limit     GC | Var      | Constra 
406.73/406.84	c =============================================================================
406.73/406.84	c  0.0s |       0 |        0 |        0 |     8855      0 |      556 |        1
406.94/407.07	c  0.2s |       1 |      509 |      100 |     8855      0 |      556 |        1
407.33/407.45	c  0.6s |       2 |      823 |      250 |     8855      0 |      556 |        1
407.73/407.86	c  1.0s |       3 |     1225 |      475 |     8855      0 |      556 |        1
408.14/408.21	c  1.4s |       4 |     1879 |      813 |     8855      0 |      556 |        1
408.63/408.78	c  1.9s |       5 |     2735 |     1320 |     8855      1 |      556 |        1
409.23/409.32	c  2.5s |       6 |     4072 |     2081 |     8855      1 |      556 |        1
409.93/410.06	c  3.2s |       7 |     6226 |     3223 |     8855      1 |      556 |        1
411.33/411.43	c  4.6s |       8 |     8964 |     4936 |     8855      1 |      556 |        1
411.43/411.59	c  4.7s |       8 |     9192 |     5057 |     8855      1 |      556 |        1
411.43/411.59	c #cpu_time = 4.737s
411.43/411.59	c #wall_clock_time = 4.749s
411.43/411.59	c #decision = 9192
411.43/411.59	c #random_decision = 15
411.43/411.59	c #conflict = 5057
411.43/411.59	c #restart = 8
411.43/411.59	o 35
411.43/411.59	c BCD2: hardening fixes 653 literals
411.43/411.59	c BCD2: updating upper bound: 70 -> 34
411.43/411.59	c BCD2: 1 <= obj <= 34
411.43/411.59	c BCD2: #cores=1, #unrelaxed=0, #relaxed=621, #hardened=1209
411.43/411.59	c BCD2: #sat=3 #unsat=2 bias=2/5
411.43/411.59	c Solving starts ...
411.43/411.59	c ============================[ Search Statistics ]============================
411.43/411.59	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
411.43/411.59	c       |         |          |          |    Limit     GC | Var      | Constra 
411.43/411.59	c =============================================================================
411.53/411.61	c  0.0s |       0 |        0 |        0 |     8855      0 |     1209 |        4
411.63/411.72	c  0.1s |       1 |      159 |      100 |     8855      0 |     1209 |        4
411.73/411.86	c  0.2s |       2 |      414 |      250 |     8855      0 |     1209 |        4
411.93/412.04	c  0.4s |       3 |      801 |      475 |     8855      0 |     1209 |        4
412.23/412.35	c  0.7s |       4 |     1467 |      813 |     8855      0 |     1209 |        4
412.63/412.73	c  1.1s |       5 |     2260 |     1320 |     8855      0 |     1209 |        4
413.13/413.28	c  1.7s |       6 |     3633 |     2081 |     8855      1 |     1209 |        4
413.83/413.95	c  2.3s |       7 |     5314 |     3223 |     8855      1 |     1209 |        4
414.63/414.77	c  3.2s |       8 |     8012 |     4936 |     8855      1 |     1209 |        4
416.13/416.27	c  4.7s |       9 |    11986 |     7506 |     8855      2 |     1209 |        4
416.43/416.58	c  5.0s |       9 |    12737 |     8020 |     8855      2 |     1209 |        4
416.43/416.58	c #cpu_time = 4.952s
416.43/416.58	c #wall_clock_time = 4.966s
416.43/416.58	c #decision = 12737
416.43/416.58	c #random_decision = 16
416.43/416.58	c #conflict = 8020
416.43/416.58	c #restart = 9
416.43/416.58	o 13
416.43/416.58	c BCD2: hardening fixes 394 literals
416.43/416.58	c BCD2: updating upper bound: 34 -> 12
416.43/416.58	c BCD2: 1 <= obj <= 12
416.43/416.58	c BCD2: #cores=1, #unrelaxed=0, #relaxed=227, #hardened=1603
416.43/416.58	c BCD2: #sat=4 #unsat=2 bias=2/6
416.43/416.58	c Solving starts ...
416.43/416.58	c ============================[ Search Statistics ]============================
416.43/416.58	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
416.43/416.58	c       |         |          |          |    Limit     GC | Var      | Constra 
416.43/416.58	c =============================================================================
416.43/416.58	c  0.0s |       0 |        0 |        0 |     8855      0 |     1603 |        6
416.53/416.66	c  0.1s |       1 |      160 |      100 |     8855      0 |     1603 |        6
416.63/416.75	c  0.2s |       2 |      401 |      250 |     8855      0 |     1603 |        6
416.73/416.90	c  0.3s |       3 |      773 |      475 |     8855      0 |     1603 |        6
417.03/417.10	c  0.5s |       4 |     1306 |      813 |     8855      0 |     1603 |        6
417.23/417.37	c  0.8s |       5 |     2066 |     1320 |     8855      0 |     1603 |        6
417.63/417.78	c  1.2s |       6 |     3258 |     2081 |     8855      0 |     1603 |        6
417.83/417.91	c  1.3s |       6 |     3510 |     2251 |     8855      0 |     1603 |        6
417.83/417.91	c #cpu_time = 1.327s
417.83/417.91	c #wall_clock_time = 1.331s
417.83/417.91	c #decision = 3510
417.83/417.91	c #random_decision = 6
417.83/417.91	c #conflict = 2251
417.83/417.91	c #restart = 6
417.83/417.91	o 5
417.83/417.91	c BCD2: hardening fixes 149 literals
417.83/417.91	c BCD2: updating upper bound: 12 -> 4
417.83/417.92	c BCD2: 1 <= obj <= 4
417.83/417.92	c BCD2: #cores=1, #unrelaxed=0, #relaxed=78, #hardened=1752
417.83/417.92	c BCD2: #sat=5 #unsat=2 bias=2/7
417.83/417.92	c Solving starts ...
417.83/417.92	c ============================[ Search Statistics ]============================
417.83/417.92	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
417.83/417.92	c       |         |          |          |    Limit     GC | Var      | Constra 
417.83/417.92	c =============================================================================
417.83/417.92	c  0.0s |       0 |        0 |        0 |     8855      0 |     1752 |        8
417.83/417.98	c  0.1s |       1 |      214 |      100 |     8855      0 |     1752 |        8
417.93/418.07	c  0.1s |       2 |      473 |      250 |     8855      0 |     1752 |        8
418.13/418.20	c  0.3s |       3 |      786 |      475 |     8855      0 |     1752 |        8
418.33/418.40	c  0.5s |       4 |     1340 |      813 |     8855      0 |     1752 |        8
418.53/418.69	c  0.8s |       5 |     2245 |     1320 |     8855      0 |     1752 |        8
419.13/419.25	c  1.3s |       6 |     3408 |     2081 |     8855      1 |     1752 |        8
419.63/419.74	c  1.8s |       7 |     5146 |     3223 |     8855      1 |     1752 |        8
420.43/420.57	c  2.6s |       8 |     7894 |     4936 |     8855      1 |     1752 |        8
421.02/421.12	c  3.2s |       8 |     9894 |     6192 |     8855      1 |     1752 |        8
421.02/421.12	c #cpu_time = 3.190s
421.02/421.12	c #wall_clock_time = 3.198s
421.02/421.12	c #decision = 9894
421.02/421.12	c #random_decision = 13
421.02/421.12	c #conflict = 6192
421.02/421.12	c #restart = 8
421.02/421.12	o 1
421.02/421.13	s OPTIMUM FOUND
421.02/421.13	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
421.02/421.13	v -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
421.02/421.13	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
421.02/421.13	v x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40
421.02/421.13	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50
421.02/421.13	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
421.02/421.13	v -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 x70
421.02/421.13	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80
421.02/421.13	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90
421.02/421.13	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
421.02/421.13	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 -x110
421.02/421.13	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120
421.02/421.13	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130
421.02/421.13	v -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
421.02/421.13	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
421.02/421.13	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
421.02/421.13	v x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170
421.02/421.13	v -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
421.02/421.13	v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190
421.02/421.13	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200
421.02/421.13	v -x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210
421.02/421.13	v -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
421.02/421.13	v -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230
421.02/421.13	v -x231
421.02/421.13	c total CPU time = 420.046s
421.02/421.13	c total wall clock time = 421.129s

Verifier Data 

OK	1

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-4109878-1466344307/watcher-4109878-1466344307 -o /tmp/evaluation-result-4109878-1466344307/solver-4109878-1466344307 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466341819-1236 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109878-1466344307.wbo 

pid=2642
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.21 2.26 2.11 4/177 2645
/proc/meminfo: memFree=29203904/32872528 swapFree=1316768/1463936
[pid=2645] ppid=2642 vsize=648636 CPUtime=0 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1219 0 -1 4202496 2403 0 0 0 0 0 0 0 20 0 4 0 36477666 664203264 3276 33554432000 4194304 16246674 140736511628832 140736511628256 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2645/statm: 162671 3285 441 2943 0 159565 0
[pid=2645/tid=2646] ppid=2642 vsize=666044 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36477667 682029056 3346 33554432000 4194304 16246674 140736511628832 140374718786800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=671164 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36477667 687271936 3362 33554432000 4194304 16246674 140736511628832 140374630706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=674236 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36477667 690417664 3378 33554432000 4194304 16246674 140736511628832 140374620232880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100154 s]
/proc/loadavg: 2.21 2.26 2.11 4/177 2645
/proc/meminfo: memFree=29203904/32872528 swapFree=1316768/1463936
[pid=2645] ppid=2642 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1219 0 -1 4202496 24743 0 0 0 5 4 0 0 20 0 4 0 36477666 1247350784 25608 33554432000 4194304 16246674 140736511628832 140736511611824 12399028 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2645/statm: 304529 25615 617 2943 0 301423 0
[pid=2645/tid=2646] ppid=2642 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36477667 1247350784 25619 33554432000 4194304 16246674 140736511628832 140374718786800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36477667 1247350784 25621 33554432000 4194304 16246674 140736511628832 140374630706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36477667 1247350784 25625 33554432000 4194304 16246674 140736511628832 140374620232880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200527 s]
/proc/loadavg: 2.21 2.26 2.11 4/177 2645
/proc/meminfo: memFree=29203904/32872528 swapFree=1316768/1463936
[pid=2645] ppid=2642 vsize=1221188 CPUtime=0.18 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1219 0 -1 4202496 33545 0 0 0 13 5 0 0 20 0 4 0 36477666 1250496512 34364 33554432000 4194304 16246674 140736511628832 140736511628144 5894352 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2645/statm: 305297 34364 868 2943 0 302191 0
[pid=2645/tid=2646] ppid=2642 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36477667 1250496512 34364 33554432000 4194304 16246674 140736511628832 140374718786800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36477667 1250496512 34364 33554432000 4194304 16246674 140736511628832 140374630706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36477667 1250496512 34364 33554432000 4194304 16246674 140736511628832 140374620232880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1221188

[startup+0.300522 s]
/proc/loadavg: 2.21 2.26 2.11 4/177 2645
/proc/meminfo: memFree=29203904/32872528 swapFree=1316768/1463936
[pid=2645] ppid=2642 vsize=1303108 CPUtime=0.28 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1219 0 -1 4202496 50401 0 0 0 21 7 0 0 20 0 4 0 36477666 1334382592 51221 33554432000 4194304 16246674 140736511628832 140736511628144 5674637 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2645/statm: 325777 51231 922 2943 0 322671 0
[pid=2645/tid=2646] ppid=2642 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36477667 1334382592 51236 33554432000 4194304 16246674 140736511628832 140374718786800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36477667 1334382592 51242 33554432000 4194304 16246674 140736511628832 140374630706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36477667 1334382592 51246 33554432000 4194304 16246674 140736511628832 140374620232880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1303108

[startup+0.700427 s]
/proc/loadavg: 2.21 2.26 2.11 4/177 2645
/proc/meminfo: memFree=29203904/32872528 swapFree=1316768/1463936
[pid=2645] ppid=2642 vsize=1303108 CPUtime=0.69 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1219 0 -1 4202496 125304 0 0 0 51 18 0 0 20 0 4 0 36477666 1334382592 126123 33554432000 4194304 16246674 140736511628832 140736511628144 5523634 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2645/statm: 325777 126129 922 2943 0 322671 0
[pid=2645/tid=2646] ppid=2642 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36477667 1334382592 126134 33554432000 4194304 16246674 140736511628832 140374718786800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36477667 1334382592 126140 33554432000 4194304 16246674 140736511628832 140374630706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36477667 1334382592 126146 33554432000 4194304 16246674 140736511628832 140374620232880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1303108

[startup+1.50042 s]
/proc/loadavg: 2.21 2.26 2.11 4/181 2649
/proc/meminfo: memFree=28644048/32872528 swapFree=1316768/1463936
[pid=2645] ppid=2642 vsize=1308228 CPUtime=1.49 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1219 0 -1 4202496 139543 0 0 0 128 21 0 0 20 0 4 0 36477666 1339625472 140362 33554432000 4194304 16246674 140736511628832 140736511610752 5754966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2645/statm: 327057 140362 931 2943 0 323951 0
[pid=2645/tid=2646] ppid=2642 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36477667 1339625472 140362 33554432000 4194304 16246674 140736511628832 140374718786800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36477667 1339625472 140362 33554432000 4194304 16246674 140736511628832 140374630706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36477667 1339625472 140362 33554432000 4194304 16246674 140736511628832 140374620232880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1308228

[startup+3.10041 s]
/proc/loadavg: 2.19 2.26 2.10 4/181 2649
/proc/meminfo: memFree=28638144/32872528 swapFree=1316768/1463936
[pid=2645] ppid=2642 vsize=1308228 CPUtime=3.09 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1219 0 -1 4202496 139544 0 0 0 288 21 0 0 20 0 4 0 36477666 1339625472 140363 33554432000 4194304 16246674 140736511628832 140736511626624 5545784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2645/statm: 327057 140363 932 2943 0 323951 0
[pid=2645/tid=2646] ppid=2642 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36477667 1339625472 140363 33554432000 4194304 16246674 140736511628832 140374718786800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36477667 1339625472 140363 33554432000 4194304 16246674 140736511628832 140374630706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36477667 1339625472 140363 33554432000 4194304 16246674 140736511628832 140374620232880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228

[startup+6.30044 s]
/proc/loadavg: 2.19 2.26 2.10 3/181 2649
/proc/meminfo: memFree=28637204/32872528 swapFree=1316768/1463936
[pid=2645] ppid=2642 vsize=1309252 CPUtime=6.29 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1219 0 -1 4202496 139800 0 0 0 608 21 0 0 20 0 4 0 36477666 1340674048 140619 33554432000 4194304 16246674 140736511628832 140736511610752 13780596 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2645/statm: 327313 140619 932 2943 0 324207 0
[pid=2645/tid=2646] ppid=2642 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36477667 1340674048 140619 33554432000 4194304 16246674 140736511628832 140374718786800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36477667 1340674048 140619 33554432000 4194304 16246674 140736511628832 140374630706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36477667 1340674048 140619 33554432000 4194304 16246674 140736511628832 140374620232880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1309252

[startup+12.7004 s]
/proc/loadavg: 2.24 2.27 2.11 4/181 2649
/proc/meminfo: memFree=28636120/32872528 swapFree=1316768/1463936
[pid=2645] ppid=2642 vsize=1310276 CPUtime=12.69 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1219 0 -1 4202496 140056 0 0 0 1248 21 0 0 20 0 4 0 36477666 1341722624 140875 33554432000 4194304 16246674 140736511628832 140736511628008 13950230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2645/statm: 327569 140875 932 2943 0 324463 0
[pid=2645/tid=2646] ppid=2642 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36477667 1341722624 140875 33554432000 4194304 16246674 140736511628832 140374718786800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36477667 1341722624 140875 33554432000 4194304 16246674 140736511628832 140374630706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36477667 1341722624 140875 33554432000 4194304 16246674 140736511628832 140374620232880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1310276

[startup+25.5005 s]
/proc/loadavg: 2.20 2.26 2.11 3/181 2649
/proc/meminfo: memFree=28603488/32872528 swapFree=1316768/1463936
[pid=2645] ppid=2642 vsize=1311300 CPUtime=25.48 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1219 0 -1 4202496 140197 0 0 0 2527 21 0 0 20 0 4 0 36477666 1342771200 141016 33554432000 4194304 16246674 140736511628832 140736511610752 5676564 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2645/statm: 327825 141016 932 2943 0 324719 0
[pid=2645/tid=2646] ppid=2642 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36477667 1342771200 141016 33554432000 4194304 16246674 140736511628832 140374718786800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36477667 1342771200 141016 33554432000 4194304 16246674 140736511628832 140374630706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36477667 1342771200 141016 33554432000 4194304 16246674 140736511628832 140374620232880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1311300

[startup+51.1005 s]
/proc/loadavg: 2.21 2.25 2.11 3/181 2649
/proc/meminfo: memFree=28569736/32872528 swapFree=1316768/1463936
[pid=2645] ppid=2642 vsize=1311300 CPUtime=51.08 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1219 0 -1 4202496 140312 0 0 0 5086 22 0 0 20 0 4 0 36477666 1342771200 141131 33554432000 4194304 16246674 140736511628832 140736511610752 5823615 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2645/statm: 327825 141131 932 2943 0 324719 0
[pid=2645/tid=2646] ppid=2642 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36477667 1342771200 141131 33554432000 4194304 16246674 140736511628832 140374718786800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36477667 1342771200 141131 33554432000 4194304 16246674 140736511628832 140374630706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36477667 1342771200 141131 33554432000 4194304 16246674 140736511628832 140374620232880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1311300

[startup+102.301 s]
/proc/loadavg: 2.33 2.28 2.12 4/181 2650
/proc/meminfo: memFree=28471612/32872528 swapFree=1316768/1463936
[pid=2645] ppid=2642 vsize=1314372 CPUtime=102.28 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1219 0 -1 4202496 141080 0 0 0 10201 27 0 0 20 0 4 0 36477666 1345916928 141899 33554432000 4194304 16246674 140736511628832 140736511628008 8224703 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2645/statm: 328593 141899 932 2943 0 325487 0
[pid=2645/tid=2646] ppid=2642 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36477667 1345916928 141899 33554432000 4194304 16246674 140736511628832 140374718786800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36477667 1345916928 141899 33554432000 4194304 16246674 140736511628832 140374630706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36477667 1345916928 141899 33554432000 4194304 16246674 140736511628832 140374620232880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1314372


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

/proc/2645/stat : 2645 (toysat) R 2642 2645 1219 0 -1 4202496 141081 0 0 0 22190 36 0 0 20 0 4 0 36477666 1345916928 158878 33554432000 4194304 16246674 140736511628832 140736511628008 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2645/statm: 328593 158878 932 2943 0 325487 0
[pid=2645/tid=2646] ppid=2642 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36477667 1345916928 158878 33554432000 4194304 16246674 140736511628832 140374718786800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36477667 1345916928 158878 33554432000 4194304 16246674 140736511628832 140374630706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36477667 1345916928 158878 33554432000 4194304 16246674 140736511628832 140374620232880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1314372

[startup+282.3 s]
/proc/loadavg: 2.27 2.26 2.14 4/181 2751
/proc/meminfo: memFree=28152604/32872528 swapFree=1316768/1463936
[pid=2645] ppid=2642 vsize=1316420 CPUtime=282.24 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1219 0 -1 4202496 141593 0 0 0 28184 40 0 0 20 0 4 0 36477666 1348014080 183582 33554432000 4194304 16246674 140736511628832 140736511628008 5823835 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2645/statm: 329105 183582 932 2943 0 325999 0
[pid=2645/tid=2646] ppid=2642 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36477667 1348014080 183582 33554432000 4194304 16246674 140736511628832 140374718786800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36477667 1348014080 183582 33554432000 4194304 16246674 140736511628832 140374630706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36477667 1348014080 183582 33554432000 4194304 16246674 140736511628832 140374620232880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1316420

[startup+342.301 s]
/proc/loadavg: 2.24 2.26 2.14 3/181 2752
/proc/meminfo: memFree=28054908/32872528 swapFree=1316768/1463936
[pid=2645] ppid=2642 vsize=1316420 CPUtime=342.24 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1219 0 -1 4202496 141593 0 0 0 34177 47 0 0 20 0 4 0 36477666 1348014080 207774 33554432000 4194304 16246674 140736511628832 140736511628008 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2645/statm: 329105 207774 932 2943 0 325999 0
[pid=2645/tid=2646] ppid=2642 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36477667 1348014080 207774 33554432000 4194304 16246674 140736511628832 140374718786800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36477667 1348014080 207774 33554432000 4194304 16246674 140736511628832 140374630706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36477667 1348014080 207774 33554432000 4194304 16246674 140736511628832 140374620232880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1316420

[startup+402.3 s]
/proc/loadavg: 2.13 2.22 2.13 4/181 2753
/proc/meminfo: memFree=27957256/32872528 swapFree=1316768/1463936
[pid=2645] ppid=2642 vsize=1316420 CPUtime=402.23 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1219 0 -1 4202496 141593 0 0 0 40170 53 0 0 20 0 4 0 36477666 1348014080 231966 33554432000 4194304 16246674 140736511628832 140736511628008 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2645/statm: 329105 231966 932 2943 0 325999 0
[pid=2645/tid=2646] ppid=2642 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36477667 1348014080 231966 33554432000 4194304 16246674 140736511628832 140374718786800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36477667 1348014080 231966 33554432000 4194304 16246674 140736511628832 140374630706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36477667 1348014080 231966 33554432000 4194304 16246674 140736511628832 140374620232880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1316420

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

[startup+409.6 s]
/proc/loadavg: 2.12 2.22 2.13 4/181 2754
/proc/meminfo: memFree=27784520/32872528 swapFree=1316768/1463936
[pid=2645] ppid=2642 vsize=1316420 CPUtime=409.53 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1219 0 -1 4202496 180772 0 0 0 40895 58 0 0 20 0 4 0 36477666 1348014080 271145 33554432000 4194304 16246674 140736511628832 140736511611832 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2645/statm: 329105 271145 940 2943 0 325999 0
[pid=2645/tid=2646] ppid=2642 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36477667 1348014080 271145 33554432000 4194304 16246674 140736511628832 140374718786800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36477667 1348014080 271145 33554432000 4194304 16246674 140736511628832 140374630706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36477667 1348014080 271145 33554432000 4194304 16246674 140736511628832 140374620232880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 409.53
Current children cumulated vsize (KiB) 1316420

[startup+416 s]
/proc/loadavg: 2.11 2.21 2.13 4/181 2754
/proc/meminfo: memFree=27784448/32872528 swapFree=1316768/1463936
[pid=2645] ppid=2642 vsize=1316420 CPUtime=415.93 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1219 0 -1 4202496 180774 0 0 0 41535 58 0 0 20 0 4 0 36477666 1348014080 271145 33554432000 4194304 16246674 140736511628832 140736511610752 13927568 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2645/statm: 329105 271145 940 2943 0 325999 0
[pid=2645/tid=2646] ppid=2642 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36477667 1348014080 271145 33554432000 4194304 16246674 140736511628832 140374718786800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36477667 1348014080 271145 33554432000 4194304 16246674 140736511628832 140374630706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36477667 1348014080 271145 33554432000 4194304 16246674 140736511628832 140374620232880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 415.93
Current children cumulated vsize (KiB) 1316420

[startup+419.207 s]
/proc/loadavg: 2.18 2.23 2.14 5/181 2754
/proc/meminfo: memFree=27784496/32872528 swapFree=1316768/1463936
[pid=2645] ppid=2642 vsize=1316420 CPUtime=419.13 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1219 0 -1 4202496 180774 0 0 0 41855 58 0 0 20 0 4 0 36477666 1348014080 271145 33554432000 4194304 16246674 140736511628832 140736511610752 5808428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2645/statm: 329105 271145 940 2943 0 325999 0
[pid=2645/tid=2646] ppid=2642 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36477667 1348014080 271145 33554432000 4194304 16246674 140736511628832 140374718786800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36477667 1348014080 271145 33554432000 4194304 16246674 140736511628832 140374630706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36477667 1348014080 271145 33554432000 4194304 16246674 140736511628832 140374620232880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 419.13
Current children cumulated vsize (KiB) 1316420

[startup+420 s]
/proc/loadavg: 2.18 2.23 2.14 5/181 2754
/proc/meminfo: memFree=27784496/32872528 swapFree=1316768/1463936
[pid=2645] ppid=2642 vsize=1316420 CPUtime=419.93 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1219 0 -1 4202496 180774 0 0 0 41935 58 0 0 20 0 4 0 36477666 1348014080 271145 33554432000 4194304 16246674 140736511628832 140736511610752 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2645/statm: 329105 271145 940 2943 0 325999 0
[pid=2645/tid=2646] ppid=2642 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36477667 1348014080 271145 33554432000 4194304 16246674 140736511628832 140374718786800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36477667 1348014080 271145 33554432000 4194304 16246674 140736511628832 140374630706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36477667 1348014080 271145 33554432000 4194304 16246674 140736511628832 140374620232880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 419.93
Current children cumulated vsize (KiB) 1316420

[startup+420.8 s]
/proc/loadavg: 2.18 2.23 2.14 5/181 2754
/proc/meminfo: memFree=27784620/32872528 swapFree=1316768/1463936
[pid=2645] ppid=2642 vsize=1325636 CPUtime=420.72 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1219 0 -1 4202496 182870 0 0 0 42014 58 0 0 20 0 4 0 36477666 1357451264 273241 33554432000 4194304 16246674 140736511628832 140736511611832 5823534 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2645/statm: 331409 273241 940 2943 0 328303 0
[pid=2645/tid=2646] ppid=2642 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36477667 1357451264 273241 33554432000 4194304 16246674 140736511628832 140374718786800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36477667 1357451264 273241 33554432000 4194304 16246674 140736511628832 140374630706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36477667 1357451264 273241 33554432000 4194304 16246674 140736511628832 140374620232880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 420.72
Current children cumulated vsize (KiB) 1325636

[startup+421 s]
/proc/loadavg: 2.18 2.23 2.14 5/181 2754
/proc/meminfo: memFree=27784620/32872528 swapFree=1316768/1463936
[pid=2645] ppid=2642 vsize=1325636 CPUtime=420.92 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1219 0 -1 4202496 182870 0 0 0 42034 58 0 0 20 0 4 0 36477666 1357451264 273241 33554432000 4194304 16246674 140736511628832 140736511611832 5522977 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2645/statm: 331409 273241 940 2943 0 328303 0
[pid=2645/tid=2646] ppid=2642 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36477667 1357451264 273241 33554432000 4194304 16246674 140736511628832 140374718786800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36477667 1357451264 273241 33554432000 4194304 16246674 140736511628832 140374630706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36477667 1357451264 273241 33554432000 4194304 16246674 140736511628832 140374620232880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 420.92
Current children cumulated vsize (KiB) 1325636

[startup+421.1 s]
/proc/loadavg: 2.18 2.23 2.14 5/181 2754
/proc/meminfo: memFree=27784620/32872528 swapFree=1316768/1463936
[pid=2645] ppid=2642 vsize=1325636 CPUtime=421.02 cores=1,3,5,7
/proc/2645/stat : 2645 (toysat) R 2642 2645 1219 0 -1 4202496 182870 0 0 0 42044 58 0 0 20 0 4 0 36477666 1357451264 273241 33554432000 4194304 16246674 140736511628832 140736511610752 5823512 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2645/statm: 331409 273241 940 2943 0 328303 0
[pid=2645/tid=2646] ppid=2642 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2646/stat : 2646 (toysat) S 2642 2645 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36477667 1357451264 273241 33554432000 4194304 16246674 140736511628832 140374718786800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2645/tid=2647] ppid=2642 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2647/stat : 2647 (toysat) S 2642 2645 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36477667 1357451264 273241 33554432000 4194304 16246674 140736511628832 140374630706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2645/tid=2648] ppid=2642 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/2645/task/2648/stat : 2648 (toysat) S 2642 2645 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36477667 1357451264 273241 33554432000 4194304 16246674 140736511628832 140374620232880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 421.02
Current children cumulated vsize (KiB) 1325636

Child status: 0
Real time (s): 421.173
CPU time (s): 421.106
CPU user time (s): 420.476
CPU system time (s): 0.629904
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 1325636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 420.476
system time used= 0.629904
maximum resident set size= 1092972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 182873
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= 21
involuntary context switches= 435

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.07684 second user time and 1.62075 second system time

The end

Launcher Data 

Begin job on node121 at 2016-06-19 15:51:47
IDJOB=4109878
IDBENCH=78953
IDSOLVER=2553
FILE ID=node121/4109878-1466344307
RUNJOBID= node121-1466341819-1236
PBS_JOBID= 19922032
Free space on /tmp= 71704 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900582300--soft-33-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109878-1466344307/watcher-4109878-1466344307 -o /tmp/evaluation-result-4109878-1466344307/solver-4109878-1466344307 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466341819-1236 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109878-1466344307.wbo

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

MD5SUM BENCH= 9fdf6a24194e0c0ae14212c193866ebe
RANDOM SEED=752367557

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.691
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:        29204804 kB
Buffers:          203324 kB
Cached:           483212 kB
SwapCached:         1944 kB
Active:           953864 kB
Inactive:         484960 kB
Active(anon):     751340 kB
Inactive(anon):     2900 kB
Active(file):     202524 kB
Inactive(file):   482060 kB
Unevictable:     1463936 kB
Mlocked:         1316768 kB
SwapTotal:      67108856 kB
SwapFree:       67101196 kB
Dirty:             16220 kB
Writeback:             0 kB
AnonPages:       2214392 kB
Mapped:            12564 kB
Shmem:                 0 kB
Slab:             628808 kB
SReclaimable:      72940 kB
SUnreclaim:       555868 kB
KernelStack:        1504 kB
PageTables:         8640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2678780 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    149504 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= 71688 MiB
End job on node121 at 2016-06-19 15:58:49