Trace number 4078843

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-02SAT 238.825 238.865

General information on the benchmark

Name/DEC-SMALLINT-LIN/heinz/
normalized-neos-849702.opb
MD5SUM1d9496473cab6648d4a43b81cc40ffb9
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark20.7
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1737
Total number of constraints1041
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)954
Number of constraints which are nor clauses,nor cardinality constraints87
Minimum length of a constraint9
Maximum length of a constraint32
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 34
Number of bits of the biggest sum of numbers6
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-07T07:28:21+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-4078843-1465277301.opb"]
0.00/0.01	c use --random-gen="1192705717 3220286064 1027919884 94582844 572247584 174085909 2314097489 808662133 1438835569 980428810 2258179176 3404857954 1656150077 1787536071 2016151857 1604513237 3031348721 545990149 1858670400 1013752409 2171153157 3124964694 526022204 3545534616 3330979368 793234301 4179475855 3163945267 2631830089 3461856084 984488471 1111199853 2278022379 303423478 4257871185 1059484933 900803298 3438625823 2341977864 1247823189 3745995570 3680218299 2619181023 1393342757 2411070170 1329620486 3072924406 1629972922 2109157104 4094112515 3585975605 3159204689 2220720976 506432437 2830412792 113201475 893093884 2981524543 2332085284 3788986481 2372300442 855608270 3394757094 121407127 574187657 558715659 4000367876 1945847831 3361874301 1367686713 311427783 2386921347 2630440327 61982546 1651051339 2611119513 1484956712 2354849158 1874856740 1265638415 2047017236 1885765418 3173826332 283400848 3500259462 4135753250 3904954783 1906064206 1621046129 3740549030 2305802087 2131169724 3204071132 3393788944 3091328755 3967871669 1329054503 1592090005 4149477149 2688401833 755407576 1396082566 2722689614 3781654620 1671848022 376002881 996676355 1764098635 2634022029 2139463149 199711454 1830436178 1180781348 2767736697 3759395505 540817006 1159940918 1324129999 221100588 3304225718 1971453962 180572911 2799819167 1367007102 3847130957 1024393923 2541534189 3889783974 3601944990 1180178467 458281999 1481862560 4131964275 616710409 3157354664 3597224320 2205625228 1343216498 221792843 319308437 2516356232 315392440 3702981069 1554282354 2095480071 166831463 2319973984 1896791498 3714284979 1210534051 2010065070 3166581552 2482914770 1414710934 1162915609 1403749436 3528947098 3371211408 1746674106 2846886940 3508932576 4239217703 2211065143 3822002424 409388886 630189686 1905126990 1335414027 3926715694 2747190944 1785240383 2889292959 2789818718 2286047192 3792985276 2995284312 1746531799 3794083232 644115101 516152069 321896231 1246690099 1581980344 95103936 3438480728 3761988867 4112648470 3804136592 1401934940 1815963882 1681337891 2644134955 2477454302 374301240 1174715590 995092807 3062446337 1608997582 4213660692 3797067144 4067501612 2220275318 2349208030 3946995642 4062895001 4225983560 4158200207 2955796008 218482829 748156546 2735168970 4283378995 2830011086 3847297719 4091474439 2015018969 4242708761 1713505830 1362562050 3567652220 2126988728 785471239 1880371577 3975829275 1836258551 1367242836 3475067881 577909727 189916822 2162255537 2835940841 372685527 216849853 2575353858 1357426265 562792708 413811680 3251189871 502388540 867447516 3524683955 2943505685 2493471045 2788605716 3687522723 1824651162 3359723063 1951225424 3016706438 4201038032 3411199691 19107486 3010671418 3553091521 3209391067 3745525541 255 362436" option to reproduce the execution
0.00/0.05	c #vars 1737
0.00/0.05	c #constraints 1041
0.09/0.11	c Solving starts ...
0.09/0.11	c ============================[ Search Statistics ]============================
0.09/0.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.11	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.11	c =============================================================================
0.09/0.12	c  0.0s |       0 |        0 |        0 |     1045      0 |        0 |        0
0.09/0.14	c  0.0s |       1 |      264 |      100 |     1045      0 |        0 |        0
0.19/0.21	c  0.1s |       2 |      664 |      250 |     1150      0 |        0 |        0
0.19/0.29	c  0.2s |       3 |     1710 |      475 |     1265      0 |        0 |        0
0.39/0.46	c  0.3s |       4 |     3581 |      813 |     1392      0 |        0 |        0
0.59/0.66	c  0.5s |       5 |     5554 |     1320 |     1532      0 |        0 |        0
0.89/0.95	c  0.8s |       6 |     9389 |     2081 |     1855      0 |        0 |        0
1.29/1.36	c  1.2s |       7 |    14795 |     3223 |     2041      1 |        0 |        0
1.89/1.97	c  1.9s |       8 |    22562 |     4936 |     2246      3 |        1 |        0
2.79/2.87	c  2.8s |       9 |    36301 |     7506 |     2471      5 |        4 |        0
4.29/4.38	c  4.3s |      10 |    55075 |    11361 |     2719      7 |        5 |        0
6.39/6.40	c  6.3s |      10 |    79360 |    16561 |     2719     10 |        8 |        0
6.59/6.64	c  6.5s |      11 |    82083 |    17144 |     2991     10 |        8 |        0
8.59/8.65	c  8.5s |      11 |   104342 |    22244 |     2991     13 |       15 |        0
10.09/10.10	c 10.0s |      12 |   119969 |    25819 |     3291     15 |       15 |        0
12.09/12.11	c 12.0s |      12 |   140255 |    30219 |     3291     17 |       17 |        0
14.08/14.15	c 14.0s |      12 |   158442 |    34819 |     3291     19 |       20 |        0
16.08/16.18	c 16.1s |      12 |   168680 |    38019 |     3291     21 |       20 |        0
16.98/17.06	c 16.9s |      13 |   170367 |    38832 |     3621     21 |       20 |        0
18.98/19.07	c 19.0s |      13 |   190643 |    43332 |     3621     23 |       21 |        0
21.08/21.10	c 21.0s |      13 |   214984 |    48432 |     3621     26 |       22 |        0
23.09/23.12	c 23.0s |      13 |   223891 |    51432 |     3621     27 |       22 |        0
25.08/25.13	c 25.0s |      13 |   227377 |    53032 |     3621     28 |       22 |        0
27.08/27.11	c 27.0s |      14 |   251558 |    58352 |     3984     30 |       23 |        0
29.08/29.12	c 29.0s |      14 |   272398 |    62652 |     3984     32 |       23 |        0
31.08/31.14	c 31.0s |      14 |   288676 |    66752 |     3984     33 |       23 |        0
33.09/33.16	c 33.0s |      14 |   304688 |    70752 |     3984     35 |       23 |        0
35.08/35.20	c 35.1s |      14 |   311511 |    73252 |     3984     36 |       23 |        0
37.18/37.25	c 37.1s |      14 |   316658 |    75452 |     3984     37 |       23 |        0
39.28/39.31	c 39.2s |      14 |   327300 |    79152 |     3984     39 |       23 |        0
41.28/41.39	c 41.3s |      14 |   332019 |    82052 |     3984     40 |       23 |        0
43.38/43.43	c 43.3s |      14 |   339671 |    84552 |     3984     41 |       23 |        0
45.28/45.36	c 45.2s |      15 |   349100 |    87632 |     4383     42 |       23 |        0
47.38/47.41	c 47.3s |      15 |   362003 |    91332 |     4383     43 |       23 |        0
49.37/49.46	c 49.3s |      15 |   382750 |    95732 |     4383     45 |       23 |        0
51.37/51.48	c 51.4s |      15 |   400025 |   100132 |     4383     47 |       23 |        0
53.37/53.49	c 53.4s |      15 |   413239 |   103532 |     4383     48 |       23 |        0
55.47/55.52	c 55.4s |      15 |   432051 |   107932 |     4383     50 |       23 |        0
57.47/57.56	c 57.4s |      15 |   445408 |   111932 |     4383     51 |       23 |        0
59.48/59.56	c 59.4s |      15 |   457093 |   115132 |     4383     52 |       23 |        0
61.47/61.59	c 61.5s |      15 |   474943 |   119532 |     4383     54 |       23 |        0
63.57/63.64	c 63.5s |      15 |   490007 |   123832 |     4383     56 |       23 |        0
65.67/65.71	c 65.6s |      15 |   500309 |   126932 |     4383     57 |       23 |        0
67.67/67.76	c 67.6s |      15 |   515744 |   131132 |     4822     59 |       23 |        0
67.87/67.98	c 67.9s |      16 |   517507 |   131552 |     4822     59 |       23 |        0
69.87/69.99	c 69.9s |      16 |   535598 |   136052 |     4822     61 |       23 |        0
71.97/72.00	c 71.9s |      16 |   553273 |   140152 |     4822     62 |       23 |        0
73.97/74.03	c 73.9s |      16 |   571337 |   144452 |     4822     64 |       24 |        0
75.98/76.06	c 75.9s |      16 |   593499 |   149152 |     4822     65 |       24 |        0
77.97/78.08	c 78.0s |      16 |   608452 |   153152 |     4822     67 |       24 |        0
80.07/80.11	c 80.0s |      16 |   624236 |   157752 |     4822     68 |       24 |        0
82.07/82.19	c 82.1s |      16 |   633702 |   160652 |     4822     69 |       24 |        0
84.18/84.23	c 84.1s |      16 |   638731 |   162852 |     4822     70 |       24 |        0
86.18/86.25	c 86.1s |      16 |   657173 |   167252 |     4822     72 |       24 |        0
88.18/88.25	c 88.1s |      16 |   677161 |   171752 |     4822     73 |       24 |        0
90.18/90.28	c 90.2s |      16 |   694873 |   176352 |     4822     75 |       24 |        0
92.18/92.29	c 92.2s |      16 |   705460 |   179352 |     4822     76 |       24 |        0
94.27/94.33	c 94.2s |      16 |   720769 |   183052 |     4822     77 |       24 |        0
96.27/96.34	c 96.2s |      16 |   738520 |   186752 |     4822     79 |       24 |        0
98.27/98.37	c 98.3s |      16 |   754007 |   190852 |     4822     80 |       24 |        0
100.37/100.44	c  100s |      16 |   772013 |   195152 |     4822     82 |       24 |        0
101.57/101.63	c  101s |      17 |   781145 |   197432 |     5305     82 |       24 |        0
103.57/103.66	c  103s |      17 |   797580 |   201432 |     5305     84 |       24 |        0
105.58/105.68	c  105s |      17 |   812794 |   205132 |     5305     85 |       24 |        0
107.67/107.75	c  107s |      17 |   824897 |   208732 |     5305     86 |       24 |        0
109.67/109.75	c  109s |      17 |   836749 |   212332 |     5305     87 |       24 |        0
111.67/111.77	c  111s |      17 |   856269 |   216632 |     5305     89 |       24 |        0
113.67/113.77	c  113s |      17 |   868516 |   220532 |     5305     90 |       24 |        0
115.77/115.81	c  115s |      17 |   879180 |   224032 |     5305     91 |       24 |        0
117.78/117.84	c  117s |      17 |   886377 |   226932 |     5305     92 |       24 |        0
119.77/119.88	c  119s |      17 |   898914 |   231032 |     5305     93 |       24 |        0
121.87/121.90	c  121s |      17 |   906805 |   233932 |     5305     94 |       24 |        0
123.87/123.96	c  123s |      17 |   914324 |   236532 |     5305     95 |       24 |        0
125.87/125.99	c  125s |      17 |   923887 |   240032 |     5305     96 |       24 |        0
127.87/127.99	c  127s |      17 |   931504 |   242932 |     5305     97 |       24 |        0
129.97/130.02	c  129s |      17 |   949443 |   247032 |     5305     99 |       24 |        0
131.97/132.03	c  131s |      17 |   966285 |   251432 |     5305    100 |       24 |        0
133.96/134.05	c  133s |      17 |   976446 |   254532 |     5305    101 |       24 |        0
135.96/136.06	c  135s |      17 |   994929 |   258632 |     5305    103 |       24 |        0
137.96/138.06	c  137s |      17 |  1007537 |   262232 |     5305    104 |       24 |        0
139.96/140.07	c  139s |      17 |  1022385 |   265932 |     5305    105 |       24 |        0
141.97/142.07	c  141s |      17 |  1038157 |   270132 |     5305    106 |       24 |        0
144.07/144.11	c  143s |      17 |  1048287 |   273732 |     5305    107 |       24 |        0
146.06/146.13	c  146s |      17 |  1067284 |   278332 |     5305    109 |       24 |        0
148.06/148.18	c  148s |      17 |  1080925 |   282032 |     5305    110 |       24 |        0
150.16/150.21	c  150s |      17 |  1097163 |   286032 |     5305    112 |       24 |        0
152.16/152.21	c  152s |      17 |  1109200 |   289632 |     5305    113 |       24 |        0
154.16/154.24	c  154s |      17 |  1126031 |   293732 |     5305    114 |       24 |        0
155.46/155.53	c  155s |      18 |  1137013 |   296252 |     5836    115 |       24 |        0
157.56/157.61	c  157s |      18 |  1151921 |   300052 |     5836    116 |       24 |        0
159.56/159.65	c  159s |      18 |  1168436 |   304152 |     5836    117 |       24 |        0
161.56/161.67	c  161s |      18 |  1187212 |   308452 |     5836    118 |       24 |        0
163.66/163.71	c  163s |      18 |  1203723 |   312452 |     5836    120 |       24 |        0
165.66/165.72	c  165s |      18 |  1220796 |   316552 |     5836    121 |       24 |        0
167.67/167.75	c  167s |      18 |  1236946 |   320352 |     5836    122 |       24 |        0
169.67/169.75	c  169s |      18 |  1250402 |   323752 |     5836    123 |       24 |        0
171.67/171.78	c  171s |      18 |  1260951 |   326952 |     5836    124 |       24 |        0
173.66/173.79	c  173s |      18 |  1273692 |   330352 |     5836    125 |       24 |        0
175.76/175.82	c  175s |      18 |  1286776 |   333752 |     5836    126 |       24 |        0
177.76/177.85	c  177s |      18 |  1301830 |   338152 |     5836    127 |       24 |        0
179.76/179.85	c  179s |      18 |  1316335 |   342052 |     5836    129 |       24 |        0
181.86/181.93	c  181s |      18 |  1328561 |   345352 |     5836    130 |       24 |        0
183.86/183.98	c  183s |      18 |  1342899 |   349352 |     5836    131 |       24 |        0
185.97/186.04	c  185s |      18 |  1350872 |   353252 |     5836    132 |       24 |        0
187.96/188.10	c  187s |      18 |  1354785 |   356152 |     5836    133 |       24 |        0
190.06/190.16	c  190s |      18 |  1357488 |   358452 |     5836    134 |       24 |        0
192.16/192.22	c  192s |      18 |  1360743 |   361152 |     5836    134 |       24 |        0
194.16/194.26	c  194s |      18 |  1363854 |   363752 |     5836    135 |       24 |        0
196.16/196.27	c  196s |      18 |  1366661 |   366152 |     5836    136 |       24 |        0
198.16/198.27	c  198s |      18 |  1369745 |   368552 |     5836    137 |       24 |        0
200.36/200.40	c  200s |      18 |  1372951 |   371252 |     5836    138 |       24 |        0
202.36/202.48	c  202s |      18 |  1375669 |   373652 |     5836    138 |       24 |        0
204.46/204.50	c  204s |      18 |  1385738 |   377352 |     5836    139 |       24 |        0
206.46/206.59	c  206s |      18 |  1390940 |   379852 |     5836    140 |       24 |        0
208.55/208.69	c  208s |      18 |  1393601 |   381252 |     5836    140 |       24 |        0
210.65/210.75	c  210s |      18 |  1395310 |   382252 |     5836    141 |       24 |        0
212.85/212.94	c  212s |      18 |  1398289 |   383652 |     5836    141 |       24 |        0
215.05/215.13	c  215s |      18 |  1399973 |   384752 |     5836    141 |       24 |        0
217.25/217.36	c  217s |      18 |  1401396 |   385652 |     5836    142 |       24 |        0
219.25/219.37	c  219s |      18 |  1402589 |   386452 |     5836    142 |       24 |        0
221.35/221.44	c  221s |      18 |  1403675 |   387152 |     5836    142 |       24 |        0
223.36/223.47	c  223s |      18 |  1405069 |   387852 |     5836    142 |       24 |        0
225.45/225.52	c  225s |      18 |  1406260 |   388652 |     5836    143 |       24 |        0
227.56/227.60	c  227s |      18 |  1407303 |   389352 |     5836    143 |       24 |        0
229.76/229.80	c  229s |      18 |  1408223 |   390052 |     5836    143 |       24 |        0
231.85/231.97	c  231s |      18 |  1409142 |   390752 |     5836    143 |       24 |        0
233.95/234.07	c  233s |      18 |  1410008 |   391352 |     5836    143 |       24 |        0
236.05/236.17	c  236s |      18 |  1411307 |   392252 |     5836    144 |       24 |        0
238.15/238.21	c  238s |      18 |  1413919 |   393552 |     5836    144 |       24 |        0
238.66/238.80	c  238s |      18 |  1414423 |   393855 |     5836    144 |       24 |        0
238.66/238.80	c #cpu_time = 238.055s
238.66/238.80	c #wall_clock_time = 238.682s
238.66/238.80	c #decision = 1414423
238.66/238.80	c #random_decision = 4428
238.66/238.80	c #conflict = 393855
238.66/238.80	c #restart = 18
238.66/238.80	s SATISFIABLE
238.66/238.80	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
238.66/238.80	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20
238.66/238.80	v -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30
238.66/238.80	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
238.66/238.80	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
238.66/238.80	v -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60
238.66/238.80	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
238.66/238.80	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
238.66/238.80	v -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90
238.66/238.80	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
238.66/238.80	v -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 -x110
238.66/238.80	v -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120
238.66/238.80	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
238.66/238.80	v -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
238.66/238.80	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
238.66/238.80	v -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160
238.66/238.80	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
238.66/238.80	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
238.66/238.80	v x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
238.66/238.80	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
238.66/238.80	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
238.66/238.80	v -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220
238.66/238.80	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
238.66/238.80	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240
238.66/238.80	v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
238.66/238.80	v -x251 x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260
238.66/238.80	v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 x270
238.66/238.80	v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280
238.66/238.80	v -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290
238.66/238.80	v -x291 x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300
238.66/238.80	v -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310
238.66/238.80	v -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320
238.66/238.80	v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330
238.66/238.80	v -x331 -x332 x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340
238.66/238.80	v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350
238.66/238.80	v -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 x360
238.66/238.80	v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370
238.66/238.80	v -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380
238.66/238.80	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390
238.66/238.80	v -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400
238.66/238.80	v x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410
238.66/238.80	v -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
238.66/238.80	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430
238.66/238.80	v -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
238.66/238.80	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 -x450
238.66/238.80	v -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460
238.66/238.80	v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470
238.66/238.80	v -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
238.66/238.80	v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490
238.66/238.80	v -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 -x500
238.66/238.80	v -x501 -x502 x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510
238.66/238.80	v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520
238.66/238.80	v x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530
238.66/238.80	v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540
238.66/238.80	v -x541 -x542 -x543 -x544 -x545 -x546 x547 -x548 -x549 -x550
238.66/238.80	v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560
238.66/238.80	v -x561 -x562 -x563 -x564 -x565 x566 -x567 -x568 -x569 -x570
238.66/238.80	v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580
238.66/238.80	v -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590
238.66/238.80	v -x591 -x592 -x593 -x594 -x595 -x596 x597 -x598 -x599 -x600
238.66/238.80	v -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 x610
238.66/238.80	v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620
238.66/238.80	v -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630
238.66/238.80	v -x631 x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640
238.66/238.80	v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
238.66/238.80	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660
238.66/238.80	v -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 -x669 -x670
238.66/238.80	v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680
238.66/238.80	v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 -x690
238.66/238.80	v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 x699 -x700
238.66/238.80	v -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710
238.66/238.80	v -x711 -x712 -x713 -x714 -x715 -x716 x717 -x718 -x719 -x720
238.66/238.80	v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730
238.66/238.80	v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740
238.66/238.80	v -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 -x749 -x750
238.66/238.80	v -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760
238.66/238.80	v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770
238.66/238.80	v -x771 -x772 -x773 -x774 -x775 x776 -x777 -x778 -x779 -x780
238.66/238.80	v -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790
238.66/238.80	v -x791 -x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800
238.66/238.80	v -x801 -x802 -x803 -x804 -x805 -x806 x807 -x808 -x809 -x810
238.66/238.80	v -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820
238.66/238.80	v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830
238.66/238.80	v -x831 -x832 -x833 -x834 -x835 -x836 -x837 x838 -x839 -x840
238.66/238.80	v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850
238.66/238.80	v -x851 -x852 -x853 x854 -x855 -x856 -x857 -x858 -x859 -x860
238.66/238.80	v x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870
238.66/238.80	v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880
238.66/238.80	v -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890
238.66/238.80	v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 x900
238.66/238.80	v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 x909 -x910
238.66/238.80	v -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920
238.66/238.80	v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930
238.66/238.80	v -x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 -x939 -x940
238.66/238.80	v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 x950
238.66/238.80	v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960
238.66/238.80	v -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970
238.66/238.80	v -x971 -x972 -x973 -x974 -x975 -x976 x977 -x978 -x979 -x980
238.66/238.80	v -x981 -x982 -x983 -x984 -x985 -x986 -x987 x988 -x989 -x990
238.66/238.80	v -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000
238.66/238.80	v -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010
238.66/238.80	v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020
238.66/238.80	v x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030
238.66/238.80	v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
238.66/238.80	v -x1041 -x1042 -x1043 -x1044 x1045 -x1046 -x1047 -x1048 -x1049 -x1050
238.66/238.80	v -x1051 x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060
238.66/238.80	v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070
238.66/238.80	v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080
238.66/238.80	v -x1081 -x1082 -x1083 -x1084 x1085 -x1086 -x1087 -x1088 -x1089 -x1090
238.66/238.80	v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100
238.66/238.80	v -x1101 -x1102 -x1103 -x1104 x1105 -x1106 -x1107 -x1108 -x1109 -x1110
238.66/238.80	v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120
238.66/238.80	v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 x1130
238.66/238.80	v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140
238.66/238.80	v -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150
238.66/238.80	v -x1151 -x1152 -x1153 x1154 -x1155 -x1156 -x1157 x1158 -x1159 -x1160
238.66/238.80	v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170
238.66/238.80	v -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180
238.66/238.80	v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190
238.66/238.80	v -x1191 -x1192 -x1193 x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200
238.66/238.80	v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210
238.66/238.80	v -x1211 -x1212 x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220
238.66/238.80	v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230
238.66/238.80	v -x1231 -x1232 -x1233 -x1234 -x1235 x1236 -x1237 -x1238 -x1239 -x1240
238.66/238.80	v -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 x1248 -x1249 -x1250
238.66/238.80	v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260
238.66/238.80	v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 x1269 -x1270
238.66/238.80	v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280
238.66/238.80	v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 x1289 -x1290
238.66/238.80	v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300
238.66/238.80	v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310
238.66/238.80	v -x1311 -x1312 -x1313 -x1314 -x1315 x1316 -x1317 -x1318 -x1319 -x1320
238.66/238.80	v -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330
238.66/238.80	v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 x1339 -x1340
238.66/238.80	v -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350
238.66/238.80	v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 x1357 -x1358 -x1359 -x1360
238.66/238.80	v -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370
238.66/238.80	v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380
238.66/238.80	v -x1381 x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390
238.66/238.80	v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400
238.66/238.80	v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 x1408 -x1409 -x1410
238.66/238.80	v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420
238.66/238.80	v -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430
238.66/238.80	v -x1431 -x1432 -x1433 x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440
238.66/238.80	v -x1441 -x1442 x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450
238.66/238.80	v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 x1459 -x1460
238.66/238.80	v -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470
238.66/238.80	v -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480
238.66/238.80	v x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490
238.66/238.80	v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x1500
238.66/238.80	v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510
238.66/238.80	v -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520
238.66/238.80	v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530
238.66/238.80	v -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540
238.66/238.80	v -x1541 x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550
238.66/238.80	v x1551 x1552 x1553 -x1554 -x1555 -x1556 x1557 x1558 -x1559 -x1560
238.66/238.80	v -x1561 -x1562 -x1563 x1564 -x1565 x1566 -x1567 -x1568 -x1569 -x1570
238.66/238.80	v x1571 -x1572 -x1573 x1574 -x1575 -x1576 x1577 -x1578 x1579 x1580
238.66/238.80	v -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590
238.66/238.80	v -x1591 -x1592 -x1593 -x1594 x1595 x1596 -x1597 x1598 x1599 -x1600
238.66/238.80	v -x1601 -x1602 -x1603 x1604 -x1605 x1606 -x1607 -x1608 x1609 -x1610
238.66/238.80	v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 x1617 x1618 -x1619 -x1620
238.66/238.80	v -x1621 x1622 -x1623 -x1624 x1625 x1626 -x1627 -x1628 -x1629 -x1630
238.66/238.80	v -x1631 -x1632 x1633 -x1634 -x1635 -x1636 -x1637 x1638 x1639 -x1640
238.66/238.80	v x1641 -x1642 -x1643 -x1644 -x1645 x1646 -x1647 -x1648 -x1649 -x1650
238.66/238.80	v -x1651 -x1652 -x1653 -x1654 -x1655 x1656 -x1657 -x1658 x1659 x1660
238.66/238.80	v -x1661 -x1662 -x1663 x1664 -x1665 -x1666 -x1667 -x1668 x1669 -x1670
238.66/238.80	v -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 x1679 x1680
238.66/238.80	v x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 x1688 -x1689 -x1690
238.66/238.80	v -x1691 x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 x1699 -x1700
238.66/238.80	v -x1701 x1702 -x1703 x1704 -x1705 x1706 -x1707 x1708 x1709 -x1710
238.66/238.80	v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 x1719 -x1720
238.66/238.80	v -x1721 x1722 -x1723 -x1724 -x1725 x1726 x1727 -x1728 x1729 -x1730
238.66/238.80	v -x1731 -x1732 x1733 -x1734 -x1735 -x1736 -x1737
238.66/238.80	c total CPU time = 238.174s
238.66/238.80	c total wall clock time = 238.801s

Verifier Data 

OK	0

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

pid=17965
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.31 2.31 2.25 3/179 17968
/proc/meminfo: memFree=28948960/32872528 swapFree=17452/1581112
[pid=17968] ppid=17965 vsize=667068 CPUtime=0 cores=1,3,5,7
/proc/17968/stat : 17968 (toysat) R 17965 17968 13546 0 -1 4202496 2477 0 0 0 0 0 0 0 20 0 4 0 109662013 683077632 3348 33554432000 4194304 16246674 140735902233744 140735902233168 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17968/statm: 167279 3357 441 2943 0 164173 0
[pid=17968/tid=17969] ppid=17965 vsize=685500 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17969/stat : 17969 (toysat) S 17965 17968 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109662013 701952000 3420 33554432000 4194304 16246674 140735902233744 140672048803056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17968/tid=17970] ppid=17965 vsize=689596 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17970/stat : 17970 (toysat) S 17965 17968 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109662013 706146304 3437 33554432000 4194304 16246674 140735902233744 140672038313200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17968/tid=17971] ppid=17965 vsize=693692 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17971/stat : 17971 (toysat) S 17965 17968 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109662013 710340608 3455 33554432000 4194304 16246674 140735902233744 140671922990256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100127 s]
/proc/loadavg: 2.31 2.31 2.25 3/179 17968
/proc/meminfo: memFree=28948960/32872528 swapFree=17452/1581112
[pid=17968] ppid=17965 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/17968/stat : 17968 (toysat) R 17965 17968 13546 0 -1 4202496 23945 0 0 0 6 3 0 0 20 0 4 0 109662013 1249447936 24755 33554432000 4194304 16246674 140735902233744 140735902233056 12369109 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17968/statm: 305041 24767 835 2943 0 301935 0
[pid=17968/tid=17969] ppid=17965 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17969/stat : 17969 (toysat) S 17965 17968 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109662013 1249447936 24775 33554432000 4194304 16246674 140735902233744 140672048803056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17968/tid=17970] ppid=17965 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17970/stat : 17970 (toysat) S 17965 17968 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109662013 1249447936 24782 33554432000 4194304 16246674 140735902233744 140672038313200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17968/tid=17971] ppid=17965 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17971/stat : 17971 (toysat) S 17965 17968 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109662013 1249447936 24790 33554432000 4194304 16246674 140735902233744 140671922990256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200497 s]
/proc/loadavg: 2.31 2.31 2.25 3/179 17968
/proc/meminfo: memFree=28948960/32872528 swapFree=17452/1581112
[pid=17968] ppid=17965 vsize=1220164 CPUtime=0.19 cores=1,3,5,7
/proc/17968/stat : 17968 (toysat) R 17965 17968 13546 0 -1 4202496 50746 0 0 0 13 6 0 0 20 0 4 0 109662013 1249447936 51555 33554432000 4194304 16246674 140735902233744 140735902233056 5669490 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17968/statm: 305041 51566 873 2943 0 301935 0
[pid=17968/tid=17969] ppid=17965 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17969/stat : 17969 (toysat) S 17965 17968 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109662013 1249447936 51572 33554432000 4194304 16246674 140735902233744 140672048803056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17968/tid=17970] ppid=17965 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17970/stat : 17970 (toysat) S 17965 17968 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109662013 1249447936 51579 33554432000 4194304 16246674 140735902233744 140672038313200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17968/tid=17971] ppid=17965 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17971/stat : 17971 (toysat) S 17965 17968 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109662013 1249447936 51584 33554432000 4194304 16246674 140735902233744 140671922990256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

[startup+0.300442 s]
/proc/loadavg: 2.31 2.31 2.25 3/179 17968
/proc/meminfo: memFree=28948960/32872528 swapFree=17452/1581112
[pid=17968] ppid=17965 vsize=1220164 CPUtime=0.29 cores=1,3,5,7
/proc/17968/stat : 17968 (toysat) R 17965 17968 13546 0 -1 4202496 76093 0 0 0 19 10 0 0 20 0 4 0 109662013 1249447936 76902 33554432000 4194304 16246674 140735902233744 140735902233056 5532301 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17968/statm: 305041 76920 873 2943 0 301935 0
[pid=17968/tid=17969] ppid=17965 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17969/stat : 17969 (toysat) S 17965 17968 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109662013 1249447936 76930 33554432000 4194304 16246674 140735902233744 140672048803056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17968/tid=17970] ppid=17965 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17970/stat : 17970 (toysat) S 17965 17968 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109662013 1249447936 76940 33554432000 4194304 16246674 140735902233744 140672038313200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17968/tid=17971] ppid=17965 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17971/stat : 17971 (toysat) S 17965 17968 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109662013 1249447936 76949 33554432000 4194304 16246674 140735902233744 140671922990256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1220164

[startup+0.700363 s]
/proc/loadavg: 2.31 2.31 2.25 3/179 17968
/proc/meminfo: memFree=28948960/32872528 swapFree=17452/1581112
[pid=17968] ppid=17965 vsize=1220164 CPUtime=0.69 cores=1,3,5,7
/proc/17968/stat : 17968 (toysat) R 17965 17968 13546 0 -1 4202496 177587 0 0 0 45 24 0 0 20 0 4 0 109662013 1249447936 178396 33554432000 4194304 16246674 140735902233744 140735902215616 13954410 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17968/statm: 305041 178404 873 2943 0 301935 0
[pid=17968/tid=17969] ppid=17965 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17969/stat : 17969 (toysat) S 17965 17968 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109662013 1249447936 178409 33554432000 4194304 16246674 140735902233744 140672048803056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17968/tid=17970] ppid=17965 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17970/stat : 17970 (toysat) S 17965 17968 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109662013 1249447936 178415 33554432000 4194304 16246674 140735902233744 140672038313200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17968/tid=17971] ppid=17965 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17971/stat : 17971 (toysat) S 17965 17968 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109662013 1249447936 178420 33554432000 4194304 16246674 140735902233744 140671922990256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1220164

[startup+1.50037 s]
/proc/loadavg: 2.31 2.31 2.25 3/183 17972
/proc/meminfo: memFree=27882036/32872528 swapFree=17452/1581112
[pid=17968] ppid=17965 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/17968/stat : 17968 (toysat) R 17965 17968 13546 0 -1 4202496 266231 0 0 0 113 36 0 0 20 0 4 0 109662013 1332285440 267040 33554432000 4194304 16246674 140735902233744 140735902233056 5677888 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17968/statm: 325265 267040 881 2943 0 322159 0
[pid=17968/tid=17969] ppid=17965 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17969/stat : 17969 (toysat) S 17965 17968 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109662013 1332285440 267040 33554432000 4194304 16246674 140735902233744 140672048803056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17968/tid=17970] ppid=17965 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17970/stat : 17970 (toysat) S 17965 17968 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109662013 1332285440 267040 33554432000 4194304 16246674 140735902233744 140672038313200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17968/tid=17971] ppid=17965 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17971/stat : 17971 (toysat) S 17965 17968 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109662013 1332285440 267040 33554432000 4194304 16246674 140735902233744 140671922990256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10038 s]
/proc/loadavg: 2.31 2.31 2.25 3/183 17972
/proc/meminfo: memFree=27874596/32872528 swapFree=17452/1581112
[pid=17968] ppid=17965 vsize=1308228 CPUtime=3.09 cores=1,3,5,7
/proc/17968/stat : 17968 (toysat) R 17965 17968 13546 0 -1 4202496 268092 0 0 0 272 37 0 0 20 0 4 0 109662013 1339625472 268901 33554432000 4194304 16246674 140735902233744 140735902216744 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17968/statm: 327057 268901 886 2943 0 323951 0
[pid=17968/tid=17969] ppid=17965 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17969/stat : 17969 (toysat) S 17965 17968 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109662013 1339625472 268901 33554432000 4194304 16246674 140735902233744 140672048803056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17968/tid=17970] ppid=17965 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17970/stat : 17970 (toysat) S 17965 17968 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109662013 1339625472 268901 33554432000 4194304 16246674 140735902233744 140672038313200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17968/tid=17971] ppid=17965 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17971/stat : 17971 (toysat) S 17965 17968 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109662013 1339625472 268901 33554432000 4194304 16246674 140735902233744 140671922990256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228

[startup+6.30038 s]
/proc/loadavg: 2.37 2.33 2.26 3/183 17972
/proc/meminfo: memFree=27873728/32872528 swapFree=17452/1581112
[pid=17968] ppid=17965 vsize=1309252 CPUtime=6.29 cores=1,3,5,7
/proc/17968/stat : 17968 (toysat) R 17965 17968 13546 0 -1 4202496 268283 0 0 0 592 37 0 0 20 0 4 0 109662013 1340674048 269092 33554432000 4194304 16246674 140735902233744 140735902215616 13943729 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17968/statm: 327313 269092 888 2943 0 324207 0
[pid=17968/tid=17969] ppid=17965 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17969/stat : 17969 (toysat) S 17965 17968 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109662013 1340674048 269092 33554432000 4194304 16246674 140735902233744 140672048803056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17968/tid=17970] ppid=17965 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17970/stat : 17970 (toysat) S 17965 17968 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109662013 1340674048 269092 33554432000 4194304 16246674 140735902233744 140672038313200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17968/tid=17971] ppid=17965 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17971/stat : 17971 (toysat) S 17965 17968 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109662013 1340674048 269092 33554432000 4194304 16246674 140735902233744 140671922990256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 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.34 2.32 2.26 3/183 17972
/proc/meminfo: memFree=27873868/32872528 swapFree=17452/1581112
[pid=17968] ppid=17965 vsize=1309252 CPUtime=12.69 cores=1,3,5,7
/proc/17968/stat : 17968 (toysat) R 17965 17968 13546 0 -1 4202496 268283 0 0 0 1232 37 0 0 20 0 4 0 109662013 1340674048 269092 33554432000 4194304 16246674 140735902233744 140735902215616 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17968/statm: 327313 269092 888 2943 0 324207 0
[pid=17968/tid=17969] ppid=17965 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17969/stat : 17969 (toysat) S 17965 17968 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109662013 1340674048 269092 33554432000 4194304 16246674 140735902233744 140672048803056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17968/tid=17970] ppid=17965 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17970/stat : 17970 (toysat) S 17965 17968 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109662013 1340674048 269092 33554432000 4194304 16246674 140735902233744 140672038313200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17968/tid=17971] ppid=17965 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17971/stat : 17971 (toysat) S 17965 17968 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109662013 1340674048 269092 33554432000 4194304 16246674 140735902233744 140671922990256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1309252

[startup+25.5005 s]
/proc/loadavg: 2.34 2.32 2.26 3/183 17972
/proc/meminfo: memFree=27876368/32872528 swapFree=17452/1581112
[pid=17968] ppid=17965 vsize=1309252 CPUtime=25.48 cores=1,3,5,7
/proc/17968/stat : 17968 (toysat) R 17965 17968 13546 0 -1 4202496 268315 0 0 0 2511 37 0 0 20 0 4 0 109662013 1340674048 269124 33554432000 4194304 16246674 140735902233744 140735902232920 5677888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17968/statm: 327313 269124 888 2943 0 324207 0
[pid=17968/tid=17969] ppid=17965 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17969/stat : 17969 (toysat) S 17965 17968 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109662013 1340674048 269124 33554432000 4194304 16246674 140735902233744 140672048803056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17968/tid=17970] ppid=17965 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17970/stat : 17970 (toysat) S 17965 17968 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109662013 1340674048 269124 33554432000 4194304 16246674 140735902233744 140672038313200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17968/tid=17971] ppid=17965 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17971/stat : 17971 (toysat) S 17965 17968 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109662013 1340674048 269124 33554432000 4194304 16246674 140735902233744 140671922990256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1309252

[startup+51.1005 s]
/proc/loadavg: 2.29 2.31 2.26 3/183 17972
/proc/meminfo: memFree=27876148/32872528 swapFree=17452/1581112
[pid=17968] ppid=17965 vsize=1309252 CPUtime=51.07 cores=1,3,5,7
/proc/17968/stat : 17968 (toysat) R 17965 17968 13546 0 -1 4202496 268318 0 0 0 5070 37 0 0 20 0 4 0 109662013 1340674048 269127 33554432000 4194304 16246674 140735902233744 140735902216744 5754801 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17968/statm: 327313 269127 888 2943 0 324207 0
[pid=17968/tid=17969] ppid=17965 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17969/stat : 17969 (toysat) S 17965 17968 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109662013 1340674048 269127 33554432000 4194304 16246674 140735902233744 140672048803056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17968/tid=17970] ppid=17965 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17970/stat : 17970 (toysat) S 17965 17968 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109662013 1340674048 269127 33554432000 4194304 16246674 140735902233744 140672038313200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17968/tid=17971] ppid=17965 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17971/stat : 17971 (toysat) S 17965 17968 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109662013 1340674048 269127 33554432000 4194304 16246674 140735902233744 140671922990256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1309252

[startup+102.3 s]
/proc/loadavg: 2.35 2.32 2.26 3/184 17976
/proc/meminfo: memFree=27875240/32872528 swapFree=17452/1581112
[pid=17968] ppid=17965 vsize=1309252 CPUtime=102.28 cores=1,3,5,7
/proc/17968/stat : 17968 (toysat) R 17965 17968 13546 0 -1 4202496 268318 0 0 0 10190 38 0 0 20 0 4 0 109662013 1340674048 269127 33554432000 4194304 16246674 140735902233744 140735902216744 5827980 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17968/statm: 327313 269127 888 2943 0 324207 0
[pid=17968/tid=17969] ppid=17965 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17969/stat : 17969 (toysat) S 17965 17968 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109662013 1340674048 269127 33554432000 4194304 16246674 140735902233744 140672048803056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17968/tid=17970] ppid=17965 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17970/stat : 17970 (toysat) S 17965 17968 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109662013 1340674048 269127 33554432000 4194304 16246674 140735902233744 140672038313200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17968/tid=17971] ppid=17965 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17971/stat : 17971 (toysat) S 17965 17968 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109662013 1340674048 269127 33554432000 4194304 16246674 140735902233744 140671922990256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1309252

[startup+162.3 s]
/proc/loadavg: 2.25 2.30 2.26 3/183 17978
/proc/meminfo: memFree=27873140/32872528 swapFree=17452/1581112
[pid=17968] ppid=17965 vsize=1311300 CPUtime=162.26 cores=1,3,5,7
/proc/17968/stat : 17968 (toysat) R 17965 17968 13546 0 -1 4202496 268883 0 0 0 16188 38 0 0 20 0 4 0 109662013 1342771200 269692 33554432000 4194304 16246674 140735902233744 140735902215616 5723137 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17968/statm: 327825 269692 888 2943 0 324719 0
[pid=17968/tid=17969] ppid=17965 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17969/stat : 17969 (toysat) S 17965 17968 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109662013 1342771200 269692 33554432000 4194304 16246674 140735902233744 140672048803056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17968/tid=17970] ppid=17965 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17970/stat : 17970 (toysat) S 17965 17968 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109662013 1342771200 269692 33554432000 4194304 16246674 140735902233744 140672038313200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17968/tid=17971] ppid=17965 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17971/stat : 17971 (toysat) S 17965 17968 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109662013 1342771200 269692 33554432000 4194304 16246674 140735902233744 140671922990256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1311300

[startup+222.308 s]
/proc/loadavg: 2.32 2.31 2.27 3/183 17979
/proc/meminfo: memFree=27866964/32872528 swapFree=17452/1581112
[pid=17968] ppid=17965 vsize=1317444 CPUtime=222.26 cores=1,3,5,7
/proc/17968/stat : 17968 (toysat) R 17965 17968 13546 0 -1 4202496 270339 0 0 0 22187 39 0 0 20 0 4 0 109662013 1349062656 271148 33554432000 4194304 16246674 140735902233744 140735902215616 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17968/statm: 329361 271148 888 2943 0 326255 0
[pid=17968/tid=17969] ppid=17965 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17969/stat : 17969 (toysat) S 17965 17968 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109662013 1349062656 271148 33554432000 4194304 16246674 140735902233744 140672048803056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17968/tid=17970] ppid=17965 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17970/stat : 17970 (toysat) S 17965 17968 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109662013 1349062656 271148 33554432000 4194304 16246674 140735902233744 140672038313200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17968/tid=17971] ppid=17965 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17971/stat : 17971 (toysat) S 17965 17968 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109662013 1349062656 271148 33554432000 4194304 16246674 140735902233744 140671922990256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1317444

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

[startup+230.4 s]
/proc/loadavg: 2.27 2.30 2.26 3/183 17979
/proc/meminfo: memFree=27866952/32872528 swapFree=17452/1581112
[pid=17968] ppid=17965 vsize=1317444 CPUtime=230.36 cores=1,3,5,7
/proc/17968/stat : 17968 (toysat) R 17965 17968 13546 0 -1 4202496 270339 0 0 0 22996 40 0 0 20 0 4 0 109662013 1349062656 271148 33554432000 4194304 16246674 140735902233744 140735902215616 5516221 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17968/statm: 329361 271148 888 2943 0 326255 0
[pid=17968/tid=17969] ppid=17965 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17969/stat : 17969 (toysat) S 17965 17968 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109662013 1349062656 271148 33554432000 4194304 16246674 140735902233744 140672048803056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17968/tid=17970] ppid=17965 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17970/stat : 17970 (toysat) S 17965 17968 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109662013 1349062656 271148 33554432000 4194304 16246674 140735902233744 140672038313200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17968/tid=17971] ppid=17965 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17971/stat : 17971 (toysat) S 17965 17968 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109662013 1349062656 271148 33554432000 4194304 16246674 140735902233744 140671922990256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 230.36
Current children cumulated vsize (KiB) 1317444

[startup+233.6 s]
/proc/loadavg: 2.27 2.30 2.26 3/183 17979
/proc/meminfo: memFree=27866952/32872528 swapFree=17452/1581112
[pid=17968] ppid=17965 vsize=1317444 CPUtime=233.55 cores=1,3,5,7
/proc/17968/stat : 17968 (toysat) R 17965 17968 13546 0 -1 4202496 270339 0 0 0 23315 40 0 0 20 0 4 0 109662013 1349062656 271148 33554432000 4194304 16246674 140735902233744 140735902215616 5553612 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17968/statm: 329361 271148 888 2943 0 326255 0
[pid=17968/tid=17969] ppid=17965 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17969/stat : 17969 (toysat) S 17965 17968 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109662013 1349062656 271148 33554432000 4194304 16246674 140735902233744 140672048803056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17968/tid=17970] ppid=17965 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17970/stat : 17970 (toysat) S 17965 17968 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109662013 1349062656 271148 33554432000 4194304 16246674 140735902233744 140672038313200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17968/tid=17971] ppid=17965 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17971/stat : 17971 (toysat) S 17965 17968 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109662013 1349062656 271148 33554432000 4194304 16246674 140735902233744 140671922990256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 233.55
Current children cumulated vsize (KiB) 1317444

[startup+236.8 s]
/proc/loadavg: 2.25 2.29 2.26 3/183 17979
/proc/meminfo: memFree=27866688/32872528 swapFree=17452/1581112
[pid=17968] ppid=17965 vsize=1317444 CPUtime=236.75 cores=1,3,5,7
/proc/17968/stat : 17968 (toysat) R 17965 17968 13546 0 -1 4202496 270339 0 0 0 23635 40 0 0 20 0 4 0 109662013 1349062656 271148 33554432000 4194304 16246674 140735902233744 140735902232920 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17968/statm: 329361 271148 888 2943 0 326255 0
[pid=17968/tid=17969] ppid=17965 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17969/stat : 17969 (toysat) S 17965 17968 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109662013 1349062656 271148 33554432000 4194304 16246674 140735902233744 140672048803056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17968/tid=17970] ppid=17965 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17970/stat : 17970 (toysat) S 17965 17968 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109662013 1349062656 271148 33554432000 4194304 16246674 140735902233744 140672038313200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17968/tid=17971] ppid=17965 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17971/stat : 17971 (toysat) S 17965 17968 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109662013 1349062656 271148 33554432000 4194304 16246674 140735902233744 140671922990256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 236.75
Current children cumulated vsize (KiB) 1317444

[startup+237.6 s]
/proc/loadavg: 2.25 2.29 2.26 3/183 17979
/proc/meminfo: memFree=27866936/32872528 swapFree=17452/1581112
[pid=17968] ppid=17965 vsize=1317444 CPUtime=237.56 cores=1,3,5,7
/proc/17968/stat : 17968 (toysat) R 17965 17968 13546 0 -1 4202496 270339 0 0 0 23716 40 0 0 20 0 4 0 109662013 1349062656 271148 33554432000 4194304 16246674 140735902233744 140735902215616 12483204 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17968/statm: 329361 271148 888 2943 0 326255 0
[pid=17968/tid=17969] ppid=17965 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17969/stat : 17969 (toysat) S 17965 17968 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109662013 1349062656 271148 33554432000 4194304 16246674 140735902233744 140672048803056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17968/tid=17970] ppid=17965 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17970/stat : 17970 (toysat) S 17965 17968 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109662013 1349062656 271148 33554432000 4194304 16246674 140735902233744 140672038313200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17968/tid=17971] ppid=17965 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17971/stat : 17971 (toysat) S 17965 17968 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109662013 1349062656 271148 33554432000 4194304 16246674 140735902233744 140671922990256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 237.56
Current children cumulated vsize (KiB) 1317444

[startup+238.4 s]
/proc/loadavg: 2.25 2.29 2.26 3/183 17979
/proc/meminfo: memFree=27866936/32872528 swapFree=17452/1581112
[pid=17968] ppid=17965 vsize=1317444 CPUtime=238.35 cores=1,3,5,7
/proc/17968/stat : 17968 (toysat) R 17965 17968 13546 0 -1 4202496 270339 0 0 0 23795 40 0 0 20 0 4 0 109662013 1349062656 271148 33554432000 4194304 16246674 140735902233744 140735902215616 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17968/statm: 329361 271148 888 2943 0 326255 0
[pid=17968/tid=17969] ppid=17965 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17969/stat : 17969 (toysat) S 17965 17968 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109662013 1349062656 271148 33554432000 4194304 16246674 140735902233744 140672048803056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17968/tid=17970] ppid=17965 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17970/stat : 17970 (toysat) S 17965 17968 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109662013 1349062656 271148 33554432000 4194304 16246674 140735902233744 140672038313200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17968/tid=17971] ppid=17965 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/17968/task/17971/stat : 17971 (toysat) S 17965 17968 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109662013 1349062656 271148 33554432000 4194304 16246674 140735902233744 140671922990256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 238.35
Current children cumulated vsize (KiB) 1317444

[startup+238.807 s]
/proc/loadavg: 2.25 2.29 2.26 3/183 17979
/proc/meminfo: memFree=27866936/32872528 swapFree=17452/1581112
[pid=17968] ppid=17965 vsize=0 CPUtime=238.75 cores=1,3,5,7
/proc/17968/stat : 17968 (toysat) R 17965 17968 13546 0 -1 4202500 270347 0 0 0 23835 40 0 0 20 0 1 0 109662013 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17968/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 238.75
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 238.865
CPU time (s): 238.825
CPU user time (s): 238.36
CPU system time (s): 0.464929
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 1317444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 238.36
system time used= 0.464929
maximum resident set size= 1084616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270347
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= 17
involuntary context switches= 258

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.612906 second user time and 0.91586 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-07 07:28:21
IDJOB=4078843
IDBENCH=89820
IDSOLVER=2542
FILE ID=node139/4078843-1465277301
RUNJOBID= node139-1465254943-13563
PBS_JOBID= 19843273
Free space on /tmp= 71692 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/heinz/normalized-neos-849702.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078843-1465277301/watcher-4078843-1465277301 -o /tmp/evaluation-result-4078843-1465277301/solver-4078843-1465277301 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465254943-13563 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078843-1465277301.opb

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

MD5SUM BENCH= 1d9496473cab6648d4a43b81cc40ffb9
RANDOM SEED=1798160230

node139.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.868
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.73
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.868
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.868
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.868
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.868
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.868
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:        28949132 kB
Buffers:           66156 kB
Cached:           156620 kB
SwapCached:         1412 kB
Active:          1482512 kB
Inactive:         120776 kB
Active(anon):    1379204 kB
Inactive(anon):     3684 kB
Active(file):     103308 kB
Inactive(file):   117092 kB
Unevictable:     1581112 kB
Mlocked:           17452 kB
SwapTotal:      67108856 kB
SwapFree:       67099812 kB
Dirty:             16340 kB
Writeback:             4 kB
AnonPages:       2960600 kB
Mapped:            10740 kB
Shmem:                 0 kB
Slab:             599916 kB
SReclaimable:      43968 kB
SUnreclaim:       555948 kB
KernelStack:        1456 kB
PageTables:         9868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3103580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1619968 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= 71676 MiB
End job on node139 at 2016-06-07 07:32:20