Trace number 1783722

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.03 5001.41

General information on the benchmark

Namecrafted/Hard/contest05/QG/
QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf
MD5SUM42a7abc6638576e7c05fba1c9e36829b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2533.34
Satisfiable
(Un)Satisfiability was proved
Number of variables2969
Number of clauses18718
Sum of the clauses size134151
Maximum clause length13
Minimum clause length1
Number of clauses of size 142
Number of clauses of size 2435
Number of clauses of size 32341
Number of clauses of size 4498
Number of clauses of size 5677
Number of clauses of size over 514725

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-1783722-1241876928.cnf
0.00/0.00	c found header 'p cnf 2969 18718'
0.00/0.03	c finished parsing
0.00/0.03	c
0.00/0.03	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.00/0.03	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.00/0.03	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.00/0.03	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.00/0.03	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.00/0.03	c --random=1 --spread=2000 --seed=0 --skip=25
0.00/0.03	c
0.00/0.03	c sizeof     vars[0] = 16   alignment = 0       0 MB
0.00/0.03	c sizeof     orgs[0] =  8   alignment = 0       0 MB
0.00/0.03	c sizeof     occs[0] =  8   alignment = 0       0 MB
0.00/0.03	c sizeof iirfs[0..1] =  8   alignment = 0       0 MB
0.00/0.03	c
0.00/0.03	c starting search after 0.0 seconds
0.00/0.03	c no decision limit
0.00/0.03	c
0.00/0.03	c       original/binary      fixed     eliminated      learned       agility
0.00/0.03	c   seconds        variables     equivalent    conflicts       height       MB
0.00/0.03	c
0.00/0.03	c *    0.0    18453    2917     52     0      0       0      0    0.0   0    2
0.19/0.23	c s    0.2    15786    2683     57     0    229       0      0    0.0   0    1
0.19/0.23	c l    0.2    15786    2683     57     0    229       0  14712    0.0   0    1
0.19/0.24	c R    0.2    15808    2683     57     0    229     102     98  263.3   4    2
0.19/0.24	c R    0.2    15813    2683     57     0    229     203    199  242.2   8    2
0.19/0.26	c R    0.3    15834    2683     57     0    229     805    799  189.7  15    2
0.19/0.27	c B    0.3    15834    2683     57     0    229    1000    994  211.6  15    2
0.29/0.30	c B    0.3    15846    2683     57     0    229    2000   1994  180.8  17    2
0.29/0.31	c R    0.3    15853    2683     57     0    229    2410   2403  172.6  17    2
0.39/0.48	c R    0.5    15882    2683     57     0    229    6427   6419  221.8  13    3
0.49/0.56	c B    0.6    15884    2683     57     0    229    8002   7993  219.2  16    3
0.89/0.95	c +    1.0    15942    2683     57     0    229   14712  16183  190.6  15    4
0.99/1.03	c R    1.0    15976    2683     57     0    229   16050  16037  185.8  16    4
1.09/1.18	c s    1.2    15981    2683     57     0    229   17807  16196  179.9  16    4
1.19/1.23	c +    1.2    15981    2683     57     0    229   18390  17801  178.2  17    4
1.49/1.57	c +    1.6    16028    2682     57     1    229   22985  19581  166.8  18    5
1.59/1.67	c B    1.7    16035    2682     57     1    229   24008  18844  163.6  18    5
1.99/2.08	c +    2.1    16098    2682     57     1    229   28732  21539  163.5  18    5
2.69/2.73	c +    2.7    16266    2682     57     1    229   35915  23692  172.6  14    6
2.99/3.00	c
2.99/3.00	c       original/binary      fixed     eliminated      learned       agility
2.99/3.00	c   seconds        variables     equivalent    conflicts       height       MB
2.99/3.00	c
2.99/3.00	c R    3.0    16320    2682     57     1    229   38473  23739  168.6  16    6
3.49/3.56	c +    3.6    16438    2682     57     1    229   44891  26061  170.6  16    6
4.18/4.28	c s    4.3    16390    2682     57     1    229   50707  26088  163.8  17    5
4.78/4.89	c +    4.9    16427    2682     57     1    229   56111  28667  157.3  15    6
5.69/5.76	c B    5.8    16509    2682     57     1    229   64019  28712  149.2  18    7
6.50/6.55	c +    6.6    16546    2682     57     1    229   70135  31533  157.3  17    7
8.79/8.83	c +    8.8    16838    2682     57     1    229   87665  34686  151.2  18    8
9.09/9.12	c R    9.1    16862    2682     57     1    229   89768  33674  150.0  18    8
9.39/9.42	c s    9.4    16893    2682     57     1    229   91681  34709  148.8  17    7
11.99/12.02	c +   12.0    16902    2682     57     1    229  109580  38154  138.7  19    9
16.59/16.67	c +   16.7    17235    2682     57     1    229  136976  41969  140.1  18   10
17.29/17.35	c s   17.4    17299    2682     57     1    229  140972  41993  139.9  17    8
20.68/20.72	c B   20.7    17317    2682     57     1    229  160043  42017  134.2  18   10
22.58/22.68	c +   22.7    17426    2682     57     1    229  171220  46165  132.1  16   10
27.38/27.45	c s   27.4    17104    2622     57     1    289  192920  46231  140.5  18    8
27.38/27.45	c -   27.4    17104    2622     57     1    289  192920  44781  140.5  18    8
30.78/30.81	c R   30.8    17114    2622     57     1    289  205188  44828  137.7  19   10
31.28/31.31	c +   31.3    17124    2622     57     1    289  207605  49259  137.0  17   10
39.28/39.38	c s   39.4    17176    2622     57     1    289  241872  49304  131.0  18    9
43.18/43.30	c
43.18/43.30	c       original/binary      fixed     eliminated      learned       agility
43.18/43.30	c   seconds        variables     equivalent    conflicts       height       MB
43.18/43.30	c
43.18/43.30	c +   43.3    17239    2622     57     1    289  259508  54184  126.8  17   11
52.87/52.94	c s   52.9    18107    2622     57     1    289  295930  54197  124.7  17   10
60.37/60.44	c +   60.4    18294    2622     57     1    289  324386  59602  120.8  17   13
67.37/67.48	c s   67.5    18551    2622     57     1    289  349546  59634  119.5  17   10
77.97/78.03	c B   78.0    18635    2622     57     1    289  384091  59630  121.3  18   15
84.57/84.69	c +   84.7    18763    2622     57     1    289  405480  65562  118.5  19   15
84.77/84.85	c s   84.8    18763    2622     57     1    289  405571  59756  118.5  18   11
102.07/102.19	c s  102.2    18877    2622     57     1    289  452135  65598  121.2  17   12
105.36/105.50	c R  105.5    18892    2621     57     2    289  461638  65650  121.7  19   13
118.56/118.61	c s  118.6    18991    2602     57     2    308  498339  65620  119.0  18   12
118.56/118.61	c -  118.6    18991    2602     57     2    308  498339  64251  119.0  18   12
118.66/118.72	c +  118.7    19016    2602     57     2    308  498339  70676  119.0  18   13
138.05/138.16	c s  138.1    19318    2602     57     2    308  551593  70703  120.5  18   13
160.85/160.94	c s  160.9    19883    2602     57     2    308  604424  70729  121.1  16   13
169.55/169.66	c +  169.6    19902    2602     57     2    308  622922  77743  120.1  18   17
184.74/184.89	c s  184.8    20016    2602     57     2    308  654047  77770  117.9  18   15
210.83/210.91	c s  210.9    20122    2602     57     2    308  704464  77791  118.6  19   14
237.62/237.75	c s  237.7    20151    2602     57     2    308  751706  77770  116.1  17   15
252.82/252.91	c +  252.8    20256    2602     57     2    308  778651  85517  117.5  17   20
268.22/268.32	c
268.22/268.32	c       original/binary      fixed     eliminated      learned       agility
268.22/268.32	c   seconds        variables     equivalent    conflicts       height       MB
268.22/268.32	c
268.22/268.32	c s  268.2    20423    2602     57     2    308  804076  85553  119.0  18   17
302.20/302.39	c s  302.3    20456    2602     57     2    308  855573  85588  118.8  18   16
329.20/329.33	c B  329.2    20490    2601     57     3    308  896232  85562  119.7  19   22
337.19/337.37	c s  337.3    20247    2574     57     3    335  907687  85567  120.9  18   16
337.19/337.37	c -  337.3    20247    2574     57     3    335  907687  84662  120.9  18   16
373.58/373.73	c s  373.6    20278    2574     57     3    335  955139  84704  121.1  19   16
379.88/380.00	c +  379.9    20278    2574     57     3    335  963581  93128  120.7  18   19
409.67/409.84	c s  409.7    20364    2574     57     3    335 1002338  93193  124.7  18   18
429.57/429.73	c R  429.6    20367    2574     57     3    335 1025855  93152  124.1  19   22
444.07/444.29	c s  444.2    20389    2574     57     3    335 1051138  93220  124.7  19   18
479.76/479.92	c s  479.8    20446    2574     57     3    335 1102535  93172  122.0  19   18
519.35/519.55	c s  519.4    20564    2574     57     3    335 1160568  93161  120.0  18   18
553.04/553.24	c +  553.1    20721    2574     57     3    335 1204475 102440  119.0  19   25
561.54/561.72	c s  561.6    20754    2574     57     3    335 1216221 102474  118.4  19   20
607.62/607.88	c s  607.7    21037    2574     57     3    335 1274286 102470  119.5  17   19
654.21/654.45	c s  654.3    21285    2574     57     3    335 1328998 102477  117.7  17   19
698.49/698.71	c s  698.5    21323    2574     57     3    335 1381594 102464  116.5  18   18
746.98/747.27	c s  747.1    21368    2574     57     3    335 1433074 102476  120.5  19   20
797.36/797.66	c s  797.4    21375    2574     57     3    335 1484492 102492  121.3  17   20
818.16/818.44	c
818.16/818.44	c       original/binary      fixed     eliminated      learned       agility
818.16/818.44	c   seconds        variables     equivalent    conflicts       height       MB
818.16/818.44	c
818.16/818.44	c +  818.2    21418    2574     57     3    335 1505590 112684  121.0  19   25
848.75/849.06	c s  848.8    21559    2574     57     3    335 1535293 112704  120.2  18   21
900.23/900.53	c s  900.3    21563    2574     57     3    335 1589037 112744  121.6  19   21
944.92/945.28	c s  945.0    21616    2574     57     3    335 1643644 112714  120.0  18   20
997.81/998.17	c s  997.9    21686    2574     57     3    335 1699016 112714  119.6  18   22
1051.70/1052.01	c s 1051.7    21738    2574     57     3    335 1753819 112712  118.3  18   22
1107.08/1107.40	c s 1107.1    21786    2574     57     3    335 1808002 112719  117.4  20   21
1162.57/1162.95	c s 1162.6    21844    2574     57     3    335 1859883 112716  116.1  18   21
1183.17/1183.59	c + 1183.3    21853    2574     57     3    335 1881985 123952  117.0  18   27
1222.55/1222.96	c s 1222.6    21948    2574     57     3    335 1913292 123985  117.2  18   24
1296.53/1296.96	c s 1296.6    22007    2574     57     3    335 1970430 124001  116.5  18   24
1379.40/1379.85	c s 1379.5    22009    2574     57     3    335 2029351 123997  119.2  19   24
1409.40/1409.81	c B 1409.4    22010    2574     57     3    335 2048474 123998  118.8  17   32
1459.49/1459.98	c s 1459.6    22010    2574     57     3    335 2084954 124002  118.6  19   24
1530.06/1530.52	c s 1530.1    22058    2574     57     3    335 2139218 124004  118.6  18   24
1596.75/1597.23	c s 1596.8    22064    2574     57     3    335 2193631 123982  118.7  18   25
1675.63/1676.16	c R 1675.7    22064    2574     57     3    335 2256635 124003  118.2  20   33
1711.02/1711.51	c s 1711.0    22065    2574     57     3    335 2286042 123991  117.6  20   26
1774.69/1775.21	c s 1774.7    22066    2574     57     3    335 2343693 123989  117.9  19   26
1783.09/1783.64	c
1783.09/1783.64	c       original/binary      fixed     eliminated      learned       agility
1783.09/1783.64	c   seconds        variables     equivalent    conflicts       height       MB
1783.09/1783.64	c
1783.09/1783.64	c + 1783.1    22067    2574     57     3    335 2352480 136347  117.7  20   29
1838.38/1838.90	c s 1838.4    22068    2574     57     3    335 2404796 136395  117.4  18   27
1906.06/1906.62	c s 1906.1    22244    2574     57     3    335 2464823 136397  116.6  17   26
1988.14/1988.74	c s 1988.2    22407    2574     57     3    335 2534315 136357  115.1  17   27
2073.82/2074.48	c s 2073.9    22450    2574     57     3    335 2599713 136381  114.5  17   27
2159.50/2160.13	c s 2159.5    22473    2574     57     3    335 2662433 136391  113.5  19   27
2247.67/2248.37	c s 2247.8    22474    2574     57     3    335 2722607 136381  113.2  17   28
2337.14/2337.85	c s 2337.2    22489    2574     57     3    335 2784890 136407  113.3  19   27
2420.92/2421.68	c s 2421.0    22523    2574     57     3    335 2845780 136381  112.9  16   26
2501.19/2501.96	c s 2501.3    22608    2574     57     3    335 2905470 136389  112.3  19   25
2545.19/2545.94	c + 2545.2    22619    2574     57     3    335 2940600 149981  111.7  19   31
2577.28/2578.07	c s 2577.4    22621    2574     57     3    335 2964666 150042  111.7  19   27
2668.55/2669.34	c s 2668.6    22667    2574     57     3    335 3029342 150013  111.1  19   28
2766.12/2766.90	c s 2766.1    22677    2574     57     3    335 3093841 150017  110.5  20   29
2878.80/2879.69	c s 2878.9    22704    2574     57     3    335 3157741 150033  109.5  18   30
2990.96/2991.82	c s 2991.0    22705    2574     57     3    335 3219008 150016  109.5  20   30
3111.33/3112.23	c s 3111.4    22718    2574     57     3    335 3280750 150022  109.1  18   29
3230.30/3231.21	c s 3230.3    22724    2574     57     3    335 3342912 150015  108.3  17   30
3335.97/3336.95	c s 3336.0    22732    2574     57     3    335 3405692 150025  108.8  20   29
3433.85/3434.82	c
3433.85/3434.82	c       original/binary      fixed     eliminated      learned       agility
3433.85/3434.82	c   seconds        variables     equivalent    conflicts       height       MB
3433.85/3434.82	c
3433.85/3434.82	c s 3433.9    22733    2574     57     3    335 3487493 150027  107.8  19   27
3535.61/3536.63	c s 3535.7    22734    2574     57     3    335 3565224 150025  107.0  18   28
3622.39/3623.42	c s 3622.4    22737    2574     57     3    335 3630390 150022  106.5  17   29
3695.07/3696.12	c + 3695.1    22741    2574     57     3    335 3675751 164979  106.2  19   40
3729.96/3731.03	c s 3730.0    22746    2574     57     3    335 3693936 165017  106.1  18   34
3864.82/3865.95	c s 3864.9    22751    2574     57     3    335 3761189 165010  105.7  17   34
3973.29/3974.41	c s 3973.3    22754    2574     57     3    335 3828793 165023  105.2  18   32
4095.66/4096.82	c s 4095.7    22758    2574     57     3    335 3896569 165011  104.9  19   31
4212.72/4213.97	c s 4212.8    22759    2574     57     3    335 3964745 165017  104.6  19   32
4329.60/4330.80	c s 4329.6    22810    2574     57     3    335 4033470 165030  103.7  18   31
4419.36/4420.68	c s 4419.5    22811    2574     57     3    335 4100465 165014  103.3  19   28
4532.53/4533.83	c s 4532.6    22898    2574     57     3    335 4167516 165015  102.5  20   31
4670.90/4672.23	c s 4670.9    22906    2574     57     3    335 4233746 165013  102.9  19   33
4850.14/4851.57	c s 4850.2    22907    2574     57     3    335 4319400 165016  102.9  19   33
5000.00/5001.40	c
5000.00/5001.40	c *** CAUGHT SIGNAL 15 ***
5000.00/5001.40	c
5000.00/5001.40	c 4387197 conflicts, 7422704 decisions, 124 random
5000.00/5001.40	c 0 iterations, 7837 restarts, 0 skipped
5000.00/5001.40	c 26 enlarged, 1619 shrunken, 42889 rescored, 1021 rebiased
5000.00/5001.40	c 76 simplifications, 0 reductions
5000.00/5001.40	c
5000.00/5001.40	c vars: 57 fixed, 3 equiv, 335 elim, 5 merged
5000.00/5001.40	c elim: 445531 resolutions, 4 phases, 4 rounds
5000.00/5001.40	c sbst: 0% substituted, 0.0% nots, 0.0% ands, 0.0% xors, 0.0% ites
5000.00/5001.40	c arty: 0.00 and 0.00 xor average arity
5000.00/5001.40	c prbe: 1529428 probed, 295 phases, 296 rounds
5000.00/5001.40	c prbe: 1 failed, 0 lifted, 0 merged
5000.00/5001.40	c sccs: 0 non trivial, 0 fixed, 0 merged
5000.00/5001.40	c hash: 0 units, 5 merged
5000.00/5001.40	c mins: 197719657 learned, 33% deleted, 291 strong, 27 depth
5000.00/5001.40	c subs: 2472 forward, 3185 backward, 8508 doms
5000.00/5001.40	c strs: 3453 forward, 2440 backward
5000.00/5001.40	c doms: 8509 dominators, 7151 high, 11 low
5000.00/5001.40	c prps: 415989867 propagations, 0.08 megaprops
5000.00/5001.40	c
5000.00/5001.40	c 5000.0 seconds, 46 MB max, 827 MB recycled
5000.00/5001.40	c
5000.00/5001.40	c *** CAUGHT SIGNAL 15 ***
5000.00/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-1783722-1241876928/watcher-1783722-1241876928 -o /tmp/evaluation-result-1783722-1241876928/solver-1783722-1241876928 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1783722-1241876928.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.00 1.00 0.98 3/65 4295
/proc/meminfo: memFree=1847336/2055920 swapFree=4180200/4192956
[pid=4295] ppid=4293 vsize=1184 CPUtime=0
/proc/4295/stat : 4295 (precosat) R 4293 4295 4258 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 215720594 1212416 178 1992294400 134512640 135151029 4294956240 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4295/statm: 296 179 64 155 0 139 0

[startup+0.0998501 s]
/proc/loadavg: 1.00 1.00 0.98 3/65 4295
/proc/meminfo: memFree=1847336/2055920 swapFree=4180200/4192956
[pid=4295] ppid=4293 vsize=3688 CPUtime=0.09
/proc/4295/stat : 4295 (precosat) R 4293 4295 4258 0 -1 4194304 851 0 0 0 9 0 0 0 18 0 1 0 215720594 3776512 835 1992294400 134512640 135151029 4294956240 18446744073709551615 134519443 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4295/statm: 922 835 79 155 0 765 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3688

[startup+0.10185 s]
/proc/loadavg: 1.00 1.00 0.98 3/65 4295
/proc/meminfo: memFree=1847336/2055920 swapFree=4180200/4192956
[pid=4295] ppid=4293 vsize=3688 CPUtime=0.09
/proc/4295/stat : 4295 (precosat) R 4293 4295 4258 0 -1 4194304 851 0 0 0 9 0 0 0 18 0 1 0 215720594 3776512 835 1992294400 134512640 135151029 4294956240 18446744073709551615 134582795 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4295/statm: 922 835 79 155 0 765 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3688

[startup+0.301869 s]
/proc/loadavg: 1.00 1.00 0.98 3/65 4295
/proc/meminfo: memFree=1847336/2055920 swapFree=4180200/4192956
[pid=4295] ppid=4293 vsize=3820 CPUtime=0.29
/proc/4295/stat : 4295 (precosat) R 4293 4295 4258 0 -1 4194304 869 0 0 0 29 0 0 0 19 0 1 0 215720594 3911680 853 1992294400 134512640 135151029 4294956240 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4295/statm: 955 853 79 155 0 798 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3820

[startup+0.701908 s]
/proc/loadavg: 1.00 1.00 0.98 3/65 4295
/proc/meminfo: memFree=1847336/2055920 swapFree=4180200/4192956
[pid=4295] ppid=4293 vsize=4480 CPUtime=0.69
/proc/4295/stat : 4295 (precosat) R 4293 4295 4258 0 -1 4194304 1030 0 0 0 69 0 0 0 22 0 1 0 215720594 4587520 1014 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4295/statm: 1120 1014 79 155 0 963 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4480

[startup+1.50199 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 4296
/proc/meminfo: memFree=1842656/2055920 swapFree=4180200/4192956
[pid=4295] ppid=4293 vsize=5908 CPUtime=1.49
/proc/4295/stat : 4295 (precosat) R 4293 4295 4258 0 -1 4194304 1393 0 0 0 149 0 0 0 25 0 1 0 215720594 6049792 1368 1992294400 134512640 135151029 4294956240 18446744073709551615 134554823 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4295/statm: 1477 1368 79 155 0 1320 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5908

[startup+3.10114 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 4296
/proc/meminfo: memFree=1841312/2055920 swapFree=4180200/4192956
[pid=4295] ppid=4293 vsize=7500 CPUtime=3.09
/proc/4295/stat : 4295 (precosat) R 4293 4295 4258 0 -1 4194304 1791 0 0 0 309 0 0 0 25 0 1 0 215720594 7680000 1766 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4295/statm: 1875 1766 79 155 0 1718 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7500

[startup+6.30146 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 4296
/proc/meminfo: memFree=1839584/2055920 swapFree=4180200/4192956
[pid=4295] ppid=4293 vsize=8600 CPUtime=6.29
/proc/4295/stat : 4295 (precosat) R 4293 4295 4258 0 -1 4194304 2079 0 0 0 628 1 0 0 25 0 1 0 215720594 8806400 2042 1992294400 134512640 135151029 4294956240 18446744073709551615 134554752 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4295/statm: 2150 2042 79 155 0 1993 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8600

[startup+12.7021 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 4296
/proc/meminfo: memFree=1837480/2055920 swapFree=4180200/4192956
[pid=4295] ppid=4293 vsize=10612 CPUtime=12.69
/proc/4295/stat : 4295 (precosat) R 4293 4295 4258 0 -1 4194304 2602 0 0 0 1267 2 0 0 25 0 1 0 215720594 10866688 2565 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4295/statm: 2653 2565 79 155 0 2496 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10612

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 4296
/proc/meminfo: memFree=1835112/2055920 swapFree=4180200/4192956
[pid=4295] ppid=4293 vsize=12944 CPUtime=25.48
/proc/4295/stat : 4295 (precosat) R 4293 4295 4258 0 -1 4194304 3116 0 0 0 2546 2 0 0 25 0 1 0 215720594 13254656 3079 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4295/statm: 3236 3079 79 155 0 3079 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 12944

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 4296
/proc/meminfo: memFree=1832744/2055920 swapFree=4180200/4192956
[pid=4295] ppid=4293 vsize=15316 CPUtime=51.07
/proc/4295/stat : 4295 (precosat) R 4293 4295 4258 0 -1 4194304 3921 0 0 0 5104 3 0 0 25 0 1 0 215720594 15683584 3673 1992294400 134512640 135151029 4294956240 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4295/statm: 3829 3673 79 155 0 3672 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 15316

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 4296
/proc/meminfo: memFree=1831144/2055920 swapFree=4180200/4192956
[pid=4295] ppid=4293 vsize=16404 CPUtime=102.27
/proc/4295/stat : 4295 (precosat) R 4293 4295 4258 0 -1 4194304 5474 0 0 0 10222 5 0 0 25 0 1 0 215720594 16797696 3993 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4295/statm: 4101 3993 79 155 0 3944 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 16404

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 4296
/proc/meminfo: memFree=1828008/2055920 swapFree=4180200/4192956
[pid=4295] ppid=4293 vsize=19400 CPUtime=162.25
/proc/4295/stat : 4295 (precosat) R 4293 4295 4258 0 -1 4194304 6937 0 0 0 16218 7 0 0 25 0 1 0 215720594 19865600 4767 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4295/statm: 4850 4767 79 155 0 4693 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 19400

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 4296
/proc/meminfo: memFree=1826728/2055920 swapFree=4180200/4192956
[pid=4295] ppid=4293 vsize=20620 CPUtime=222.23
/proc/4295/stat : 4295 (precosat) R 4293 4295 4258 0 -1 4194304 7852 0 0 0 22215 8 0 0 25 0 1 0 215720594 21114880 5076 1992294400 134512640 135151029 4294956240 18446744073709551615 134555084 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4295/statm: 5155 5076 79 155 0 4998 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 20620

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 4296
/proc/meminfo: memFree=1823336/2055920 swapFree=4180200/4192956
[pid=4295] ppid=4293 vsize=24664 CPUtime=282.21
/proc/4295/stat : 4295 (precosat) R 4293 4295 4258 0 -1 4194304 8917 0 0 0 28212 9 0 0 25 0 1 0 215720594 25255936 5976 1992294400 134512640 135151029 4294956240 18446744073709551615 134554903 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4295/statm: 6166 5976 79 155 0 6009 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 24664

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 4296
/proc/meminfo: memFree=1823336/2055920 swapFree=4180200/4192956
[pid=4295] ppid=4293 vsize=23956 CPUtime=342.19
/proc/4295/stat : 4295 (precosat) R 4293 4295 4258 0 -1 4194304 9364 0 0 0 34210 9 0 0 25 0 1 0 215720594 24530944 5906 1992294400 134512640 135151029 4294956240 18446744073709551615 134554875 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4295/statm: 5989 5906 79 155 0 5832 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 23956

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 4296
/proc/meminfo: memFree=1821928/2055920 swapFree=4180200/4192956
[pid=4295] ppid=4293 vsize=25820 CPUtime=402.18
/proc/4295/stat : 4295 (precosat) R 4293 4295 4258 0 -1 4194304 9912 0 0 0 40208 10 0 0 25 0 1 0 215720594 26439680 6301 1992294400 134512640 135151029 4294956240 18446744073709551615 134554922 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4295/statm: 6455 6301 79 155 0 6298 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 25820

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 4296
/proc/meminfo: memFree=1822376/2055920 swapFree=4180200/4192956
[pid=4295] ppid=4293 vsize=24860 CPUtime=462.16
/proc/4295/stat : 4295 (precosat) R 4293 4295 4258 0 -1 4194304 10239 0 0 0 46205 11 0 0 25 0 1 0 215720594 25456640 6137 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4295/statm: 6215 6137 79 155 0 6058 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 24860

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 4296
/proc/meminfo: memFree=1821032/2055920 swapFree=4180200/4192956
[pid=4295] ppid=4293 vsize=26264 CPUtime=522.15
/proc/4295/stat : 4295 (precosat) R 4293 4295 4258 0 -1 4194304 11387 0 0 0 52202 13 0 0 25 0 1 0 215720594 26894336 6481 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4295/statm: 6566 6481 79 155 0 6409 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 26264

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 4296
/proc/meminfo: memFree=1818920/2055920 swapFree=4180200/4192956
[pid=4295] ppid=4293 vsize=29240 CPUtime=582.13
/proc/4295/stat : 4295 (precosat) R 4293 4295 4258 0 -1 4194304 12601 0 0 0 58199 14 0 0 25 0 1 0 215720594 29941760 7041 1992294400 134512640 135151029 4294956240 18446744073709551615 134554789 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4295/statm: 7310 7041 79 155 0 7153 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 29240

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 4296
/proc/meminfo: memFree=1818216/2055920 swapFree=4180200/4192956
[pid=4295] ppid=4293 vsize=30040 CPUtime=642.11
/proc/4295/stat : 4295 (precosat) R 4293 4295 4258 0 -1 4194304 13547 0 0 0 64197 14 0 0 25 0 1 0 215720594 30760960 7206 1992294400 134512640 135151029 4294956240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4295/statm: 7510 7206 79 155 0 7353 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 30040

[startup+702.301 s]

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

[startup+4002.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/66 4304
/proc/meminfo: memFree=1797416/2055920 swapFree=4180200/4192956
[pid=4295] ppid=4293 vsize=48108 CPUtime=4001.18
/proc/4295/stat : 4295 (precosat) R 4293 4295 4258 0 -1 4194304 49040 0 0 0 400072 46 0 0 25 0 1 0 215720594 49262592 11944 1992294400 134512640 135151029 4294956240 18446744073709551615 134574544 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4295/statm: 12027 11944 79 155 0 11870 0
Current children cumulated CPU time (s) 4001.18
Current children cumulated vsize (KiB) 48108

[startup+4062.31 s]
/proc/loadavg: 1.07 1.03 1.00 2/66 4304
/proc/meminfo: memFree=1796328/2055920 swapFree=4180200/4192956
[pid=4295] ppid=4293 vsize=50092 CPUtime=4061.18
/proc/4295/stat : 4295 (precosat) R 4293 4295 4258 0 -1 4194304 49341 0 0 0 406071 47 0 0 25 0 1 0 215720594 51294208 12245 1992294400 134512640 135151029 4294956240 18446744073709551615 134574644 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4295/statm: 12523 12245 79 155 0 12366 0
Current children cumulated CPU time (s) 4061.18
Current children cumulated vsize (KiB) 50092

[startup+4122.3 s]
/proc/loadavg: 1.07 1.04 1.00 2/66 4304
/proc/meminfo: memFree=1797288/2055920 swapFree=4180200/4192956
[pid=4295] ppid=4293 vsize=48108 CPUtime=4121.15
/proc/4295/stat : 4295 (precosat) R 4293 4295 4258 0 -1 4194304 49492 0 0 0 412068 47 0 0 25 0 1 0 215720594 49262592 11947 1992294400 134512640 135151029 4294956240 18446744073709551615 134576017 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4295/statm: 12027 11947 79 155 0 11870 0
Current children cumulated CPU time (s) 4121.15
Current children cumulated vsize (KiB) 48108

[startup+4182.3 s]
/proc/loadavg: 1.02 1.03 1.00 2/66 4304
/proc/meminfo: memFree=1796328/2055920 swapFree=4180200/4192956
[pid=4295] ppid=4293 vsize=49900 CPUtime=4181.13
/proc/4295/stat : 4295 (precosat) R 4293 4295 4258 0 -1 4194304 49793 0 0 0 418066 47 0 0 25 0 1 0 215720594 51097600 12248 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4295/statm: 12475 12248 79 155 0 12318 0
Current children cumulated CPU time (s) 4181.13
Current children cumulated vsize (KiB) 49900

[startup+4242.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/66 4304
/proc/meminfo: memFree=1797224/2055920 swapFree=4180200/4192956
[pid=4295] ppid=4293 vsize=48236 CPUtime=4241.12
/proc/4295/stat : 4295 (precosat) R 4293 4295 4258 0 -1 4194304 49912 0 0 0 424065 47 0 0 25 0 1 0 215720594 49393664 11969 1992294400 134512640 135151029 4294956240 18446744073709551615 134574649 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4295/statm: 12059 11969 79 155 0 11902 0
Current children cumulated CPU time (s) 4241.12
Current children cumulated vsize (KiB) 48236

[startup+4302.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 4304
/proc/meminfo: memFree=1796456/2055920 swapFree=4180200/4192956
[pid=4295] ppid=4293 vsize=49644 CPUtime=4301.11
/proc/4295/stat : 4295 (precosat) R 4293 4295 4258 0 -1 4194304 50139 0 0 0 430063 48 0 0 25 0 1 0 215720594 50835456 12196 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4295/statm: 12411 12196 79 155 0 12254 0
Current children cumulated CPU time (s) 4301.11
Current children cumulated vsize (KiB) 49644

[startup+4362.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 4310
/proc/meminfo: memFree=1797096/2055920 swapFree=4180200/4192956
[pid=4295] ppid=4293 vsize=48236 CPUtime=4361.08
/proc/4295/stat : 4295 (precosat) R 4293 4295 4258 0 -1 4194304 50207 0 0 0 436060 48 0 0 25 0 1 0 215720594 49393664 11976 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4295/statm: 12059 11976 79 155 0 11902 0
Current children cumulated CPU time (s) 4361.08
Current children cumulated vsize (KiB) 48236

[startup+4422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4310
/proc/meminfo: memFree=1797096/2055920 swapFree=4180200/4192956
[pid=4295] ppid=4293 vsize=48236 CPUtime=4421.06
/proc/4295/stat : 4295 (precosat) R 4293 4295 4258 0 -1 4194304 50208 0 0 0 442058 48 0 0 25 0 1 0 215720594 49393664 11977 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4295/statm: 12059 11977 79 155 0 11902 0
Current children cumulated CPU time (s) 4421.06
Current children cumulated vsize (KiB) 48236

[startup+4482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4310
/proc/meminfo: memFree=1797096/2055920 swapFree=4180200/4192956
[pid=4295] ppid=4293 vsize=48236 CPUtime=4481.05
/proc/4295/stat : 4295 (precosat) R 4293 4295 4258 0 -1 4194304 50208 0 0 0 448057 48 0 0 25 0 1 0 215720594 49393664 11977 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4295/statm: 12059 11977 79 155 0 11902 0
Current children cumulated CPU time (s) 4481.05
Current children cumulated vsize (KiB) 48236

[startup+4542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4310
/proc/meminfo: memFree=1797032/2055920 swapFree=4180200/4192956
[pid=4295] ppid=4293 vsize=48424 CPUtime=4541.03
/proc/4295/stat : 4295 (precosat) R 4293 4295 4258 0 -1 4194304 50240 0 0 0 454055 48 0 0 25 0 1 0 215720594 49586176 12009 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4295/statm: 12106 12009 79 155 0 11949 0
Current children cumulated CPU time (s) 4541.03
Current children cumulated vsize (KiB) 48424

[startup+4602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4310
/proc/meminfo: memFree=1797096/2055920 swapFree=4180200/4192956
[pid=4295] ppid=4293 vsize=48424 CPUtime=4601.02
/proc/4295/stat : 4295 (precosat) R 4293 4295 4258 0 -1 4194304 50240 0 0 0 460054 48 0 0 25 0 1 0 215720594 49586176 12009 1992294400 134512640 135151029 4294956240 18446744073709551615 134555139 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4295/statm: 12106 12009 79 155 0 11949 0
Current children cumulated CPU time (s) 4601.02
Current children cumulated vsize (KiB) 48424

[startup+4662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4310
/proc/meminfo: memFree=1795496/2055920 swapFree=4180200/4192956
[pid=4295] ppid=4293 vsize=50732 CPUtime=4660.99
/proc/4295/stat : 4295 (precosat) R 4293 4295 4258 0 -1 4194304 50623 0 0 0 466051 48 0 0 25 0 1 0 215720594 51949568 12392 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4295/statm: 12683 12392 79 155 0 12526 0
Current children cumulated CPU time (s) 4660.99
Current children cumulated vsize (KiB) 50732

[startup+4722.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4310
/proc/meminfo: memFree=1795560/2055920 swapFree=4180200/4192956
[pid=4295] ppid=4293 vsize=50796 CPUtime=4720.99
/proc/4295/stat : 4295 (precosat) R 4293 4295 4258 0 -1 4194304 51126 0 0 0 472050 49 0 0 25 0 1 0 215720594 52015104 12371 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4295/statm: 12699 12371 79 155 0 12542 0
Current children cumulated CPU time (s) 4720.99
Current children cumulated vsize (KiB) 50796

[startup+4782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4310
/proc/meminfo: memFree=1794024/2055920 swapFree=4180200/4192956
[pid=4295] ppid=4293 vsize=52780 CPUtime=4780.97
/proc/4295/stat : 4295 (precosat) R 4293 4295 4258 0 -1 4194304 51496 0 0 0 478048 49 0 0 25 0 1 0 215720594 54046720 12741 1992294400 134512640 135151029 4294956240 18446744073709551615 134551504 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4295/statm: 13195 12741 79 155 0 13038 0
Current children cumulated CPU time (s) 4780.97
Current children cumulated vsize (KiB) 52780

[startup+4842.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4310
/proc/meminfo: memFree=1793256/2055920 swapFree=4180200/4192956
[pid=4295] ppid=4293 vsize=53804 CPUtime=4840.95
/proc/4295/stat : 4295 (precosat) R 4293 4295 4258 0 -1 4194304 51691 0 0 0 484046 49 0 0 25 0 1 0 215720594 55095296 12936 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4295/statm: 13451 12936 79 155 0 13294 0
Current children cumulated CPU time (s) 4840.95
Current children cumulated vsize (KiB) 53804

[startup+4902.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4310
/proc/meminfo: memFree=1796840/2055920 swapFree=4180200/4192956
[pid=4295] ppid=4293 vsize=48680 CPUtime=4900.93
/proc/4295/stat : 4295 (precosat) R 4293 4295 4258 0 -1 4194304 51803 0 0 0 490044 49 0 0 25 0 1 0 215720594 49848320 12036 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4295/statm: 12170 12036 79 155 0 12013 0
Current children cumulated CPU time (s) 4900.93
Current children cumulated vsize (KiB) 48680

[startup+4962.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4310
/proc/meminfo: memFree=1795048/2055920 swapFree=4180200/4192956
[pid=4295] ppid=4293 vsize=51048 CPUtime=4960.91
/proc/4295/stat : 4295 (precosat) R 4293 4295 4258 0 -1 4194304 52231 0 0 0 496042 49 0 0 25 0 1 0 215720594 52273152 12464 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4295/statm: 12762 12464 79 155 0 12605 0
Current children cumulated CPU time (s) 4960.91
Current children cumulated vsize (KiB) 51048



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5001.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4310
/proc/meminfo: memFree=1794024/2055920 swapFree=4180200/4192956
[pid=4295] ppid=4293 vsize=52712 CPUtime=5000
/proc/4295/stat : 4295 (precosat) R 4293 4295 4258 0 -1 4194304 52490 0 0 0 499951 49 0 0 25 0 1 0 215720594 53977088 12723 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4295/statm: 13178 12723 79 155 0 13021 0
Current children cumulated CPU time (s) 5000
Current children cumulated vsize (KiB) 52712

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.41
CPU time (s): 5000.03
CPU user time (s): 4999.52
CPU system time (s): 0.507922
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 53804

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

runsolver used 5.84811 second user time and 11.4063 second system time

The end

Launcher Data 

Begin job on node56 at 2009-05-09 15:48:48
IDJOB=1783722
IDBENCH=24648
IDSOLVER=607
FILE ID=node56/1783722-1241876928
PBS_JOBID= 9264664
Free space on /tmp= 102904 MiB

SOLVER NAME= precosat 236
BENCH NAME= SAT07/crafted/Hard/contest05/QG/QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1783722-1241876928/watcher-1783722-1241876928 -o /tmp/evaluation-result-1783722-1241876928/solver-1783722-1241876928 -C 5000 -W 6000 -M 1800  HOME/precosat HOME/instance-1783722-1241876928.cnf

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

MD5SUM BENCH= 42a7abc6638576e7c05fba1c9e36829b
RANDOM SEED=1574883715

node56.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.218
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.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1847752 kB
Buffers:         33744 kB
Cached:         105880 kB
SwapCached:       6780 kB
Active:          56260 kB
Inactive:        92504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1847752 kB
SwapTotal:     4192956 kB
SwapFree:      4180200 kB
Dirty:            1432 kB
Writeback:           0 kB
Mapped:          14412 kB
Slab:            45320 kB
Committed_AS:   655008 kB
PageTables:       1472 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= 102904 MiB
End job on node56 at 2009-05-09 17:12:12