Trace number 1773491

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
precosat 236? (TO) 10000.1 10003.8

General information on the benchmark

Namealoul-chnl11-13.cnf
MD5SUMc7162bc1ddb6d2592f237fef1b04b5ce
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark294.549
Satisfiable
(Un)Satisfiability was proved
Number of variables286
Number of clauses1742
Sum of the clauses size3718
Maximum clause length11
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21716
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 526

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-1773491-1241184654.cnf
0.00/0.00	c found header 'p cnf 286 1742'
0.00/0.00	c finished parsing
0.00/0.00	c
0.00/0.00	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.00/0.00	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.00/0.00	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.00/0.00	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.00/0.00	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.00/0.00	c --random=1 --spread=2000 --seed=0 --skip=25
0.00/0.00	c
0.00/0.00	c sizeof     vars[0] = 16   alignment = 0       0 MB
0.00/0.00	c sizeof     orgs[0] =  8   alignment = 0       0 MB
0.00/0.00	c sizeof     occs[0] =  8   alignment = 0       0 MB
0.00/0.00	c sizeof iirfs[0..1] =  8   alignment = 0       0 MB
0.00/0.00	c
0.00/0.00	c starting search after 0.0 seconds
0.00/0.00	c no decision limit
0.00/0.00	c
0.00/0.00	c       original/binary      fixed     eliminated      learned       agility
0.00/0.00	c   seconds        variables     equivalent    conflicts       height       MB
0.00/0.00	c
0.00/0.00	c *    0.0     1742     286      0     0      0       0      0    0.0   0    0
0.00/0.01	c s    0.0     1716     260      0     0     26       0      0    0.0   0    0
0.00/0.01	c l    0.0     1716     260      0     0     26       0   1000    0.0   0    0
0.00/0.01	c R    0.0     1716     260      0     0     26     102    102   44.5   4    0
0.00/0.01	c R    0.0     1716     260      0     0     26     202    202   43.8   8    0
0.01/0.03	c R    0.0     1716     260      0     0     26     805    805   43.9  17    0
0.01/0.04	c B    0.0     1716     260      0     0     26    1000   1000   44.4  19    0
0.01/0.04	c +    0.0     1716     260      0     0     26    1000   1100   44.4  19    0
0.01/0.04	c +    0.0     1716     260      0     0     26    1251   1210   44.2  21    0
0.01/0.05	c +    0.1     1716     260      0     0     26    1560   1331   43.7  23    0
0.01/0.06	c +    0.1     1716     260      0     0     26    1950   1464   45.6  22    1
0.01/0.07	c B    0.1     1716     260      0     0     26    2002   1391   45.8  22    1
0.01/0.08	c R    0.1     1716     260      0     0     26    2413   1469   42.0  18    1
0.01/0.08	c +    0.1     1716     260      0     0     26    2435   1610   41.8  18    1
0.09/0.10	c +    0.1     1716     260      0     0     26    3040   1771   41.9  20    1
0.09/0.13	c +    0.1     1716     260      0     0     26    3801   1948   43.5  19    1
0.09/0.16	c +    0.2     1716     260      0     0     26    4750   2142   41.7  20    1
0.19/0.21	c +    0.2     1716     260      0     0     26    5937   2356   42.8  20    1
0.19/0.23	c R    0.2     1716     260      0     0     26    6427   2359   43.4  20    1
0.19/0.27	c
0.19/0.27	c       original/binary      fixed     eliminated      learned       agility
0.19/0.27	c   seconds        variables     equivalent    conflicts       height       MB
0.19/0.27	c
0.19/0.27	c +    0.3     1716     260      0     0     26    7420   2591   40.6  17    1
0.29/0.30	c B    0.3     1716     260      0     0     26    8004   2595   39.4  17    1
0.29/0.35	c +    0.4     1716     260      0     0     26    9275   2850   40.1  17    1
0.39/0.46	c +    0.5     1716     260      0     0     26   11592   3135   41.7  21    1
0.49/0.59	c +    0.6     1716     260      0     0     26   14491   3448   41.4  19    1
0.59/0.66	c R    0.7     1716     260      0     0     26   16055   3454   39.6  17    1
0.69/0.76	c +    0.8     1716     260      0     0     26   18112   3792   37.4  17    2
1.00/1.04	c +    1.0     1716     260      0     0     26   22641   4171   37.7  21    2
1.10/1.12	c B    1.1     1716     260      0     0     26   24008   4186   38.3  22    2
1.29/1.35	c +    1.4     1716     260      0     0     26   28301   4588   40.0  19    2
1.69/1.71	c +    1.7     1716     260      0     0     26   35375   5046   39.7  16    2
1.89/1.90	c R    1.9     1716     260      0     0     26   38510   5051   38.3  17    2
2.20/2.27	c +    2.3     1716     260      0     0     26   44217   5550   36.4  18    3
2.99/3.05	c +    3.1     1716     260      0     0     26   55271   6105   38.2  20    3
3.49/3.54	c B    3.5     1716     260      0     0     26   64024   6114   39.4  19    3
3.79/3.88	c +    3.9     1716     260      0     0     26   69086   6715   40.3  19    3
4.99/5.03	c +    5.0     1716     260      0     0     26   86356   7386   40.3  17    4
5.19/5.28	c R    5.3     1716     260      0     0     26   89829   7390   39.7  18    4
6.99/7.02	c +    7.0     1716     260      0     0     26  107945   8124   38.5  20    5
9.09/9.17	c
9.09/9.17	c       original/binary      fixed     eliminated      learned       agility
9.09/9.17	c   seconds        variables     equivalent    conflicts       height       MB
9.09/9.17	c
9.09/9.17	c +    9.2     1716     260      0     0     26  134931   8936   38.5  20    5
11.29/11.34	c B   11.3     1716     260      0     0     26  160048   8942   39.7  22    5
12.00/12.05	c +   12.1     1716     260      0     0     26  168660   9829   40.2  19    5
15.49/15.55	c R   15.6     1716     260      0     0     26  205265   9836   39.5  16    6
15.99/16.02	c +   16.0     1716     260      0     0     26  210826  10811   39.1  19    6
21.78/21.83	c +   21.8     1716     260      0     0     26  263530  11892   38.3  21    7
28.08/28.14	c +   28.1     1716     260      0     0     26  329410  13081   38.1  18    8
33.88/33.97	c B   34.0     1716     260      0     0     26  384110  13093   39.0  20    9
36.97/37.04	c +   37.0     1716     260      0     0     26  411761  14389   39.3  20    9
43.98/44.10	c R   44.1     1716     260      0     0     26  461696  14398   39.6  20   10
51.87/51.92	c +   51.9     1716     260      0     0     26  514702  15827   37.9  22   11
67.87/67.97	c +   68.0     1716     260      0     0     26  643376  17409   38.7  19   11
88.56/88.64	c +   88.6     1716     260      0     0     26  804221  19149   38.8  20   12
102.55/102.66	c B  102.6     1716     260      0     0     26  896269  19160   39.0  20   13
118.45/118.52	c +  118.5     1716     260      0     0     26 1005276  21063   39.5  22   13
122.35/122.46	c R  122.4     1716     260      0     0     26 1025784  21068   39.5  22   14
138.14/138.21	c s  138.2     1717     260      0     0     26 1102580  22367   38.4  18    5
164.53/164.64	c +  164.6     1717     260      0     0     26 1256597  23169   38.7  18   13
222.91/223.05	c +  223.0     1717     260      0     0     26 1570746  25485   38.8  18   15
302.39/302.58	c
302.39/302.58	c       original/binary      fixed     eliminated      learned       agility
302.39/302.58	c   seconds        variables     equivalent    conflicts       height       MB
302.39/302.58	c
302.39/302.58	c +  302.5     1717     260      0     0     26 1963432  28033   39.2  22   18
322.48/322.64	c B  322.5     1717     260      0     0     26 2048545  28046   39.4  19   19
365.06/365.21	c R  365.1     1717     260      0     0     26 2256317  28045   39.5  24   21
406.75/406.99	c +  406.8     1717     260      0     0     26 2454291  30836   39.7  21   22
534.30/534.55	c s  534.4     1718     260      0     0     26 2962064  30839   39.5  18    8
561.28/561.51	c +  561.3     1718     260      0     0     26 3067862  33919   39.5  17   16
684.64/684.92	c s  684.7     1719     260      0     0     26 3518975  33924   39.3  21    8
709.63/709.97	c s  709.7     1720     260      0     0     26 3604707  33924   39.1  22    8
774.51/774.89	c +  774.6     1720     260      0     0     26 3834825  37310   39.2  20   19
833.18/833.58	c s  833.3     1721     260      0     0     26 4036432  37311   39.1  18    9
864.18/864.51	c s  864.2     1724     260      0     0     26 4122579  37314   38.9  20    9
1031.11/1031.58	c B 1031.2     1724     260      0     0     26 4609037  37318   39.4  23   24
1051.41/1051.88	c s 1051.5     1725     260      0     0     26 4689623  37315   39.2  20    9
1077.60/1078.02	c + 1077.6     1725     260      0     0     26 4793531  41041   39.4  22   17
1112.28/1112.73	c R 1112.3     1725     260      0     0     26 4922395  41052   39.6  17   22
1433.27/1433.82	c + 1433.3     1725     260      0     0     26 5991911  45145   39.9  20   31
1563.21/1563.86	c s 1563.3     1726     260      0     0     26 6407627  45144   39.7  18   11
1746.25/1746.93	c s 1746.3     1727     260      0     0     26 6956862  45145   39.6  18   10
1798.93/1799.69	c s 1799.0     1728     260      0     0     26 7052615  45149   39.7  19   11
1964.47/1965.21	c
1964.47/1965.21	c       original/binary      fixed     eliminated      learned       agility
1964.47/1965.21	c   seconds        variables     equivalent    conflicts       height       MB
1964.47/1965.21	c
1964.47/1965.21	c + 1964.5     1728     260      0     0     26 7489885  49659   39.7  18   29
1982.86/1983.67	c s 1982.9     1729     260      0     0     26 7539193  49661   39.6  17   12
2030.34/2031.18	c s 2030.4     1730     260      0     0     26 7666807  49673   39.4  21   12
2081.72/2082.53	c s 2081.8     1731     260      0     0     26 7786720  49664   39.2  18   11
2137.21/2138.06	c s 2137.3     1733     260      0     0     26 7897948  49666   39.2  19   12
2190.39/2191.29	c s 2190.5     1734     260      0     0     26 8024046  49664   39.2  20   12
2297.55/2298.43	c s 2297.6     1735     260      0     0     26 8261760  49658   39.2  19   12
2522.65/2523.67	c s 2522.7     1736     260      0     0     26 8797296  49659   39.2  18   11
2570.44/2571.41	c s 2570.5     1737     260      0     0     26 8924671  49672   39.2  19   12
2653.21/2654.26	c s 2653.3     1738     260      0     0     26 9118067  49658   39.2  18   12
2774.97/2776.04	c + 2775.0     1738     260      0     0     26 9362355  54624   39.3  19   26
3237.09/3238.32	c B 3237.1     1738     260      0     0     26 10241981  54630   39.5  20   37
3265.38/3266.64	c s 3265.4     1739     260      0     0     26 10320812  54626   39.4  17   13
3420.13/3421.47	c R 3420.2     1739     260      0     0     26 10664018  54630   39.4  21   29
3529.19/3530.57	c s 3529.3     1740     260      0     0     26 10908074  54628   39.2  21   13
4350.19/4351.81	c s 4350.2     1741     260      0     0     26 12549750  54626   39.1  18   12
4571.41/4573.11	c s 4571.4     1742     260      0     0     26 13066801  54625   39.2  18   13
4896.59/4898.41	c s 4896.6     1743     260      0     0     26 13696896  54624   39.2  17   14
4972.96/4974.89	c s 4973.1     1744     260      0     0     26 13862884  54629   39.0  23   12
5036.23/5038.12	c
5036.23/5038.12	c       original/binary      fixed     eliminated      learned       agility
5036.23/5038.12	c   seconds        variables     equivalent    conflicts       height       MB
5036.23/5038.12	c
5036.23/5038.12	c s 5036.3     1732     259      1     0     26 13982644  53326   38.9  20   12
5216.56/5218.57	c s 5216.7     1733     259      1     0     26 14386892  54623   38.9  20   13
5475.87/5477.96	c s 5475.9     1734     259      1     0     26 14907126  54623   39.0  19   13
5544.45/5546.58	c s 5544.5     1724     258      2     0     26 15047329  52088   38.9  20   12
5625.81/5627.96	c s 5625.9     1726     258      2     0     26 15173594  54631   38.9  21   12
5708.18/5710.34	c s 5708.2     1728     258      2     0     26 15309020  54625   38.9  23   12
5794.44/5796.69	c s 5794.6     1729     258      2     0     26 15442748  54628   38.9  24   13
6466.30/6468.72	c s 6466.3     1730     258      2     0     26 16648189  54624   39.0  18   12
6738.80/6741.31	c s 6738.8     1731     258      2     0     26 17247849  54626   38.9  19   13
6806.48/6809.01	c s 6806.5     1732     258      2     0     26 17385172  54628   38.9  22   13
6960.12/6962.72	c s 6960.2     1733     258      2     0     26 17730496  54627   38.9  23   12
7096.47/7099.13	c s 7096.5     1734     258      2     0     26 17966502  54623   38.9  20   12
7161.74/7164.43	c s 7161.8     1735     258      2     0     26 18083176  54635   38.9  20   13
7232.72/7235.47	c s 7232.8     1738     258      2     0     26 18215440  54629   38.9  18   13
7725.14/7728.03	c s 7725.2     1739     258      2     0     26 19100957  54631   38.9  19   13
7800.81/7803.75	c s 7800.9     1740     258      2     0     26 19236008  54625   38.9  20   13
7874.08/7877.01	c s 7874.1     1741     258      2     0     26 19366342  54626   38.9  20   12
7956.66/7959.63	c s 7956.7     1742     258      2     0     26 19490105  54626   38.9  24   13
8113.99/8117.00	c s 8114.0     1743     258      2     0     26 19824461  54628   38.8  18   13
8181.17/8184.27	c
8181.17/8184.27	c       original/binary      fixed     eliminated      learned       agility
8181.17/8184.27	c   seconds        variables     equivalent    conflicts       height       MB
8181.17/8184.27	c
8181.17/8184.27	c s 8181.3     1731     257      3     0     26 19956603  54627   38.7  19   12
8268.04/8271.11	c s 8268.1     1735     257      3     0     26 20082478  54629   38.7  23   12
8396.59/8399.77	c s 8396.7     1736     257      3     0     26 20287040  54628   38.7  19   12
8458.76/8461.99	c s 8458.9     1737     257      3     0     26 20411471  54627   38.7  22   12
9706.00/9709.64	c B 9706.0     1737     257      3     0     26 22532035  54626   39.0  19   42
10000.09/10003.80	c
10000.09/10003.80	c *** CAUGHT SIGNAL 15 ***
10000.09/10003.80	c
10000.09/10003.80	c 22980939 conflicts, 27702105 decisions, 1 random
10000.09/10003.80	c 3 iterations, 33897 restarts, 2088 skipped
10000.09/10003.80	c 42 enlarged, 51 shrunken, 224247 rescored, 4094 rebiased
10000.09/10003.80	c 49 simplifications, 0 reductions
10000.09/10003.80	c
10000.09/10003.80	c vars: 3 fixed, 0 equiv, 26 elim, 0 merged
10000.09/10003.80	c elim: 29504 resolutions, 4 phases, 4 rounds
10000.09/10003.80	c sbst: 0% substituted, 0.0% nots, 0.0% ands, 0.0% xors, 0.0% ites
10000.09/10003.80	c arty: 0.00 and 0.00 xor average arity
10000.09/10003.80	c prbe: 185544 probed, 358 phases, 358 rounds
10000.09/10003.80	c prbe: 0 failed, 0 lifted, 0 merged
10000.09/10003.80	c sccs: 0 non trivial, 0 fixed, 0 merged
10000.09/10003.80	c hash: 0 units, 0 merged
10000.09/10003.80	c mins: 1146913369 learned, 10% deleted, 0 strong, 11 depth
10000.09/10003.80	c subs: 0 forward, 0 backward, 2 doms
10000.09/10003.80	c strs: 0 forward, 0 backward
10000.09/10003.80	c doms: 2 dominators, 1 high, 0 low
10000.09/10003.80	c prps: 439149367 propagations, 0.04 megaprops
10000.09/10003.80	c
10000.09/10003.80	c 10000.1 seconds, 43 MB max, 794 MB recycled
10000.09/10003.80	c
10000.09/10003.80	c *** CAUGHT SIGNAL 15 ***
10000.09/10003.80	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-1773491-1241184654/watcher-1773491-1241184654 -o /tmp/evaluation-result-1773491-1241184654/solver-1773491-1241184654 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1773491-1241184654.cnf 

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


[startup+0 s]
/proc/loadavg: 1.04 0.98 0.91 3/64 31381
/proc/meminfo: memFree=1319216/2055920 swapFree=4191900/4192956
[pid=31381] ppid=31379 vsize=916 CPUtime=0
/proc/31381/stat : 31381 (precosat) R 31379 31381 31317 0 -1 4194304 149 0 0 0 0 0 0 0 18 0 1 0 146493863 937984 133 1992294400 134512640 135151029 4294956240 18446744073709551615 134697845 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31381/statm: 229 133 79 155 0 72 0

[startup+0.0213591 s]
/proc/loadavg: 1.04 0.98 0.91 3/64 31381
/proc/meminfo: memFree=1319216/2055920 swapFree=4191900/4192956
[pid=31381] ppid=31379 vsize=916 CPUtime=0.01
/proc/31381/stat : 31381 (precosat) R 31379 31381 31317 0 -1 4194304 166 0 0 0 1 0 0 0 18 0 1 0 146493863 937984 150 1992294400 134512640 135151029 4294956240 18446744073709551615 134578219 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31381/statm: 229 151 79 155 0 72 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 916

[startup+0.101374 s]
/proc/loadavg: 1.04 0.98 0.91 3/64 31381
/proc/meminfo: memFree=1319216/2055920 swapFree=4191900/4192956
[pid=31381] ppid=31379 vsize=1444 CPUtime=0.09
/proc/31381/stat : 31381 (precosat) R 31379 31381 31317 0 -1 4194304 281 0 0 0 9 0 0 0 18 0 1 0 146493863 1478656 265 1992294400 134512640 135151029 4294956240 18446744073709551615 134573883 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31381/statm: 361 265 79 155 0 204 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1444

[startup+0.301412 s]
/proc/loadavg: 1.04 0.98 0.91 3/64 31381
/proc/meminfo: memFree=1319216/2055920 swapFree=4191900/4192956
[pid=31381] ppid=31379 vsize=1840 CPUtime=0.29
/proc/31381/stat : 31381 (precosat) R 31379 31381 31317 0 -1 4194304 398 0 0 0 29 0 0 0 19 0 1 0 146493863 1884160 382 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31381/statm: 460 382 79 155 0 303 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1840

[startup+0.701489 s]
/proc/loadavg: 1.04 0.98 0.91 3/64 31381
/proc/meminfo: memFree=1319216/2055920 swapFree=4191900/4192956
[pid=31381] ppid=31379 vsize=2388 CPUtime=0.69
/proc/31381/stat : 31381 (precosat) R 31379 31381 31317 0 -1 4194304 515 0 0 0 69 0 0 0 23 0 1 0 146493863 2445312 499 1992294400 134512640 135151029 4294956240 18446744073709551615 134553850 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31381/statm: 597 499 79 155 0 440 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2388

[startup+1.50164 s]
/proc/loadavg: 1.04 0.98 0.91 2/65 31382
/proc/meminfo: memFree=1317224/2055920 swapFree=4191900/4192956
[pid=31381] ppid=31379 vsize=3060 CPUtime=1.49
/proc/31381/stat : 31381 (precosat) R 31379 31381 31317 0 -1 4194304 677 0 0 0 149 0 0 0 25 0 1 0 146493863 3133440 661 1992294400 134512640 135151029 4294956240 18446744073709551615 134552130 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31381/statm: 765 661 79 155 0 608 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3060

[startup+3.10194 s]
/proc/loadavg: 1.04 0.98 0.91 2/65 31382
/proc/meminfo: memFree=1316136/2055920 swapFree=4191900/4192956
[pid=31381] ppid=31379 vsize=4040 CPUtime=3.09
/proc/31381/stat : 31381 (precosat) R 31379 31381 31317 0 -1 4194304 915 0 0 0 309 0 0 0 25 0 1 0 146493863 4136960 899 1992294400 134512640 135151029 4294956240 18446744073709551615 134555084 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31381/statm: 1010 899 79 155 0 853 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4040

[startup+6.30156 s]
/proc/loadavg: 1.03 0.98 0.91 2/65 31382
/proc/meminfo: memFree=1314728/2055920 swapFree=4191900/4192956
[pid=31381] ppid=31379 vsize=5616 CPUtime=6.29
/proc/31381/stat : 31381 (precosat) R 31379 31381 31317 0 -1 4194304 1280 0 0 0 629 0 0 0 25 0 1 0 146493863 5750784 1264 1992294400 134512640 135151029 4294956240 18446744073709551615 134554752 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31381/statm: 1404 1264 79 155 0 1247 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 5616

[startup+12.7018 s]
/proc/loadavg: 1.03 0.98 0.91 2/65 31382
/proc/meminfo: memFree=1313264/2055920 swapFree=4191900/4192956
[pid=31381] ppid=31379 vsize=6684 CPUtime=12.69
/proc/31381/stat : 31381 (precosat) R 31379 31381 31317 0 -1 4194304 1492 0 0 0 1268 1 0 0 25 0 1 0 146493863 6844416 1476 1992294400 134512640 135151029 4294956240 18446744073709551615 134555130 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31381/statm: 1671 1476 79 155 0 1514 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 6684

[startup+25.5012 s]
/proc/loadavg: 1.02 0.98 0.91 2/65 31382
/proc/meminfo: memFree=1311152/2055920 swapFree=4191900/4192956
[pid=31381] ppid=31379 vsize=9332 CPUtime=25.48
/proc/31381/stat : 31381 (precosat) R 31379 31381 31317 0 -1 4194304 2020 0 0 0 2547 1 0 0 25 0 1 0 146493863 9555968 2004 1992294400 134512640 135151029 4294956240 18446744073709551615 134574544 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31381/statm: 2333 2004 79 155 0 2176 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 9332

[startup+51.1011 s]
/proc/loadavg: 1.01 0.98 0.91 2/65 31382
/proc/meminfo: memFree=1307056/2055920 swapFree=4191900/4192956
[pid=31381] ppid=31379 vsize=13984 CPUtime=51.07
/proc/31381/stat : 31381 (precosat) R 31379 31381 31317 0 -1 4194304 3052 0 0 0 5105 2 0 0 25 0 1 0 146493863 14319616 3036 1992294400 134512640 135151029 4294956240 18446744073709551615 134554855 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31381/statm: 3496 3036 79 155 0 3339 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 13984

[startup+102.306 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 31382
/proc/meminfo: memFree=1305968/2055920 swapFree=4191900/4192956
[pid=31381] ppid=31379 vsize=15076 CPUtime=102.25
/proc/31381/stat : 31381 (precosat) R 31379 31381 31317 0 -1 4194304 3303 0 0 0 10223 2 0 0 25 0 1 0 146493863 15437824 3287 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31381/statm: 3769 3287 79 155 0 3612 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 15076

[startup+162.301 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 31382
/proc/meminfo: memFree=1304816/2055920 swapFree=4191900/4192956
[pid=31381] ppid=31379 vsize=14988 CPUtime=162.23
/proc/31381/stat : 31381 (precosat) R 31379 31381 31317 0 -1 4194304 4495 0 0 0 16220 3 0 0 25 0 1 0 146493863 15347712 3578 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31381/statm: 3747 3578 79 155 0 3590 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 14988

[startup+222.302 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 31382
/proc/meminfo: memFree=1301168/2055920 swapFree=4191900/4192956
[pid=31381] ppid=31379 vsize=19428 CPUtime=222.21
/proc/31381/stat : 31381 (precosat) R 31379 31381 31317 0 -1 4194304 5398 0 0 0 22217 4 0 0 25 0 1 0 146493863 19894272 4481 1992294400 134512640 135151029 4294956240 18446744073709551615 134542664 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31381/statm: 4857 4481 79 155 0 4700 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 19428

[startup+282.301 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 31382
/proc/meminfo: memFree=1299248/2055920 swapFree=4191900/4192956
[pid=31381] ppid=31379 vsize=21924 CPUtime=282.19
/proc/31381/stat : 31381 (precosat) R 31379 31381 31317 0 -1 4194304 5871 0 0 0 28214 5 0 0 25 0 1 0 146493863 22450176 4954 1992294400 134512640 135151029 4294956240 18446744073709551615 134554794 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31381/statm: 5481 4954 79 155 0 5324 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 21924

[startup+342.302 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 31382
/proc/meminfo: memFree=1297392/2055920 swapFree=4191900/4192956
[pid=31381] ppid=31379 vsize=24228 CPUtime=342.17
/proc/31381/stat : 31381 (precosat) R 31379 31381 31317 0 -1 4194304 6319 0 0 0 34212 5 0 0 25 0 1 0 146493863 24809472 5402 1992294400 134512640 135151029 4294956240 18446744073709551615 134554851 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31381/statm: 6057 5402 79 155 0 5900 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 24228

[startup+402.301 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 31382
/proc/meminfo: memFree=1294576/2055920 swapFree=4191900/4192956
[pid=31381] ppid=31379 vsize=27044 CPUtime=402.14
/proc/31381/stat : 31381 (precosat) R 31379 31381 31317 0 -1 4194304 7015 0 0 0 40208 6 0 0 25 0 1 0 146493863 27693056 6098 1992294400 134512640 135151029 4294956240 18446744073709551615 134574580 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31381/statm: 6761 6098 79 155 0 6604 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 27044

[startup+462.302 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 31382
/proc/meminfo: memFree=1294320/2055920 swapFree=4191900/4192956
[pid=31381] ppid=31379 vsize=27304 CPUtime=462.12
/proc/31381/stat : 31381 (precosat) R 31379 31381 31317 0 -1 4194304 7083 0 0 0 46206 6 0 0 25 0 1 0 146493863 27959296 6166 1992294400 134512640 135151029 4294956240 18446744073709551615 134555154 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31381/statm: 6826 6166 79 155 0 6669 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 27304

[startup+522.302 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 31382
/proc/meminfo: memFree=1294128/2055920 swapFree=4191900/4192956
[pid=31381] ppid=31379 vsize=27560 CPUtime=522.1
/proc/31381/stat : 31381 (precosat) R 31379 31381 31317 0 -1 4194304 7111 0 0 0 52204 6 0 0 25 0 1 0 146493863 28221440 6194 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31381/statm: 6890 6194 79 155 0 6733 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 27560

[startup+582.301 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 31384
/proc/meminfo: memFree=1299696/2055920 swapFree=4191900/4192956
[pid=31381] ppid=31379 vsize=20388 CPUtime=582.08
/proc/31381/stat : 31381 (precosat) R 31379 31381 31317 0 -1 4194304 7624 0 0 0 58202 6 0 0 25 0 1 0 146493863 20877312 4829 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31381/statm: 5097 4829 79 155 0 4940 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 20388

[startup+642.302 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 31384
/proc/meminfo: memFree=1296944/2055920 swapFree=4191900/4192956
[pid=31381] ppid=31379 vsize=24356 CPUtime=642.06
/proc/31381/stat : 31381 (precosat) R 31379 31381 31317 0 -1 4194304 8278 0 0 0 64199 7 0 0 25 0 1 0 146493863 24940544 5483 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31381/statm: 6089 5483 79 155 0 5932 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 24356

[startup+702.301 s]

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

[startup+9042.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 31406
/proc/meminfo: memFree=1280872/2055920 swapFree=4191900/4192956
[pid=31381] ppid=31379 vsize=41968 CPUtime=9038.94
/proc/31381/stat : 31381 (precosat) R 31379 31381 31317 0 -1 4194304 73548 0 0 0 903818 76 0 0 25 0 1 0 146493863 42975232 9163 1992294400 134512640 135151029 4294956240 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31381/statm: 10492 9163 79 155 0 10335 0
Current children cumulated CPU time (s) 9038.94
Current children cumulated vsize (KiB) 41968

[startup+9102.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 31406
/proc/meminfo: memFree=1278952/2055920 swapFree=4191900/4192956
[pid=31381] ppid=31379 vsize=44064 CPUtime=9098.92
/proc/31381/stat : 31381 (precosat) R 31379 31381 31317 0 -1 4194304 74009 0 0 0 909815 77 0 0 25 0 1 0 146493863 45121536 9624 1992294400 134512640 135151029 4294956240 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31381/statm: 11016 9624 79 155 0 10859 0
Current children cumulated CPU time (s) 9098.92
Current children cumulated vsize (KiB) 44064

[startup+9162.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 31406
/proc/meminfo: memFree=1277672/2055920 swapFree=4191900/4192956
[pid=31381] ppid=31379 vsize=45856 CPUtime=9158.9
/proc/31381/stat : 31381 (precosat) R 31379 31381 31317 0 -1 4194304 74315 0 0 0 915813 77 0 0 25 0 1 0 146493863 46956544 9930 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31381/statm: 11464 9930 79 155 0 11307 0
Current children cumulated CPU time (s) 9158.9
Current children cumulated vsize (KiB) 45856

[startup+9222.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 31406
/proc/meminfo: memFree=1277160/2055920 swapFree=4191900/4192956
[pid=31381] ppid=31379 vsize=46624 CPUtime=9218.88
/proc/31381/stat : 31381 (precosat) R 31379 31381 31317 0 -1 4194304 74436 0 0 0 921811 77 0 0 25 0 1 0 146493863 47742976 10051 1992294400 134512640 135151029 4294956240 18446744073709551615 134574672 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31381/statm: 11656 10051 79 155 0 11499 0
Current children cumulated CPU time (s) 9218.88
Current children cumulated vsize (KiB) 46624

[startup+9282.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 31406
/proc/meminfo: memFree=1276392/2055920 swapFree=4191900/4192956
[pid=31381] ppid=31379 vsize=47648 CPUtime=9278.85
/proc/31381/stat : 31381 (precosat) R 31379 31381 31317 0 -1 4194304 74611 0 0 0 927808 77 0 0 25 0 1 0 146493863 48791552 10226 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31381/statm: 11912 10226 79 155 0 11755 0
Current children cumulated CPU time (s) 9278.85
Current children cumulated vsize (KiB) 47648

[startup+9342.31 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 31406
/proc/meminfo: memFree=1276400/2055920 swapFree=4191900/4192956
[pid=31381] ppid=31379 vsize=47648 CPUtime=9338.83
/proc/31381/stat : 31381 (precosat) R 31379 31381 31317 0 -1 4194304 74613 0 0 0 933806 77 0 0 25 0 1 0 146493863 48791552 10228 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31381/statm: 11912 10228 79 155 0 11755 0
Current children cumulated CPU time (s) 9338.83
Current children cumulated vsize (KiB) 47648

[startup+9402.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 31406
/proc/meminfo: memFree=1275760/2055920 swapFree=4191900/4192956
[pid=31381] ppid=31379 vsize=48672 CPUtime=9398.82
/proc/31381/stat : 31381 (precosat) R 31379 31381 31317 0 -1 4194304 74782 0 0 0 939804 78 0 0 25 0 1 0 146493863 49840128 10397 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31381/statm: 12168 10397 79 155 0 12011 0
Current children cumulated CPU time (s) 9398.82
Current children cumulated vsize (KiB) 48672

[startup+9462.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 31406
/proc/meminfo: memFree=1275568/2055920 swapFree=4191900/4192956
[pid=31381] ppid=31379 vsize=48928 CPUtime=9458.79
/proc/31381/stat : 31381 (precosat) R 31379 31381 31317 0 -1 4194304 74816 0 0 0 945801 78 0 0 25 0 1 0 146493863 50102272 10431 1992294400 134512640 135151029 4294956240 18446744073709551615 134574580 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31381/statm: 12232 10431 79 155 0 12075 0
Current children cumulated CPU time (s) 9458.79
Current children cumulated vsize (KiB) 48928

[startup+9522.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 31406
/proc/meminfo: memFree=1274672/2055920 swapFree=4191900/4192956
[pid=31381] ppid=31379 vsize=50208 CPUtime=9518.77
/proc/31381/stat : 31381 (precosat) R 31379 31381 31317 0 -1 4194304 75034 0 0 0 951799 78 0 0 25 0 1 0 146493863 51412992 10649 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31381/statm: 12552 10649 79 155 0 12395 0
Current children cumulated CPU time (s) 9518.77
Current children cumulated vsize (KiB) 50208

[startup+9582.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 31406
/proc/meminfo: memFree=1273520/2055920 swapFree=4191900/4192956
[pid=31381] ppid=31379 vsize=51744 CPUtime=9578.75
/proc/31381/stat : 31381 (precosat) R 31379 31381 31317 0 -1 4194304 75321 0 0 0 957796 79 0 0 25 0 1 0 146493863 52985856 10936 1992294400 134512640 135151029 4294956240 18446744073709551615 134552130 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31381/statm: 12936 10936 79 155 0 12779 0
Current children cumulated CPU time (s) 9578.75
Current children cumulated vsize (KiB) 51744

[startup+9642.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 31406
/proc/meminfo: memFree=1272624/2055920 swapFree=4191900/4192956
[pid=31381] ppid=31379 vsize=52512 CPUtime=9638.72
/proc/31381/stat : 31381 (precosat) R 31379 31381 31317 0 -1 4194304 75541 0 0 0 963793 79 0 0 25 0 1 0 146493863 53772288 11156 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31381/statm: 13128 11156 79 155 0 12971 0
Current children cumulated CPU time (s) 9638.72
Current children cumulated vsize (KiB) 52512

[startup+9702.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 31406
/proc/meminfo: memFree=1272304/2055920 swapFree=4191900/4192956
[pid=31381] ppid=31379 vsize=53024 CPUtime=9698.7
/proc/31381/stat : 31381 (precosat) R 31379 31381 31317 0 -1 4194304 75618 0 0 0 969791 79 0 0 25 0 1 0 146493863 54296576 11233 1992294400 134512640 135151029 4294956240 18446744073709551615 134554823 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31381/statm: 13256 11233 79 155 0 13099 0
Current children cumulated CPU time (s) 9698.7
Current children cumulated vsize (KiB) 53024

[startup+9762.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 31406
/proc/meminfo: memFree=1272048/2055920 swapFree=4191900/4192956
[pid=31381] ppid=31379 vsize=53280 CPUtime=9758.68
/proc/31381/stat : 31381 (precosat) R 31379 31381 31317 0 -1 4194304 75660 0 0 0 975788 80 0 0 25 0 1 0 146493863 54558720 11275 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31381/statm: 13320 11275 79 155 0 13163 0
Current children cumulated CPU time (s) 9758.68
Current children cumulated vsize (KiB) 53280

[startup+9822.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 31406
/proc/meminfo: memFree=1271984/2055920 swapFree=4191900/4192956
[pid=31381] ppid=31379 vsize=53280 CPUtime=9818.66
/proc/31381/stat : 31381 (precosat) R 31379 31381 31317 0 -1 4194304 75683 0 0 0 981786 80 0 0 25 0 1 0 146493863 54558720 11298 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31381/statm: 13320 11298 79 155 0 13163 0
Current children cumulated CPU time (s) 9818.66
Current children cumulated vsize (KiB) 53280

[startup+9882.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 31406
/proc/meminfo: memFree=1271984/2055920 swapFree=4191900/4192956
[pid=31381] ppid=31379 vsize=53280 CPUtime=9878.64
/proc/31381/stat : 31381 (precosat) R 31379 31381 31317 0 -1 4194304 75683 0 0 0 987784 80 0 0 25 0 1 0 146493863 54558720 11298 1992294400 134512640 135151029 4294956240 18446744073709551615 134577923 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31381/statm: 13320 11298 79 155 0 13163 0
Current children cumulated CPU time (s) 9878.64
Current children cumulated vsize (KiB) 53280

[startup+9942.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 31406
/proc/meminfo: memFree=1271984/2055920 swapFree=4191900/4192956
[pid=31381] ppid=31379 vsize=53280 CPUtime=9938.61
/proc/31381/stat : 31381 (precosat) R 31379 31381 31317 0 -1 4194304 75683 0 0 0 993781 80 0 0 25 0 1 0 146493863 54558720 11298 1992294400 134512640 135151029 4294956240 18446744073709551615 134554851 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31381/statm: 13320 11298 79 155 0 13163 0
Current children cumulated CPU time (s) 9938.61
Current children cumulated vsize (KiB) 53280

[startup+10002.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 31406
/proc/meminfo: memFree=1271728/2055920 swapFree=4191900/4192956
[pid=31381] ppid=31379 vsize=53536 CPUtime=9998.59
/proc/31381/stat : 31381 (precosat) R 31379 31381 31317 0 -1 4194304 75737 0 0 0 999779 80 0 0 25 0 1 0 146493863 54820864 11352 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31381/statm: 13384 11352 79 155 0 13227 0
Current children cumulated CPU time (s) 9998.59
Current children cumulated vsize (KiB) 53536



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+10003.8 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 31406
/proc/meminfo: memFree=1271600/2055920 swapFree=4191900/4192956
[pid=31381] ppid=31379 vsize=53792 CPUtime=10000.1
/proc/31381/stat : 31381 (precosat) R 31379 31381 31317 0 -1 4194304 75770 0 0 0 999929 80 0 0 25 0 1 0 146493863 55083008 11385 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31381/statm: 13448 11385 79 155 0 13291 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 53792

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): 10003.8
CPU time (s): 10000.1
CPU user time (s): 9999.3
CPU system time (s): 0.815875
CPU usage (%): 99.963
Max. virtual memory (cumulated for all children) (KiB): 53792

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

runsolver used 6.49001 second user time and 21.4827 second system time

The end

Launcher Data 

Begin job on node38 at 2009-05-01 15:30:54
IDJOB=1773491
IDBENCH=69602
IDSOLVER=607
FILE ID=node38/1773491-1241184654
PBS_JOBID= 9224601
Free space on /tmp= 66512 MiB

SOLVER NAME= precosat 236
BENCH NAME= SAT_RACE08/cnf/aloul-chnl11-13.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1773491-1241184654/watcher-1773491-1241184654 -o /tmp/evaluation-result-1773491-1241184654/solver-1773491-1241184654 -C 10000 -W 12000 -M 1800  HOME/precosat HOME/instance-1773491-1241184654.cnf

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

MD5SUM BENCH= c7162bc1ddb6d2592f237fef1b04b5ce
RANDOM SEED=1953693847

node38.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.265
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.265
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:       1319632 kB
Buffers:         62108 kB
Cached:         567392 kB
SwapCached:        384 kB
Active:          27292 kB
Inactive:       615504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1319632 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:             732 kB
Writeback:           0 kB
Mapped:          21744 kB
Slab:            79404 kB
Committed_AS:   764132 kB
PageTables:       1456 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= 66512 MiB
End job on node38 at 2009-05-01 18:17:40