Trace number 3365755

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
SAT09 reference solver:precosat 236? (TO) 5000.15 5000.01

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf
MD5SUMc6d3480970bb2819448dd0a800a3cf1c
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3527.13
Satisfiable
(Un)Satisfiability was proved
Number of variables1134832
Number of clauses6175026
Sum of the clauses size14647926
Maximum clause length1178
Minimum clause length1
Number of clauses of size 1846
Number of clauses of size 26124260
Number of clauses of size 3960
Number of clauses of size 41200
Number of clauses of size 51200
Number of clauses of size over 546560

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-3365755-1307648049.cnf
0.00/0.00	c found header 'p cnf 1134832 6175026'
6.69/6.74	c finished parsing
6.69/6.74	c
6.69/6.74	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
6.69/6.74	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
6.69/6.74	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
6.69/6.74	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
6.69/6.74	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
6.69/6.74	c --random=1 --spread=2000 --seed=0 --skip=25
6.69/6.74	c
6.69/6.74	c sizeof     vars[0] = 16   alignment = 0      17 MB
6.69/6.74	c sizeof     orgs[0] =  8   alignment = 0       9 MB
6.69/6.74	c sizeof     occs[0] =  8   alignment = 0       9 MB
6.69/6.74	c sizeof iirfs[0..1] =  8   alignment = 0       9 MB
6.69/6.74	c
6.69/6.74	c starting search after 6.7 seconds
6.69/6.74	c no decision limit
6.79/6.84	c
6.79/6.84	c       original/binary      fixed     eliminated      learned       agility
6.79/6.84	c   seconds        variables     equivalent    conflicts       height       MB
6.79/6.84	c
6.79/6.84	c *    6.8  5086413 1014817 119887   128      0       0      0    0.0   0  436
111.10/111.12	c s  111.1  4546242  602898 148261   128 383545       0      0    0.0   0  429
111.10/111.12	c l  111.1  4546242  602898 148261   128 383545       0  50527    0.0   0  429
111.59/111.64	c R  111.7  4549851  602717 148442   128 383545     130    128 57634.5   1  436
111.89/111.99	c R  112.0  4551495  602717 148442   128 383545     230    228 44105.6   1  438
114.49/114.50	c B  114.5  4566209  602524 148634   129 383545    1000    990 29845.1   0  449
118.29/118.38	c B  118.4  4601523  597477 153657   153 383545    2000   1980 29471.6   1  455
133.70/133.74	c s  133.7  4529910  588763 158751   138 387180    2650   2582 30464.4   0  454
133.70/133.74	c -  133.7  4529910  588763 158751   138 387180    2650  50022 30464.4   0  454
152.10/152.15	c B  152.2  4731490  579238 168253   161 387180    8003   7849 33447.0   0  505
165.39/165.41	c s  165.4  4628875  575973 168781   196 389882    8278   7590 33274.7   0  495
165.39/165.41	c -  165.4  4628875  575973 168781   196 389882    8278  49522 33274.7   0  495
210.40/210.48	c s  210.5  4769436  566995 177744   210 389883   17075  15870 31101.1   0  564
231.09/231.18	c s  231.2  4552159  542061 202673   210 389888   19023  17275 30689.5   0  562
231.09/231.18	c -  231.2  4552159  542061 202673   210 389888   19023  47542 30689.5   0  562
240.99/241.10	c R  241.1  4615857  538777 205954   213 389888   22111  20328 30079.2   1  593
247.00/247.01	c B  247.0  4646253  538611 206115   218 389888   24007  22197 29684.4   1  615
276.70/276.70	c s  276.7  4682589  537704 207016   224 389888   28429  26176 29611.7   1  647
323.80/323.80	c s  323.8  4876536  535920 208785   237 389890   37257  34243 29441.1   0  710
357.19/357.28	c
357.19/357.28	c       original/binary      fixed     eliminated      learned       agility
357.19/357.28	c   seconds        variables     equivalent    conflicts       height       MB
357.19/357.28	c
357.19/357.28	c +  357.3  5047481  533602 211093   247 389890   47542  52296 29331.3   1  804
375.70/375.72	c s  375.7  5023715  533552 211137   253 389890   47930  43574 29307.9   0  797
426.71/426.79	c s  426.8  5163175  531978 212697   267 389890   57784  51763 28679.5   0  856
431.30/431.39	c +  431.4  5181684  531791 212884   267 389890   59433  57525 28505.2   0  864
447.40/447.45	c B  447.5  5251594  531454 213221   267 389890   64021  56871 28344.1   1  910
479.70/479.71	c s  479.7  5291263  531222 213445   275 389890   68750  57383 28144.4   0  910
497.01/497.09	c +  497.1  5363714  530898 213765   279 389890   74290  63277 28125.8   0  905
532.90/532.96	c s  533.0  5428376  530560 214100   282 389890   79947  63063 27901.5   0  945
593.60/593.67	c s  593.7  5545818  529846 214808   288 389890   91788  63196 27500.7   0  941
598.61/598.65	c +  598.7  5562836  529782 214872   288 389890   92861  69604 27428.9   0  944
655.41/655.46	c s  655.5  5677225  529180 215468   294 389890  102623  69583 27095.1   0  981
716.32/716.30	c s  716.3  5775455  526877 217770   295 389890  115283  67251 26985.8   0  971
720.01/720.00	c +  720.0  5784115  526865 217782   295 389890  116075  76564 27027.5   0  984
781.81/781.81	c s  781.8  5901460  526218 218429   295 389890  128216  76439 26830.4   0 1051
846.11/846.18	c s  846.2  6002971  524358 220286   298 389890  140992  76298 26676.9   0 1049
859.61/859.63	c +  859.7  6055785  524110 220531   301 389890  145091  84220 26617.8   0 1062
912.12/912.11	c s  912.1  6148086  523483 221160   299 389890  154448  84331 26375.5   0 1139
929.11/929.15	c B  929.2  6204886  523287 221355   300 389890  160043  84305 26275.0   0 1136
977.62/977.61	c s  977.6  6292270  522576 222062   304 389890  167638  84158 26202.8   0 1139
1017.21/1017.22	c
1017.21/1017.22	c       original/binary      fixed     eliminated      learned       agility
1017.21/1017.22	c   seconds        variables     equivalent    conflicts       height       MB
1017.21/1017.22	c
1017.21/1017.22	c + 1017.3  6429429  522283 222355   304 389890  181362  92642 26013.5   0 1157
1041.93/1041.99	c s 1042.0  6430254  522240 222397   305 389890  182144  84956 25990.8   0 1155
1111.92/1111.90	c s 1111.9  6480804  520390 224238   314 389890  196111  92452 25709.2   0 1202
1186.02/1186.09	c s 1186.1  6617986  519965 224659   318 389890  210183  92660 25608.1   1 1188
1213.22/1213.25	c R 1213.3  6716717  519608 225014   320 389890  219459  92699 25532.3   0 1179
1255.63/1255.63	c s 1255.7  6766341  519360 225261   321 389890  225623  92565 25419.0   0 1144
1259.33/1259.32	c + 1259.4  6776792  519324 225297   321 389890  226701 101906 25413.5   2 1144
1332.93/1332.94	c s 1333.0  6904366  518743 225877   322 389890  240533 101991 25398.5   0 1216
1407.03/1407.02	c s 1407.1  7065307  518261 226357   324 389890  255866 101875 25341.0   0 1191
1480.13/1480.12	c s 1480.2  7229733  517717 226900   325 389890  271143 101873 25245.7   0 1189
1527.43/1527.45	c + 1527.5  7404168  517309 227305   328 389890  283380 112096 25117.6   0 1186
1559.13/1559.16	c s 1559.2  7421033  517278 227327   328 389899  285983 104125 25106.0   0 1189
1639.14/1639.20	c s 1639.2  7598027  516736 227866   331 389899  303575 112135 25045.9   0 1272
1722.44/1722.43	c s 1722.5  7774214  516292 228301   340 389899  319915 112176 24893.4   0 1287
1808.35/1808.37	c s 1808.4  7943008  515888 228701   344 389899  338347 112146 24685.4   1 1317
1863.04/1863.07	c + 1863.1  8118039  515392 229196   345 389899  354226 123305 24552.9   0 1361
1887.44/1887.46	c s 1887.5  8107383  515390 229198   345 389899  354557 112438 24556.6   0 1350
1971.05/1971.07	c s 1971.1  8277760  515117 229469   347 389899  372904 123330 24488.2   0 1479
2007.94/2007.95	c B 2008.0  8390861  515023 229562   348 389899  384121 123506 24410.9   0 1500
2023.05/2023.01	c allocating 128 MB block
2040.15/2040.13	c allocating 128 MB block
2055.95/2055.96	c allocating 128 MB block
2058.75/2058.77	c
2058.75/2058.77	c       original/binary      fixed     eliminated      learned       agility
2058.75/2058.77	c   seconds        variables     equivalent    conflicts       height       MB
2058.75/2058.77	c
2058.75/2058.77	c s 2058.8  8444340  514962 229622   349 389899  390990 123286 24336.3   0 1558
2130.35/2130.31	c allocating 128 MB block
2146.75/2146.73	c allocating 128 MB block
2149.55/2149.59	c s 2149.7  8619426  514792 229789   352 389899  410637 123330 24242.1   0 1569
2220.16/2220.11	c allocating 128 MB block
2238.16/2238.18	c allocating 128 MB block
2241.06/2241.01	c s 2241.1  8596989  511148 233429   356 389899  429440 120684 24159.7   0 1560
2281.16/2281.19	c + 2281.3  8701152  510838 233739   356 389899  442780 135635 24122.2   0 1590
2321.26/2321.27	c allocating 128 MB block
2343.65/2343.63	c allocating 128 MB block
2346.66/2346.62	c s 2346.7  8763416  510734 233839   360 389899  451316 131983 24087.8   0 1649
2435.46/2435.43	c allocating 128 MB block
2457.66/2457.64	c allocating 128 MB block
2460.66/2460.65	c s 2460.7  8936682  510101 234471   361 389899  470306 135860 24067.9   0 1632
2543.87/2543.85	c allocating 128 MB block
2564.66/2564.67	c allocating 128 MB block
2567.67/2567.67	c s 2567.8  9110887  509674 234882   377 389899  491440 135651 23986.5   0 1622
2658.67/2658.61	c allocating 128 MB block
2689.47/2689.48	c allocating 128 MB block
2692.47/2692.46	c s 2692.5  9246728  483112 235547   378 415795  513491 130120 23948.1   0 1552
2779.47/2779.47	c allocating 128 MB block
2797.67/2797.69	c allocating 128 MB block
2800.77/2800.80	c s 2800.9  9419753  482703 235956   378 415795  536269 135631 23820.4   0 1596
2865.88/2865.89	c + 2866.0  9579659  482355 236304   378 415795  553478 149198 23735.4   1 1632
2891.77/2891.70	c allocating 128 MB block
2910.58/2910.50	c allocating 128 MB block
2913.77/2913.73	c s 2913.8  9613974  482311 236342   384 415795  558375 140559 23700.0   0 1667
3016.28/3016.25	c allocating 128 MB block
3035.78/3035.78	c allocating 128 MB block
3039.18/3039.16	c s 3039.2  9795791  481655 236996   386 415795  581103 149245 23591.6   0 1778
3122.38/3122.34	c allocating 128 MB block
3141.67/3141.62	c allocating 128 MB block
3145.08/3145.01	c s 3145.1  9983492  480984 237664   388 415796  603602 148240 23487.2   0 1753
3227.98/3227.95	c allocating 128 MB block
3247.38/3247.33	c allocating 128 MB block
3250.79/3250.76	c s 3250.9 10175735  480528 238119   389 415796  626401 149235 23389.0   0 1734
3343.68/3343.64	c allocating 128 MB block
3362.89/3362.90	c allocating 128 MB block
3366.39/3366.37	c s 3366.5 10382677  479773 238873   390 415796  651679 149293 23273.6   0 1710
3399.59/3399.50	c R 3399.6 10439252  479589 239057   390 415796  660161 149586 23227.7   1 1728
3480.29/3480.20	c allocating 128 MB block
3499.59/3499.56	c allocating 128 MB block
3503.19/3503.12	c s 3503.2 10564521  479265 239379   392 415796  679778 149206 23115.6   0 1736
3550.49/3550.44	c + 3550.5 10659618  479178 239465   393 415796  691848 164117 23059.9   1 1782
3602.60/3602.50	c allocating 128 MB block
3622.79/3622.76	c allocating 128 MB block
3626.59/3626.51	c s 3626.6 10777757  479144 239499   393 415796  705472 162939 23022.7   0 1857
3728.20/3728.11	c allocating 128 MB block
3748.50/3748.48	c allocating 128 MB block
3752.40/3752.31	c
3752.40/3752.31	c       original/binary      fixed     eliminated      learned       agility
3752.40/3752.31	c   seconds        variables     equivalent    conflicts       height       MB
3752.40/3752.31	c
3752.40/3752.31	c s 3752.4 10998205  478944 239698   394 415796  732319 164291 22911.2   0 1864
3861.80/3861.78	c allocating 128 MB block
3882.21/3882.14	c allocating 128 MB block
3886.00/3885.99	c s 3886.1 11188957  478759 239883   394 415796  759755 164173 22813.4   0 1868
3994.01/3993.97	c allocating 128 MB block
4014.31/4014.24	c allocating 128 MB block
4018.21/4018.12	c s 4018.2 11408016  478366 240276   394 415796  787682 164336 22694.5   0 1840
4117.00/4116.90	c allocating 128 MB block
4137.61/4137.51	c allocating 128 MB block
4141.61/4141.51	c s 4141.6 11615236  477821 240818   397 415796  816144 164221 22627.2   0 1881
4239.82/4239.79	c allocating 128 MB block
4260.31/4260.29	c allocating 128 MB block
4264.41/4264.34	c s 4264.5 11669580  475528 243111   397 415796  846245 157602 22544.4   0 1899
4318.12/4318.02	c + 4318.1 11815524  475358 243280   398 415796  864811 180528 22486.9   0 1966
4358.71/4358.62	c allocating 128 MB block
4379.82/4379.74	c allocating 128 MB block
4384.01/4383.98	c s 4384.1 11881696  475239 243399   398 415796  874332 174073 22463.2   1 2040
4446.82/4446.73	c B 4446.9 12057834  474879 243759   398 415796  896261 181046 22397.2   0 2081
4480.12/4480.04	c allocating 128 MB block
4499.92/4499.84	c allocating 128 MB block
4504.22/4504.17	c s 4504.3 12096940  474808 243830   398 415796  903859 180550 22380.0   0 2060
4610.12/4610.01	c allocating 128 MB block
4629.72/4629.64	c allocating 128 MB block
4634.12/4634.04	c s 4634.2 12305823  474477 244160   399 415796  933848 180577 22272.3   0 2061
4741.13/4741.07	c allocating 128 MB block
4760.72/4760.68	c allocating 128 MB block
4765.13/4765.09	c s 4765.2 12402184  472038 246598   400 415796  966071 167780 22136.5   0 2051
4785.13/4785.05	c R 4785.2 12446657  471982 246654   400 415796  973473 175180 22103.7   0 2134
4875.93/4875.82	c allocating 128 MB block
4896.54/4896.48	c allocating 128 MB block
4901.23/4901.18	c s 4901.3 12618813  471820 246814   402 415796  999868 180559 22001.0   0 2212
5000.04/4999.90	c
5000.04/4999.90	c *** CAUGHT SIGNAL 15 ***
5000.04/4999.90	c
5000.04/4999.90	c 1029262 conflicts, 270148953 decisions, 135195 random
5000.04/4999.90	c 2277 iterations, 5915 restarts, 0 skipped
5000.04/4999.90	c 14 enlarged, 2569 shrunken, 10074 rescored, 258 rebiased
5000.04/4999.90	c 56 simplifications, 0 reductions
5000.04/4999.90	c
5000.04/4999.90	c vars: 247197 fixed, 402 equiv, 415796 elim, 566 merged
5000.04/4999.90	c elim: 34447377 resolutions, 56 phases, 2 rounds
5000.04/4999.90	c sbst: 0% substituted, 3.3% nots, 96.7% ands, 0.0% xors, 0.0% ites
5000.04/4999.90	c arty: 2.22 and 0.00 xor average arity
5000.04/4999.90	c prbe: 316252 probed, 12191 phases, 0 rounds
5000.04/4999.90	c prbe: 9990 failed, 50854 lifted, 0 merged
5000.04/4999.90	c sccs: 207 non trivial, 0 fixed, 207 merged
5000.04/4999.90	c hash: 829 units, 359 merged
5000.04/4999.90	c mins: 2239067724 learned, 11% deleted, 16 strong, 41 depth
5000.04/4999.90	c subs: 6444 forward, 251 backward, 5714 doms
5000.04/4999.90	c strs: 237 forward, 1 backward
5000.04/4999.90	c doms: 244250 dominators, 59801 high, 483 low
5000.04/4999.90	c prps: 17861335144 propagations, 3.57 megaprops
5000.04/4999.90	c
5000.04/4999.90	c 5000.0 seconds, 2282 MB max, 3281 MB recycled
5000.04/4999.90	c
5000.04/4999.90	c *** CAUGHT SIGNAL 15 ***
5000.04/4999.90	c

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: 977)

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-3365755-1307648049/watcher-3365755-1307648049 -o /tmp/evaluation-result-3365755-1307648049/solver-3365755-1307648049 -C 5000 -W 5100 -M 15500 HOME/precosat HOME/instance-3365755-1307648049.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.01 2.01 2.00 2/174 3379
/proc/meminfo: memFree=31660924/32951124 swapFree=67060628/67111528
[pid=3379] ppid=3377 vsize=18600 CPUtime=0 cores=0,2,4,6
/proc/3379/stat : 3379 (precosat) R 3377 3379 787 0 -1 4202496 3525 0 0 0 0 0 0 0 24 0 1 0 876405703 19046400 3482 33554432000 134512640 135151029 4294506176 18446744073709551615 134697845 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3379/statm: 4650 3496 59 156 0 4493 0

[startup+0.0286321 s]
/proc/loadavg: 2.01 2.01 2.00 2/174 3379
/proc/meminfo: memFree=31660924/32951124 swapFree=67060628/67111528
[pid=3379] ppid=3377 vsize=46232 CPUtime=0.01 cores=0,2,4,6
/proc/3379/stat : 3379 (precosat) R 3377 3379 787 0 -1 4202496 9590 0 0 0 1 0 0 0 24 0 1 0 876405703 47341568 9547 33554432000 134512640 135151029 4294506176 18446744073709551615 134534335 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3379/statm: 11558 9549 60 156 0 11401 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 46232

[startup+0.100649 s]
/proc/loadavg: 2.01 2.01 2.00 2/174 3379
/proc/meminfo: memFree=31660924/32951124 swapFree=67060628/67111528
[pid=3379] ppid=3377 vsize=49304 CPUtime=0.09 cores=0,2,4,6
/proc/3379/stat : 3379 (precosat) R 3377 3379 787 0 -1 4202496 11995 0 0 0 8 1 0 0 24 0 1 0 876405703 50487296 11952 33554432000 134512640 135151029 4294506176 18446744073709551615 134534335 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3379/statm: 12326 11954 60 156 0 12169 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 49304

[startup+0.300613 s]
/proc/loadavg: 2.01 2.01 2.00 2/174 3379
/proc/meminfo: memFree=31660924/32951124 swapFree=67060628/67111528
[pid=3379] ppid=3377 vsize=104164 CPUtime=0.29 cores=0,2,4,6
/proc/3379/stat : 3379 (precosat) R 3377 3379 787 0 -1 4202496 25108 0 0 0 26 3 0 0 25 0 1 0 876405703 106663936 24967 33554432000 134512640 135151029 4294506176 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/3379/statm: 26041 24968 65 156 0 25884 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 104164

[startup+0.700515 s]
/proc/loadavg: 2.01 2.01 2.00 2/174 3379
/proc/meminfo: memFree=31660924/32951124 swapFree=67060628/67111528
[pid=3379] ppid=3377 vsize=126492 CPUtime=0.69 cores=0,2,4,6
/proc/3379/stat : 3379 (precosat) R 3377 3379 787 0 -1 4202496 31570 0 0 0 65 4 0 0 25 0 1 0 876405703 129527808 30530 33554432000 134512640 135151029 4294506176 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3379/statm: 31623 30531 65 156 0 31466 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 126492

[startup+2.25728 s]
/proc/loadavg: 2.01 2.01 2.00 2/174 3379
/proc/meminfo: memFree=31660924/32951124 swapFree=67060628/67111528
[pid=3379] ppid=3377 vsize=232664 CPUtime=2.25 cores=0,2,4,6
/proc/3379/stat : 3379 (precosat) R 3377 3379 787 0 -1 4202496 60930 0 0 0 216 9 0 0 25 0 1 0 876405703 238247936 56816 33554432000 134512640 135151029 4294506176 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3379/statm: 58166 56817 65 156 0 58009 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 232664

[startup+3.10112 s]
/proc/loadavg: 2.17 2.04 2.01 3/175 3380
/proc/meminfo: memFree=31426176/32951124 swapFree=67060628/67111528
[pid=3379] ppid=3377 vsize=282144 CPUtime=3.09 cores=0,2,4,6
/proc/3379/stat : 3379 (precosat) R 3377 3379 787 0 -1 4202496 77350 0 0 0 298 11 0 0 25 0 1 0 876405703 288915456 69139 33554432000 134512640 135151029 4294506176 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3379/statm: 70536 69140 65 156 0 70379 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 282144

[startup+6.30054 s]
/proc/loadavg: 2.17 2.04 2.01 3/175 3380
/proc/meminfo: memFree=31189100/32951124 swapFree=67060628/67111528
[pid=3379] ppid=3377 vsize=475076 CPUtime=6.29 cores=0,2,4,6
/proc/3379/stat : 3379 (precosat) R 3377 3379 787 0 -1 4202496 133246 0 0 0 608 21 0 0 25 0 1 0 876405703 486477824 116842 33554432000 134512640 135151029 4294506176 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3379/statm: 118769 116843 65 156 0 118612 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 475076

[startup+12.7004 s]
/proc/loadavg: 2.15 2.04 2.01 3/175 3380
/proc/meminfo: memFree=31123632/32951124 swapFree=67060628/67111528
[pid=3379] ppid=3377 vsize=533152 CPUtime=12.69 cores=0,2,4,6
/proc/3379/stat : 3379 (precosat) R 3377 3379 787 0 -1 4202496 208652 0 0 0 1237 32 0 0 25 0 1 0 876405703 545947648 130711 33554432000 134512640 135151029 4294506176 18446744073709551615 134681633 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3379/statm: 133288 130711 80 156 0 133131 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 533152

[startup+25.501 s]
/proc/loadavg: 2.12 2.04 2.01 3/175 3380
/proc/meminfo: memFree=30995888/32951124 swapFree=67060628/67111528
[pid=3379] ppid=3377 vsize=678552 CPUtime=25.5 cores=0,2,4,6
/proc/3379/stat : 3379 (precosat) R 3377 3379 787 0 -1 4202496 252583 0 0 0 2511 39 0 0 25 0 1 0 876405703 694837248 166449 33554432000 134512640 135151029 4294506176 18446744073709551615 134548564 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3379/statm: 169638 166449 80 156 0 169481 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 678552

[startup+51.1004 s]
/proc/loadavg: 2.14 2.05 2.01 3/175 3381
/proc/meminfo: memFree=30995848/32951124 swapFree=67060628/67111528
[pid=3379] ppid=3377 vsize=678552 CPUtime=51.09 cores=0,2,4,6
/proc/3379/stat : 3379 (precosat) R 3377 3379 787 0 -1 4202496 252583 0 0 0 5070 39 0 0 25 0 1 0 876405703 694837248 166449 33554432000 134512640 135151029 4294506176 18446744073709551615 134573911 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3379/statm: 169638 166449 80 156 0 169481 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 678552

[startup+102.301 s]
/proc/loadavg: 2.06 2.04 2.01 3/175 3382
/proc/meminfo: memFree=30995348/32951124 swapFree=67060628/67111528
[pid=3379] ppid=3377 vsize=678552 CPUtime=102.29 cores=0,2,4,6
/proc/3379/stat : 3379 (precosat) R 3377 3379 787 0 -1 4202496 252588 0 0 0 10190 39 0 0 25 0 1 0 876405703 694837248 166454 33554432000 134512640 135151029 4294506176 18446744073709551615 134526328 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3379/statm: 169638 166454 80 156 0 169481 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 678552

[startup+162.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/175 3384
/proc/meminfo: memFree=31109472/32951124 swapFree=67060628/67111528
[pid=3379] ppid=3377 vsize=562908 CPUtime=162.3 cores=0,2,4,6
/proc/3379/stat : 3379 (precosat) R 3377 3379 787 0 -1 4202496 480716 0 0 0 16161 69 0 0 25 0 1 0 876405703 576417792 137985 33554432000 134512640 135151029 4294506176 18446744073709551615 134521920 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3379/statm: 140727 137985 80 156 0 140570 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 562908

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 3385
/proc/meminfo: memFree=30960328/32951124 swapFree=67060628/67111528
[pid=3379] ppid=3377 vsize=671080 CPUtime=222.3 cores=0,2,4,6
/proc/3379/stat : 3379 (precosat) R 3377 3379 787 0 -1 4202496 706224 0 0 0 22132 98 0 0 25 0 1 0 876405703 687185920 165019 33554432000 134512640 135151029 4294506176 18446744073709551615 134572727 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3379/statm: 167770 165019 80 156 0 167613 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 671080

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 3388
/proc/meminfo: memFree=30913136/32951124 swapFree=67060628/67111528
[pid=3379] ppid=3377 vsize=759892 CPUtime=282.29 cores=0,2,4,6
/proc/3379/stat : 3379 (precosat) R 3377 3379 787 0 -1 4202496 888442 0 0 0 28107 122 0 0 25 0 1 0 876405703 778129408 187220 33554432000 134512640 135151029 4294506176 18446744073709551615 134542738 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3379/statm: 189973 187220 80 156 0 189816 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 759892

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 3390
/proc/meminfo: memFree=30809884/32951124 swapFree=67060628/67111528
[pid=3379] ppid=3377 vsize=862540 CPUtime=342.3 cores=0,2,4,6
/proc/3379/stat : 3379 (precosat) R 3377 3379 787 0 -1 4202496 1022916 0 0 0 34088 142 0 0 25 0 1 0 876405703 883240960 212876 33554432000 134512640 135151029 4294506176 18446744073709551615 134552588 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3379/statm: 215635 212876 80 156 0 215478 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 862540

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3391
/proc/meminfo: memFree=30707152/32951124 swapFree=67060628/67111528
[pid=3379] ppid=3377 vsize=967296 CPUtime=402.3 cores=0,2,4,6
/proc/3379/stat : 3379 (precosat) R 3377 3379 787 0 -1 4202496 1153687 0 0 0 40070 160 0 0 25 0 1 0 876405703 990511104 239054 33554432000 134512640 135151029 4294506176 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3379/statm: 241824 239054 80 156 0 241667 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 967296

[startup+462.307 s]
/proc/loadavg: 2.11 2.03 2.01 3/175 3393
/proc/meminfo: memFree=30712060/32951124 swapFree=67060628/67111528
[pid=3379] ppid=3377 vsize=959464 CPUtime=462.3 cores=0,2,4,6
/proc/3379/stat : 3379 (precosat) R 3377 3379 787 0 -1 4202496 1274076 0 0 0 46054 176 0 0 25 0 1 0 876405703 982491136 237110 33554432000 134512640 135151029 4294506176 18446744073709551615 134521758 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3379/statm: 239866 237110 80 156 0 239709 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 959464

[startup+522.301 s]
/proc/loadavg: 2.04 2.02 2.00 3/175 3394
/proc/meminfo: memFree=30612796/32951124 swapFree=67060628/67111528
[pid=3379] ppid=3377 vsize=1074896 CPUtime=522.3 cores=0,2,4,6
/proc/3379/stat : 3379 (precosat) R 3377 3379 787 0 -1 4202496 1448595 0 0 0 52030 200 0 0 25 0 1 0 876405703 1100693504 265981 33554432000 134512640 135151029 4294506176 18446744073709551615 134679972 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3379/statm: 268724 265981 80 156 0 268567 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1074896

[startup+582.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 3397
/proc/meminfo: memFree=30605168/32951124 swapFree=67060628/67111528
[pid=3379] ppid=3377 vsize=1066204 CPUtime=582.31 cores=0,2,4,6
/proc/3379/stat : 3379 (precosat) R 3377 3379 787 0 -1 4202496 1545870 0 0 0 58018 213 0 0 25 0 1 0 876405703 1091792896 263791 33554432000 134512640 135151029 4294506176 18446744073709551615 134687693 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3379/statm: 266551 263791 80 156 0 266394 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1066204

[startup+642.301 s]

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

[startup+4062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3555
/proc/meminfo: memFree=30141040/32951124 swapFree=67060628/67111528
[pid=3379] ppid=3377 vsize=2107044 CPUtime=4062.41 cores=0,2,4,6
/proc/3379/stat : 3379 (precosat) R 3377 3379 787 0 -1 4202496 6653222 0 0 0 405337 904 0 0 25 0 1 0 876405703 2157613056 524091 33554432000 134512640 135151029 4294506176 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3379/statm: 526761 524091 80 156 0 526604 0
Current children cumulated CPU time (s) 4062.41
Current children cumulated vsize (KiB) 2107044

[startup+4122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3556
/proc/meminfo: memFree=30170260/32951124 swapFree=67060628/67111528
[pid=3379] ppid=3377 vsize=2077860 CPUtime=4122.41 cores=0,2,4,6
/proc/3379/stat : 3379 (precosat) R 3377 3379 787 0 -1 4202496 6755842 0 0 0 411322 919 0 0 25 0 1 0 876405703 2127728640 516794 33554432000 134512640 135151029 4294506176 18446744073709551615 134564115 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3379/statm: 519465 516794 80 156 0 519308 0
Current children cumulated CPU time (s) 4122.41
Current children cumulated vsize (KiB) 2077860

[startup+4182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3558
/proc/meminfo: memFree=30124696/32951124 swapFree=67060628/67111528
[pid=3379] ppid=3377 vsize=2122964 CPUtime=4182.41 cores=0,2,4,6
/proc/3379/stat : 3379 (precosat) R 3377 3379 787 0 -1 4202496 6820877 0 0 0 417313 928 0 0 25 0 1 0 876405703 2173915136 528074 33554432000 134512640 135151029 4294506176 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3379/statm: 530741 528074 80 156 0 530584 0
Current children cumulated CPU time (s) 4182.41
Current children cumulated vsize (KiB) 2122964

[startup+4242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3560
/proc/meminfo: memFree=30095476/32951124 swapFree=67060628/67111528
[pid=3379] ppid=3377 vsize=2152240 CPUtime=4242.41 cores=0,2,4,6
/proc/3379/stat : 3379 (precosat) R 3377 3379 787 0 -1 4202496 6898014 0 0 0 423303 938 0 0 25 0 1 0 876405703 2203893760 535361 33554432000 134512640 135151029 4294506176 18446744073709551615 134528789 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3379/statm: 538060 535361 80 156 0 537903 0
Current children cumulated CPU time (s) 4242.41
Current children cumulated vsize (KiB) 2152240

[startup+4302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3602
/proc/meminfo: memFree=30133096/32951124 swapFree=67060628/67111528
[pid=3379] ppid=3377 vsize=2189196 CPUtime=4302.41 cores=0,2,4,6
/proc/3379/stat : 3379 (precosat) R 3377 3379 787 0 -1 4202496 7002191 0 0 0 429290 951 0 0 25 0 1 0 876405703 2241736704 544558 33554432000 134512640 135151029 4294506176 18446744073709551615 134555315 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3379/statm: 547299 544558 80 156 0 547142 0
Current children cumulated CPU time (s) 4302.41
Current children cumulated vsize (KiB) 2189196

[startup+4362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3604
/proc/meminfo: memFree=29719084/32951124 swapFree=67060628/67111528
[pid=3379] ppid=3377 vsize=2226468 CPUtime=4362.42 cores=0,2,4,6
/proc/3379/stat : 3379 (precosat) R 3377 3379 787 0 -1 4202496 7116030 0 0 0 435275 967 0 0 25 0 1 0 876405703 2279903232 553854 33554432000 134512640 135151029 4294506176 18446744073709551615 134572573 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3379/statm: 556617 553854 80 156 0 556460 0
Current children cumulated CPU time (s) 4362.42
Current children cumulated vsize (KiB) 2226468

[startup+4422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3605
/proc/meminfo: memFree=29551448/32951124 swapFree=67060628/67111528
[pid=3379] ppid=3377 vsize=2324568 CPUtime=4422.42 cores=0,2,4,6
/proc/3379/stat : 3379 (precosat) R 3377 3379 787 0 -1 4202496 7200870 0 0 0 441263 979 0 0 25 0 1 0 876405703 2380357632 578407 33554432000 134512640 135151029 4294506176 18446744073709551615 134581738 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3379/statm: 581142 578407 80 156 0 580985 0
Current children cumulated CPU time (s) 4422.42
Current children cumulated vsize (KiB) 2324568

[startup+4482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3607
/proc/meminfo: memFree=29521188/32951124 swapFree=67060628/67111528
[pid=3379] ppid=3377 vsize=2324568 CPUtime=4482.41 cores=0,2,4,6
/proc/3379/stat : 3379 (precosat) R 3377 3379 787 0 -1 4202496 7270736 0 0 0 447253 988 0 0 25 0 1 0 876405703 2380357632 578423 33554432000 134512640 135151029 4294506176 18446744073709551615 134550736 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3379/statm: 581142 578423 80 156 0 580985 0
Current children cumulated CPU time (s) 4482.41
Current children cumulated vsize (KiB) 2324568

[startup+4542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3609
/proc/meminfo: memFree=29467888/32951124 swapFree=67060628/67111528
[pid=3379] ppid=3377 vsize=2324568 CPUtime=4542.42 cores=0,2,4,6
/proc/3379/stat : 3379 (precosat) R 3377 3379 787 0 -1 4202496 7365502 0 0 0 453242 1000 0 0 25 0 1 0 876405703 2380357632 578467 33554432000 134512640 135151029 4294506176 18446744073709551615 134542684 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3379/statm: 581142 578467 80 156 0 580985 0
Current children cumulated CPU time (s) 4542.42
Current children cumulated vsize (KiB) 2324568

[startup+4602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 3610
/proc/meminfo: memFree=29590228/32951124 swapFree=67060628/67111528
[pid=3379] ppid=3377 vsize=2203680 CPUtime=4602.42 cores=0,2,4,6
/proc/3379/stat : 3379 (precosat) R 3377 3379 787 0 -1 4202496 7372457 0 0 0 459240 1002 0 0 25 0 1 0 876405703 2256568320 548220 33554432000 134512640 135151029 4294506176 18446744073709551615 134521885 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3379/statm: 550920 548220 80 156 0 550763 0
Current children cumulated CPU time (s) 4602.42
Current children cumulated vsize (KiB) 2203680

[startup+4662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 3612
/proc/meminfo: memFree=29410048/32951124 swapFree=67060628/67111528
[pid=3379] ppid=3377 vsize=2334756 CPUtime=4662.42 cores=0,2,4,6
/proc/3379/stat : 3379 (precosat) R 3377 3379 787 0 -1 4202496 7532859 0 0 0 465219 1023 0 0 25 0 1 0 876405703 2390790144 580994 33554432000 134512640 135151029 4294506176 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3379/statm: 583689 580994 80 156 0 583532 0
Current children cumulated CPU time (s) 4662.42
Current children cumulated vsize (KiB) 2334756

[startup+4722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3613
/proc/meminfo: memFree=29380276/32951124 swapFree=67060628/67111528
[pid=3379] ppid=3377 vsize=2353244 CPUtime=4722.42 cores=0,2,4,6
/proc/3379/stat : 3379 (precosat) R 3377 3379 787 0 -1 4202496 7537476 0 0 0 471219 1023 0 0 25 0 1 0 876405703 2409721856 585611 33554432000 134512640 135151029 4294506176 18446744073709551615 134581738 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3379/statm: 588311 585611 80 156 0 588154 0
Current children cumulated CPU time (s) 4722.42
Current children cumulated vsize (KiB) 2353244

[startup+4782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3615
/proc/meminfo: memFree=29370708/32951124 swapFree=67060628/67111528
[pid=3379] ppid=3377 vsize=2362476 CPUtime=4782.43 cores=0,2,4,6
/proc/3379/stat : 3379 (precosat) R 3377 3379 787 0 -1 4202496 7698844 0 0 0 477198 1045 0 0 25 0 1 0 876405703 2419175424 587921 33554432000 134512640 135151029 4294506176 18446744073709551615 134551613 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3379/statm: 590619 587921 80 156 0 590462 0
Current children cumulated CPU time (s) 4782.43
Current children cumulated vsize (KiB) 2362476

[startup+4842.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3617
/proc/meminfo: memFree=29264080/32951124 swapFree=67060628/67111528
[pid=3379] ppid=3377 vsize=2465652 CPUtime=4842.43 cores=0,2,4,6
/proc/3379/stat : 3379 (precosat) R 3377 3379 787 0 -1 4202496 7724598 0 0 0 483194 1049 0 0 25 0 1 0 876405703 2524827648 613675 33554432000 134512640 135151029 4294506176 18446744073709551615 134542661 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3379/statm: 616413 613675 80 156 0 616256 0
Current children cumulated CPU time (s) 4842.43
Current children cumulated vsize (KiB) 2465652

[startup+4902.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3618
/proc/meminfo: memFree=29236508/32951124 swapFree=67060628/67111528
[pid=3379] ppid=3377 vsize=2478236 CPUtime=4902.43 cores=0,2,4,6
/proc/3379/stat : 3379 (precosat) R 3377 3379 787 0 -1 4202496 7891481 0 0 0 489171 1072 0 0 25 0 1 0 876405703 2537713664 616886 33554432000 134512640 135151029 4294506176 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3379/statm: 619559 616886 80 156 0 619402 0
Current children cumulated CPU time (s) 4902.43
Current children cumulated vsize (KiB) 2478236

[startup+4962.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/175 3620
/proc/meminfo: memFree=29197524/32951124 swapFree=67060628/67111528
[pid=3379] ppid=3377 vsize=2510896 CPUtime=4962.44 cores=0,2,4,6
/proc/3379/stat : 3379 (precosat) R 3377 3379 787 0 -1 4202496 7899632 0 0 0 495171 1073 0 0 25 0 1 0 876405703 2571157504 625037 33554432000 134512640 135151029 4294506176 18446744073709551615 134552296 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3379/statm: 627724 625037 80 156 0 627567 0
Current children cumulated CPU time (s) 4962.44
Current children cumulated vsize (KiB) 2510896



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+4999.9 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 3621
/proc/meminfo: memFree=29185092/32951124 swapFree=67060628/67111528
[pid=3379] ppid=3377 vsize=2523236 CPUtime=5000.04 cores=0,2,4,6
/proc/3379/stat : 3379 (precosat) R 3377 3379 787 0 -1 4202496 7902703 0 0 0 498931 1073 0 0 25 0 1 0 876405703 2583793664 628108 33554432000 134512640 135151029 4294506176 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3379/statm: 630809 628108 80 156 0 630652 0
Current children cumulated CPU time (s) 5000.04
Current children cumulated vsize (KiB) 2523236

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

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

[startup+5000.01 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 3621
/proc/meminfo: memFree=29185092/32951124 swapFree=67060628/67111528
[pid=3379] ppid=3377 vsize=0 CPUtime=5000.14 cores=0,2,4,6
/proc/3379/stat : 3379 (precosat) R 3377 3379 787 0 -1 4203524 7902704 0 0 0 498931 1083 0 0 25 0 1 0 876405703 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/3379/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 5000.14
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5000.01
CPU time (s): 5000.15
CPU user time (s): 4989.31
CPU system time (s): 10.8384
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2543776

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

runsolver used 7.76682 second user time and 15.6146 second system time

The end

Launcher Data 

Begin job on node106 at 2011-06-09 21:34:13
IDJOB=3365755
IDBENCH=82413
IDSOLVER=1843
FILE ID=node106/3365755-1307648049
RUNJOBID= node106-1307645047-3128
PBS_JOBID= 13549385
Free space on /tmp= 74004 MiB

SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT11/application/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3365755-1307648049/watcher-3365755-1307648049 -o /tmp/evaluation-result-3365755-1307648049/solver-3365755-1307648049 -C 5000 -W 5100 -M 15500  HOME/precosat HOME/instance-3365755-1307648049.cnf

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

MD5SUM BENCH= c6d3480970bb2819448dd0a800a3cf1c
RANDOM SEED=1398373919

node106.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.830
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.66
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.830
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	: 5226.20
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.830
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.75
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.830
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.830
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	: 5332.74
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.830
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.75
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.830
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.830
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31660948 kB
Buffers:         46196 kB
Cached:         292556 kB
SwapCached:      12404 kB
Active:         974540 kB
Inactive:       156724 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31660948 kB
SwapTotal:    67111528 kB
SwapFree:     67060628 kB
Dirty:          121340 kB
Writeback:           0 kB
AnonPages:      790764 kB
Mapped:          10596 kB
Slab:            93268 kB
PageTables:       5756 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   962496 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= 73928 MiB
End job on node106 at 2011-06-09 22:57:35