Trace number 1784482

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) 5000.09 5001.42

General information on the benchmark

NameCRAFTED/parity-games/
instance_n7_i8_pp_ci_ce.cnf
MD5SUM545e53eb1c10ff91f4e2e16d7a8c9f9f
Bench CategoryCRAFTED (crafted 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 variables14896
Number of clauses153982
Sum of the clauses size505834
Maximum clause length42
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 228700
Number of clauses of size 372038
Number of clauses of size 440118
Number of clauses of size 510080
Number of clauses of size over 53046

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-1784482-1241947195.cnf
0.00/0.00	c found header 'p cnf 14896 153982'
0.09/0.17	c finished parsing
0.09/0.17	c
0.09/0.17	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.09/0.17	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.09/0.17	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.09/0.17	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.09/0.17	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.09/0.17	c --random=1 --spread=2000 --seed=0 --skip=25
0.09/0.17	c
0.09/0.17	c sizeof     vars[0] = 16   alignment = 0       0 MB
0.09/0.17	c sizeof     orgs[0] =  8   alignment = 0       0 MB
0.09/0.17	c sizeof     occs[0] =  8   alignment = 0       0 MB
0.09/0.17	c sizeof iirfs[0..1] =  8   alignment = 0       0 MB
0.09/0.17	c
0.09/0.17	c starting search after 0.2 seconds
0.09/0.17	c no decision limit
0.09/0.18	c
0.09/0.18	c       original/binary      fixed     eliminated      learned       agility
0.09/0.18	c   seconds        variables     equivalent    conflicts       height       MB
0.09/0.18	c
0.09/0.18	c *    0.2   153582   12228    280  2388      0       0      0    0.0   0   10
2.39/2.45	c s    2.4   151588    9182    288  2444   2982       0      0    0.0   0   10
2.39/2.45	c l    2.4   151588    9182    288  2444   2982       0 111686    0.0   0   10
2.39/2.47	c R    2.5   151610    9182    288  2444   2982     100    100   37.6  15   11
2.39/2.49	c R    2.5   151617    9182    288  2444   2982     200    200   96.5  13   11
2.49/2.59	c R    2.6   151811    9182    288  2444   2982     805    805   58.4  18   11
2.59/2.65	c B    2.7   151848    9182    288  2444   2982    1000   1000   55.5  14   11
2.79/2.86	c B    2.9   151978    9182    288  2444   2982    2001   1999   53.3   8   11
2.89/2.94	c R    2.9   152043    9182    288  2444   2982    2409   2407   56.7  10   12
4.29/4.40	c R    4.4   162380    7598   1080  3236   2982    6417   6415   52.9  14   13
4.89/4.94	c B    4.9   164504    7598   1080  3236   2982    8005   8003   50.6  10   14
7.29/7.33	c s    7.3   126175    7520   1080  3236   3060   13837  13351   48.3  10   11
7.29/7.33	c -    7.3   126175    7520   1080  3236   3060   13837  82648   48.3  10   11
7.79/7.84	c R    7.8   126175    7520   1080  3236   3060   16035  15549   47.9  12   12
10.19/10.20	c B   10.2   126208    7520   1080  3236   3060   24010  23524   46.0  14   14
12.59/12.63	c s   12.6   126214    7520   1080  3236   3060   27909  27422   45.6   4   13
15.89/15.95	c R   16.0   126214    7520   1080  3236   3060   38483  37996   45.5  14   17
25.79/25.87	c B   25.9   126214    7520   1080  3236   3060   64023  63536   42.8  12   22
26.29/26.34	c s   26.3   126218    7520   1080  3236   3060   64117  63630   42.8  16   20
34.28/34.31	c
34.28/34.31	c       original/binary      fixed     eliminated      learned       agility
34.28/34.31	c   seconds        variables     equivalent    conflicts       height       MB
34.28/34.31	c
34.28/34.31	c s   34.3   126223    7520   1080  3236   3060   82372  81885   42.0  17   23
34.58/34.64	c +   34.6   126223    7520   1080  3236   3060   82648  90912   42.0  13   24
37.98/38.04	c R   38.0   126225    7520   1080  3236   3060   89772  89285   41.5  12   27
44.08/44.10	c s   44.1   126228    7520   1080  3236   3060  100755  91117   40.6  13   25
45.38/45.45	c +   45.4   126228    7520   1080  3236   3060  103310 100003   40.7  11   27
55.28/55.37	c s   55.4   126234    7520   1080  3236   3060  119223 100089   40.7  20   27
61.88/61.96	c +   62.0   126254    7520   1080  3236   3060  129135 110003   40.7  11   31
67.37/67.48	c s   67.5   126254    7520   1080  3236   3060  137230 108182   40.9  17   29
79.97/80.06	c s   80.0   126264    7520   1080  3236   3060  157490 110080   40.7   8   30
81.87/81.97	c B   81.9   126268    7520   1080  3236   3060  160040 110055   40.6  12   32
82.87/82.96	c +   82.9   126268    7520   1080  3236   3060  161415 121003   40.6  12   33
93.66/93.75	c s   93.7   126268    7520   1080  3236   3060  178688 121081   40.6   9   32
109.06/109.12	c +  109.1   126268    7520   1080  3236   3060  201765 133103   40.1  12   35
111.06/111.11	c R  111.1   126268    7520   1080  3236   3060  205205 124555   40.1  19   36
113.56/113.60	c s  113.6   126276    7520   1080  3236   3060  207812 127162   40.0  12   32
129.36/129.46	c s  129.4   126284    7520   1080  3236   3060  230805 133336   39.6  13   36
145.65/145.74	c +  145.7   126301    7520   1080  3236   3060  252205 146413   39.4  17   41
146.76/146.88	c s  146.8   126301    7520   1080  3236   3060  253434 134454   39.4  12   36
163.65/163.72	c s  163.7   126314    7520   1080  3236   3060  275201 146572   39.1  15   38
183.34/183.49	c
183.34/183.49	c       original/binary      fixed     eliminated      learned       agility
183.34/183.49	c   seconds        variables     equivalent    conflicts       height       MB
183.34/183.49	c
183.34/183.49	c s  183.5   126323    7520   1080  3236   3060  297160 146522   39.2  10   38
197.84/198.00	c +  198.0   126333    7520   1080  3236   3060  315256 161054   39.1  12   43
202.53/202.62	c s  202.6   126343    7520   1080  3236   3060  321654 153020   39.1  16   39
221.84/221.95	c s  221.9   126357    7520   1080  3236   3060  343696 161236   38.7  15   39
259.13/259.22	c B  259.2   126357    7520   1080  3236   3060  384083 161224   38.6  13   44
267.82/267.95	c +  267.9   126357    7520   1080  3236   3060  394071 177159   38.6  10   45
282.81/282.99	c s  282.9   126359    7520   1080  3236   3060  410515 177350   38.7  16   42
303.31/303.47	c s  303.4   126362    7520   1080  3236   3060  433119 177484   38.4  12   42
336.80/337.00	c R  336.9   126362    7520   1080  3236   3060  461624 177397   38.4  15   48
371.19/371.34	c +  371.2   126362    7520   1080  3236   3060  492585 194874   37.9  19   50
392.89/393.05	c s  392.9   126364    7520   1080  3236   3060  512824 195085   37.4  11   47
420.88/421.07	c s  421.0   126374    7520   1080  3236   3060  538319 195113   37.3  12   47
461.07/461.28	c s  461.2   126375    7520   1080  3236   3060  577509 194996   37.2  10   46
489.37/489.58	c s  489.5   126385    7520   1080  3236   3060  601111 195007   37.1  23   45
508.76/508.91	c +  508.8   126385    7520   1080  3236   3060  615730 214361   37.0  13   51
523.25/523.46	c s  523.3   126386    7520   1080  3236   3060  628106 207305   37.0  12   49
551.95/552.20	c s  552.1   126388    7520   1080  3236   3060  653952 214651   37.0  12   50
583.14/583.32	c s  583.2   126390    7520   1080  3236   3060  679615 214632   36.9  20   50
611.23/611.44	c s  611.3   126405    7520   1080  3236   3060  706112 214510   36.9  11   49
655.32/655.56	c
655.32/655.56	c       original/binary      fixed     eliminated      learned       agility
655.32/655.56	c   seconds        variables     equivalent    conflicts       height       MB
655.32/655.56	c
655.32/655.56	c s  655.4   126408    7520   1080  3236   3060  743678 214706   36.6  18   50
687.51/687.78	c +  687.6   126418    7520   1080  3236   3060  769660 235797   36.5  14   57
689.11/689.32	c s  689.1   126419    7520   1080  3236   3060  770572 215291   36.5   8   49
718.60/718.84	c s  718.7   126423    7520   1080  3236   3060  796385 236073   36.4  16   53
747.69/747.98	c s  747.8   126433    7520   1080  3236   3060  826871 236014   36.1  10   53
778.08/778.31	c s  778.1   126437    7520   1080  3236   3060  851667 236030   36.0  17   52
810.48/810.77	c s  810.6   126442    7520   1080  3236   3060  876533 236051   35.9  17   52
834.17/834.42	c B  834.2   126447    7520   1080  3236   3060  896223 235965   35.8  20   58
845.57/845.85	c s  845.6   126447    7520   1080  3236   3060  904133 235998   35.8  12   52
883.85/884.19	c s  884.0   126449    7520   1080  3236   3060  932018 235974   35.4  15   53
919.25/919.54	c s  919.3   110953    7441   1081  3300   3074  957123 198273   35.4  14   43
919.25/919.54	c -  919.3   110953    7441   1081  3300   3074  957123 214576   35.4  14   43
919.25/919.54	c +  919.3   110953    7441   1081  3300   3074  957123 236033   35.4  14   43
985.43/985.73	c s  985.5   110956    7441   1081  3300   3074 1004389 236217   35.1   8   52
1021.32/1021.67	c s 1021.4   110957    7441   1081  3300   3074 1027536 236176   35.0  17   53
1053.31/1053.61	c s 1053.3   110968    7441   1081  3300   3074 1055142 236129   35.0  12   53
1085.20/1085.59	c s 1085.3   110977    7441   1081  3300   3074 1085105 236275   35.1  11   52
1117.09/1117.50	c s 1117.2   110979    7441   1081  3300   3074 1112602 236095   35.0  18   52
1147.59/1147.99	c s 1147.7   110984    7441   1081  3300   3074 1141311 236146   35.0  11   52
1175.48/1175.87	c
1175.48/1175.87	c       original/binary      fixed     eliminated      learned       agility
1175.48/1175.87	c   seconds        variables     equivalent    conflicts       height       MB
1175.48/1175.87	c
1175.48/1175.87	c s 1175.6   110985    7441   1081  3300   3074 1165510 236328   34.8  11   52
1207.57/1207.93	c s 1207.6   111003    7441   1081  3300   3074 1192549 236270   34.7  11   53
1212.17/1212.53	c + 1212.2   111003    7441   1081  3300   3074 1196400 259636   34.8  14   57
1313.54/1313.92	c s 1313.6   111008    7441   1081  3300   3074 1279717 259754   34.6  12   58
1383.02/1383.49	c s 1383.1   111012    7441   1081  3300   3074 1332799 259972   34.7  13   58
1418.52/1418.94	c s 1418.6   111020    7441   1081  3300   3074 1360156 259746   34.7  16   58
1449.10/1449.58	c s 1449.2   111022    7441   1081  3300   3074 1384409 259864   34.6  13   58
1480.39/1480.87	c s 1480.5   111030    7441   1081  3300   3074 1416234 259837   34.5  11   57
1525.38/1525.86	c s 1525.5   111031    7441   1081  3300   3074 1452085 259892   34.3  18   57
1589.87/1590.32	c s 1589.9   111032    7441   1081  3300   3074 1495385 259966   34.2  11   56
1589.97/1590.48	c + 1590.1   111032    7441   1081  3300   3074 1495500 285599   34.2  14   58
1628.06/1628.52	c s 1628.1   111036    7441   1081  3300   3074 1521467 285733   34.3  11   63
1666.15/1666.60	c s 1666.2   111038    7441   1081  3300   3074 1550691 285862   34.3  13   63
1755.92/1756.44	c s 1756.0   111039    7441   1081  3300   3074 1609586 285861   34.2  11   63
1793.52/1794.03	c s 1793.6   111041    7441   1081  3300   3074 1639951 285757   34.1  17   62
1895.89/1896.45	c s 1895.9   111044    7441   1081  3300   3074 1707464 285904   33.9  11   60
1934.87/1935.45	c s 1934.9   111046    7441   1081  3300   3074 1736681 285802   33.9  18   60
2115.84/2116.44	c + 2115.9   111046    7441   1081  3300   3074 1869375 314158   33.8  13   73
2236.00/2236.66	c R 2236.1   111046    7441   1081  3300   3074 1961055 314287   33.7  10   82
2309.47/2310.17	c
2309.47/2310.17	c       original/binary      fixed     eliminated      learned       agility
2309.47/2310.17	c   seconds        variables     equivalent    conflicts       height       MB
2309.47/2310.17	c
2309.47/2310.17	c s 2309.6   111007    7436   1081  3302   3077 2028635 314405   33.5  11   67
2334.67/2335.32	c B 2334.7   111008    7436   1081  3302   3077 2048435 314405   33.5   9   75
2350.76/2351.48	c s 2350.9   111008    7436   1081  3302   3077 2058314 314372   33.4  13   69
2393.45/2394.18	c s 2393.5   111009    7436   1081  3302   3077 2090429 314353   33.5  13   69
2457.84/2458.56	c s 2457.9   111012    7436   1081  3302   3077 2133596 314353   33.5  19   69
2502.12/2502.85	c s 2502.2   111015    7436   1081  3302   3077 2163125 314343   33.5  15   69
2549.90/2550.67	c s 2550.0   111019    7436   1081  3302   3077 2193168 314334   33.4  14   69
2604.59/2605.36	c s 2604.7   111021    7436   1081  3302   3077 2224631 314349   33.4  14   70
2658.47/2659.25	c s 2658.5   111024    7436   1081  3302   3077 2251615 314411   33.3  15   71
2757.25/2758.06	c s 2757.3   111025    7436   1081  3302   3077 2302905 314247   33.1  13   70
2810.03/2810.80	c + 2810.1   111025    7436   1081  3302   3077 2336716 345573   33.1  14   83
2858.42/2859.24	c s 2858.5   111027    7436   1081  3302   3077 2365600 343333   33.2  15   76
2903.21/2904.05	c s 2903.3   111031    7436   1081  3302   3077 2400683 345778   33.2  13   76
2958.49/2959.31	c s 2958.5   111040    7436   1081  3302   3077 2435311 345672   33.3  13   75
3013.38/3014.24	c s 3013.4   110928    7411   1081  3303   3101 2468645 345735   33.3   9   75
3097.96/3098.83	c s 3098.0   110929    7411   1081  3303   3101 2516981 345797   33.2   9   76
3143.95/3144.84	c s 3144.0   110918    7409   1081  3304   3102 2555266 345858   33.2  12   77
3195.53/3196.40	c s 3195.6   110923    7409   1081  3304   3102 2591375 345847   33.2  13   77
3715.10/3716.19	c + 3715.2   110923    7409   1081  3304   3102 2920895 380130   33.2  12   90
4152.98/4154.12	c
4152.98/4154.12	c       original/binary      fixed     eliminated      learned       agility
4152.98/4154.12	c   seconds        variables     equivalent    conflicts       height       MB
4152.98/4154.12	c
4152.98/4154.12	c R 4153.0   110923    7409   1081  3304   3102 3191754 380288   32.8  14  104
4200.07/4201.24	c s 4200.1   110900    7407   1081  3305   3103 3233324 380433   32.7   9   83
4341.33/4342.57	c s 4341.4   110925    7407   1081  3305   3103 3334169 380220   32.5  13   82
4563.07/4564.31	c s 4563.1   110932    7407   1081  3305   3103 3472717 380258   32.4  12   80
4611.66/4612.97	c s 4611.7   110972    7407   1081  3305   3103 3507690 380319   32.5  16   79
4736.73/4738.07	c s 4736.8   110973    7407   1081  3305   3103 3580110 380430   32.5  12   80
4785.71/4787.05	c s 4785.8   110978    7407   1081  3305   3103 3612405 380446   32.5  11   81
4844.60/4845.95	c s 4844.7   110979    7407   1081  3305   3103 3645114 380239   32.4  12   83
4856.09/4857.47	c + 4856.2   110979    7407   1081  3305   3103 3651115 418143   32.4  13   93
5000.06/5001.40	c
5000.06/5001.40	c *** CAUGHT SIGNAL 15 ***
5000.06/5001.40	c
5000.06/5001.40	c 3736057 conflicts, 6572892 decisions, 372 random
5000.06/5001.40	c 1 iterations, 6931 restarts, 1 skipped
5000.06/5001.40	c 18 enlarged, 4235 shrunken, 36515 rescored, 892 rebiased
5000.06/5001.40	c 80 simplifications, 0 reductions
5000.06/5001.40	c
5000.06/5001.40	c vars: 1081 fixed, 3305 equiv, 3103 elim, 3305 merged
5000.06/5001.40	c elim: 2987409 resolutions, 13 phases, 7 rounds
5000.06/5001.40	c sbst: 53% substituted, 0.0% nots, 100.0% ands, 0.0% xors, 0.0% ites
5000.06/5001.40	c arty: 2.06 and 0.00 xor average arity
5000.06/5001.40	c prbe: 8176428 probed, 1097 phases, 548 rounds
5000.06/5001.40	c prbe: 800 failed, 0 lifted, 101 merged
5000.06/5001.40	c sccs: 0 non trivial, 0 fixed, 0 merged
5000.06/5001.40	c hash: 120 units, 3204 merged
5000.06/5001.40	c mins: 178143401 learned, 50% deleted, 318 strong, 59 depth
5000.06/5001.40	c subs: 10481 forward, 19833 backward, 57155 doms
5000.06/5001.40	c strs: 5206 forward, 1033 backward
5000.06/5001.40	c doms: 59808 dominators, 51606 high, 361 low
5000.06/5001.40	c prps: 2040816628 propagations, 0.41 megaprops
5000.06/5001.40	c
5000.06/5001.40	c 5000.1 seconds, 107 MB max, 695 MB recycled
5000.06/5001.40	c
5000.06/5001.40	c *** CAUGHT SIGNAL 15 ***
5000.06/5001.40	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-1784482-1241947195/watcher-1784482-1241947195 -o /tmp/evaluation-result-1784482-1241947195/solver-1784482-1241947195 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1784482-1241947195.cnf 

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): 6000 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: 1.09 1.02 1.01 3/65 15109
/proc/meminfo: memFree=1787208/2055920 swapFree=4180404/4192956
[pid=15109] ppid=15107 vsize=2064 CPUtime=0
/proc/15109/stat : 15109 (precosat) R 15107 15109 14557 0 -1 4194304 417 0 0 0 0 0 0 0 20 0 1 0 222749677 2113536 402 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/15109/statm: 516 402 64 155 0 359 0

[startup+0.013649 s]
/proc/loadavg: 1.09 1.02 1.01 3/65 15109
/proc/meminfo: memFree=1787208/2055920 swapFree=4180404/4192956
[pid=15109] ppid=15107 vsize=2592 CPUtime=0.01
/proc/15109/stat : 15109 (precosat) R 15107 15109 14557 0 -1 4194304 557 0 0 0 1 0 0 0 20 0 1 0 222749677 2654208 542 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/15109/statm: 648 543 64 155 0 491 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2592

[startup+0.101657 s]
/proc/loadavg: 1.09 1.02 1.01 3/65 15109
/proc/meminfo: memFree=1787208/2055920 swapFree=4180404/4192956
[pid=15109] ppid=15107 vsize=8144 CPUtime=0.09
/proc/15109/stat : 15109 (precosat) R 15107 15109 14557 0 -1 4194304 1936 0 0 0 9 0 0 0 20 0 1 0 222749677 8339456 1921 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/15109/statm: 2036 1921 64 155 0 1879 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8144

[startup+0.301679 s]
/proc/loadavg: 1.09 1.02 1.01 3/65 15109
/proc/meminfo: memFree=1787208/2055920 swapFree=4180404/4192956
[pid=15109] ppid=15107 vsize=14216 CPUtime=0.29
/proc/15109/stat : 15109 (precosat) R 15107 15109 14557 0 -1 4194304 3566 0 0 0 28 1 0 0 22 0 1 0 222749677 14557184 3452 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/15109/statm: 3554 3452 79 155 0 3397 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14216

[startup+0.701723 s]
/proc/loadavg: 1.09 1.02 1.01 3/65 15109
/proc/meminfo: memFree=1787208/2055920 swapFree=4180404/4192956
[pid=15109] ppid=15107 vsize=17064 CPUtime=0.69
/proc/15109/stat : 15109 (precosat) R 15107 15109 14557 0 -1 4194304 4607 0 0 0 67 2 0 0 25 0 1 0 222749677 17473536 4103 1992294400 134512640 135151029 4294956240 18446744073709551615 134578769 0 0 4096 17442 0 0 0 17 1 0 0
/proc/15109/statm: 4266 4103 79 155 0 4109 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17064

[startup+1.50181 s]
/proc/loadavg: 1.08 1.02 1.00 2/66 15110
/proc/meminfo: memFree=1770368/2055920 swapFree=4180404/4192956
[pid=15109] ppid=15107 vsize=17812 CPUtime=1.49
/proc/15109/stat : 15109 (precosat) R 15107 15109 14557 0 -1 4194304 4776 0 0 0 147 2 0 0 25 0 1 0 222749677 18239488 4272 1992294400 134512640 135151029 4294956240 18446744073709551615 134526328 0 0 4096 17442 0 0 0 17 1 0 0
/proc/15109/statm: 4453 4272 79 155 0 4296 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17812

[startup+3.10199 s]
/proc/loadavg: 1.08 1.02 1.00 2/66 15110
/proc/meminfo: memFree=1770240/2055920 swapFree=4180404/4192956
[pid=15109] ppid=15107 vsize=17812 CPUtime=3.09
/proc/15109/stat : 15109 (precosat) R 15107 15109 14557 0 -1 4194304 4812 0 0 0 307 2 0 0 25 0 1 0 222749677 18239488 4308 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/15109/statm: 4453 4308 79 155 0 4296 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17812

[startup+6.30135 s]
/proc/loadavg: 1.08 1.02 1.00 2/66 15110
/proc/meminfo: memFree=1770120/2055920 swapFree=4180404/4192956
[pid=15109] ppid=15107 vsize=17812 CPUtime=6.29
/proc/15109/stat : 15109 (precosat) R 15107 15109 14557 0 -1 4194304 4812 0 0 0 627 2 0 0 25 0 1 0 222749677 18239488 4308 1992294400 134512640 135151029 4294956240 18446744073709551615 134574250 0 0 4096 17442 0 0 0 17 1 0 0
/proc/15109/statm: 4453 4308 79 155 0 4296 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17812

[startup+12.7011 s]
/proc/loadavg: 1.07 1.02 1.00 2/66 15110
/proc/meminfo: memFree=1768784/2055920 swapFree=4180404/4192956
[pid=15109] ppid=15107 vsize=18400 CPUtime=12.69
/proc/15109/stat : 15109 (precosat) R 15107 15109 14557 0 -1 4194304 5239 0 0 0 1266 3 0 0 25 0 1 0 222749677 18841600 4505 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/15109/statm: 4600 4505 79 155 0 4443 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18400

[startup+25.5015 s]
/proc/loadavg: 1.06 1.01 1.00 2/66 15110
/proc/meminfo: memFree=1763024/2055920 swapFree=4180404/4192956
[pid=15109] ppid=15107 vsize=25136 CPUtime=25.49
/proc/15109/stat : 15109 (precosat) R 15107 15109 14557 0 -1 4194304 6888 0 0 0 2544 5 0 0 25 0 1 0 222749677 25739264 6154 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/15109/statm: 6284 6154 79 155 0 6127 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25136

[startup+51.1014 s]
/proc/loadavg: 1.03 1.01 1.00 2/66 15110
/proc/meminfo: memFree=1754256/2055920 swapFree=4180404/4192956
[pid=15109] ppid=15107 vsize=34164 CPUtime=51.07
/proc/15109/stat : 15109 (precosat) R 15107 15109 14557 0 -1 4194304 9075 0 0 0 5100 7 0 0 25 0 1 0 222749677 34983936 8341 1992294400 134512640 135151029 4294956240 18446744073709551615 134554797 0 0 4096 17442 0 0 0 17 1 0 0
/proc/15109/statm: 8541 8341 79 155 0 8384 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 34164

[startup+102.305 s]
/proc/loadavg: 1.01 1.01 1.00 2/66 15110
/proc/meminfo: memFree=1748176/2055920 swapFree=4180404/4192956
[pid=15109] ppid=15107 vsize=40100 CPUtime=102.26
/proc/15109/stat : 15109 (precosat) R 15107 15109 14557 0 -1 4194304 10640 0 0 0 10218 8 0 0 25 0 1 0 222749677 41062400 9842 1992294400 134512640 135151029 4294956240 18446744073709551615 134575850 0 0 4096 17442 0 0 0 17 1 0 0
/proc/15109/statm: 10025 9842 79 155 0 9868 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 40100

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15110
/proc/meminfo: memFree=1741200/2055920 swapFree=4180404/4192956
[pid=15109] ppid=15107 vsize=46980 CPUtime=162.25
/proc/15109/stat : 15109 (precosat) R 15107 15109 14557 0 -1 4194304 12521 0 0 0 16215 10 0 0 25 0 1 0 222749677 48107520 11565 1992294400 134512640 135151029 4294956240 18446744073709551615 134530816 0 0 4096 17442 0 0 0 17 1 0 0
/proc/15109/statm: 11745 11565 79 155 0 11588 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 46980

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15110
/proc/meminfo: memFree=1738000/2055920 swapFree=4180404/4192956
[pid=15109] ppid=15107 vsize=49676 CPUtime=222.24
/proc/15109/stat : 15109 (precosat) R 15107 15109 14557 0 -1 4194304 13515 0 0 0 22213 11 0 0 25 0 1 0 222749677 50868224 12292 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/15109/statm: 12419 12292 79 155 0 12262 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 49676

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15110
/proc/meminfo: memFree=1735184/2055920 swapFree=4180404/4192956
[pid=15109] ppid=15107 vsize=53016 CPUtime=282.21
/proc/15109/stat : 15109 (precosat) R 15107 15109 14557 0 -1 4194304 14286 0 0 0 28210 11 0 0 25 0 1 0 222749677 54288384 13063 1992294400 134512640 135151029 4294956240 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 1 0 0
/proc/15109/statm: 13254 13063 79 155 0 13097 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 53016

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15110
/proc/meminfo: memFree=1733648/2055920 swapFree=4180404/4192956
[pid=15109] ppid=15107 vsize=54504 CPUtime=342.2
/proc/15109/stat : 15109 (precosat) R 15107 15109 14557 0 -1 4194304 14681 0 0 0 34208 12 0 0 25 0 1 0 222749677 55812096 13458 1992294400 134512640 135151029 4294956240 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/15109/statm: 13626 13458 79 155 0 13469 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 54504

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15110
/proc/meminfo: memFree=1728080/2055920 swapFree=4180404/4192956
[pid=15109] ppid=15107 vsize=60044 CPUtime=402.19
/proc/15109/stat : 15109 (precosat) R 15107 15109 14557 0 -1 4194304 16076 0 0 0 40206 13 0 0 25 0 1 0 222749677 61485056 14853 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/15109/statm: 15011 14853 79 155 0 14854 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 60044

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15110
/proc/meminfo: memFree=1727568/2055920 swapFree=4180404/4192956
[pid=15109] ppid=15107 vsize=60560 CPUtime=462.17
/proc/15109/stat : 15109 (precosat) R 15107 15109 14557 0 -1 4194304 16387 0 0 0 46204 13 0 0 25 0 1 0 222749677 62013440 14958 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/15109/statm: 15140 14958 79 155 0 14983 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 60560

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15110
/proc/meminfo: memFree=1727632/2055920 swapFree=4180404/4192956
[pid=15109] ppid=15107 vsize=60560 CPUtime=522.15
/proc/15109/stat : 15109 (precosat) R 15107 15109 14557 0 -1 4194304 16460 0 0 0 52202 13 0 0 25 0 1 0 222749677 62013440 14960 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/15109/statm: 15140 14960 79 155 0 14983 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 60560

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15110
/proc/meminfo: memFree=1725648/2055920 swapFree=4180404/4192956
[pid=15109] ppid=15107 vsize=62964 CPUtime=582.14
/proc/15109/stat : 15109 (precosat) R 15107 15109 14557 0 -1 4194304 17615 0 0 0 58200 14 0 0 25 0 1 0 222749677 64475136 15443 1992294400 134512640 135151029 4294956240 18446744073709551615 134554843 0 0 4096 17442 0 0 0 17 1 0 0
/proc/15109/statm: 15741 15443 79 155 0 15584 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 62964

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15110
/proc/meminfo: memFree=1726224/2055920 swapFree=4180404/4192956
[pid=15109] ppid=15107 vsize=61508 CPUtime=642.13
/proc/15109/stat : 15109 (precosat) R 15107 15109 14557 0 -1 4194304 17995 0 0 0 64199 14 0 0 25 0 1 0 222749677 62984192 15258 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/15109/statm: 15377 15258 79 155 0 15220 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 61508

[startup+702.302 s]

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

[startup+4002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15118
/proc/meminfo: memFree=1682448/2055920 swapFree=4180404/4192956
[pid=15109] ppid=15107 vsize=107072 CPUtime=4001.22
/proc/15109/stat : 15109 (precosat) R 15107 15109 14557 0 -1 4194304 32925 0 0 0 400095 27 0 0 25 0 1 0 222749677 109641728 26038 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/15109/statm: 26768 26038 79 155 0 26611 0
Current children cumulated CPU time (s) 4001.22
Current children cumulated vsize (KiB) 107072

[startup+4062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15118
/proc/meminfo: memFree=1680976/2055920 swapFree=4180404/4192956
[pid=15109] ppid=15107 vsize=108552 CPUtime=4061.21
/proc/15109/stat : 15109 (precosat) R 15107 15109 14557 0 -1 4194304 33281 0 0 0 406093 28 0 0 25 0 1 0 222749677 111157248 26394 1992294400 134512640 135151029 4294956240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/15109/statm: 27138 26394 79 155 0 26981 0
Current children cumulated CPU time (s) 4061.21
Current children cumulated vsize (KiB) 108552

[startup+4122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15118
/proc/meminfo: memFree=1678992/2055920 swapFree=4180404/4192956
[pid=15109] ppid=15107 vsize=110660 CPUtime=4121.19
/proc/15109/stat : 15109 (precosat) R 15107 15109 14557 0 -1 4194304 33777 0 0 0 412091 28 0 0 25 0 1 0 222749677 113315840 26890 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/15109/statm: 27665 26890 79 155 0 27508 0
Current children cumulated CPU time (s) 4121.19
Current children cumulated vsize (KiB) 110660

[startup+4182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15118
/proc/meminfo: memFree=1677008/2055920 swapFree=4180404/4192956
[pid=15109] ppid=15107 vsize=112692 CPUtime=4181.17
/proc/15109/stat : 15109 (precosat) R 15107 15109 14557 0 -1 4194304 34267 0 0 0 418088 29 0 0 25 0 1 0 222749677 115396608 27380 1992294400 134512640 135151029 4294956240 18446744073709551615 134554746 0 0 4096 17442 0 0 0 17 1 0 0
/proc/15109/statm: 28173 27380 79 155 0 28016 0
Current children cumulated CPU time (s) 4181.17
Current children cumulated vsize (KiB) 112692

[startup+4242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15118
/proc/meminfo: memFree=1677840/2055920 swapFree=4180404/4192956
[pid=15109] ppid=15107 vsize=110428 CPUtime=4241.16
/proc/15109/stat : 15109 (precosat) R 15107 15109 14557 0 -1 4194304 34400 0 0 0 424087 29 0 0 25 0 1 0 222749677 113078272 27162 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/15109/statm: 27607 27162 79 155 0 27450 0
Current children cumulated CPU time (s) 4241.16
Current children cumulated vsize (KiB) 110428

[startup+4302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15118
/proc/meminfo: memFree=1677776/2055920 swapFree=4180404/4192956
[pid=15109] ppid=15107 vsize=110428 CPUtime=4301.14
/proc/15109/stat : 15109 (precosat) R 15107 15109 14557 0 -1 4194304 34415 0 0 0 430085 29 0 0 25 0 1 0 222749677 113078272 27177 1992294400 134512640 135151029 4294956240 18446744073709551615 134555150 0 0 4096 17442 0 0 0 17 1 0 0
/proc/15109/statm: 27607 27177 79 155 0 27450 0
Current children cumulated CPU time (s) 4301.14
Current children cumulated vsize (KiB) 110428

[startup+4362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15118
/proc/meminfo: memFree=1677584/2055920 swapFree=4180404/4192956
[pid=15109] ppid=15107 vsize=110428 CPUtime=4361.13
/proc/15109/stat : 15109 (precosat) R 15107 15109 14557 0 -1 4194304 34456 0 0 0 436084 29 0 0 25 0 1 0 222749677 113078272 27218 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/15109/statm: 27607 27218 79 155 0 27450 0
Current children cumulated CPU time (s) 4361.13
Current children cumulated vsize (KiB) 110428

[startup+4422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15118
/proc/meminfo: memFree=1677584/2055920 swapFree=4180404/4192956
[pid=15109] ppid=15107 vsize=110428 CPUtime=4421.11
/proc/15109/stat : 15109 (precosat) R 15107 15109 14557 0 -1 4194304 34456 0 0 0 442082 29 0 0 25 0 1 0 222749677 113078272 27218 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/15109/statm: 27607 27218 79 155 0 27450 0
Current children cumulated CPU time (s) 4421.11
Current children cumulated vsize (KiB) 110428

[startup+4482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15118
/proc/meminfo: memFree=1677456/2055920 swapFree=4180404/4192956
[pid=15109] ppid=15107 vsize=110428 CPUtime=4481.1
/proc/15109/stat : 15109 (precosat) R 15107 15109 14557 0 -1 4194304 34474 0 0 0 448081 29 0 0 25 0 1 0 222749677 113078272 27236 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/15109/statm: 27607 27236 79 155 0 27450 0
Current children cumulated CPU time (s) 4481.1
Current children cumulated vsize (KiB) 110428

[startup+4542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15118
/proc/meminfo: memFree=1677136/2055920 swapFree=4180404/4192956
[pid=15109] ppid=15107 vsize=110428 CPUtime=4541.08
/proc/15109/stat : 15109 (precosat) R 15107 15109 14557 0 -1 4194304 34550 0 0 0 454079 29 0 0 25 0 1 0 222749677 113078272 27312 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/15109/statm: 27607 27312 79 155 0 27450 0
Current children cumulated CPU time (s) 4541.08
Current children cumulated vsize (KiB) 110428

[startup+4602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15118
/proc/meminfo: memFree=1676944/2055920 swapFree=4180404/4192956
[pid=15109] ppid=15107 vsize=110428 CPUtime=4601.07
/proc/15109/stat : 15109 (precosat) R 15107 15109 14557 0 -1 4194304 34607 0 0 0 460078 29 0 0 25 0 1 0 222749677 113078272 27369 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/15109/statm: 27607 27369 79 155 0 27450 0
Current children cumulated CPU time (s) 4601.07
Current children cumulated vsize (KiB) 110428

[startup+4662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15118
/proc/meminfo: memFree=1676880/2055920 swapFree=4180404/4192956
[pid=15109] ppid=15107 vsize=110428 CPUtime=4661.05
/proc/15109/stat : 15109 (precosat) R 15107 15109 14557 0 -1 4194304 34607 0 0 0 466076 29 0 0 25 0 1 0 222749677 113078272 27369 1992294400 134512640 135151029 4294956240 18446744073709551615 134577282 0 0 4096 17442 0 0 0 17 1 0 0
/proc/15109/statm: 27607 27369 79 155 0 27450 0
Current children cumulated CPU time (s) 4661.05
Current children cumulated vsize (KiB) 110428

[startup+4722.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15118
/proc/meminfo: memFree=1676816/2055920 swapFree=4180404/4192956
[pid=15109] ppid=15107 vsize=110428 CPUtime=4721.04
/proc/15109/stat : 15109 (precosat) R 15107 15109 14557 0 -1 4194304 34607 0 0 0 472075 29 0 0 25 0 1 0 222749677 113078272 27369 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/15109/statm: 27607 27369 79 155 0 27450 0
Current children cumulated CPU time (s) 4721.04
Current children cumulated vsize (KiB) 110428

[startup+4782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15118
/proc/meminfo: memFree=1676880/2055920 swapFree=4180404/4192956
[pid=15109] ppid=15107 vsize=110428 CPUtime=4781.01
/proc/15109/stat : 15109 (precosat) R 15107 15109 14557 0 -1 4194304 34608 0 0 0 478072 29 0 0 25 0 1 0 222749677 113078272 27370 1992294400 134512640 135151029 4294956240 18446744073709551615 134580565 0 0 4096 17442 0 0 0 17 1 0 0
/proc/15109/statm: 27607 27370 79 155 0 27450 0
Current children cumulated CPU time (s) 4781.01
Current children cumulated vsize (KiB) 110428

[startup+4842.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15118
/proc/meminfo: memFree=1676880/2055920 swapFree=4180404/4192956
[pid=15109] ppid=15107 vsize=110428 CPUtime=4841
/proc/15109/stat : 15109 (precosat) R 15107 15109 14557 0 -1 4194304 34610 0 0 0 484071 29 0 0 25 0 1 0 222749677 113078272 27372 1992294400 134512640 135151029 4294956240 18446744073709551615 134555084 0 0 4096 17442 0 0 0 17 1 0 0
/proc/15109/statm: 27607 27372 79 155 0 27450 0
Current children cumulated CPU time (s) 4841
Current children cumulated vsize (KiB) 110428

[startup+4902.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15118
/proc/meminfo: memFree=1676560/2055920 swapFree=4180404/4192956
[pid=15109] ppid=15107 vsize=110428 CPUtime=4900.98
/proc/15109/stat : 15109 (precosat) R 15107 15109 14557 0 -1 4194304 34680 0 0 0 490069 29 0 0 25 0 1 0 222749677 113078272 27442 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/15109/statm: 27607 27442 79 155 0 27450 0
Current children cumulated CPU time (s) 4900.98
Current children cumulated vsize (KiB) 110428

[startup+4962.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15120
/proc/meminfo: memFree=1674128/2055920 swapFree=4180404/4192956
[pid=15109] ppid=15107 vsize=112980 CPUtime=4960.97
/proc/15109/stat : 15109 (precosat) R 15107 15109 14557 0 -1 4194304 35274 0 0 0 496067 30 0 0 25 0 1 0 222749677 115691520 28036 1992294400 134512640 135151029 4294956240 18446744073709551615 134574633 0 0 4096 17442 0 0 0 17 1 0 0
/proc/15109/statm: 28245 28036 79 155 0 28088 0
Current children cumulated CPU time (s) 4960.97
Current children cumulated vsize (KiB) 112980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5001.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15120
/proc/meminfo: memFree=1672528/2055920 swapFree=4180404/4192956
[pid=15109] ppid=15107 vsize=115108 CPUtime=5000.06
/proc/15109/stat : 15109 (precosat) R 15107 15109 14557 0 -1 4194304 35666 0 0 0 499976 30 0 0 25 0 1 0 222749677 117870592 28428 1992294400 134512640 135151029 4294956240 18446744073709551615 134554903 0 0 4096 17442 0 0 0 17 1 0 0
/proc/15109/statm: 28777 28428 79 155 0 28620 0
Current children cumulated CPU time (s) 5000.06
Current children cumulated vsize (KiB) 115108

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5001.42
CPU time (s): 5000.09
CPU user time (s): 4999.76
CPU system time (s): 0.32695
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 115108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.76
system time used= 0.32695
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35666
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= 5285

runsolver used 5.60715 second user time and 11.5462 second system time

The end

Launcher Data 

Begin job on node76 at 2009-05-10 11:19:56
IDJOB=1784482
IDBENCH=71621
IDSOLVER=607
FILE ID=node76/1784482-1241947195
PBS_JOBID= 9265040
Free space on /tmp= 66512 MiB

SOLVER NAME= precosat 236
BENCH NAME= SAT09/CRAFTED/parity-games/instance_n7_i8_pp_ci_ce.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1784482-1241947195/watcher-1784482-1241947195 -o /tmp/evaluation-result-1784482-1241947195/solver-1784482-1241947195 -C 5000 -W 6000 -M 1800  HOME/precosat HOME/instance-1784482-1241947195.cnf

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

MD5SUM BENCH= 545e53eb1c10ff91f4e2e16d7a8c9f9f
RANDOM SEED=1126529875

node76.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		: 3000.220
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	: 5914.62
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		: 3000.220
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1787688 kB
Buffers:         55044 kB
Cached:         161040 kB
SwapCached:       7228 kB
Active:         126028 kB
Inactive:        98700 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1787688 kB
SwapTotal:     4192956 kB
SwapFree:      4180404 kB
Dirty:            4336 kB
Writeback:           0 kB
Mapped:          13680 kB
Slab:            29412 kB
Committed_AS:   721220 kB
PageTables:       1432 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66508 MiB
End job on node76 at 2009-05-10 12:43:19