Trace number 1772761

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
precosat 236? (TO) 10000.1 10003.3

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/partial-5-15-u.cnf
MD5SUMc2f768afbb9db3d5f5133c3f48734894
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables217930
Number of clauses1002997
Sum of the clauses size2303180
Maximum clause length10
Minimum clause length1
Number of clauses of size 116378
Number of clauses of size 2795155
Number of clauses of size 3150764
Number of clauses of size 44520
Number of clauses of size 518080
Number of clauses of size over 518100

Solver Data 

0.00/0.00	c PicoSATLight Version 236 3e7a3f8825c0b9e241f38a63fee5517540b2feca
0.00/0.00	c Copyright (C) 2009, Armin Biere, JKU, Linz, Austria.  All rights reserved.
0.00/0.00	c Released on Sun Mar 22 10:16:26 CET 2009
0.00/0.00	c Compiled on Tue Mar 24 21:24:39 CET 2009
0.00/0.00	c g++ (GCC) 4.3.2 20081105 (Red Hat 4.3.2-7)
0.00/0.00	c -O3 -m32 -static -Wall -Wextra -DNDEBUG -DNLOGPRECO -DNSTATSPRECO
0.00/0.00	c -finline-limit=10000000 -fomit-frame-pointer -fno-exceptions
0.00/0.00	c Linux baghera 2.6.27.19-170.2.35.fc10.i686.PAE i686
0.00/0.00	c
0.00/0.00	c reading HOME/instance-1772761-1241189051.cnf
0.00/0.00	c found header 'p cnf 217930 1002997'
2.09/2.20	c finished parsing
2.09/2.20	c
2.09/2.20	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
2.09/2.20	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
2.09/2.20	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
2.09/2.20	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
2.09/2.20	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
2.09/2.20	c --random=1 --spread=2000 --seed=0 --skip=25
2.09/2.20	c
2.09/2.20	c sizeof     vars[0] = 16   alignment = 0       3 MB
2.09/2.20	c sizeof     orgs[0] =  8   alignment = 0       2 MB
2.09/2.20	c sizeof     occs[0] =  8   alignment = 0       2 MB
2.09/2.20	c sizeof iirfs[0..1] =  8   alignment = 0       2 MB
2.09/2.20	c
2.09/2.20	c starting search after 2.2 seconds
2.09/2.20	c no decision limit
2.19/2.25	c
2.19/2.25	c       original/binary      fixed     eliminated      learned       agility
2.19/2.25	c   seconds        variables     equivalent    conflicts       height       MB
2.19/2.25	c
2.19/2.25	c *    2.3   985541  158813   8206 50911      0       0      0    0.0   0   78
8.68/8.71	c s    8.7   520952   78705  46901 50065  42259       0      0    0.0   0   54
8.68/8.71	c l    8.7   520952   78705  46901 50065  42259       0 229731    0.0   0   54
9.08/9.11	c R    9.1   526272   78229  47371 50071  42259     125    116   55.0   2   56
18.78/18.82	c s   18.8   660807   63378  59332 50374  44846     239    203   97.7   1   62
18.78/18.82	c -   18.8   660807   63378  59332 50374  44846     239 181488   97.7   1   62
22.77/22.81	c B   22.8   711849   61007  61605 50472  44846    1001    898  378.3   2   66
27.77/27.82	c B   27.8   775749   58994  63546 50544  44846    2001   1870  446.9   6   75
31.07/31.17	c R   31.2   849384   57558  64942 50584  44846    2785   2619  419.4   3   79
41.95/42.02	c s   42.0   717646   54656  66974 50654  45646    4261   3758  400.3   1   72
41.95/42.02	c -   42.0   717646   54656  66974 50654  45646    4261 159710  400.3   1   72
56.34/56.43	c B   56.4   941969   52875  68639 50770  45646    8001   7382  384.0   6   88
59.05/59.15	c R   59.1  1001173   52408  69071 50805  45646    8839   8208  380.2   1   92
68.93/69.03	c s   69.0   952643   51190  69954 50879  45907   10252   8653  386.1   8   87
68.93/69.03	c -   69.0   952643   51190  69954 50879  45907   10252 151725  386.1   8   87
106.82/106.94	c s  106.9  1127772   48411  71784 51320  46415   18744  13055  393.5   2   99
106.82/106.94	c -  106.9  1127772   48411  71784 51320  46415   18744 144139  393.5   2   99
128.21/128.34	c B  128.3  1431441   46792  73228 51495  46415   24006  18267  397.8   6  132
152.90/153.04	c s  153.0  1386014   45229  74098 51836  46767   28890  16823  398.0   3  123
152.90/153.04	c
152.90/153.04	c       original/binary      fixed     eliminated      learned       agility
152.90/153.04	c   seconds        variables     equivalent    conflicts       height       MB
152.90/153.04	c
152.90/153.04	c -  153.0  1386014   45229  74098 51836  46767   28890 132608  398.0   3  123
159.19/159.38	c R  159.3  1441843   44954  74237 51972  46767   30749  18671  396.4   4  130
212.87/213.00	c s  212.9  1510171   41925  75257 52204  48544   43262  16295  393.6   4  128
212.87/213.00	c -  212.9  1510171   41925  75257 52204  48544   43262 127304  393.6   4  128
279.44/279.63	c s  279.5  1713639   37470  78141 53055  49264   60028  18029  387.4   3  137
279.44/279.63	c -  279.5  1713639   37470  78141 53055  49264   60028 117120  387.4   3  137
291.83/292.02	c B  291.9  1782122   36503  78825 53338  49264   64015  22006  386.5   5  149
306.03/306.29	c R  306.1  1818568   36215  79056 53395  49264   68983  26963  385.8   3  159
355.61/355.86	c s  355.7  1871558   33445  80488 54355  49642   81909  28156  384.4   5  156
355.61/355.86	c -  355.7  1871558   33445  80488 54355  49642   81909 110093  384.4   5  156
434.08/434.35	c +  434.1  2178443   32939  80833 54516  49642  110094 121102  376.2   4  220
453.98/454.25	c s  454.0  1866524   30153  80845 54593  52339  113832   7164  375.9   3  138
453.98/454.25	c -  454.0  1866524   30153  80845 54593  52339  113832 118680  375.9   3  138
461.57/461.86	c R  461.6  1889114   30118  80877 54596  52339  117706  11034  373.5   4  144
499.56/499.85	c +  499.6  2014514   29900  81067 54624  52339  134863 130548  366.5   8  173
543.42/543.74	c s  543.5  1907755   29735  81191 54632  52372  150926  41084  360.9   3  178
543.42/543.74	c -  543.5  1907755   29735  81191 54632  52372  150926 126632  360.9   3  178
565.71/566.02	c B  565.7  1963300   29658  81258 54642  52372  160042  50198  358.8   5  196
573.40/573.76	c +  573.5  1977373   29641  81271 54646  52372  163518 139295  357.8   8  202
643.38/643.74	c
643.38/643.74	c       original/binary      fixed     eliminated      learned       agility
643.38/643.74	c   seconds        variables     equivalent    conflicts       height       MB
643.38/643.74	c
643.38/643.74	c s  643.4  1885626   29023  81431 54678  52798  188913  19188  355.3   3  143
643.38/643.74	c -  643.4  1885626   29023  81431 54678  52798  188913 136510  355.3   3  143
667.57/667.99	c +  667.7  1924965   28980  81469 54683  52798  200308 150161  351.8   3  160
740.44/740.88	c s  740.5  1958214   28865  81557 54694  52814  228832  49789  345.6   2  176
740.44/740.88	c -  740.5  1958214   28865  81557 54694  52814  228832 148660  345.6   2  176
749.53/750.00	c R  749.6  1968205   28840  81582 54694  52814  232456  53411  345.5   4  184
787.52/787.91	c +  787.5  2005296   28809  81612 54695  52814  247882 163526  342.7   6  209
851.59/852.01	c s  851.6  2027594   28735  81679 54697  52819  270979  80626  338.5   2  215
962.84/963.33	c +  962.9  2130171   28480  81887 54744  52819  309850 179878  332.6   6  281
984.33/984.80	c s  984.3  2008478   28217  81899 54774  53040  313630  47734  331.9   5  163
1096.68/1097.20	c s 1096.7  2012137   27979  82045 54865  53041  358510  92241  326.6   2  220
1144.27/1144.80	c R 1144.3  2019204   27956  82065 54868  53041  378426 112155  325.4   3  253
1158.87/1159.45	c B 1158.9  2020982   27942  82079 54868  53041  384102 117829  325.7   7  263
1165.47/1166.06	c + 1165.5  2021031   27942  82079 54868  53041  387313 197865  325.4   8  268
1221.44/1222.07	c s 1221.5  2035168   27928  82091 54870  53041  404593 138246  323.9   3  289
1364.20/1364.81	c s 1364.2  2072279   27709  82149 54896  53176  451722  80906  322.1   5  188
1449.38/1450.05	c + 1449.4  2155800   27537  82301 54916  53176  484140 217651  318.5   6  240
1502.26/1502.96	c s 1502.3  2027382   27424  82349 54948  53209  498737 127845  317.0   3  244
1502.26/1502.96	c - 1502.3  2027382   27424  82349 54948  53209  498737 215475  317.0   3  244
1650.53/1651.25	c
1650.53/1651.25	c       original/binary      fixed     eliminated      learned       agility
1650.53/1651.25	c   seconds        variables     equivalent    conflicts       height       MB
1650.53/1651.25	c
1650.53/1651.25	c s 1650.6  2017959   27283  82468 54963  53216  544528 173623  315.0   4  308
1818.07/1818.84	c s 1818.1  1987826   27076  82521 54969  53364  591949 111427  311.9   8  204
1835.87/1836.64	c + 1835.9  1991855   27074  82523 54969  53364  599128 237022  311.4   5  219
1951.73/1952.56	c s 1951.8  2005552   27068  82527 54971  53364  639280 158742  311.2   8  272
2119.57/2120.45	c s 2119.6  2020020   27059  82534 54973  53364  688042 207427  308.7   5  341
2301.52/2302.49	c s 2301.6  2013118   26939  82563 54984  53444  737782 150725  305.9   6  249
2332.51/2333.48	c + 2332.6  2029685   26932  82569 54985  53444  748910 260724  305.4   7  272
2462.18/2463.15	c s 2462.2  2024333   26882  82608 54990  53450  785502 188284  303.6   4  297
2622.44/2623.49	c s 2622.5  2038671   26856  82627 54997  53450  834181 236953  302.7   5  364
2798.68/2799.76	c s 2798.7  2037753   26775  82633 55002  53520  885270 184256  302.6   4  297
2832.36/2833.49	c B 2832.5  2039143   26773  82634 55003  53520  896243 195229  302.6   3  322
2958.52/2959.67	c s 2958.6  2038811   26771  82635 55004  53520  932199 231164  302.0   3  363
2971.62/2972.76	c + 2971.7  2039498   26768  82637 55005  53520  936136 286796  301.9   7  376
3049.30/3050.47	c R 3049.4  2045191   26756  82647 55007  53520  961731 260694  302.3   6  420
3130.88/3132.06	c s 3130.9  2031756   26743  82654 55013  53520  983688 282566  302.7   4  440
3327.02/3328.26	c s 3327.1  2005587   26617  82689 55031  53593 1034270 190714  301.7   3  308
3516.46/3517.74	c s 3516.5  2015876   26610  82695 55031  53594 1084374 240786  300.4  11  379
3718.51/3719.80	c s 3718.5  2016488   26575  82697 55032  53626 1135793 237105  299.6   5  362
3846.47/3847.88	c + 3846.6  2018831   26573  82697 55034  53626 1170172 315475  298.4   4  428
3922.25/3923.69	c
3922.25/3923.69	c       original/binary      fixed     eliminated      learned       agility
3922.25/3923.69	c   seconds        variables     equivalent    conflicts       height       MB
3922.25/3923.69	c
3922.25/3923.69	c s 3922.3  2019135   26573  82697 55034  53626 1187826 289124  298.3   6  436
4134.46/4135.97	c s 4134.5  2047267   26557  82711 55036  53626 1238097 315583  297.9   7  491
4366.16/4367.74	c s 4366.2  2040171   26454  82754 55037  53685 1292692 241505  297.0   9  373
4582.10/4583.71	c s 4582.1  2042201   26426  82775 55042  53687 1344411 293216  296.0   6  449
4795.84/4797.53	c s 4795.9  2042607   26330  82785 55045  53770 1397704 293351  295.5   6  454
5004.17/5005.97	c s 5004.3  2045818   26324  82785 55051  53770 1450541 315588  296.0   5  502
5045.16/5046.93	c + 5045.2  2046093   26323  82786 55051  53770 1462716 347022  296.4   3  521
5237.51/5239.31	c s 5237.5  2037808   26249  82799 55055  53827 1502918 294747  295.9   6  453
5472.93/5474.86	c s 5473.0  2052464   26240  82808 55055  53827 1556616 347252  295.5   5  533
5731.46/5733.46	c s 5731.5  2055401   26193  82820 55056  53861 1611305 228622  294.9   5  343
5921.20/5923.23	c s 5921.2  2061054   26165  82831 55073  53861 1663882 281195  294.8   6  421
6151.54/6153.68	c s 6151.6  2062937   26165  82831 55073  53861 1718812 336119  293.9   6  504
6397.76/6399.94	c s 6397.8  2065606   26110  82838 55075  53907 1775738 297186  293.4   1  445
6601.80/6604.05	c + 6601.9  2080075   26104  82844 55075  53907 1828395 381724  292.8   8  543
6629.99/6632.24	c s 6630.0  2072794   26103  82844 55075  53908 1831098 350027  292.8   4  525
6861.93/6864.22	c s 6862.0  2074798   26077  82846 55079  53928 1887929 376870  292.5   9  574
7094.95/7097.39	c s 7095.1  2080760   26077  82846 55079  53928 1944472 382023  292.9   3  606
7100.15/7102.55	c R 7100.2  2081037   26077  82846 55079  53928 1946376 382008  292.9   5  612
7312.69/7315.18	c s 7312.8  2082813   26077  82846 55079  53928 2001173 381861  294.3   6  629
7492.04/7494.55	c
7492.04/7494.55	c       original/binary      fixed     eliminated      learned       agility
7492.04/7494.55	c   seconds        variables     equivalent    conflicts       height       MB
7492.04/7494.55	c
7492.04/7494.55	c B 7492.1  2088709   26075  82847 55080  53928 2048544 381980  294.3   6  661
7557.92/7560.41	c s 7557.9  2088812   26060  82847 55080  53943 2060179 329958  294.3   4  525
7788.66/7791.28	c s 7788.7  2089433   26058  82849 55080  53943 2117310 381903  294.3   6  605
8018.68/8021.37	c s 8018.8  2091266   26058  82849 55080  53943 2175465 381991  294.1   3  615
8250.51/8253.28	c s 8250.6  2092044   26058  82849 55080  53943 2233812 382109  294.3   4  624
8464.75/8467.50	c + 8464.8  2093849   26057  82850 55080  53943 2285490 419896  294.5  10  653
8501.34/8504.12	c s 8501.4  2093851   26047  82850 55080  53953 2289065 373239  294.6   5  607
8797.05/8799.93	c s 8797.1  2097276   26047  82850 55080  53953 2348958 420096  294.0   5  682
9092.88/9095.84	c s 9092.9  2100063   26047  82850 55080  53953 2406223 420143  293.4   3  689
9379.79/9382.84	c s 9379.8  2098983   26030  82857 55080  53963 2463849 370321  293.4   5  593
9579.12/9582.23	c R 9579.2  2099384   26030  82857 55080  53963 2510650 417122  293.5   2  690
9656.40/9659.58	c s 9656.5  2099467   26030  82857 55080  53963 2521971 420043  293.5   3  672
9949.12/9952.39	c s 9949.2  2099506   26030  82857 55080  53963 2591544 420095  292.1   3  697
10000.00/10003.20	c
10000.00/10003.20	c *** CAUGHT SIGNAL 15 ***
10000.00/10003.20	c
10000.00/10003.20	c 2601737 conflicts, 10466305 decisions, 5193 random
10000.00/10003.20	c 208 iterations, 6482 restarts, 0 skipped
10000.00/10003.20	c 15 enlarged, 30347 shrunken, 25444 rescored, 619 rebiased
10000.00/10003.20	c 58 simplifications, 0 reductions
10000.00/10003.20	c
10000.00/10003.20	c vars: 82857 fixed, 55080 equiv, 53963 elim, 56906 merged
10000.00/10003.20	c elim: 16494150 resolutions, 52 phases, 21 rounds
10000.00/10003.20	c sbst: 60% substituted, 14.9% nots, 85.1% ands, 0.0% xors, 0.0% ites
10000.00/10003.20	c arty: 3.23 and 0.00 xor average arity
10000.00/10003.20	c prbe: 561644 probed, 4165 phases, 10 rounds
10000.00/10003.20	c prbe: 5538 failed, 6717 lifted, 1093 merged
10000.00/10003.20	c sccs: 287 non trivial, 0 fixed, 905 merged
10000.00/10003.20	c hash: 265 units, 54908 merged
10000.00/10003.20	c mins: 969118045 learned, 23% deleted, 67 strong, 289 depth
10000.00/10003.20	c subs: 116515 forward, 120810 backward, 197281 doms
10000.00/10003.20	c strs: 42824 forward, 217 backward
10000.00/10003.20	c doms: 697381 dominators, 232702 high, 770 low
10000.00/10003.20	c prps: 4811118274 propagations, 0.48 megaprops
10000.00/10003.20	c
10000.00/10003.20	c 10000.0 seconds, 727 MB max, 3353 MB recycled
10000.00/10003.20	c
10000.00/10003.20	c *** CAUGHT SIGNAL 15 ***
10000.00/10003.20	c

Verifier Data 

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

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1772761-1241189051/watcher-1772761-1241189051 -o /tmp/evaluation-result-1772761-1241189051/solver-1772761-1241189051 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1772761-1241189051.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.97 3/64 25120
/proc/meminfo: memFree=1341632/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=4196 CPUtime=0
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 924 0 0 0 0 0 0 0 18 0 1 0 146938130 4296704 909 1992294400 134512640 135151029 4294956240 18446744073709551615 134697845 0 0 4096 0 0 0 0 17 0 0 0
/proc/25120/statm: 1049 915 58 155 0 892 0

[startup+0.067985 s]
/proc/loadavg: 0.99 0.97 0.97 3/64 25120
/proc/meminfo: memFree=1341632/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=19548 CPUtime=0.06
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 4748 0 0 0 4 2 0 0 18 0 1 0 146938130 20017152 4733 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 4887 4733 63 155 0 4730 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 19548

[startup+0.101987 s]
/proc/loadavg: 0.99 0.97 0.97 3/64 25120
/proc/meminfo: memFree=1341632/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=21656 CPUtime=0.09
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 5315 0 0 0 7 2 0 0 18 0 1 0 146938130 22175744 5267 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 5414 5268 63 155 0 5257 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21656

[startup+0.302009 s]
/proc/loadavg: 0.99 0.97 0.97 3/64 25120
/proc/meminfo: memFree=1341632/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=31604 CPUtime=0.29
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 7981 0 0 0 26 3 0 0 19 0 1 0 146938130 32362496 7739 1992294400 134512640 135151029 4294956240 18446744073709551615 134579313 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 7901 7739 63 155 0 7744 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31604

[startup+0.701047 s]
/proc/loadavg: 0.99 0.97 0.97 3/64 25120
/proc/meminfo: memFree=1341632/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=43184 CPUtime=0.69
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 11656 0 0 0 64 5 0 0 23 0 1 0 146938130 44220416 10644 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 10796 10645 63 155 0 10639 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43184

[startup+1.50113 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 25121
/proc/meminfo: memFree=1288312/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=67872 CPUtime=1.49
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 18840 0 0 0 140 9 0 0 25 0 1 0 146938130 69500928 16803 1992294400 134512640 135151029 4294956240 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 16968 16803 64 155 0 16811 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 67872

[startup+3.10129 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 25121
/proc/meminfo: memFree=1253880/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=87036 CPUtime=3.09
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 26485 0 0 0 296 13 0 0 25 0 1 0 146938130 89124864 21546 1992294400 134512640 135151029 4294956240 18446744073709551615 134572573 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 21759 21546 79 155 0 21602 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 87036

[startup+6.30161 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 25121
/proc/meminfo: memFree=1240824/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=101360 CPUtime=6.28
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 32117 0 0 0 612 16 0 0 25 0 1 0 146938130 103792640 25127 1992294400 134512640 135151029 4294956240 18446744073709551615 134697847 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 25340 25127 79 155 0 25183 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 101360

[startup+12.7013 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 25121
/proc/meminfo: memFree=1251256/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=91148 CPUtime=12.68
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 33918 0 0 0 1251 17 0 0 25 0 1 0 146938130 93335552 22577 1992294400 134512640 135151029 4294956240 18446744073709551615 134554492 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 22787 22577 79 155 0 22630 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 91148

[startup+25.5016 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 25121
/proc/meminfo: memFree=1247352/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=95244 CPUtime=25.48
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 45786 0 0 0 2525 23 0 0 25 0 1 0 146938130 97529856 23603 1992294400 134512640 135151029 4294956240 18446744073709551615 134542738 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 23811 23603 79 155 0 23654 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 95244

[startup+51.1012 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 25121
/proc/meminfo: memFree=1240568/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=102068 CPUtime=51.05
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 59733 0 0 0 5075 30 0 0 25 0 1 0 146938130 104517632 25297 1992294400 134512640 135151029 4294956240 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 25517 25297 79 155 0 25360 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 102068

[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 25121
/proc/meminfo: memFree=1196792/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=129440 CPUtime=102.22
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 85809 0 0 0 10177 45 0 0 25 0 1 0 146938130 132546560 32122 1992294400 134512640 135151029 4294956240 18446744073709551615 134521749 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 32360 32122 79 155 0 32203 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 129440

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 25121
/proc/meminfo: memFree=1170360/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=172140 CPUtime=162.19
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 128830 0 0 0 16150 69 0 0 25 0 1 0 146938130 176271360 42815 1992294400 134512640 135151029 4294956240 18446744073709551615 134542738 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 43035 42815 79 155 0 42878 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 172140

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 25121
/proc/meminfo: memFree=1149432/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=192992 CPUtime=222.16
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 154483 0 0 0 22132 84 0 0 25 0 1 0 146938130 197623808 48021 1992294400 134512640 135151029 4294956240 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 48248 48021 79 155 0 48091 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 192992

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 25121
/proc/meminfo: memFree=1135416/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=206956 CPUtime=282.14
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 178421 0 0 0 28117 97 0 0 25 0 1 0 146938130 211922944 51512 1992294400 134512640 135151029 4294956240 18446744073709551615 134542684 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 51739 51512 79 155 0 51582 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 206956

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 25121
/proc/meminfo: memFree=1131000/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=211716 CPUtime=342.11
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 179642 0 0 0 34113 98 0 0 25 0 1 0 146938130 216797184 52733 1992294400 134512640 135151029 4294956240 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 52929 52733 79 155 0 52772 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 211716

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 25121
/proc/meminfo: memFree=1121144/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=221864 CPUtime=402.09
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 202098 0 0 0 40099 110 0 0 25 0 1 0 146938130 227188736 55255 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 55466 55255 79 155 0 55309 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 221864

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 25121
/proc/meminfo: memFree=1088376/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=253904 CPUtime=462.07
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 229887 0 0 0 46080 127 0 0 25 0 1 0 146938130 259997696 63239 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 63476 63239 79 155 0 63319 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 253904

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 25121
/proc/meminfo: memFree=1088312/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=253904 CPUtime=522.03
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 229895 0 0 0 52076 127 0 0 25 0 1 0 146938130 259997696 63247 1992294400 134512640 135151029 4294956240 18446744073709551615 134554722 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 63476 63247 79 155 0 63319 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 253904

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 25121
/proc/meminfo: memFree=1088248/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=253904 CPUtime=582
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 249461 0 0 0 58064 136 0 0 25 0 1 0 146938130 259997696 63266 1992294400 134512640 135151029 4294956240 18446744073709551615 134542806 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 63476 63266 79 155 0 63319 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 253904

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 25121
/proc/meminfo: memFree=1077688/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=264384 CPUtime=641.99
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 269830 0 0 0 64050 149 0 0 25 0 1 0 146938130 270729216 65879 1992294400 134512640 135151029 4294956240 18446744073709551615 134680161 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 66096 65879 79 155 0 65939 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 264384

[startup+702.301 s]

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

[startup+9102.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25143
/proc/meminfo: memFree=572536/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=767908 CPUtime=9099.37
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 1191285 0 0 0 909249 688 0 0 25 0 1 0 146938130 786337792 191299 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 191977 191299 79 155 0 191820 0
Current children cumulated CPU time (s) 9099.37
Current children cumulated vsize (KiB) 767908

[startup+9162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25143
/proc/meminfo: memFree=572408/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=767908 CPUtime=9159.35
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 1191349 0 0 0 915247 688 0 0 25 0 1 0 146938130 786337792 191363 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 191977 191363 79 155 0 191820 0
Current children cumulated CPU time (s) 9159.35
Current children cumulated vsize (KiB) 767908

[startup+9222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25143
/proc/meminfo: memFree=571704/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=767908 CPUtime=9219.33
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 1191540 0 0 0 921245 688 0 0 25 0 1 0 146938130 786337792 191554 1992294400 134512640 135151029 4294956240 18446744073709551615 134552227 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 191977 191554 79 155 0 191820 0
Current children cumulated CPU time (s) 9219.33
Current children cumulated vsize (KiB) 767908

[startup+9282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25143
/proc/meminfo: memFree=569528/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=770232 CPUtime=9279.31
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 1192107 0 0 0 927243 688 0 0 25 0 1 0 146938130 788717568 192121 1992294400 134512640 135151029 4294956240 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 192558 192121 79 155 0 192401 0
Current children cumulated CPU time (s) 9279.31
Current children cumulated vsize (KiB) 770232

[startup+9342.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25143
/proc/meminfo: memFree=567352/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=772712 CPUtime=9339.3
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 1192617 0 0 0 933241 689 0 0 25 0 1 0 146938130 791257088 192631 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 193178 192631 79 155 0 193021 0
Current children cumulated CPU time (s) 9339.3
Current children cumulated vsize (KiB) 772712

[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25143
/proc/meminfo: memFree=567992/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=771280 CPUtime=9399.28
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 1212333 0 0 0 939229 699 0 0 25 0 1 0 146938130 789790720 192422 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 192820 192422 79 155 0 192663 0
Current children cumulated CPU time (s) 9399.28
Current children cumulated vsize (KiB) 771280

[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25143
/proc/meminfo: memFree=567992/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=771280 CPUtime=9459.26
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 1212342 0 0 0 945227 699 0 0 25 0 1 0 146938130 789790720 192431 1992294400 134512640 135151029 4294956240 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 192820 192431 79 155 0 192663 0
Current children cumulated CPU time (s) 9459.26
Current children cumulated vsize (KiB) 771280

[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25143
/proc/meminfo: memFree=567992/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=771280 CPUtime=9519.24
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 1212350 0 0 0 951225 699 0 0 25 0 1 0 146938130 789790720 192439 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 192820 192439 79 155 0 192663 0
Current children cumulated CPU time (s) 9519.24
Current children cumulated vsize (KiB) 771280

[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25143
/proc/meminfo: memFree=567992/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=771280 CPUtime=9579.22
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 1212355 0 0 0 957223 699 0 0 25 0 1 0 146938130 789790720 192444 1992294400 134512640 135151029 4294956240 18446744073709551615 134554900 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 192820 192444 79 155 0 192663 0
Current children cumulated CPU time (s) 9579.22
Current children cumulated vsize (KiB) 771280

[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25143
/proc/meminfo: memFree=584312/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=754892 CPUtime=9639.21
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 1213215 0 0 0 963221 700 0 0 25 0 1 0 146938130 773009408 188355 1992294400 134512640 135151029 4294956240 18446744073709551615 134521844 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 188723 188355 79 155 0 188566 0
Current children cumulated CPU time (s) 9639.21
Current children cumulated vsize (KiB) 754892

[startup+9702.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/65 25143
/proc/meminfo: memFree=567736/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=771280 CPUtime=9699.19
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 1231928 0 0 0 969211 708 0 0 25 0 1 0 146938130 789790720 192470 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 192820 192470 79 155 0 192663 0
Current children cumulated CPU time (s) 9699.19
Current children cumulated vsize (KiB) 771280

[startup+9762.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 25143
/proc/meminfo: memFree=567736/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=771280 CPUtime=9759.17
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 1231930 0 0 0 975209 708 0 0 25 0 1 0 146938130 789790720 192472 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 192820 192472 79 155 0 192663 0
Current children cumulated CPU time (s) 9759.17
Current children cumulated vsize (KiB) 771280

[startup+9822.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/65 25143
/proc/meminfo: memFree=567736/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=771280 CPUtime=9819.16
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 1231932 0 0 0 981208 708 0 0 25 0 1 0 146938130 789790720 192474 1992294400 134512640 135151029 4294956240 18446744073709551615 134520453 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 192820 192474 79 155 0 192663 0
Current children cumulated CPU time (s) 9819.16
Current children cumulated vsize (KiB) 771280

[startup+9882.3 s]
/proc/loadavg: 1.06 1.04 1.00 2/65 25143
/proc/meminfo: memFree=567736/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=771280 CPUtime=9879.14
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 1231937 0 0 0 987206 708 0 0 25 0 1 0 146938130 789790720 192479 1992294400 134512640 135151029 4294956240 18446744073709551615 134520459 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 192820 192479 79 155 0 192663 0
Current children cumulated CPU time (s) 9879.14
Current children cumulated vsize (KiB) 771280

[startup+9942.3 s]
/proc/loadavg: 1.09 1.05 1.01 2/65 25143
/proc/meminfo: memFree=583608/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=754892 CPUtime=9939.12
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 1232905 0 0 0 993203 709 0 0 25 0 1 0 146938130 773009408 188498 1992294400 134512640 135151029 4294956240 18446744073709551615 134521749 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 188723 188498 79 155 0 188566 0
Current children cumulated CPU time (s) 9939.12
Current children cumulated vsize (KiB) 754892

[startup+10002.3 s]
/proc/loadavg: 1.03 1.04 1.00 2/65 25143
/proc/meminfo: memFree=567224/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=771280 CPUtime=9999.1
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 1240984 0 0 0 999197 713 0 0 25 0 1 0 146938130 789790720 192604 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 192820 192604 79 155 0 192663 0
Current children cumulated CPU time (s) 9999.1
Current children cumulated vsize (KiB) 771280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+10003.2 s]
/proc/loadavg: 1.03 1.04 1.00 2/65 25143
/proc/meminfo: memFree=567224/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=771280 CPUtime=10000
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 1240984 0 0 0 999287 713 0 0 25 0 1 0 146938130 789790720 192604 1992294400 134512640 135151029 4294956240 18446744073709551615 134554571 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 192820 192604 79 155 0 192663 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 771280

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

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

[startup+10003.3 s]
/proc/loadavg: 1.03 1.04 1.00 2/66 25144
/proc/meminfo: memFree=1216096/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=0 CPUtime=10000.1
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4195332 1240984 0 0 0 999287 724 0 0 25 0 1 0 146938130 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/25120/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 10003.3
CPU time (s): 10000.1
CPU user time (s): 9992.88
CPU system time (s): 7.2579
CPU usage (%): 99.9681
Max. virtual memory (cumulated for all children) (KiB): 779476

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

runsolver used 8.50871 second user time and 27.8908 second system time

The end

Launcher Data 

Begin job on node27 at 2009-05-01 16:44:12
IDJOB=1772761
IDBENCH=20385
IDSOLVER=607
FILE ID=node27/1772761-1241189051
PBS_JOBID= 9224609
Free space on /tmp= 66252 MiB

SOLVER NAME= precosat 236
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/partial-5-15-u.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1772761-1241189051/watcher-1772761-1241189051 -o /tmp/evaluation-result-1772761-1241189051/solver-1772761-1241189051 -C 10000 -W 12000 -M 1800  HOME/precosat HOME/instance-1772761-1241189051.cnf

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= c2f768afbb9db3d5f5133c3f48734894
RANDOM SEED=523474937

node27.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 2800.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5521.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 2800.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1342048 kB
Buffers:         66908 kB
Cached:         559604 kB
SwapCached:       5072 kB
Active:          40832 kB
Inactive:       593732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1342048 kB
SwapTotal:     4192956 kB
SwapFree:      4180900 kB
Dirty:           18660 kB
Writeback:           0 kB
Mapped:          14084 kB
Slab:            65168 kB
Committed_AS:   662720 kB
PageTables:       1372 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264948 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66252 MiB
End job on node27 at 2009-05-01 19:30:57