Trace number 3285492

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
glucose 2? (TO) 1300.01 1300.01

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf
MD5SUM5d1253e2dcc0e3e55992672756beadbc
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2074.86
Satisfiable
(Un)Satisfiability was proved
Number of variables756832
Number of clauses4116966
Sum of the clauses size9765566
Maximum clause length1178
Minimum clause length1
Number of clauses of size 1846
Number of clauses of size 24082840
Number of clauses of size 3640
Number of clauses of size 4800
Number of clauses of size 5800
Number of clauses of size over 531040

Solver Data 

0.00/0.00	c
0.00/0.00	c Starting SatElite Preprocessing
0.00/0.00	c
0.00/0.00	c Parsing...
1.28/1.32	c ==============================================================================
1.28/1.32	c |           |     ORIGINAL     |              LEARNT              |          |
1.28/1.32	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
1.28/1.32	c ==============================================================================
1.28/1.32	c |         0 | 3028353  7134510 |  908505       0        0     nan |  0.000 % |
3.29/3.31	c |         0 | 2570144  6111727 |      --       0       --      -- |     --   | -156456/-307529
3.69/3.77	c ==============================================================================
3.69/3.77	c Result  :   #vars: 365932   #clauses: 2570144   #literals: 6111727
3.69/3.77	c CPU time:   3.04454 s
3.69/3.77	c ==============================================================================
4.39/4.47	c
4.39/4.47	c Starting glucose
4.39/4.47	c
65.17/65.21	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
65.17/65.21	c WARNING: for repeatability, setting FPU to use double precision
65.17/65.21	c ============================[ Problem Statistics ]=============================
65.17/65.21	c |                                                                             |
65.17/65.21	c |  Number of variables:        365932                                         |
65.17/65.21	c |  Number of clauses:         2570144                                         |
65.17/65.21	c |  Parse time:                   0.54 s                                       |
65.17/65.21	c |                                                                             |
65.17/65.21	c ============================[ Search Statistics ]==============================
65.17/65.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
65.17/65.21	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
65.17/65.21	c ===============================================================================
65.17/65.21	c |       183 |  365932  2570144  6111727 |        1      183   3097 |  0.000 % |
65.17/65.21	c |      1439 |  365931  2570144  6111727 |        1     1438   2648 |  0.000 % |
65.17/65.21	c |      1695 |  365930  2570144  6111727 |        1     1693   2338 |  0.001 % |
65.17/65.21	c |      2480 |  365929  2570144  6111727 |        1     2477   2895 |  0.001 % |
65.17/65.21	c |      2583 |  365929  2570143  6111724 |        1     2579   2839 |  0.001 % |
65.17/65.21	c |      2684 |  365774  2570143  6111724 |        1     2676   2780 |  0.043 % |
65.17/65.21	c |      3526 |  365774  2570143  6111724 |        1     3518   2622 |  0.043 % |
65.17/65.21	c |      3626 |  365774  2570143  6111724 |        1     3618   2568 |  0.043 % |
65.17/65.21	c |      3831 |  365772  2570143  6111724 |        1     3821   2712 |  0.044 % |
65.17/65.21	c |      3933 |  365760  2570143  6111724 |        1     3921   2671 |  0.047 % |
65.17/65.21	c |      4033 |  365760  2570143  6111724 |        1     2031    809 |  0.047 % |
65.17/65.21	c |      4134 |  365760  2570143  6111724 |        1     2132    818 |  0.047 % |
65.17/65.21	c |      6575 |  365760  2570143  6111724 |        1     4573   1059 |  0.047 % |
65.17/65.21	c |      6675 |  365760  2570137  6111552 |        1     4666   1052 |  0.047 % |
65.17/65.21	c |      7592 |  365755  2570137  6111552 |        1     5578   1206 |  0.048 % |
65.17/65.21	c |      7745 |  365544  2570137  6111552 |        1     5730   1237 |  0.106 % |
65.17/65.21	c |      8736 |  365542  2570137  6111552 |        1     6719   1174 |  0.107 % |
65.17/65.21	c |      9012 |  365542  2570109  6111275 |        1     6986   1243 |  0.107 % |
65.17/65.21	c |      9112 |  365529  2570109  6111275 |        1     7083   1241 |  0.110 % |
65.17/65.21	c |      9246 |  365528  2570109  6111275 |        1     7216   1244 |  0.110 % |
65.17/65.21	c |      9347 |  365528  2570109  6111275 |        1     7317   1237 |  0.110 % |
65.17/65.21	c |      9724 |  365528  2570109  6111275 |        1     7694   1403 |  0.110 % |
65.17/65.21	c |      9824 |  365528  2570109  6111275 |        1     7794   1407 |  0.110 % |
65.17/65.21	c |     10346 |  365528  2570109  6111275 |        1     8316   1723 |  0.110 % |
65.17/65.21	c |     10447 |  365528  2570109  6111275 |        1     8417   1746 |  0.110 % |
65.17/65.21	c |     10791 |  365494  2570109  6111275 |        1     4490    387 |  0.120 % |
65.17/65.21	c |     11292 |  365494  2570109  6111275 |        1     4991    949 |  0.120 % |
65.17/65.21	c |     11392 |  365492  2570109  6111275 |        1     5089    942 |  0.120 % |
65.17/65.21	c |     13454 |  365491  2570103  6111219 |        1     7146   1030 |  0.121 % |
65.17/65.21	c |     13557 |  365491  2570103  6111219 |        1     7249   1038 |  0.121 % |
65.17/65.21	c |     14331 |  365490  2570103  6111219 |        1     8022   1554 |  0.121 % |
65.17/65.21	c |     14432 |  365489  2570103  6111219 |        1     8122   1599 |  0.121 % |
65.17/65.21	c |     17324 |  365469  2570103  6111219 |        1    11004   1664 |  0.127 % |
65.17/65.21	c |     17426 |  365453  2570103  6111219 |        1    11105   1668 |  0.131 % |
65.17/65.21	c |     17527 |  365453  2570103  6111219 |        1    11206   1664 |  0.131 % |
65.17/65.21	c |     17855 |  365453  2570103  6111219 |        1    11534   1660 |  0.131 % |
65.17/65.21	c |     18072 |  365452  2570099  6111180 |        1    11750   1662 |  0.131 % |
65.17/65.21	c |     19714 |  365449  2570099  6111180 |        1    13389   1720 |  0.132 % |
65.17/65.21	c |     19816 |  365449  2570099  6111180 |        1     6774    424 |  0.132 % |
221.38/221.40	c |     22456 |  365429  2570097  6111167 |        1     9395    603 |  0.137 % |
221.38/221.40	c |     22556 |  365429  2570097  6111167 |        1     9495    604 |  0.137 % |
221.38/221.40	c |     22657 |  365429  2570097  6111167 |        1     9596    614 |  0.137 % |
221.38/221.40	c |     22757 |  365429  2570097  6111167 |        1     9696    618 |  0.137 % |
221.38/221.40	c |     23239 |  365429  2570097  6111167 |        1    10178    735 |  0.137 % |
221.38/221.40	c |     23339 |  365429  2570097  6111167 |        1    10278    785 |  0.137 % |
221.38/221.40	c |     23439 |  365429  2570097  6111167 |        1    10378    808 |  0.137 % |
221.38/221.40	c |     23732 |  365428  2570097  6111167 |        1    10670    820 |  0.138 % |
221.38/221.40	c |     24587 |  365426  2570097  6111167 |        1    11521    898 |  0.138 % |
221.38/221.40	c |     25215 |  365406  2570097  6111167 |        1    12144    950 |  0.144 % |
221.38/221.40	c |     26207 |  365404  2570097  6111167 |        1    13135   1180 |  0.144 % |
221.38/221.40	c |     28083 |  365403  2570097  6111167 |        1    15010   1246 |  0.145 % |
221.38/221.40	c |     34962 |  365369  2570091  6111118 |        1    12646    708 |  0.154 % |
221.38/221.40	c |     37084 |  365364  2570091  6111118 |        1    14767   1089 |  0.155 % |
221.38/221.40	c |     38344 |  365352  2570089  6111110 |        1    16014   1074 |  0.158 % |
221.38/221.40	c |     38446 |  365350  2570089  6111110 |        1    16114   1070 |  0.159 % |
221.38/221.40	c |     39034 |  365341  2570089  6111110 |        1    16698   1092 |  0.162 % |
221.38/221.40	c |     39135 |  365341  2570089  6111110 |        1    16799   1095 |  0.162 % |
221.38/221.40	c |     39235 |  365315  2570089  6111110 |        1    16897   1099 |  0.169 % |
221.38/221.40	c |     39336 |  365315  2570089  6111110 |        1    16998   1106 |  0.169 % |
221.38/221.40	c |     41827 |  365307  2570083  6111070 |        1    19471   1233 |  0.171 % |
221.38/221.40	c |     41929 |  365307  2570083  6111070 |        1    19573   1236 |  0.171 % |
221.38/221.40	c |     42031 |  365305  2570083  6111070 |        1    19673   1233 |  0.171 % |
221.38/221.40	c |     42133 |  365301  2570083  6111070 |        1    19771   1229 |  0.172 % |
221.38/221.40	c |     43389 |  365299  2570083  6111070 |        1    21025   1349 |  0.173 % |
221.38/221.40	c |     43499 |  365299  2570083  6111070 |        1    21135   1348 |  0.173 % |
221.38/221.40	c |     45100 |  365150  2570083  6111070 |        1    22732   1375 |  0.214 % |
221.38/221.40	c |     45640 |  365149  2570083  6111070 |        1    23271   1449 |  0.214 % |
221.38/221.40	c |     47987 |  365113  2570077  6110915 |        1    13814    426 |  0.224 % |
221.38/221.40	c |     48087 |  365112  2570077  6110915 |        1    13913    456 |  0.224 % |
221.38/221.40	c |     53484 |  365111  2570077  6110915 |        1    19309   1343 |  0.224 % |
221.38/221.40	c |     53584 |  365111  2570075  6110879 |        1    19225   1350 |  0.224 % |
221.38/221.40	c |     54250 |  365111  2570075  6110879 |        1    19891   1528 |  0.224 % |
221.38/221.40	c |     59527 |  365110  2570075  6110879 |        1    25167   1757 |  0.225 % |
221.38/221.40	c |     59627 |  365109  2570075  6110879 |        1    25264   1753 |  0.225 % |
221.38/221.40	c |     59891 |  365109  2570075  6110879 |        1    25528   1778 |  0.225 % |
221.38/221.40	c |     60001 |  365106  2570075  6110879 |        1    25635   1773 |  0.226 % |
221.38/221.40	c |     60809 |  365106  2570075  6110879 |        1    26443   1830 |  0.226 % |
221.38/221.40	c |     60910 |  365106  2570075  6110879 |        1    26544   1824 |  0.226 % |
221.38/221.40	c |     61205 |  364846  2570075  6110879 |        1    26837   1823 |  0.297 % |
221.38/221.40	c |     61307 |  364846  2570075  6110879 |        1    26939   1818 |  0.297 % |
221.38/221.40	c |     62870 |  364845  2570075  6110879 |        1    28501   1847 |  0.297 % |
221.38/221.40	c |     62979 |  364845  2570075  6110879 |        1    28610   1841 |  0.297 % |
221.38/221.40	c |     63585 |  364844  2570075  6110879 |        1    14915    351 |  0.297 % |
221.38/221.40	c |     63687 |  364844  2570075  6110879 |        1    15017    350 |  0.297 % |
221.38/221.40	c |     64401 |  364843  2570075  6110879 |        1    15730    440 |  0.298 % |
221.38/221.40	c |     64501 |  364840  2570075  6110879 |        1    15827    439 |  0.298 % |
221.38/221.40	c |     64603 |  364840  2570075  6110879 |        1    15929    438 |  0.298 % |
221.38/221.40	c |     66979 |  364837  2570055  6110492 |        1    18285    663 |  0.299 % |
221.38/221.40	c |     67229 |  364837  2570055  6110492 |        1    18535    663 |  0.299 % |
394.89/394.93	c |     67460 |  364836  2570055  6110492 |        1    18765    676 |  0.300 % |
394.89/394.93	c |     67560 |  364834  2570055  6110492 |        1    18863    676 |  0.300 % |
394.89/394.93	c |     69963 |  364831  2570055  6110492 |        1    21259    756 |  0.301 % |
394.89/394.93	c |     73073 |  364830  2570055  6110492 |        1    24368   1063 |  0.301 % |
394.89/394.93	c |     73175 |  364802  2570055  6110492 |        1    24468   1069 |  0.309 % |
394.89/394.93	c |     73878 |  364769  2570053  6110460 |        1    25130   1157 |  0.318 % |
394.89/394.93	c |     73978 |  364769  2570053  6110460 |        1    25230   1155 |  0.318 % |
394.89/394.93	c |     75322 |  364632  2570053  6110460 |        1    26569   1200 |  0.355 % |
394.89/394.93	c |     75422 |  364630  2570053  6110460 |        1    26667   1199 |  0.356 % |
394.89/394.93	c |     76002 |  364627  2570053  6110460 |        1    27244   1266 |  0.357 % |
394.89/394.93	c |     77055 |  364626  2570053  6110460 |        1    28296   1327 |  0.357 % |
394.89/394.93	c |     77288 |  364626  2570049  6110212 |        1    28444   1347 |  0.357 % |
394.89/394.93	c |     77388 |  364626  2570049  6110212 |        1    28544   1352 |  0.357 % |
394.89/394.93	c |     77488 |  364626  2570049  6110212 |        1    28644   1356 |  0.357 % |
394.89/394.93	c |     77706 |  364626  2570049  6110212 |        1    28862   1361 |  0.357 % |
394.89/394.93	c |     80572 |  364623  2570049  6110212 |        1    31725   1573 |  0.358 % |
394.89/394.93	c |     81476 |  364620  2570049  6110212 |        1    32626   1595 |  0.359 % |
394.89/394.93	c |     84206 |  364606  2570049  6110212 |        1    18513    388 |  0.362 % |
394.89/394.93	c |     84500 |  364606  2570049  6110212 |        1    18807    415 |  0.362 % |
394.89/394.93	c |     84603 |  364606  2570049  6110212 |        1    18910    414 |  0.362 % |
394.89/394.93	c |     85522 |  364605  2570049  6110212 |        1    19828    480 |  0.363 % |
394.89/394.93	c |     90135 |  364605  2570049  6110212 |        1    24441    828 |  0.363 % |
394.89/394.93	c |     90247 |  364605  2570049  6110212 |        1    24547    827 |  0.363 % |
394.89/394.93	c |     90556 |  364605  2570049  6110212 |        1    24856    826 |  0.363 % |
394.89/394.93	c |     90656 |  364605  2570049  6110212 |        1    24956    825 |  0.363 % |
394.89/394.93	c |     93591 |  364605  2570049  6110212 |        1    27891   1112 |  0.363 % |
394.89/394.93	c |     93693 |  364605  2570049  6110212 |        1    27993   1113 |  0.363 % |
394.89/394.93	c |     94934 |  364601  2570049  6110212 |        1    29230   1159 |  0.364 % |
394.89/394.93	c |     95034 |  364560  2570049  6110212 |        1    29328   1159 |  0.375 % |
394.89/394.93	c |     95220 |  364548  2570049  6110212 |        1    29511   1164 |  0.378 % |
394.89/394.93	c |     95321 |  364548  2570049  6110212 |        1    29612   1166 |  0.378 % |
394.89/394.93	c |     96085 |  364548  2570049  6110212 |        1    30376   1175 |  0.378 % |
394.89/394.93	c |     96185 |  364548  2570049  6110212 |        1    30476   1174 |  0.378 % |
394.89/394.93	c |     97075 |  364547  2570049  6110212 |        1    31365   1189 |  0.378 % |
394.89/394.93	c |     99671 |  364546  2570043  6110149 |        1    33955   1328 |  0.379 % |
394.89/394.93	c |     99784 |  364540  2570043  6110149 |        1    34062   1332 |  0.380 % |
394.89/394.93	c |     99890 |  364540  2570043  6110149 |        1    34168   1329 |  0.380 % |
394.89/394.93	c |    100980 |  364332  2570043  6110149 |        1    35253   1335 |  0.437 % |
394.89/394.93	c |    101108 |  364332  2570043  6110149 |        1    35381   1333 |  0.437 % |
394.89/394.93	c |    101208 |  364332  2570043  6110149 |        1    35481   1331 |  0.437 % |
394.89/394.93	c |    105647 |  364332  2570043  6110149 |        1    20414    420 |  0.437 % |
394.89/394.93	c |    105747 |  364332  2570015  6109872 |        1    20510    427 |  0.437 % |
394.89/394.93	c |    106706 |  364331  2570015  6109872 |        1    21468    496 |  0.438 % |
394.89/394.93	c |    107689 |  364330  2570015  6109872 |        1    22450    525 |  0.438 % |
394.89/394.93	c |    107791 |  364330  2570015  6109872 |        1    22552    526 |  0.438 % |
394.89/394.93	c |    108158 |  364300  2570015  6109872 |        1    22917    558 |  0.446 % |
394.89/394.93	c |    108848 |  364232  2570015  6109872 |        1    23604    592 |  0.465 % |
394.89/394.93	c |    109355 |  364231  2570015  6109872 |        1    24110    610 |  0.465 % |
394.89/394.93	c |    109934 |  364231  2570015  6109872 |        1    24689    669 |  0.465 % |
394.89/394.93	c |    114439 |  364229  2570011  6109776 |        1    29181    907 |  0.465 % |
461.28/461.34	c |    114540 |  364229  2570011  6109776 |        1    29282    908 |  0.465 % |
461.28/461.34	c |    114640 |  364229  2570011  6109776 |        1    29382    906 |  0.465 % |
461.28/461.34	c |    115306 |  364229  2570011  6109776 |        1    30048    907 |  0.465 % |
461.28/461.34	c |    115407 |  364228  2570011  6109776 |        1    30148    905 |  0.466 % |
461.28/461.34	c |    117364 |  364228  2570011  6109776 |        1    32105   1001 |  0.466 % |
461.28/461.34	c |    117466 |  364228  2570011  6109776 |        1    32205   1001 |  0.466 % |
461.28/461.34	c |    119772 |  364224  2570011  6109776 |        1    34507   1035 |  0.467 % |
461.28/461.34	c |    119947 |  364224  2570011  6109776 |        1    34682   1037 |  0.467 % |
461.28/461.34	c |    120806 |  364224  2570011  6109776 |        1    35541   1119 |  0.467 % |
461.28/461.34	c |    120910 |  364224  2570011  6109776 |        1    35645   1128 |  0.467 % |
461.28/461.34	c |    121010 |  364224  2570011  6109776 |        1    35745   1130 |  0.467 % |
461.28/461.34	c |    121536 |  364223  2570011  6109776 |        1    36270   1134 |  0.467 % |
461.28/461.34	c |    121638 |  364222  2570011  6109776 |        1    36371   1134 |  0.467 % |
461.28/461.34	c |    121739 |  364221  2570011  6109776 |        1    36471   1133 |  0.468 % |
461.28/461.34	c |    121839 |  364220  2570011  6109776 |        1    36570   1132 |  0.468 % |
461.28/461.34	c |    121939 |  364215  2570011  6109776 |        1    36665   1130 |  0.469 % |
461.28/461.34	c |    122040 |  364214  2570011  6109776 |        1    36765   1128 |  0.469 % |
461.28/461.34	c |    122140 |  364214  2570011  6109776 |        1    36865   1128 |  0.469 % |
461.28/461.34	c |    122467 |  364214  2570011  6109776 |        1    37192   1126 |  0.469 % |
461.28/461.34	c |    122647 |  364213  2570011  6109776 |        1    37370   1129 |  0.470 % |
461.28/461.34	c |    124402 |  364205  2570011  6109776 |        1    39120   1194 |  0.472 % |
461.28/461.34	c |    124502 |  364205  2570011  6109776 |        1    39220   1195 |  0.472 % |
461.28/461.34	c |    124672 |  364204  2570011  6109776 |        1    39389   1194 |  0.472 % |
461.28/461.34	c |    125287 |  364204  2570011  6109776 |        1    40004   1213 |  0.472 % |
461.28/461.34	c |    125387 |  364204  2570011  6109776 |        1    40104   1215 |  0.472 % |
461.28/461.34	c |    125593 |  364204  2570011  6109776 |        1    40310   1239 |  0.472 % |
461.28/461.34	c |    125695 |  364204  2570011  6109776 |        1    40412   1239 |  0.472 % |
461.28/461.34	c |    125797 |  364204  2570011  6109776 |        1    40514   1244 |  0.472 % |
461.28/461.34	c |    125897 |  364204  2570011  6109776 |        1    40614   1247 |  0.472 % |
461.28/461.34	c |    125997 |  364202  2570011  6109776 |        1    40712   1245 |  0.473 % |
461.28/461.34	c |    126559 |  364198  2570011  6109776 |        1    41270   1277 |  0.474 % |
461.28/461.34	c |    126659 |  364198  2570011  6109776 |        1    41370   1276 |  0.474 % |
461.28/461.34	c |    126766 |  364198  2570011  6109776 |        1    41477   1280 |  0.474 % |
461.28/461.34	c |    126867 |  364198  2570011  6109776 |        1    41578   1281 |  0.474 % |
461.28/461.34	c |    127221 |  364198  2570011  6109776 |        1    41932   1299 |  0.474 % |
461.28/461.34	c |    127321 |  364198  2570011  6109776 |        1    42032   1298 |  0.474 % |
461.28/461.34	c |    127422 |  364198  2570011  6109776 |        1    42133   1298 |  0.474 % |
461.28/461.34	c |    127784 |  364198  2570011  6109776 |        1    42495   1299 |  0.474 % |
461.28/461.34	c |    128906 |  364193  2570009  6109768 |        1    43610   1319 |  0.475 % |
461.28/461.34	c |    129007 |  364193  2570009  6109768 |        1    43711   1323 |  0.475 % |
461.28/461.34	c |    130343 |  364193  2570009  6109768 |        1    22909    379 |  0.475 % |
461.28/461.34	c |    132992 |  364191  2570009  6109768 |        1    25556    523 |  0.476 % |
461.28/461.34	c |    133270 |  364191  2570009  6109768 |        1    25834    532 |  0.476 % |
461.28/461.34	c |    134088 |  364190  2570009  6109768 |        1    26651    580 |  0.476 % |
461.28/461.34	c |    134189 |  364189  2570009  6109768 |        1    26751    587 |  0.476 % |
461.28/461.34	c |    134289 |  364187  2570009  6109768 |        1    26849    588 |  0.477 % |
461.28/461.34	c |    134406 |  364186  2570009  6109768 |        1    26965    591 |  0.477 % |
461.28/461.34	c |    135922 |  364183  2570009  6109768 |        1    28474    643 |  0.478 % |
461.28/461.34	c |    136022 |  364183  2570009  6109768 |        1    28574    646 |  0.478 % |
461.28/461.34	c |    136766 |  364181  2570009  6109768 |        1    29316    701 |  0.479 % |
661.49/661.59	c |    137727 |  363756  2570009  6109768 |        1    30270    710 |  0.595 % |
661.49/661.59	c |    139169 |  363756  2570009  6109768 |        1    31712    819 |  0.595 % |
661.49/661.59	c |    141478 |  363752  2570005  6109183 |        1    33985    895 |  0.596 % |
661.49/661.59	c |    141579 |  363752  2570005  6109183 |        1    34086    893 |  0.596 % |
661.49/661.59	c |    145118 |  363751  2570005  6109183 |        1    37622    989 |  0.596 % |
661.49/661.59	c |    145218 |  363751  2570005  6109183 |        1    37722    989 |  0.596 % |
661.49/661.59	c |    154955 |  363750  2570005  6109183 |        1    47458   1327 |  0.596 % |
661.49/661.59	c |    155347 |  363750  2570005  6109183 |        1    47850   1335 |  0.596 % |
661.49/661.59	c |    155447 |  363749  2570005  6109183 |        1    47949   1334 |  0.597 % |
661.49/661.59	c |    160726 |  363749  2570005  6109183 |        1    28524    649 |  0.597 % |
661.49/661.59	c |    160985 |  363749  2570005  6109183 |        1    28783    663 |  0.597 % |
661.49/661.59	c |    165656 |  363714  2570005  6109183 |        1    33441    912 |  0.606 % |
661.49/661.59	c |    166679 |  363196  2570005  6109183 |        1    34463    949 |  0.748 % |
661.49/661.59	c |    167026 |  363196  2570005  6109183 |        1    34810    952 |  0.748 % |
661.49/661.59	c |    167129 |  363196  2569997  6108497 |        1    34887    954 |  0.748 % |
661.49/661.59	c |    168985 |  363196  2569997  6108497 |        1    36743   1051 |  0.748 % |
661.49/661.59	c |    169085 |  363196  2569997  6108497 |        1    36843   1049 |  0.748 % |
661.49/661.59	c |    170128 |  363195  2569997  6108497 |        1    37885   1111 |  0.748 % |
661.49/661.59	c |    170236 |  363195  2569997  6108497 |        1    37993   1111 |  0.748 % |
661.49/661.59	c |    170337 |  363195  2569997  6108497 |        1    38094   1110 |  0.748 % |
661.49/661.59	c |    170438 |  363194  2569997  6108497 |        1    38194   1111 |  0.748 % |
661.49/661.59	c |    170789 |  363192  2569997  6108497 |        1    38543   1105 |  0.749 % |
661.49/661.59	c |    171962 |  363191  2569997  6108497 |        1    39715   1142 |  0.749 % |
661.49/661.59	c |    172062 |  363191  2569997  6108497 |        1    39814   1140 |  0.749 % |
661.49/661.59	c |    172529 |  363182  2569997  6108497 |        1    40280   1152 |  0.752 % |
661.49/661.59	c |    172636 |  363182  2569997  6108497 |        1    40387   1151 |  0.752 % |
661.49/661.59	c |    173933 |  363181  2569997  6108497 |        1    41683   1180 |  0.752 % |
661.49/661.59	c |    174033 |  363181  2569997  6108497 |        1    41783   1179 |  0.752 % |
661.49/661.59	c |    175400 |  363181  2569997  6108497 |        1    43150   1242 |  0.752 % |
661.49/661.59	c |    175501 |  363181  2569997  6108497 |        1    43251   1240 |  0.752 % |
661.49/661.59	c |    178069 |  363180  2569997  6108497 |        1    45818   1375 |  0.752 % |
661.49/661.59	c |    178169 |  363180  2569995  6108482 |        1    45918   1375 |  0.752 % |
661.49/661.59	c |    178405 |  363180  2569995  6108482 |        1    46154   1373 |  0.752 % |
661.49/661.59	c |    180830 |  363180  2569995  6108482 |        1    48579   1427 |  0.752 % |
661.49/661.59	c |    181575 |  363180  2569995  6108482 |        1    49324   1447 |  0.752 % |
661.49/661.59	c |    181678 |  363180  2569995  6108482 |        1    49427   1446 |  0.752 % |
661.49/661.59	c |    182219 |  363179  2569995  6108482 |        1    49967   1441 |  0.752 % |
661.49/661.59	c |    183518 |  363145  2569995  6108482 |        1    51264   1451 |  0.762 % |
661.49/661.59	c |    184113 |  363145  2569995  6108482 |        1    51859   1454 |  0.762 % |
661.49/661.59	c |    184957 |  363145  2569995  6108482 |        1    52703   1467 |  0.762 % |
661.49/661.59	c |    188235 |  363143  2569993  6108446 |        1    28614    353 |  0.762 % |
661.49/661.59	c |    189664 |  363141  2569993  6108446 |        1    30041    511 |  0.763 % |
661.49/661.59	c |    190382 |  363140  2569993  6108446 |        1    30758    572 |  0.763 % |
661.49/661.59	c |    190899 |  363138  2569993  6108446 |        1    31273    597 |  0.764 % |
661.49/661.59	c |    191294 |  363138  2569993  6108446 |        1    31668    624 |  0.764 % |
661.49/661.59	c |    191395 |  363138  2569993  6108446 |        1    31769    628 |  0.764 % |
661.49/661.59	c |    192504 |  363138  2569993  6108446 |        1    32878    659 |  0.764 % |
661.49/661.59	c |    193769 |  363137  2569993  6108446 |        1    34140    720 |  0.764 % |
661.49/661.59	c |    193875 |  363137  2569993  6108446 |        1    34246    721 |  0.764 % |
661.49/661.59	c |    193975 |  363137  2569993  6108446 |        1    34346    719 |  0.764 % |
805.10/805.11	c |    194077 |  363137  2569993  6108446 |        1    34448    728 |  0.764 % |
805.10/805.11	c |    194439 |  363115  2569993  6108446 |        1    34806    731 |  0.770 % |
805.10/805.11	c |    194539 |  363115  2569993  6108446 |        1    34906    731 |  0.770 % |
805.10/805.11	c |    194862 |  363115  2569993  6108446 |        1    35229    730 |  0.770 % |
805.10/805.11	c |    196430 |  363114  2569993  6108446 |        1    36796    750 |  0.770 % |
805.10/805.11	c |    196530 |  363114  2569993  6108446 |        1    36896    750 |  0.770 % |
805.10/805.11	c |    197187 |  363114  2569993  6108446 |        1    37553    756 |  0.770 % |
805.10/805.11	c |    197287 |  363112  2569993  6108446 |        1    37651    756 |  0.771 % |
805.10/805.11	c |    197431 |  363108  2569993  6108446 |        1    37791    760 |  0.772 % |
805.10/805.11	c |    197532 |  363108  2569993  6108446 |        1    37892    761 |  0.772 % |
805.10/805.11	c |    197632 |  363107  2569993  6108446 |        1    37991    761 |  0.772 % |
805.10/805.11	c |    198797 |  363104  2569989  6108416 |        1    39148    836 |  0.773 % |
805.10/805.11	c |    198898 |  363104  2569989  6108416 |        1    39249    836 |  0.773 % |
805.10/805.11	c |    200330 |  363101  2569989  6108416 |        1    40678    911 |  0.774 % |
805.10/805.11	c |    202503 |  363100  2569989  6108416 |        1    42844    961 |  0.774 % |
805.10/805.11	c |    202785 |  363070  2569989  6108416 |        1    43123    968 |  0.782 % |
805.10/805.11	c |    203100 |  363070  2569989  6108416 |        1    43438    981 |  0.782 % |
805.10/805.11	c |    204300 |  363030  2569989  6108416 |        1    44630   1007 |  0.793 % |
805.10/805.11	c |    208037 |  362505  2569989  6108416 |        1    48363   1076 |  0.937 % |
805.10/805.11	c |    212341 |  362505  2569979  6107630 |        1    52254   1243 |  0.937 % |
805.10/805.11	c |    212562 |  362505  2569979  6107630 |        1    52475   1241 |  0.937 % |
805.10/805.11	c |    212924 |  362504  2569979  6107630 |        1    52835   1246 |  0.937 % |
805.10/805.11	c |    213899 |  362504  2569979  6107630 |        1    53810   1274 |  0.937 % |
805.10/805.11	c |    214767 |  362503  2569979  6107630 |        1    54677   1285 |  0.937 % |
805.10/805.11	c |    214867 |  362503  2569979  6107630 |        1    54777   1286 |  0.937 % |
805.10/805.11	c |    214981 |  362503  2569979  6107630 |        1    54891   1297 |  0.937 % |
805.10/805.11	c |    215083 |  362503  2569979  6107630 |        1    54993   1297 |  0.937 % |
805.10/805.11	c |    219345 |  362501  2569979  6107630 |        1    59253   1371 |  0.938 % |
805.10/805.11	c |    219445 |  362501  2569979  6107630 |        1    59353   1371 |  0.938 % |
805.10/805.11	c |    219545 |  362501  2569979  6107630 |        1    59453   1370 |  0.938 % |
805.10/805.11	c |    219980 |  362501  2569979  6107630 |        1    30153    335 |  0.938 % |
805.10/805.11	c |    220147 |  362501  2569979  6107630 |        1    30320    354 |  0.938 % |
805.10/805.11	c |    220247 |  362501  2569979  6107630 |        1    30420    355 |  0.938 % |
805.10/805.11	c |    220946 |  362501  2569979  6107630 |        1    31118    475 |  0.938 % |
805.10/805.11	c |    221991 |  362500  2569979  6107630 |        1    32162    513 |  0.938 % |
805.10/805.11	c |    223395 |  362499  2569979  6107630 |        1    33565    577 |  0.938 % |
805.10/805.11	c |    225442 |  362407  2569979  6107630 |        1    35608    718 |  0.963 % |
805.10/805.11	c |    226355 |  362406  2569979  6107630 |        1    36520    749 |  0.964 % |
805.10/805.11	c |    226499 |  362406  2569977  6107536 |        1    36663    748 |  0.964 % |
805.10/805.11	c |    227964 |  362405  2569977  6107536 |        1    38127    778 |  0.964 % |
805.10/805.11	c |    228066 |  362404  2569977  6107536 |        1    38228    778 |  0.964 % |
805.10/805.11	c |    230356 |  362404  2569977  6107536 |        1    40518    875 |  0.964 % |
805.10/805.11	c |    233062 |  362403  2569977  6107536 |        1    43223    920 |  0.964 % |
805.10/805.11	c |    233598 |  362360  2569977  6107536 |        1    43748    936 |  0.976 % |
805.10/805.11	c |    234493 |  362357  2569977  6107536 |        1    44640    948 |  0.977 % |
805.10/805.11	c |    234593 |  362357  2569975  6107500 |        1    44636    953 |  0.977 % |
805.10/805.11	c |    235055 |  362356  2569975  6107500 |        1    45097    959 |  0.977 % |
805.10/805.11	c |    235435 |  362346  2569975  6107500 |        1    45474    967 |  0.980 % |
805.10/805.11	c |    235535 |  362346  2569975  6107500 |        1    45574    966 |  0.980 % |
805.10/805.11	c |    236127 |  362345  2569975  6107500 |        1    46165    984 |  0.980 % |
1107.61/1107.68	c |    236228 |  362345  2569975  6107500 |        1    46266    987 |  0.980 % |
1107.61/1107.68	c |    239821 |  362343  2569975  6107500 |        1    49857   1136 |  0.981 % |
1107.61/1107.68	c |    239924 |  362343  2569975  6107500 |        1    49960   1137 |  0.981 % |
1107.61/1107.68	c |    240024 |  362343  2569975  6107500 |        1    50060   1139 |  0.981 % |
1107.61/1107.68	c |    241089 |  362341  2569973  6107485 |        1    51121   1167 |  0.981 % |
1107.61/1107.68	c |    241189 |  362341  2569973  6107485 |        1    51221   1167 |  0.981 % |
1107.61/1107.68	c |    241505 |  362340  2569973  6107485 |        1    51536   1168 |  0.982 % |
1107.61/1107.68	c |    244403 |  362339  2569973  6107485 |        1    54433   1243 |  0.982 % |
1107.61/1107.68	c |    244505 |  362339  2569973  6107485 |        1    54535   1243 |  0.982 % |
1107.61/1107.68	c |    245049 |  362339  2569973  6107485 |        1    55079   1240 |  0.982 % |
1107.61/1107.68	c |    253262 |  362324  2569971  6107463 |        1    63283   1444 |  0.986 % |
1107.61/1107.68	c |    253647 |  362324  2569971  6107463 |        1    63668   1444 |  0.986 % |
1107.61/1107.68	c |    253750 |  362324  2569971  6107463 |        1    63771   1444 |  0.986 % |
1107.61/1107.68	c |    254706 |  362324  2569971  6107463 |        1    64727   1450 |  0.986 % |
1107.61/1107.68	c |    256158 |  362322  2569971  6107463 |        1    33810    354 |  0.987 % |
1107.61/1107.68	c |    257292 |  362322  2569971  6107463 |        1    34944    394 |  0.987 % |
1107.61/1107.68	c |    260957 |  362321  2569971  6107463 |        1    38608    517 |  0.987 % |
1107.61/1107.68	c |    261129 |  362321  2569971  6107463 |        1    38780    517 |  0.987 % |
1107.61/1107.68	c |    262247 |  362321  2569971  6107463 |        1    39898    593 |  0.987 % |
1107.61/1107.68	c |    262397 |  362321  2569971  6107463 |        1    40048    596 |  0.987 % |
1107.61/1107.68	c |    262771 |  362321  2569971  6107463 |        1    40422    606 |  0.987 % |
1107.61/1107.68	c |    263407 |  362321  2569971  6107463 |        1    41058    632 |  0.987 % |
1107.61/1107.68	c |    263507 |  362320  2569971  6107463 |        1    41157    631 |  0.987 % |
1107.61/1107.68	c |    269943 |  362314  2569971  6107463 |        1    47587    946 |  0.989 % |
1107.61/1107.68	c |    270043 |  362314  2569971  6107463 |        1    47675    950 |  0.989 % |
1107.61/1107.68	c |    270148 |  362314  2569971  6107463 |        1    47780    953 |  0.989 % |
1107.61/1107.68	c |    273228 |  362277  2569971  6107463 |        1    50855   1018 |  0.999 % |
1107.61/1107.68	c |    273332 |  362277  2569971  6107463 |        1    50959   1018 |  0.999 % |
1107.61/1107.68	c |    273757 |  362277  2569971  6107463 |        1    51384   1033 |  0.999 % |
1107.61/1107.68	c |    274933 |  362276  2569969  6107427 |        1    52443   1067 |  0.999 % |
1107.61/1107.68	c |    278360 |  362276  2569969  6107427 |        1    55870   1417 |  0.999 % |
1107.61/1107.68	c |    278521 |  362276  2569969  6107427 |        1    56031   1418 |  0.999 % |
1107.61/1107.68	c |    280072 |  362276  2569969  6107427 |        1    57582   1444 |  0.999 % |
1107.61/1107.68	c |    280172 |  362276  2569969  6107427 |        1    57682   1444 |  0.999 % |
1107.61/1107.68	c |    281135 |  362276  2569969  6107427 |        1    58645   1466 |  0.999 % |
1107.61/1107.68	c |    281235 |  362276  2569969  6107427 |        1    58745   1466 |  0.999 % |
1107.61/1107.68	c |    282303 |  362276  2569969  6107427 |        1    59813   1465 |  0.999 % |
1107.61/1107.68	c |    284890 |  362261  2569969  6107427 |        1    62398   1496 |  1.003 % |
1107.61/1107.68	c |    284992 |  362261  2569969  6107427 |        1    62500   1495 |  1.003 % |
1107.61/1107.68	c |    287980 |  362257  2569969  6107427 |        1    65484   1506 |  1.004 % |
1107.61/1107.68	c |    289215 |  362257  2569969  6107427 |        1    66719   1548 |  1.004 % |
1107.61/1107.68	c |    294744 |  362254  2569969  6107427 |        1    37216    416 |  1.005 % |
1107.61/1107.68	c |    294844 |  362254  2569969  6107427 |        1    37316    423 |  1.005 % |
1107.61/1107.68	c |    295656 |  362254  2569969  6107427 |        1    38128    470 |  1.005 % |
1107.61/1107.68	c |    295760 |  362254  2569967  6107406 |        1    38225    477 |  1.005 % |
1107.61/1107.68	c |    295860 |  362254  2569967  6107406 |        1    38325    478 |  1.005 % |
1107.61/1107.68	c |    296139 |  362253  2569967  6107406 |        1    38603    490 |  1.005 % |
1107.61/1107.68	c |    296386 |  362230  2569967  6107406 |        1    38847    507 |  1.012 % |
1107.61/1107.68	c |    296487 |  362230  2569967  6107406 |        1    38948    507 |  1.012 %

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3285492-1303761767/watcher-3285492-1303761767 -o /tmp/evaluation-result-3285492-1303761767/solver-3285492-1303761767 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3285492-1303761767.cnf 

running on 2 cores: 4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.94 1.78 2.81 5/188 4670
/proc/meminfo: memFree=11215012/32950928 swapFree=67111528/67111528
[pid=4670] ppid=4668 vsize=8704 CPUtime=0 cores=4,6
/proc/4670/stat : 4670 (glucose.sh) S 4668 4670 3965 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 566407641 8912896 253 33554432000 4194304 4922060 140733234583600 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/4670/statm: 2176 253 211 178 0 69 0

[startup+0.0341341 s]
/proc/loadavg: 0.94 1.78 2.81 5/188 4670
/proc/meminfo: memFree=11215012/32950928 swapFree=67111528/67111528
[pid=4670] ppid=4668 vsize=8704 CPUtime=0 cores=4,6
/proc/4670/stat : 4670 (glucose.sh) S 4668 4670 3965 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 566407641 8912896 253 33554432000 4194304 4922060 140733234583600 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/4670/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.101131 s]
/proc/loadavg: 0.94 1.78 2.81 5/188 4670
/proc/meminfo: memFree=11215012/32950928 swapFree=67111528/67111528
[pid=4670] ppid=4668 vsize=8704 CPUtime=0 cores=4,6
/proc/4670/stat : 4670 (glucose.sh) S 4668 4670 3965 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 566407641 8912896 253 33554432000 4194304 4922060 140733234583600 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/4670/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.301093 s]
/proc/loadavg: 0.94 1.78 2.81 5/188 4670
/proc/meminfo: memFree=11215012/32950928 swapFree=67111528/67111528
[pid=4670] ppid=4668 vsize=8704 CPUtime=0 cores=4,6
/proc/4670/stat : 4670 (glucose.sh) S 4668 4670 3965 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 566407641 8912896 253 33554432000 4194304 4922060 140733234583600 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/4670/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.701023 s]
/proc/loadavg: 0.94 1.78 2.81 5/188 4670
/proc/meminfo: memFree=11215012/32950928 swapFree=67111528/67111528
[pid=4670] ppid=4668 vsize=8704 CPUtime=0 cores=4,6
/proc/4670/stat : 4670 (glucose.sh) S 4668 4670 3965 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 566407641 8912896 253 33554432000 4194304 4922060 140733234583600 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/4670/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.50088 s]
/proc/loadavg: 1.19 1.82 2.81 5/190 4672
/proc/meminfo: memFree=10818744/32950928 swapFree=67111528/67111528
[pid=4670] ppid=4668 vsize=8704 CPUtime=0 cores=4,6
/proc/4670/stat : 4670 (glucose.sh) S 4668 4670 3965 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 566407641 8912896 253 33554432000 4194304 4922060 140733234583600 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/4670/statm: 2176 253 211 178 0 69 0
[pid=4671] ppid=4670 vsize=342812 CPUtime=1.49 cores=4,6
/proc/4671/stat : 4671 (SatELite_releas) R 4670 4670 3965 0 -1 4202496 74595 0 0 0 135 14 0 0 25 0 1 0 566407641 351039488 74550 33554432000 134512640 135144242 4288187440 18446744073709551615 134715443 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/4671/statm: 85703 74550 71 155 0 85546 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 351516

[startup+3.1006 s]
/proc/loadavg: 1.19 1.82 2.81 5/190 4672
/proc/meminfo: memFree=10625072/32950928 swapFree=67111528/67111528
[pid=4670] ppid=4668 vsize=8704 CPUtime=0 cores=4,6
/proc/4670/stat : 4670 (glucose.sh) S 4668 4670 3965 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 566407641 8912896 253 33554432000 4194304 4922060 140733234583600 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/4670/statm: 2176 253 211 178 0 69 0
[pid=4671] ppid=4670 vsize=439068 CPUtime=3.09 cores=4,6
/proc/4671/stat : 4671 (SatELite_releas) R 4670 4670 3965 0 -1 4202496 121370 0 0 0 288 21 0 0 25 0 1 0 566407641 449605632 92705 33554432000 134512640 135144242 4288187440 18446744073709551615 134605795 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/4671/statm: 109767 92705 77 155 0 109610 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 447772

[startup+6.30103 s]
/proc/loadavg: 1.19 1.82 2.81 5/194 4682
/proc/meminfo: memFree=10295532/32950928 swapFree=67111528/67111528
[pid=4670] ppid=4668 vsize=8704 CPUtime=4.46 cores=4,6
/proc/4670/stat : 4670 (glucose.sh) S 4668 4670 3965 0 -1 4202496 360 153237 0 0 0 0 410 36 18 0 1 0 566407641 8912896 255 33554432000 4194304 4922060 140733234583600 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/4670/statm: 2176 255 211 178 0 69 0
[pid=4682] ppid=4670 vsize=186152 CPUtime=1.82 cores=4,6
/proc/4682/stat : 4682 (glucose_static) R 4670 4670 3965 0 -1 4202496 43426 0 0 0 174 8 0 0 25 0 1 0 566408088 190619648 39466 33554432000 4194304 4260849 140737125569056 18446744073709551615 4209488 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/4682/statm: 46538 39466 239 17 0 43179 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 194856

[startup+12.7009 s]
/proc/loadavg: 1.69 1.91 2.83 5/194 4682
/proc/meminfo: memFree=10264404/32950928 swapFree=67111528/67111528
[pid=4670] ppid=4668 vsize=8704 CPUtime=4.46 cores=4,6
/proc/4670/stat : 4670 (glucose.sh) S 4668 4670 3965 0 -1 4202496 360 153237 0 0 0 0 410 36 18 0 1 0 566407641 8912896 255 33554432000 4194304 4922060 140733234583600 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/4670/statm: 2176 255 211 178 0 69 0
[pid=4682] ppid=4670 vsize=217876 CPUtime=8.21 cores=4,6
/proc/4682/stat : 4682 (glucose_static) R 4670 4670 3965 0 -1 4202496 45746 0 0 0 813 8 0 0 25 0 1 0 566408088 223105024 41786 33554432000 4194304 4260849 140737125569056 18446744073709551615 4209389 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/4682/statm: 54469 41786 249 17 0 51110 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 226580

[startup+25.5007 s]
/proc/loadavg: 2.05 1.98 2.84 5/194 4682
/proc/meminfo: memFree=10223732/32950928 swapFree=67111528/67111528
[pid=4670] ppid=4668 vsize=8704 CPUtime=4.46 cores=4,6
/proc/4670/stat : 4670 (glucose.sh) S 4668 4670 3965 0 -1 4202496 360 153237 0 0 0 0 410 36 18 0 1 0 566407641 8912896 255 33554432000 4194304 4922060 140733234583600 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/4670/statm: 2176 255 211 178 0 69 0
[pid=4682] ppid=4670 vsize=222012 CPUtime=21.01 cores=4,6
/proc/4682/stat : 4682 (glucose_static) R 4670 4670 3965 0 -1 4202496 69915 0 0 0 2090 11 0 0 25 0 1 0 566408088 227340288 42631 33554432000 4194304 4260849 140737125569056 18446744073709551615 4225537 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/4682/statm: 55503 42631 250 17 0 52144 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 230716

[startup+51.1011 s]
/proc/loadavg: 2.71 2.14 2.87 5/194 4683
/proc/meminfo: memFree=10137972/32950928 swapFree=67111528/67111528
[pid=4670] ppid=4668 vsize=8704 CPUtime=4.46 cores=4,6
/proc/4670/stat : 4670 (glucose.sh) S 4668 4670 3965 0 -1 4202496 360 153237 0 0 0 0 410 36 18 0 1 0 566407641 8912896 255 33554432000 4194304 4922060 140733234583600 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/4670/statm: 2176 255 211 178 0 69 0
[pid=4682] ppid=4670 vsize=275960 CPUtime=46.62 cores=4,6
/proc/4682/stat : 4682 (glucose_static) R 4670 4670 3965 0 -1 4202496 108452 0 0 0 4645 17 0 0 25 0 1 0 566408088 282583040 53068 33554432000 4194304 4260849 140737125569056 18446744073709551615 4209456 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/4682/statm: 68990 53068 251 17 0 65631 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 284664

[startup+102.307 s]
/proc/loadavg: 3.56 2.46 2.94 5/194 4684
/proc/meminfo: memFree=10133744/32950928 swapFree=67111528/67111528
[pid=4670] ppid=4668 vsize=8704 CPUtime=4.46 cores=4,6
/proc/4670/stat : 4670 (glucose.sh) S 4668 4670 3965 0 -1 4202496 360 153237 0 0 0 0 410 36 18 0 1 0 566407641 8912896 255 33554432000 4194304 4922060 140733234583600 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/4670/statm: 2176 255 211 178 0 69 0
[pid=4682] ppid=4670 vsize=228668 CPUtime=97.82 cores=4,6
/proc/4682/stat : 4682 (glucose_static) R 4670 4670 3965 0 -1 4202496 181862 0 0 0 9755 27 0 0 25 0 1 0 566408088 234156032 45490 33554432000 4194304 4260849 140737125569056 18446744073709551615 4226610 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/4682/statm: 57167 45490 251 17 0 53808 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 237372

[startup+162.301 s]
/proc/loadavg: 3.84 2.74 3.00 5/194 4686
/proc/meminfo: memFree=9979324/32950928 swapFree=67111528/67111528
[pid=4670] ppid=4668 vsize=8704 CPUtime=4.46 cores=4,6
/proc/4670/stat : 4670 (glucose.sh) S 4668 4670 3965 0 -1 4202496 360 153237 0 0 0 0 410 36 18 0 1 0 566407641 8912896 255 33554432000 4194304 4922060 140733234583600 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/4670/statm: 2176 255 211 178 0 69 0
[pid=4682] ppid=4670 vsize=282376 CPUtime=157.82 cores=4,6
/proc/4682/stat : 4682 (glucose_static) R 4670 4670 3965 0 -1 4202496 238297 0 0 0 15746 36 0 0 25 0 1 0 566408088 289153024 54669 33554432000 4194304 4260849 140737125569056 18446744073709551615 4209599 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/4682/statm: 70594 54669 251 17 0 67235 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 291080

[startup+222.301 s]
/proc/loadavg: 3.94 2.97 3.06 5/194 4688
/proc/meminfo: memFree=9838060/32950928 swapFree=67111528/67111528
[pid=4670] ppid=4668 vsize=8704 CPUtime=4.46 cores=4,6
/proc/4670/stat : 4670 (glucose.sh) S 4668 4670 3965 0 -1 4202496 360 153237 0 0 0 0 410 36 18 0 1 0 566407641 8912896 255 33554432000 4194304 4922060 140733234583600 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/4670/statm: 2176 255 211 178 0 69 0
[pid=4682] ppid=4670 vsize=283280 CPUtime=217.82 cores=4,6
/proc/4682/stat : 4682 (glucose_static) R 4670 4670 3965 0 -1 4202496 304869 0 0 0 21736 46 0 0 25 0 1 0 566408088 290078720 56232 33554432000 4194304 4260849 140737125569056 18446744073709551615 4209235 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/4682/statm: 70820 56232 251 17 0 67461 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 291984

[startup+282.3 s]
/proc/loadavg: 3.98 3.15 3.12 5/194 4689
/proc/meminfo: memFree=9711408/32950928 swapFree=67111528/67111528
[pid=4670] ppid=4668 vsize=8704 CPUtime=4.46 cores=4,6
/proc/4670/stat : 4670 (glucose.sh) S 4668 4670 3965 0 -1 4202496 360 153237 0 0 0 0 410 36 18 0 1 0 566407641 8912896 255 33554432000 4194304 4922060 140733234583600 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/4670/statm: 2176 255 211 178 0 69 0
[pid=4682] ppid=4670 vsize=498304 CPUtime=277.82 cores=4,6
/proc/4682/stat : 4682 (glucose_static) R 4670 4670 3965 0 -1 4202496 342272 0 0 0 27730 52 0 0 25 0 1 0 566408088 510263296 93624 33554432000 4194304 4260849 140737125569056 18446744073709551615 4209645 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/4682/statm: 124576 93624 251 17 0 121217 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 507008

[startup+342.301 s]
/proc/loadavg: 3.99 3.30 3.17 5/194 4691
/proc/meminfo: memFree=9865644/32950928 swapFree=67111528/67111528
[pid=4670] ppid=4668 vsize=8704 CPUtime=4.46 cores=4,6
/proc/4670/stat : 4670 (glucose.sh) S 4668 4670 3965 0 -1 4202496 360 153237 0 0 0 0 410 36 18 0 1 0 566407641 8912896 255 33554432000 4194304 4922060 140733234583600 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/4670/statm: 2176 255 211 178 0 69 0
[pid=4682] ppid=4670 vsize=367560 CPUtime=337.82 cores=4,6
/proc/4682/stat : 4682 (glucose_static) R 4670 4670 3965 0 -1 4202496 397958 0 0 0 33721 61 0 0 25 0 1 0 566408088 376381440 82849 33554432000 4194304 4260849 140737125569056 18446744073709551615 4209353 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/4682/statm: 91890 82849 251 17 0 88531 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 376264

[startup+402.301 s]
/proc/loadavg: 3.99 3.43 3.22 5/194 4723
/proc/meminfo: memFree=10244028/32950928 swapFree=67111528/67111528
[pid=4670] ppid=4668 vsize=8704 CPUtime=4.46 cores=4,6

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

/proc/4682/statm: 126425 93847 251 17 0 123066 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 514404

[startup+642.301 s]
/proc/loadavg: 3.99 3.74 3.39 5/194 4730
/proc/meminfo: memFree=9991556/32950928 swapFree=67111528/67111528
[pid=4670] ppid=4668 vsize=8704 CPUtime=4.46 cores=4,6
/proc/4670/stat : 4670 (glucose.sh) S 4668 4670 3965 0 -1 4202496 360 153237 0 0 0 0 410 36 18 0 1 0 566407641 8912896 255 33554432000 4194304 4922060 140733234583600 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/4670/statm: 2176 255 211 178 0 69 0
[pid=4682] ppid=4670 vsize=292052 CPUtime=637.83 cores=4,6
/proc/4682/stat : 4682 (glucose_static) R 4670 4670 3965 0 -1 4202496 684094 0 0 0 63676 107 0 0 25 0 1 0 566408088 299061248 57117 33554432000 4194304 4260849 140737125569056 18446744073709551615 4209398 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/4682/statm: 73013 57117 251 17 0 69654 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 300756

[startup+702.3 s]
/proc/loadavg: 4.03 3.80 3.43 5/194 4731
/proc/meminfo: memFree=9765828/32950928 swapFree=67111528/67111528
[pid=4670] ppid=4668 vsize=8704 CPUtime=4.46 cores=4,6
/proc/4670/stat : 4670 (glucose.sh) S 4668 4670 3965 0 -1 4202496 360 153237 0 0 0 0 410 36 18 0 1 0 566407641 8912896 255 33554432000 4194304 4922060 140733234583600 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/4670/statm: 2176 255 211 178 0 69 0
[pid=4682] ppid=4670 vsize=507384 CPUtime=697.83 cores=4,6
/proc/4682/stat : 4682 (glucose_static) R 4670 4670 3965 0 -1 4202496 721536 0 0 0 69670 113 0 0 25 0 1 0 566408088 519561216 94543 33554432000 4194304 4260849 140737125569056 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/4682/statm: 126846 94543 251 17 0 123487 0
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (KiB) 516088

[startup+762.307 s]
/proc/loadavg: 4.01 3.83 3.46 5/194 4733
/proc/meminfo: memFree=9983540/32950928 swapFree=67111528/67111528
[pid=4670] ppid=4668 vsize=8704 CPUtime=4.46 cores=4,6
/proc/4670/stat : 4670 (glucose.sh) S 4668 4670 3965 0 -1 4202496 360 153237 0 0 0 0 410 36 18 0 1 0 566407641 8912896 255 33554432000 4194304 4922060 140733234583600 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/4670/statm: 2176 255 211 178 0 69 0
[pid=4682] ppid=4670 vsize=295204 CPUtime=757.84 cores=4,6
/proc/4682/stat : 4682 (glucose_static) R 4670 4670 3965 0 -1 4202496 785663 0 0 0 75661 123 0 0 25 0 1 0 566408088 302288896 64950 33554432000 4194304 4260849 140737125569056 18446744073709551615 4224434 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/4682/statm: 73801 64950 251 17 0 70442 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 303908

[startup+822.3 s]
/proc/loadavg: 4.00 3.86 3.49 5/194 4735
/proc/meminfo: memFree=9841128/32950928 swapFree=67111528/67111528
[pid=4670] ppid=4668 vsize=8704 CPUtime=4.46 cores=4,6
/proc/4670/stat : 4670 (glucose.sh) S 4668 4670 3965 0 -1 4202496 360 153237 0 0 0 0 410 36 18 0 1 0 566407641 8912896 255 33554432000 4194304 4922060 140733234583600 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/4670/statm: 2176 255 211 178 0 69 0
[pid=4682] ppid=4670 vsize=508852 CPUtime=817.83 cores=4,6
/proc/4682/stat : 4682 (glucose_static) R 4670 4670 3965 0 -1 4202496 818397 0 0 0 81656 127 0 0 25 0 1 0 566408088 521064448 97667 33554432000 4194304 4260849 140737125569056 18446744073709551615 4209415 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/4682/statm: 127213 97667 251 17 0 123854 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 517556

[startup+882.301 s]
/proc/loadavg: 4.03 3.89 3.52 5/194 4736
/proc/meminfo: memFree=9759132/32950928 swapFree=67111528/67111528
[pid=4670] ppid=4668 vsize=8704 CPUtime=4.46 cores=4,6
/proc/4670/stat : 4670 (glucose.sh) S 4668 4670 3965 0 -1 4202496 360 153237 0 0 0 0 410 36 18 0 1 0 566407641 8912896 255 33554432000 4194304 4922060 140733234583600 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/4670/statm: 2176 255 211 178 0 69 0
[pid=4682] ppid=4670 vsize=723776 CPUtime=877.84 cores=4,6
/proc/4682/stat : 4682 (glucose_static) R 4670 4670 3965 0 -1 4202496 843144 0 0 0 87653 131 0 0 25 0 1 0 566408088 741146624 122405 33554432000 4194304 4260849 140737125569056 18446744073709551615 4209403 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/4682/statm: 180944 122405 251 17 0 177585 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 732480

[startup+942.301 s]
/proc/loadavg: 4.01 3.91 3.55 5/194 4738
/proc/meminfo: memFree=9816244/32950928 swapFree=67111528/67111528
[pid=4670] ppid=4668 vsize=8704 CPUtime=4.46 cores=4,6
/proc/4670/stat : 4670 (glucose.sh) S 4668 4670 3965 0 -1 4202496 360 153237 0 0 0 0 410 36 18 0 1 0 566407641 8912896 255 33554432000 4194304 4922060 140733234583600 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/4670/statm: 2176 255 211 178 0 69 0
[pid=4682] ppid=4670 vsize=296708 CPUtime=937.83 cores=4,6
/proc/4682/stat : 4682 (glucose_static) R 4670 4670 3965 0 -1 4202496 890986 0 0 0 93645 138 0 0 25 0 1 0 566408088 303828992 64601 33554432000 4194304 4260849 140737125569056 18446744073709551615 4209649 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/4682/statm: 74177 64601 251 17 0 70818 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 305412

[startup+1002.3 s]
/proc/loadavg: 4.00 3.92 3.58 5/194 4739
/proc/meminfo: memFree=9611612/32950928 swapFree=67111528/67111528
[pid=4670] ppid=4668 vsize=8704 CPUtime=4.46 cores=4,6
/proc/4670/stat : 4670 (glucose.sh) S 4668 4670 3965 0 -1 4202496 360 153237 0 0 0 0 410 36 18 0 1 0 566407641 8912896 255 33554432000 4194304 4922060 140733234583600 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/4670/statm: 2176 255 211 178 0 69 0
[pid=4682] ppid=4670 vsize=510356 CPUtime=997.84 cores=4,6
/proc/4682/stat : 4682 (glucose_static) R 4670 4670 3965 0 -1 4202496 923945 0 0 0 99641 143 0 0 25 0 1 0 566408088 522604544 97546 33554432000 4194304 4260849 140737125569056 18446744073709551615 4209346 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/4682/statm: 127589 97546 251 17 0 124230 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 519060

[startup+1062.3 s]
/proc/loadavg: 4.04 3.95 3.60 5/194 4741
/proc/meminfo: memFree=9641580/32950928 swapFree=67111528/67111528
[pid=4670] ppid=4668 vsize=8704 CPUtime=4.46 cores=4,6
/proc/4670/stat : 4670 (glucose.sh) S 4668 4670 3965 0 -1 4202496 360 153237 0 0 0 0 410 36 18 0 1 0 566407641 8912896 255 33554432000 4194304 4922060 140733234583600 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/4670/statm: 2176 255 211 178 0 69 0
[pid=4682] ppid=4670 vsize=725280 CPUtime=1057.83 cores=4,6
/proc/4682/stat : 4682 (glucose_static) R 4670 4670 3965 0 -1 4202496 957587 0 0 0 105636 147 0 0 25 0 1 0 566408088 742686720 131181 33554432000 4194304 4260849 140737125569056 18446744073709551615 4224534 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/4682/statm: 181320 131181 251 17 0 177961 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 733984

[startup+1122.3 s]
/proc/loadavg: 4.01 3.95 3.63 5/194 4743
/proc/meminfo: memFree=9776588/32950928 swapFree=67111528/67111528
[pid=4670] ppid=4668 vsize=8704 CPUtime=4.46 cores=4,6
/proc/4670/stat : 4670 (glucose.sh) S 4668 4670 3965 0 -1 4202496 360 153237 0 0 0 0 410 36 18 0 1 0 566407641 8912896 255 33554432000 4194304 4922060 140733234583600 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/4670/statm: 2176 255 211 178 0 69 0
[pid=4682] ppid=4670 vsize=379460 CPUtime=1117.84 cores=4,6
/proc/4682/stat : 4682 (glucose_static) R 4670 4670 3965 0 -1 4202496 1026705 0 0 0 111624 160 0 0 25 0 1 0 566408088 388567040 78545 33554432000 4194304 4260849 140737125569056 18446744073709551615 4209368 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/4682/statm: 94865 78545 251 17 0 91506 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 388164

[startup+1182.3 s]
/proc/loadavg: 4.00 3.96 3.65 5/194 4744
/proc/meminfo: memFree=9674740/32950928 swapFree=67111528/67111528
[pid=4670] ppid=4668 vsize=8704 CPUtime=4.46 cores=4,6
/proc/4670/stat : 4670 (glucose.sh) S 4668 4670 3965 0 -1 4202496 360 153237 0 0 0 0 410 36 18 0 1 0 566407641 8912896 255 33554432000 4194304 4922060 140733234583600 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/4670/statm: 2176 255 211 178 0 69 0
[pid=4682] ppid=4670 vsize=511720 CPUtime=1177.84 cores=4,6
/proc/4682/stat : 4682 (glucose_static) R 4670 4670 3965 0 -1 4202496 1059354 0 0 0 117620 164 0 0 25 0 1 0 566408088 524001280 111185 33554432000 4194304 4260849 140737125569056 18446744073709551615 4209368 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/4682/statm: 127930 111185 251 17 0 124571 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 520424

[startup+1242.3 s]
/proc/loadavg: 4.05 3.98 3.67 5/194 4746
/proc/meminfo: memFree=9719976/32950928 swapFree=67111528/67111528
[pid=4670] ppid=4668 vsize=8704 CPUtime=4.46 cores=4,6
/proc/4670/stat : 4670 (glucose.sh) S 4668 4670 3965 0 -1 4202496 360 153237 0 0 0 0 410 36 18 0 1 0 566407641 8912896 255 33554432000 4194304 4922060 140733234583600 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/4670/statm: 2176 255 211 178 0 69 0
[pid=4682] ppid=4670 vsize=727908 CPUtime=1237.85 cores=4,6
/proc/4682/stat : 4682 (glucose_static) R 4670 4670 3965 0 -1 4202496 1096403 0 0 0 123615 170 0 0 25 0 1 0 566408088 745377792 148224 33554432000 4194304 4260849 140737125569056 18446744073709551615 4209635 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/4682/statm: 181977 148224 251 17 0 178618 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 736612



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.02 3.98 3.69 5/190 4769
/proc/meminfo: memFree=9892436/32950928 swapFree=67111528/67111528
[pid=4670] ppid=4668 vsize=8704 CPUtime=4.46 cores=4,6
/proc/4670/stat : 4670 (glucose.sh) S 4668 4670 3965 0 -1 4202496 360 153237 0 0 0 0 410 36 18 0 1 0 566407641 8912896 255 33554432000 4194304 4922060 140733234583600 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/4670/statm: 2176 255 211 178 0 69 0
[pid=4682] ppid=4670 vsize=512984 CPUtime=1295.55 cores=4,6
/proc/4682/stat : 4682 (glucose_static) R 4670 4670 3965 0 -1 4202496 1163378 0 0 0 129375 180 0 0 25 0 1 0 566408088 525295616 93818 33554432000 4194304 4260849 140737125569056 18446744073709551615 4209599 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/4682/statm: 128246 93818 251 17 0 124887 0
Current children cumulated CPU time (s) 1300.01
Current children cumulated vsize (KiB) 521688

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

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4670 and gives
#  childrusage.ru_utime.tv_sec=4
#  childrusage.ru_utime.tv_usec=101376
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=368943
# CPU time returned by wait4() is 4.47032
# while last known CPU time is 1300.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1300.01
CPU time (s): 1300.01
CPU user time (s): 1297.85
CPU system time (s): 2.16
CPU usage (%): 99.9999
Max. virtual memory (cumulated for all children) (KiB): 866840

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

runsolver used 2.29065 second user time and 4.81427 second system time

The end

Launcher Data 

Begin job on node112 at 2011-04-25 22:02:50
IDJOB=3285492
IDBENCH=82387
IDSOLVER=1651
FILE ID=node112/3285492-1303761767
RUNJOBID= node112-1303761767-4632
PBS_JOBID= 13157140
Free space on /tmp= 72360 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT11/application/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3285492-1303761767/watcher-3285492-1303761767 -o /tmp/evaluation-result-3285492-1303761767/solver-3285492-1303761767 -C 2400 -W 1300 -M 7680  glucose.sh HOME/instance-3285492-1303761767.cnf 

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 5d1253e2dcc0e3e55992672756beadbc
RANDOM SEED=1032896248

node112.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5261.27
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      11215408 kB
Buffers:       1972680 kB
Cached:       18972304 kB
SwapCached:          0 kB
Active:       10047104 kB
Inactive:     11137388 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      11215408 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:          237156 kB
Writeback:           0 kB
AnonPages:      239204 kB
Mapped:          15404 kB
Slab:           486708 kB
PageTables:       5564 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   414940 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72208 MiB
End job on node112 at 2011-04-25 22:24:32