Trace number 3172899

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
CryptoMiniSat TechDemo-Alpha-mt? (TO) 4800.28 1201.72

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v50-c4450-S1374457799-001.UNKNOWN.cnf
MD5SUM0448cdbfc0b1241b735cac942d079298
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark33.021
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of clauses4450
Sum of the clauses size31150
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 54450

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c Using 4 thread(s)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3172899-1304116433.cnf'
0.00/0.00	c -- header says num vars:             50
0.00/0.00	c -- header says num clauses:        4450
0.00/0.01	c -- clauses added:            0 learnts,         4450 normals,            0 xors
0.00/0.01	c -- vars added         50
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        50      4450         0         0     31150         0   no data   no data  --
0.00/0.12	c asymm  cl-useful: 0/1913/4450 lits-rem:0 time: 0.42
0.45/0.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.01
0.45/0.12	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
0.45/0.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.45/0.12	c Subs w/ non-existent bins:      0 time:  0.00 s
0.45/0.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.45/0.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.45/0.12	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3.95/1.03	c lits-rem:         0  cl-subs:        0  v-elim:     32  v-fix:    0  time:  0.03 s
3.95/1.03	c learnt bin added due to v-elim: 0
3.95/1.03	c Finding binary XORs  T:     0.00 s  found:       0
3.95/1.03	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
3.95/1.03	c calculated reachability. Time: 0.00
3.95/1.03	c Calc default polars -  time:   0.00 s pos:      18 undec:       1 neg:      31
3.95/1.03	c =========================================================================================
3.95/1.03	c types(t): F = full restart, N = normal restart
3.95/1.03	c types(t): S = simplification begin/end, E = solution found
3.95/1.03	c restart types(rt): st = static, dy = dynamic
3.95/1.03	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
3.95/1.03	c  B st     0         0        50      4450         0         0     31150         0   no data   no data  --
3.95/1.03	c Decided on static restart strategy
3.95/1.03	c  N dy    19      4013        50      4450         0      3518     31150     64918     18.50     16.13  --
3.95/1.03	c  N dy    47      8154        50      4450         0      4943     31150     86872     18.41     16.17  --
3.95/1.03	c  N dy    74     12199        50      4450         0      4774     31150     78342     18.77     16.17  --
3.95/1.03	c  N dy   101     16222        50      4450         0      8289     31150    143771     18.35     16.24  --
4.37/1.17	c  N dy   128     20235        50      4450         0      6905     31150    110668     19.27     16.28  --
5.54/1.43	c  N dy   155     24291        50      4450         0     10448     31150    176759     18.70     16.31  --
6.74/1.71	c  N dy   183     28441        50      4450         0      8122     31150    125533     18.62     16.30  --
7.14/1.83	c  S st   194     30001        50      4450         0      9503     31150    150533     18.36     16.27  --
7.14/1.87	c  S st   194     30505        50      4450         0      9964     31150    159330     18.36     16.27  --
7.14/1.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.14/1.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.14/1.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.9M T:  0.08
7.14/1.89	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
7.14/1.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.14/1.89	c Subs w/ non-existent bins:      0 time:  0.00 s
7.14/1.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.14/1.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.14/1.89	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
9.54/2.40	c lits-rem:      1193  cl-subs:     1408  v-elim:     50  v-fix:    0  time:  2.02 s
9.54/2.40	c learnt bin added due to v-elim: 0
9.54/2.40	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
9.54/2.40	c vivif2 --  cl tried     8556 cl shrink        0 lits rem          0 time: 0.00
9.94/2.54	c asymm  cl-useful: 0/1813/4450 lits-rem:0 time: 0.58
9.94/2.54	c calculated reachability. Time: 0.00
9.94/2.54	c  N dy   194     30505        50      4450         0      8556     31150    134279     18.36     16.27  --
9.94/2.54	c  F st   194     30505        50      4450         0      8556     31150    134279     18.36     16.27  --
10.33/2.68	c Decided on static restart strategy
11.13/2.83	c  N dy   213     34508        50      4450         0     12042     31150    198665     18.68     16.26  --
12.33/3.13	c  N dy   240     38540        50      4450         0      8705     31150    130344     18.73     16.28  --
13.55/3.43	c  N dy   267     42562        50      4450         0     12196     31150    194682     18.42     16.29  --
14.73/3.71	c  S st   289     45758        50      4450         0     14983     31150    246339     18.79     16.29  --
14.73/3.76	c  S st   289     46263        50      4450         0     15442     31150    255165     18.79     16.29  --
14.73/3.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.73/3.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.13/3.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.9M T:  0.14
15.13/3.80	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
15.13/3.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.13/3.80	c Subs w/ non-existent bins:      0 time:  0.01 s
15.13/3.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.13/3.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.13/3.80	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
17.94/4.52	c lits-rem:      2038  cl-subs:     2311  v-elim:     50  v-fix:    0  time:  2.84 s
17.94/4.52	c learnt bin added due to v-elim: 0
17.94/4.52	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
17.94/4.52	c vivif2 --  cl tried    13131 cl shrink        0 lits rem          0 time: 0.00
18.32/4.60	c asymm  cl-useful: 0/724/4450 lits-rem:0 time: 0.34
18.32/4.60	c calculated reachability. Time: 0.00
18.32/4.60	c  N dy   289     46263        50      4450         0     13131     31150    210603     18.79     16.29  --
19.52/4.95	c  N dy   316     50312        50      4450         0      9039     31150    127800     18.76     16.31  --
20.73/5.25	c  N dy   343     54366        50      4450         0     12616     31150    194140     18.77     16.32  --
22.35/5.60	c  N dy   370     58407        50      4450         0     16139     31150    258653     18.53     16.31  --
23.52/5.95	c  N dy   397     62409        50      4450         0     10999     31150    157377     18.60     16.32  --
24.72/6.28	c  N dy   424     66443        50      4450         0     14537     31150    223012     18.70     16.32  --
25.92/6.58	c  S st   444     69394        50      4450         0     17125     31150    270614     18.05     16.32  --
26.34/6.64	c  S st   444     69896        50      4450         0     17578     31150    279253     18.05     16.32  --
26.34/6.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.34/6.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.34/6.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.9M T:  0.18
26.34/6.68	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
26.34/6.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.34/6.69	c Subs w/ non-existent bins:      0 time:  0.00 s
26.34/6.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.34/6.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.34/6.69	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
29.12/7.37	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
31.91/8.06	c Added 1 vars  tried: 11100 time: 2.77
31.91/8.07	c ORs :      1 avg-s:  0.0 cl-sh:  1463 l-rem:   1463 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:    2.82
31.91/8.08	c lits-rem:      1830  cl-subs:     2538  v-elim:     50  v-fix:    0  time:  5.55 s
31.91/8.08	c learnt bin added due to v-elim: 0
31.91/8.08	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
31.91/8.08	c vivif2 --  cl tried    15040 cl shrink        0 lits rem          0 time: 0.01
32.71/8.23	c asymm  cl-useful: 0/1475/4451 lits-rem:0 time: 0.60
32.71/8.23	c calculated reachability. Time: 0.00
32.71/8.23	c  N dy   444     69896        51      4451         2     15040     31131    230261     18.05     16.32  --
32.71/8.23	c  F st   444     69896        51      4451         2     15040     31131    230261     18.05     16.32  --
33.51/8.44	c Decided on static restart strategy
34.71/8.71	c  N dy   466     74358        51      4451         2      9509     31131    120910     18.93     16.31  --
36.30/9.11	c  N dy   499     79247        51      4451         2     13766     31131    199939     18.47     16.31  --
37.90/9.59	c  N dy   533     84316        51      4451         2     18222     31131    282894     18.80     16.32  --
40.29/10.13	c  N dy   569     89712        51      4451         2     12572     31131    170279     18.72     16.33  --
42.30/10.69	c  N dy   607     95466        51      4451         2     17595     31131    262526     18.89     16.32  --
45.09/11.38	c  N dy   648    101563        51      4451         2     11601     31131    145043     18.45     16.33  --
46.29/11.66	c  S st   670    104844        51      4451         2     14472     31131    199143     18.69     16.34  --
46.69/11.72	c  S st   670    105347        51      4451         2     14924     31131    207475     18.69     16.34  --
46.69/11.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
46.69/11.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
46.69/11.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.3M T:  0.19
46.69/11.77	c Calc non-exist non-lernt bins v-fix:     0 done:     51 time:  0.00 s
46.69/11.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
46.69/11.77	c Subs w/ non-existent bins:      0 time:  0.01 s
46.69/11.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
46.69/11.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.69/11.77	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
49.08/12.34	c ORs :      1 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
49.08/12.35	c lits-rem:       931  cl-subs:     1126  v-elim:     50  v-fix:    0  time:  2.29 s
49.08/12.35	c learnt bin added due to v-elim: 0
49.08/12.35	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
49.08/12.35	c vivif2 --  cl tried    13798 cl shrink        0 lits rem          0 time: 0.01
49.88/12.50	c asymm  cl-useful: 0/1173/4451 lits-rem:0 time: 0.60
49.88/12.50	c calculated reachability. Time: 0.00
49.88/12.50	c  N dy   670    105347        51      4451         2     13798     31131    187150     18.69     16.34  --
52.69/13.22	c  N dy   715    112075        51      4451         2     19695     31131    296415     18.22     16.35  --
55.87/14.05	c  N dy   764    119345        51      4451         2     13885     31131    182267     18.99     16.36  --
59.07/14.84	c  N dy   815    126963        51      4451         2     20524     31131    304285     18.62     16.35  --
63.07/15.87	c  N dy   869    135094        51      4451         2     14557     31131    184755     18.70     16.36  --
67.06/16.82	c  N dy   927    143740        51      4451         2     22090     31131    323651     18.22     16.35  --
71.85/18.04	c  N dy   990    153058        51      4451         2     16300     31131    207951     18.49     16.34  --
74.25/18.60	c  S st  1024    158022        51      4451         2     20606     31131    288178     18.70     16.35  --
74.25/18.68	c  S st  1024    158526        51      4451         2     21049     31131    296651     18.70     16.35  --
74.25/18.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
74.25/18.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
74.67/18.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  5.2M T:  0.29
74.67/18.75	c Calc non-exist non-lernt bins v-fix:     0 done:     51 time:  0.00 s
74.67/18.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
74.67/18.75	c Subs w/ non-existent bins:      0 time:  0.01 s
74.67/18.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
74.67/18.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
74.67/18.76	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
78.25/19.63	c ORs :      1 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
78.25/19.63	c lits-rem:      1222  cl-subs:     2203  v-elim:     50  v-fix:    0  time:  3.50 s
78.25/19.63	c learnt bin added due to v-elim: 0
78.25/19.63	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
78.25/19.63	c vivif2 --  cl tried    18846 cl shrink        0 lits rem          0 time: 0.01
78.65/19.79	c asymm  cl-useful: 0/909/4451 lits-rem:0 time: 0.60
78.65/19.79	c calculated reachability. Time: 0.00
78.65/19.79	c  N dy  1024    158526        51      4451         2     18846     31131    257230     18.70     16.35  --
84.24/21.15	c  N dy  1092    168710        51      4451         2     27760     31131    422267     18.74     16.35  --
89.43/22.49	c  N dy  1164    179499        51      4451         2     22482     31131    316678     18.54     16.36  --
96.22/24.18	c  N dy  1242    191052        51      4451         2     16943     31131    205719     18.82     16.36  --
102.60/25.77	c  N dy  1324    203349        55      4451        10     27747     31147    405550     18.84     16.36  --
110.60/27.70	c  N dy  1412    216457        55      4451        10     22591     31147    301976     18.29     16.35  --
119.01/29.86	c  N dy  1505    230303        55      4451        10     34694     31147    525450     19.09     16.35  --
123.00/30.88	c  S st  1555    237790        55      4451        10     23758     31147    317978     18.62     16.36  --
123.40/30.96	c  S st  1555    238291        55      4451        10     24214     31147    326731     18.62     16.36  --
123.40/30.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
123.40/30.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
123.77/31.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  7.1M T:  0.39
123.77/31.06	c Calc non-exist non-lernt bins v-fix:     0 done:     55 time:  0.00 s
123.77/31.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
123.77/31.06	c Subs w/ non-existent bins:      0 time:  0.01 s
123.77/31.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
123.77/31.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
123.77/31.06	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
127.79/32.02	c ORs :      1 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
127.79/32.02	c lits-rem:      1005  cl-subs:     2254  v-elim:     50  v-fix:    0  time:  3.83 s
127.79/32.02	c learnt bin added due to v-elim: 0
127.79/32.02	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
127.79/32.03	c vivif2 --  cl tried    21960 cl shrink        0 lits rem          0 time: 0.01
128.17/32.18	c asymm  cl-useful: 0/774/4451 lits-rem:0 time: 0.61
128.17/32.18	c calculated reachability. Time: 0.00
128.17/32.18	c  N dy  1555    238291        55      4451        10     21960     31147    287632     18.62     16.36  --
138.15/34.62	c  N dy  1658    253606        55      4451        10     35402     31147    537185     18.69     16.33  --
147.75/37.08	c  N dy  1768    269841        55      4451        10     31502     31147    456810     18.64     16.30  --
159.33/39.94	c  N dy  1885    287067        55      4451        10     27489     31147    372373     18.90     16.27  --
172.51/43.27	c  N dy  2009    305461        55      4451        10     23525     31147    288709     18.69     16.25  --
186.09/46.69	c  N dy  2141    325053        59      4451        23     40806     31167    609894     18.97     16.23  --
200.07/50.14	c  N dy  2277    345117        59      4451        25     37325     31169    536973     18.57     16.20  --
210.06/52.64	c  S st  2361    357436        59      4451        25     26200     31169    320507     18.87     16.20  --
210.46/52.73	c  S st  2361    357938        59      4451        25     26657     31169    329362     18.87     16.20  --
210.46/52.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
210.46/52.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
210.88/52.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.8M T:  0.47
210.88/52.85	c Calc non-exist non-lernt bins v-fix:     0 done:     59 time:  0.00 s
210.88/52.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
210.88/52.85	c Subs w/ non-existent bins:      0 time:  0.02 s
210.88/52.86	c Replacing        2 vars Replaced     1923 lits Time:     0.04 s 
210.88/52.86	c bin-w-bin subsume rem            4 bins  time:  0.00 s
210.88/52.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
210.88/52.86	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
214.86/53.89	c ORs :      1 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
214.86/53.89	c lits-rem:       999  cl-subs:     1419  v-elim:     50  v-fix:    0  time:  4.12 s
214.86/53.89	c learnt bin added due to v-elim: 0
214.86/53.90	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
214.86/53.90	c vivif2 --  cl tried    25238 cl shrink        0 lits rem          0 time: 0.01
215.68/54.05	c asymm  cl-useful: 0/992/4451 lits-rem:0 time: 0.60
215.68/54.05	c calculated reachability. Time: 0.00
215.68/54.05	c  N dy  2361    357938        57      4451        14     25238     31155    306513     18.87     16.20  --
231.23/57.91	c  N dy  2497    378075        57      4451        14     43154     31155    641102     18.70     16.18  --
246.43/61.72	c  N dy  2633    398227        57      4451        14     38106     31155    535938     18.87     16.16  --
263.20/65.94	c  N dy  2768    418253        57      4451        14     31973     31155    412510     19.00     16.14  --
281.96/70.63	c  N dy  2904    438374        61      4451        35     25010     31183    274117     18.69     16.13  --
361.05/90.42	c  N dy  2911    536907        61      4451        35     32567     31183    415525     18.50     15.50  --
361.05/90.43	c  S st  2911    536907        61      4451        35     32567     31183    415525     18.50     15.50  --
361.45/90.54	c  S st  2911    537409        61      4451        37     33034     31185    424381     18.50     15.50  --
361.45/90.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
361.45/90.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
362.25/90.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 12.0M T:  0.65
362.25/90.70	c Calc non-exist non-lernt bins v-fix:     0 done:     61 time:  0.00 s
362.25/90.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
362.25/90.71	c Subs w/ non-existent bins:      0 time:  0.02 s
362.25/90.72	c Replacing        4 vars Replaced     1121 lits Time:     0.06 s 
362.25/90.73	c bin-w-bin subsume rem            8 bins  time:  0.00 s
362.25/90.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
362.25/90.73	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
367.45/92.10	c ORs :      1 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
392.22/98.20	c Added 1 vars  tried: 80000 time: 24.37
392.22/98.28	c ORs :      1 avg-s:  0.0 cl-sh:  5031 l-rem:   5031 b-add:      3 v-rep:   0 cl-rem: 0 avg s: nan T:   24.69
392.22/98.29	c lits-rem:      1762  cl-subs:     2409  v-elim:     50  v-fix:    0  time: 30.19 s
392.22/98.29	c learnt bin added due to v-elim: 0
392.22/98.29	c vivif2 --  cl tried     4452 cl shrink        0 lits rem          0 time: 0.00
392.22/98.29	c vivif2 --  cl tried    30624 cl shrink        0 lits rem          0 time: 0.02
393.02/98.45	c asymm  cl-useful: 0/754/4452 lits-rem:0 time: 0.62
393.02/98.45	c calculated reachability. Time: 0.00
393.02/98.45	c  N dy  2911    537409        58      4452        17     30624     31136    381419     18.50     15.50  --
393.02/98.45	c  F st  2911    537409        58      4452        17     30624     31136    381419     18.50     15.50  --
394.62/98.80	c Decided on static restart strategy
410.19/102.76	c  N dy  3038    557462        58      4452        18     48526     31136    714848     18.72     15.51  --
429.36/107.56	c  N dy  3173    577478        58      4452        18     38072     31136    509556     18.18     15.52  --
449.34/112.50	c  N dy  3309    597544        61      4452        24     56041     31148    844553     18.70     15.53  --
648.67/162.41	c  N dy  3418    806114        61      4452        24     50082     31148    641143     15.74     14.92  --
648.67/162.44	c  S st  3418    806114        61      4452        24     50082     31148    641143     15.74     14.92  --
649.07/162.59	c  S st  3418    806617        65      4452        36     50545     31168    649951     15.74     14.92  --
649.07/162.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
649.07/162.59	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
650.29/162.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 18.7M T:  1.04
650.29/162.85	c Calc non-exist non-lernt bins v-fix:     0 done:     65 time:  0.00 s
650.29/162.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
650.29/162.86	c Subs w/ non-existent bins:      0 time:  0.03 s
650.29/162.90	c Replacing        2 vars Replaced     2855 lits Time:     0.17 s 
650.69/162.91	c bin-w-bin subsume rem            4 bins  time:  0.00 s
650.69/162.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
650.69/162.91	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
661.85/165.79	c ORs :      2 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.06
662.25/165.80	c lits-rem:      2023  cl-subs:    10535  v-elim:     50  v-fix:    0  time: 11.52 s
662.25/165.80	c learnt bin added due to v-elim: 0
662.25/165.80	c vivif2 --  cl tried     4452 cl shrink        0 lits rem          0 time: 0.00
662.25/165.81	c vivif2 --  cl tried    40010 cl shrink        1 lits rem          1 time: 0.03
662.25/165.88	c asymm  cl-useful: 0/256/4452 lits-rem:0 time: 0.32
662.25/165.89	c calculated reachability. Time: 0.00
662.25/165.89	c  N dy  3418    806617        63      4452        26     40010     31156    509604     15.74     14.92  --
684.21/171.33	c  N dy  3554    826663        63      4452        26     57910     31156    841687     18.75     14.94  --
1141.60/285.83	c  N dy  3673   1209925        66      4452        32     55776     31168    693487     12.84     14.10  --
1141.60/285.86	c  S st  3673   1209925        66      4452        32     55776     31168    693487     12.84     14.10  --
1142.42/286.04	c  S st  3673   1210428        66      4452        32     56242     31168    702046     12.84     14.10  --
1142.42/286.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1142.42/286.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1143.60/286.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 22.9M T:  1.34
1143.60/286.38	c Calc non-exist non-lernt bins v-fix:     0 done:     66 time:  0.00 s
1143.60/286.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1143.60/286.39	c Subs w/ non-existent bins:      0 time:  0.04 s
1144.00/286.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1144.00/286.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1144.00/286.41	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1156.77/289.61	c ORs :      2 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 11.0 T:    0.06
1193.92/298.92	c Added 1 vars  tried: 80000 time: 37.20
1194.32/299.04	c ORs :      1 avg-s:  0.0 cl-sh:  5140 l-rem:   5140 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   37.67
1194.32/299.05	c lits-rem:      4025  cl-subs:    11403  v-elim:     50  v-fix:    0  time: 50.51 s
1194.32/299.05	c learnt bin added due to v-elim: 0
1194.32/299.05	c vivif2 --  cl tried     4453 cl shrink        0 lits rem          0 time: 0.00
1194.32/299.06	c vivif2 --  cl tried    44838 cl shrink        0 lits rem          0 time: 0.04
1194.72/299.15	c asymm  cl-useful: 0/194/4453 lits-rem:0 time: 0.35
1194.72/299.15	c calculated reachability. Time: 0.00
1194.72/299.15	c  N dy  3673   1210428        67      4453        34     44838     31155    560275     12.84     14.10  --
1218.69/305.14	c  N dy  3809   1230509        67      4453        34     62856     31155    893565     18.41     14.12  --
1883.38/471.51	c  N dy  3884   1710429        67      4453        34     73810     31155    944618     14.92     13.61  --
1883.38/471.55	c  S st  3884   1710429        67      4453        34     73810     31155    944618     14.92     13.61  --
1884.58/471.82	c  S st  3884   1710932        70      4453        48     74289     31175    953912     14.92     13.61  --
1884.58/471.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1884.58/471.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1886.58/472.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 31.9M T:  1.94
1886.58/472.31	c Calc non-exist non-lernt bins v-fix:     0 done:     70 time:  0.01 s
1886.58/472.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1886.58/472.33	c Subs w/ non-existent bins:      0 time:  0.05 s
1886.58/472.38	c Replacing        2 vars Replaced     1262 lits Time:     0.22 s 
1886.99/472.40	c bin-w-bin subsume rem            4 bins  time:  0.00 s
1886.99/472.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1886.99/472.40	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1910.95/478.45	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.14
1910.95/478.46	c lits-rem:      2050  cl-subs:    16891  v-elim:     50  v-fix:    0  time: 24.21 s
1910.95/478.46	c learnt bin added due to v-elim: 0
1910.95/478.46	c vivif2 --  cl tried     4453 cl shrink        0 lits rem          0 time: 0.00
1910.95/478.48	c vivif2 --  cl tried    57398 cl shrink        0 lits rem          0 time: 0.05
1911.36/478.58	c asymm  cl-useful: 0/152/4453 lits-rem:0 time: 0.39
1911.36/478.58	c calculated reachability. Time: 0.00
1911.36/478.58	c  N dy  3884   1710932        68      4453        36     57398     31159    744687     14.92     13.61  --
1941.71/486.13	c  N dy  4020   1730963        69      4453        38     75390     31163   1072913     18.20     13.62  --
2735.04/684.76	c  N dy  4065   2210932        69      4453        38     73606     31163    944865     16.50     13.25  --
2735.44/684.80	c  S st  4065   2210932        69      4453        38     73606     31163    944865     16.50     13.25  --
2735.44/684.80	c Finding binary XORs  T:     0.00 s  found:       0
2736.24/685.06	c  S st  4065   2211435        70      4453        40     74076     31167    953490     16.50     13.25  --
2736.24/685.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2736.24/685.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2738.63/685.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 34.8M T:  2.14
2738.63/685.60	c Calc non-exist non-lernt bins v-fix:     0 done:     70 time:  0.01 s
2738.63/685.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2738.63/685.62	c Subs w/ non-existent bins:      0 time:  0.06 s
2738.63/685.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2738.63/685.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2738.63/685.64	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2761.40/691.31	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.10
2815.32/704.89	c Added 1 vars  tried: 80000 time: 54.23
2816.53/705.11	c ORs :      1 avg-s:  0.0 cl-sh:  7948 l-rem:   7948 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   55.10
2816.53/705.13	c lits-rem:      1172  cl-subs:    17650  v-elim:     50  v-fix:    0  time: 77.85 s
2816.53/705.13	c learnt bin added due to v-elim: 0
2816.53/705.13	c vivif2 --  cl tried     4454 cl shrink        0 lits rem          0 time: 0.00
2816.53/705.14	c vivif2 --  cl tried    56426 cl shrink        1 lits rem          1 time: 0.05
2816.93/705.23	c asymm  cl-useful: 0/223/4454 lits-rem:0 time: 0.37
2816.93/705.23	c calculated reachability. Time: 0.00
2816.93/705.23	c  N dy  4065   2211435        71      4454        42     56426     31151    744450     16.50     13.25  --
3789.60/948.78	c  N dy  4128   2711435        71      4454        42     80086     31151   1010030     13.65     13.00  --
3790.00/948.82	c  S st  4128   2711435        71      4454        42     80086     31151   1010030     13.65     13.00  --
3790.80/949.09	c  S st  4128   2711939        75      4454        50     80562     31167   1018877     13.65     13.00  --
3791.20/949.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3791.20/949.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3793.60/949.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 40.2M T:  2.47
3793.60/949.72	c Calc non-exist non-lernt bins v-fix:     0 done:     75 time:  0.01 s
3793.60/949.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3793.60/949.74	c Subs w/ non-existent bins:      0 time:  0.07 s
3793.60/949.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3793.60/949.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3793.60/949.76	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3816.36/955.42	c ORs :      4 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.18
3816.36/955.44	c lits-rem:      1029  cl-subs:    15921  v-elim:     50  v-fix:    0  time: 22.71 s
3816.36/955.44	c learnt bin added due to v-elim: 0
3816.36/955.44	c vivif2 --  cl tried     4454 cl shrink        0 lits rem          0 time: 0.00
3816.36/955.46	c vivif2 --  cl tried    64641 cl shrink        2 lits rem          2 time: 0.06
3816.76/955.56	c asymm  cl-useful: 0/139/4454 lits-rem:0 time: 0.39
3816.76/955.56	c calculated reachability. Time: 0.00
3816.76/955.56	c  N dy  4128   2711939        75      4454        50     64641     31163    845947     13.65     13.00  --
3816.76/955.56	c  F st  4128   2711939        75      4454        50     64641     31163    845947     13.65     13.00  --
3819.96/956.31	c Decided on static restart strategy

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3172899-1304116433/watcher-3172899-1304116433 -o /tmp/evaluation-result-3172899-1304116433/solver-3172899-1304116433 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172899-1304116433.cnf 

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

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


[startup+0 s]
/proc/loadavg: 6.07 7.68 7.98 5/184 9517
/proc/meminfo: memFree=29691208/32951124 swapFree=67111352/67111528
[pid=9517] ppid=9515 vsize=50144 CPUtime=0 cores=0,2,4,6
/proc/9517/stat : 9517 (techdemo) R 9515 9517 9058 0 -1 4202496 647 0 0 0 0 0 0 0 22 0 1 0 523241181 51347456 579 33554432000 4194304 4797429 140734331618976 18446744073709551615 4358707 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9517/statm: 12536 579 347 148 0 7465 0

[startup+0.124497 s]
/proc/loadavg: 6.07 7.68 7.98 5/184 9517
/proc/meminfo: memFree=29691208/32951124 swapFree=67111352/67111528
[pid=9517] ppid=9515 vsize=443756 CPUtime=0.45 cores=0,2,4,6
/proc/9517/stat : 9517 (techdemo) R 9515 9517 9058 0 -1 4202496 1333 0 0 0 45 0 0 0 18 0 4 0 523241181 454406144 1118 33554432000 4194304 4797429 140734331618976 18446744073709551615 255377406495 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9517/statm: 110939 1118 384 148 0 105868 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 443756

[startup+0.212023 s]
/proc/loadavg: 6.07 7.68 7.98 5/184 9517
/proc/meminfo: memFree=29691208/32951124 swapFree=67111352/67111528
[pid=9517] ppid=9515 vsize=608504 CPUtime=0.79 cores=0,2,4,6
/proc/9517/stat : 9517 (techdemo) R 9515 9517 9058 0 -1 4202496 2025 0 0 0 79 0 0 0 18 0 4 0 523241181 623108096 1759 33554432000 4194304 4797429 140734331618976 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9517/statm: 152126 1759 408 148 0 147055 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 608504

[startup+0.301021 s]
/proc/loadavg: 6.07 7.68 7.98 5/184 9517
/proc/meminfo: memFree=29691208/32951124 swapFree=67111352/67111528
[pid=9517] ppid=9515 vsize=609296 CPUtime=1.15 cores=0,2,4,6
/proc/9517/stat : 9517 (techdemo) R 9515 9517 9058 0 -1 4202496 2376 0 0 0 115 0 0 0 18 0 4 0 523241181 623919104 2104 33554432000 4194304 4797429 140734331618976 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9517/statm: 152324 2105 408 148 0 147253 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 609296

[startup+0.700948 s]
/proc/loadavg: 6.07 7.68 7.98 5/184 9517
/proc/meminfo: memFree=29691208/32951124 swapFree=67111352/67111528
[pid=9517] ppid=9515 vsize=612912 CPUtime=2.75 cores=0,2,4,6
/proc/9517/stat : 9517 (techdemo) R 9515 9517 9058 0 -1 4202496 4545 0 0 0 274 1 0 0 18 0 4 0 523241181 627621888 3547 33554432000 4194304 4797429 140734331618976 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9517/statm: 153228 3547 413 148 0 148157 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 612912

[startup+1.5008 s]
/proc/loadavg: 6.07 7.68 7.98 10/188 9521
/proc/meminfo: memFree=29665268/32951124 swapFree=67111352/67111528
[pid=9517] ppid=9515 vsize=614168 CPUtime=5.94 cores=0,2,4,6
/proc/9517/stat : 9517 (techdemo) R 9515 9517 9058 0 -1 4202496 5321 0 0 0 593 1 0 0 20 0 4 0 523241181 628908032 4078 33554432000 4194304 4797429 140734331618976 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9517/statm: 153542 4078 414 148 0 148471 0
[pid=9517/tid=9519] ppid=9515 vsize=614168 CPUtime=1.47 cores=0,2,4,6
/proc/9517/task/9519/stat : 9519 (techdemo) R 9515 9517 9058 0 -1 4202560 983 0 0 0 147 0 0 0 25 0 4 0 523241182 628908032 4078 33554432000 4194304 4797429 140734331618976 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9517/tid=9520] ppid=9515 vsize=614168 CPUtime=1.47 cores=0,2,4,6
/proc/9517/task/9520/stat : 9520 (techdemo) R 9515 9517 9058 0 -1 4202560 988 0 0 0 147 0 0 0 19 0 4 0 523241182 628908032 4078 33554432000 4194304 4797429 140734331618976 18446744073709551615 4524164 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9517/tid=9521] ppid=9515 vsize=614168 CPUtime=1.48 cores=0,2,4,6
/proc/9517/task/9521/stat : 9521 (techdemo) R 9515 9517 9058 0 -1 4202560 1037 0 0 0 148 0 0 0 18 0 4 0 523241182 628908032 4078 33554432000 4194304 4797429 140734331618976 18446744073709551615 4524057 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 614168

[startup+3.1005 s]
/proc/loadavg: 6.07 7.68 7.98 9/188 9521
/proc/meminfo: memFree=29657704/32951124 swapFree=67111352/67111528
[pid=9517] ppid=9515 vsize=617056 CPUtime=12.33 cores=0,2,4,6
/proc/9517/stat : 9517 (techdemo) R 9515 9517 9058 0 -1 4202496 7009 0 0 0 1232 1 0 0 25 0 4 0 523241181 631865344 4492 33554432000 4194304 4797429 140734331618976 18446744073709551615 4424670 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9517/statm: 154264 4492 416 148 0 149193 0
[pid=9517/tid=9519] ppid=9515 vsize=617056 CPUtime=3.07 cores=0,2,4,6
/proc/9517/task/9519/stat : 9519 (techdemo) R 9515 9517 9058 0 -1 4202560 1209 0 0 0 307 0 0 0 25 0 4 0 523241182 631865344 4492 33554432000 4194304 4797429 140734331618976 18446744073709551615 4523990 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9517/tid=9520] ppid=9515 vsize=617056 CPUtime=3.07 cores=0,2,4,6
/proc/9517/task/9520/stat : 9520 (techdemo) R 9515 9517 9058 0 -1 4202560 1194 0 0 0 307 0 0 0 22 0 4 0 523241182 631865344 4492 33554432000 4194304 4797429 140734331618976 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9517/tid=9521] ppid=9515 vsize=617056 CPUtime=3.08 cores=0,2,4,6
/proc/9517/task/9521/stat : 9521 (techdemo) R 9515 9517 9058 0 -1 4202560 1266 0 0 0 308 0 0 0 22 0 4 0 523241182 631865344 4492 33554432000 4194304 4797429 140734331618976 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 617056

[startup+6.30091 s]
/proc/loadavg: 6.22 7.69 7.98 9/188 9521
/proc/meminfo: memFree=29646792/32951124 swapFree=67111352/67111528
[pid=9517] ppid=9515 vsize=620184 CPUtime=25.12 cores=0,2,4,6
/proc/9517/stat : 9517 (techdemo) R 9515 9517 9058 0 -1 4202496 9581 0 0 0 2510 2 0 0 25 0 4 0 523241181 635068416 5541 33554432000 4194304 4797429 140734331618976 18446744073709551615 4424592 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9517/statm: 155046 5541 416 148 0 149975 0
[pid=9517/tid=9519] ppid=9515 vsize=620184 CPUtime=6.27 cores=0,2,4,6
/proc/9517/task/9519/stat : 9519 (techdemo) R 9515 9517 9058 0 -1 4202560 1549 0 0 0 627 0 0 0 25 0 4 0 523241182 635068416 5541 33554432000 4194304 4797429 140734331618976 18446744073709551615 4524144 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9517/tid=9520] ppid=9515 vsize=620184 CPUtime=6.25 cores=0,2,4,6
/proc/9517/task/9520/stat : 9520 (techdemo) R 9515 9517 9058 0 -1 4202560 1625 0 0 0 625 0 0 0 25 0 4 0 523241182 635068416 5541 33554432000 4194304 4797429 140734331618976 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9517/tid=9521] ppid=9515 vsize=620184 CPUtime=6.28 cores=0,2,4,6
/proc/9517/task/9521/stat : 9521 (techdemo) R 9515 9517 9058 0 -1 4202560 1709 0 0 0 628 0 0 0 25 0 4 0 523241182 635068416 5541 33554432000 4194304 4797429 140734331618976 18446744073709551615 4524288 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 620184

[startup+12.7007 s]
/proc/loadavg: 6.36 7.69 7.98 9/188 9521
/proc/meminfo: memFree=29635068/32951124 swapFree=67111352/67111528
[pid=9517] ppid=9515 vsize=623160 CPUtime=50.68 cores=0,2,4,6
/proc/9517/stat : 9517 (techdemo) R 9515 9517 9058 0 -1 4202496 13449 0 0 0 5066 2 0 0 25 0 4 0 523241181 638115840 7204 33554432000 4194304 4797429 140734331618976 18446744073709551615 4425064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9517/statm: 155790 7204 419 148 0 150719 0
[pid=9517/tid=9519] ppid=9515 vsize=623160 CPUtime=12.67 cores=0,2,4,6
/proc/9517/task/9519/stat : 9519 (techdemo) R 9515 9517 9058 0 -1 4202560 2653 0 0 0 1267 0 0 0 25 0 4 0 523241182 638115840 7204 33554432000 4194304 4797429 140734331618976 18446744073709551615 4495473 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9517/tid=9520] ppid=9515 vsize=623160 CPUtime=12.61 cores=0,2,4,6
/proc/9517/task/9520/stat : 9520 (techdemo) R 9515 9517 9058 0 -1 4202560 2097 0 0 0 1261 0 0 0 25 0 4 0 523241182 638115840 7204 33554432000 4194304 4797429 140734331618976 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9517/tid=9521] ppid=9515 vsize=623160 CPUtime=12.68 cores=0,2,4,6
/proc/9517/task/9521/stat : 9521 (techdemo) R 9515 9517 9058 0 -1 4202560 2148 0 0 0 1268 0 0 0 25 0 4 0 523241182 638115840 7204 33554432000 4194304 4797429 140734331618976 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 623160

[startup+25.5004 s]
/proc/loadavg: 6.73 7.71 7.98 9/188 9521
/proc/meminfo: memFree=29622156/32951124 swapFree=67111352/67111528
[pid=9517] ppid=9515 vsize=627116 CPUtime=101.8 cores=0,2,4,6
/proc/9517/stat : 9517 (techdemo) R 9515 9517 9058 0 -1 4202496 20830 0 0 0 10177 3 0 0 25 0 4 0 523241181 642166784 8042 33554432000 4194304 4797429 140734331618976 18446744073709551615 4424965 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9517/statm: 156779 8042 419 148 0 151708 0
[pid=9517/tid=9519] ppid=9515 vsize=627116 CPUtime=25.47 cores=0,2,4,6
/proc/9517/task/9519/stat : 9519 (techdemo) R 9515 9517 9058 0 -1 4202560 4625 0 0 0 2547 0 0 0 25 0 4 0 523241182 642166784 8042 33554432000 4194304 4797429 140734331618976 18446744073709551615 4424868 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9517/tid=9520] ppid=9515 vsize=627116 CPUtime=25.34 cores=0,2,4,6
/proc/9517/task/9520/stat : 9520 (techdemo) R 9515 9517 9058 0 -1 4202560 3008 0 0 0 2534 0 0 0 25 0 4 0 523241182 642166784 8042 33554432000 4194304 4797429 140734331618976 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9517/tid=9521] ppid=9515 vsize=627116 CPUtime=25.48 cores=0,2,4,6
/proc/9517/task/9521/stat : 9521 (techdemo) R 9515 9517 9058 0 -1 4202560 3080 0 0 0 2548 0 0 0 25 0 4 0 523241182 642166784 8042 33554432000 4194304 4797429 140734331618976 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 627116

[startup+51.1006 s]
/proc/loadavg: 7.35 7.78 8.00 9/188 9522
/proc/meminfo: memFree=29605820/32951124 swapFree=67111352/67111528
[pid=9517] ppid=9515 vsize=634400 CPUtime=204.06 cores=0,2,4,6
/proc/9517/stat : 9517 (techdemo) R 9515 9517 9058 0 -1 4202496 29645 0 0 0 20400 6 0 0 25 0 4 0 523241181 649625600 10270 33554432000 4194304 4797429 140734331618976 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9517/statm: 158600 10270 421 148 0 153529 0
[pid=9517/tid=9519] ppid=9515 vsize=634400 CPUtime=51.07 cores=0,2,4,6
/proc/9517/task/9519/stat : 9519 (techdemo) R 9515 9517 9058 0 -1 4202560 5909 0 0 0 5106 1 0 0 25 0 4 0 523241182 649625600 10270 33554432000 4194304 4797429 140734331618976 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9517/tid=9520] ppid=9515 vsize=634400 CPUtime=50.8 cores=0,2,4,6
/proc/9517/task/9520/stat : 9520 (techdemo) R 9515 9517 9058 0 -1 4202560 4796 0 0 0 5079 1 0 0 25 0 4 0 523241182 649625600 10270 33554432000 4194304 4797429 140734331618976 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9517/tid=9521] ppid=9515 vsize=634400 CPUtime=51.08 cores=0,2,4,6
/proc/9517/task/9521/stat : 9521 (techdemo) R 9515 9517 9058 0 -1 4202560 4053 0 0 0 5108 0 0 0 25 0 4 0 523241182 649625600 10270 33554432000 4194304 4797429 140734331618976 18446744073709551615 4495680 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.06
Current children cumulated vsize (KiB) 634400

[startup+102.301 s]
/proc/loadavg: 8.17 7.91 8.03 9/188 9523
/proc/meminfo: memFree=29583080/32951124 swapFree=67111352/67111528
[pid=9517] ppid=9515 vsize=642084 CPUtime=408.61 cores=0,2,4,6
/proc/9517/stat : 9517 (techdemo) R 9515 9517 9058 0 -1 4202496 42867 0 0 0 40850 11 0 0 25 0 4 0 523241181 657494016 13036 33554432000 4194304 4797429 140734331618976 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9517/statm: 160521 13036 422 148 0 155450 0
[pid=9517/tid=9519] ppid=9515 vsize=642084 CPUtime=102.28 cores=0,2,4,6
/proc/9517/task/9519/stat : 9519 (techdemo) R 9515 9517 9058 0 -1 4202560 7712 0 0 0 10226 2 0 0 25 0 4 0 523241182 657494016 13036 33554432000 4194304 4797429 140734331618976 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9517/tid=9520] ppid=9515 vsize=642084 CPUtime=101.72 cores=0,2,4,6
/proc/9517/task/9520/stat : 9520 (techdemo) R 9515 9517 9058 0 -1 4202560 6592 0 0 0 10171 1 0 0 25 0 4 0 523241182 657494016 13036 33554432000 4194304 4797429 140734331618976 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9517/tid=9521] ppid=9515 vsize=642084 CPUtime=102.29 cores=0,2,4,6
/proc/9517/task/9521/stat : 9521 (techdemo) R 9515 9517 9058 0 -1 4202560 5682 0 0 0 10228 1 0 0 25 0 4 0 523241182 657494016 13036 33554432000 4194304 4797429 140734331618976 18446744073709551615 4524688 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.61
Current children cumulated vsize (KiB) 642084

[startup+162.301 s]
/proc/loadavg: 8.26 7.97 8.04 9/188 9525
/proc/meminfo: memFree=29565816/32951124 swapFree=67111352/67111528
[pid=9517] ppid=9515 vsize=645824 CPUtime=648.27 cores=0,2,4,6
/proc/9517/stat : 9517 (techdemo) R 9515 9517 9058 0 -1 4202496 56777 0 0 0 64812 15 0 0 25 0 4 0 523241181 661323776 14024 33554432000 4194304 4797429 140734331618976 18446744073709551615 4423083 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9517/statm: 161456 14024 422 148 0 156385 0
[pid=9517/tid=9519] ppid=9515 vsize=645824 CPUtime=162.27 cores=0,2,4,6
/proc/9517/task/9519/stat : 9519 (techdemo) R 9515 9517 9058 0 -1 4202560 9450 0 0 0 16225 2 0 0 25 0 4 0 523241182 661323776 14024 33554432000 4194304 4797429 140734331618976 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9517/tid=9520] ppid=9515 vsize=645824 CPUtime=161.4 cores=0,2,4,6
/proc/9517/task/9520/stat : 9520 (techdemo) R 9515 9517 9058 0 -1 4202560 8339 0 0 0 16138 2 0 0 25 0 4 0 523241182 661323776 14024 33554432000 4194304 4797429 140734331618976 18446744073709551615 4524064 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9517/tid=9521] ppid=9515 vsize=645824 CPUtime=162.28 cores=0,2,4,6
/proc/9517/task/9521/stat : 9521 (techdemo) R 9515 9517 9058 0 -1 4202560 7488 0 0 0 16226 2 0 0 25 0 4 0 523241182 661323776 14024 33554432000 4194304 4797429 140734331618976 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 648.27
Current children cumulated vsize (KiB) 645824

[startup+222.307 s]
/proc/loadavg: 8.32 8.02 8.05 9/188 9527
/proc/meminfo: memFree=29546932/32951124 swapFree=67111352/67111528
[pid=9517] ppid=9515 vsize=651436 CPUtime=887.96 cores=0,2,4,6
/proc/9517/stat : 9517 (techdemo) R 9515 9517 9058 0 -1 4202496 67593 0 0 0 88778 18 0 0 25 0 4 0 523241181 667070464 16035 33554432000 4194304 4797429 140734331618976 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9517/statm: 162859 16035 421 148 0 157788 0
[pid=9517/tid=9519] ppid=9515 vsize=651436 CPUtime=222.27 cores=0,2,4,6
/proc/9517/task/9519/stat : 9519 (techdemo) R 9515 9517 9058 0 -1 4202560 10823 0 0 0 22225 2 0 0 25 0 4 0 523241182 667070464 16035 33554432000 4194304 4797429 140734331618976 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9517/tid=9520] ppid=9515 vsize=651436 CPUtime=221.08 cores=0,2,4,6
/proc/9517/task/9520/stat : 9520 (techdemo) R 9515 9517 9058 0 -1 4202560 9796 0 0 0 22106 2 0 0 25 0 4 0 523241182 667070464 16035 33554432000 4194304 4797429 140734331618976 18446744073709551615 4427256 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9517/tid=9521] ppid=9515 vsize=651436 CPUtime=222.3 cores=0,2,4,6
/proc/9517/task/9521/stat : 9521 (techdemo) R 9515 9517 9058 0 -1 4202560 8947 0 0 0 22227 3 0 0 25 0 4 0 523241182 667070464 16035 33554432000 4194304 4797429 140734331618976 18446744073709551615 4428962 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 887.96
Current children cumulated vsize (KiB) 651436

[startup+282.301 s]

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

[pid=9517] ppid=9515 vsize=672880 CPUtime=2565.67 cores=0,2,4,6
/proc/9517/stat : 9517 (techdemo) R 9515 9517 9058 0 -1 4202496 129758 0 0 0 256524 43 0 0 25 0 4 0 523241181 689029120 23615 33554432000 4194304 4797429 140734331618976 18446744073709551615 4424659 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9517/statm: 168220 23615 421 148 0 163149 0
[pid=9517/tid=9519] ppid=9515 vsize=672880 CPUtime=642.28 cores=0,2,4,6
/proc/9517/task/9519/stat : 9519 (techdemo) R 9515 9517 9058 0 -1 4202560 19061 0 0 0 64222 6 0 0 25 0 4 0 523241182 689029120 23615 33554432000 4194304 4797429 140734331618976 18446744073709551615 4428788 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9517/tid=9520] ppid=9515 vsize=672880 CPUtime=638.8 cores=0,2,4,6
/proc/9517/task/9520/stat : 9520 (techdemo) R 9515 9517 9058 0 -1 4202560 18130 0 0 0 63874 6 0 0 25 0 4 0 523241182 689029120 23615 33554432000 4194304 4797429 140734331618976 18446744073709551615 4425051 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9517/tid=9521] ppid=9515 vsize=672880 CPUtime=642.3 cores=0,2,4,6
/proc/9517/task/9521/stat : 9521 (techdemo) R 9515 9517 9058 0 -1 4202560 17358 0 0 0 64223 7 0 0 25 0 4 0 523241182 689029120 23615 33554432000 4194304 4797429 140734331618976 18446744073709551615 4429157 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2565.67
Current children cumulated vsize (KiB) 672880

[startup+702.301 s]
/proc/loadavg: 8.31 8.17 8.10 9/188 9539
/proc/meminfo: memFree=29460736/32951124 swapFree=67111352/67111528
[pid=9517] ppid=9515 vsize=677032 CPUtime=2805.34 cores=0,2,4,6
/proc/9517/stat : 9517 (techdemo) R 9515 9517 9058 0 -1 4202496 136233 0 0 0 280489 45 0 0 25 0 4 0 523241181 693280768 24797 33554432000 4194304 4797429 140734331618976 18446744073709551615 4495483 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9517/statm: 169258 24797 421 148 0 164187 0
[pid=9517/tid=9519] ppid=9515 vsize=677032 CPUtime=702.29 cores=0,2,4,6
/proc/9517/task/9519/stat : 9519 (techdemo) R 9515 9517 9058 0 -1 4202560 20236 0 0 0 70222 7 0 0 25 0 4 0 523241182 693280768 24797 33554432000 4194304 4797429 140734331618976 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9517/tid=9520] ppid=9515 vsize=677032 CPUtime=698.47 cores=0,2,4,6
/proc/9517/task/9520/stat : 9520 (techdemo) R 9515 9517 9058 0 -1 4202560 18794 0 0 0 69841 6 0 0 25 0 4 0 523241182 693280768 24797 33554432000 4194304 4797429 140734331618976 18446744073709551615 4523765 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9517/tid=9521] ppid=9515 vsize=677032 CPUtime=702.3 cores=0,2,4,6
/proc/9517/task/9521/stat : 9521 (techdemo) R 9515 9517 9058 0 -1 4202560 17944 0 0 0 70222 8 0 0 25 0 4 0 523241182 693280768 24797 33554432000 4194304 4797429 140734331618976 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.34
Current children cumulated vsize (KiB) 677032

[startup+762.301 s]
/proc/loadavg: 8.18 8.17 8.10 9/188 9541
/proc/meminfo: memFree=29455136/32951124 swapFree=67111352/67111528
[pid=9517] ppid=9515 vsize=677428 CPUtime=3045.03 cores=0,2,4,6
/proc/9517/stat : 9517 (techdemo) R 9515 9517 9058 0 -1 4202496 142118 0 0 0 304454 49 0 0 25 0 4 0 523241181 693686272 26229 33554432000 4194304 4797429 140734331618976 18446744073709551615 4424617 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9517/statm: 169357 26229 421 148 0 164286 0
[pid=9517/tid=9519] ppid=9515 vsize=677428 CPUtime=762.29 cores=0,2,4,6
/proc/9517/task/9519/stat : 9519 (techdemo) R 9515 9517 9058 0 -1 4202560 20912 0 0 0 76222 7 0 0 25 0 4 0 523241182 693686272 26229 33554432000 4194304 4797429 140734331618976 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9517/tid=9520] ppid=9515 vsize=677428 CPUtime=758.15 cores=0,2,4,6
/proc/9517/task/9520/stat : 9520 (techdemo) R 9515 9517 9058 0 -1 4202560 19734 0 0 0 75808 7 0 0 25 0 4 0 523241182 693686272 26229 33554432000 4194304 4797429 140734331618976 18446744073709551615 4524398 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9517/tid=9521] ppid=9515 vsize=677428 CPUtime=762.31 cores=0,2,4,6
/proc/9517/task/9521/stat : 9521 (techdemo) R 9515 9517 9058 0 -1 4202560 19011 0 0 0 76223 8 0 0 25 0 4 0 523241182 693686272 26229 33554432000 4194304 4797429 140734331618976 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.03
Current children cumulated vsize (KiB) 677428

[startup+822.301 s]
/proc/loadavg: 8.18 8.16 8.10 9/188 9543
/proc/meminfo: memFree=29456848/32951124 swapFree=67111352/67111528
[pid=9517] ppid=9515 vsize=678404 CPUtime=3284.69 cores=0,2,4,6
/proc/9517/stat : 9517 (techdemo) R 9515 9517 9058 0 -1 4202496 149464 0 0 0 328418 51 0 0 25 0 4 0 523241181 694685696 26254 33554432000 4194304 4797429 140734331618976 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9517/statm: 169601 26254 421 148 0 164530 0
[pid=9517/tid=9519] ppid=9515 vsize=678404 CPUtime=822.29 cores=0,2,4,6
/proc/9517/task/9519/stat : 9519 (techdemo) R 9515 9517 9058 0 -1 4202560 21878 0 0 0 82222 7 0 0 25 0 4 0 523241182 694685696 26254 33554432000 4194304 4797429 140734331618976 18446744073709551615 4430154 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9517/tid=9520] ppid=9515 vsize=678404 CPUtime=817.82 cores=0,2,4,6
/proc/9517/task/9520/stat : 9520 (techdemo) R 9515 9517 9058 0 -1 4202560 20680 0 0 0 81775 7 0 0 25 0 4 0 523241182 694685696 26254 33554432000 4194304 4797429 140734331618976 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9517/tid=9521] ppid=9515 vsize=678404 CPUtime=822.31 cores=0,2,4,6
/proc/9517/task/9521/stat : 9521 (techdemo) R 9515 9517 9058 0 -1 4202560 20043 0 0 0 82222 9 0 0 25 0 4 0 523241182 694685696 26254 33554432000 4194304 4797429 140734331618976 18446744073709551615 4509672 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.69
Current children cumulated vsize (KiB) 678404

[startup+882.307 s]
/proc/loadavg: 8.14 8.16 8.10 9/188 9544
/proc/meminfo: memFree=29446784/32951124 swapFree=67111352/67111528
[pid=9517] ppid=9515 vsize=680884 CPUtime=3524.39 cores=0,2,4,6
/proc/9517/stat : 9517 (techdemo) R 9515 9517 9058 0 -1 4202496 156704 0 0 0 352385 54 0 0 25 0 4 0 523241181 697225216 26370 33554432000 4194304 4797429 140734331618976 18446744073709551615 4424779 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9517/statm: 170221 26370 421 148 0 165150 0
[pid=9517/tid=9519] ppid=9515 vsize=680884 CPUtime=882.3 cores=0,2,4,6
/proc/9517/task/9519/stat : 9519 (techdemo) R 9515 9517 9058 0 -1 4202560 22892 0 0 0 88222 8 0 0 25 0 4 0 523241182 697225216 26370 33554432000 4194304 4797429 140734331618976 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9517/tid=9520] ppid=9515 vsize=680884 CPUtime=877.5 cores=0,2,4,6
/proc/9517/task/9520/stat : 9520 (techdemo) R 9515 9517 9058 0 -1 4202560 21863 0 0 0 87742 8 0 0 25 0 4 0 523241182 697225216 26370 33554432000 4194304 4797429 140734331618976 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9517/tid=9521] ppid=9515 vsize=680884 CPUtime=882.31 cores=0,2,4,6
/proc/9517/task/9521/stat : 9521 (techdemo) R 9515 9517 9058 0 -1 4202560 21011 0 0 0 88222 9 0 0 25 0 4 0 523241182 697225216 26370 33554432000 4194304 4797429 140734331618976 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.39
Current children cumulated vsize (KiB) 680884

[startup+942.3 s]
/proc/loadavg: 8.16 8.16 8.10 9/188 9546
/proc/meminfo: memFree=29438820/32951124 swapFree=67111352/67111528
[pid=9517] ppid=9515 vsize=685880 CPUtime=3764.04 cores=0,2,4,6
/proc/9517/stat : 9517 (techdemo) R 9515 9517 9058 0 -1 4202496 162841 0 0 0 376348 56 0 0 25 0 4 0 523241181 702341120 27144 33554432000 4194304 4797429 140734331618976 18446744073709551615 4425030 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9517/statm: 171470 27144 421 148 0 166399 0
[pid=9517/tid=9519] ppid=9515 vsize=685880 CPUtime=942.29 cores=0,2,4,6
/proc/9517/task/9519/stat : 9519 (techdemo) R 9515 9517 9058 0 -1 4202560 23837 0 0 0 94221 8 0 0 25 0 4 0 523241182 702341120 27144 33554432000 4194304 4797429 140734331618976 18446744073709551615 4425039 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9517/tid=9520] ppid=9515 vsize=685880 CPUtime=937.17 cores=0,2,4,6
/proc/9517/task/9520/stat : 9520 (techdemo) R 9515 9517 9058 0 -1 4202560 22513 0 0 0 93709 8 0 0 25 0 4 0 523241182 702341120 27144 33554432000 4194304 4797429 140734331618976 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9517/tid=9521] ppid=9515 vsize=685880 CPUtime=942.31 cores=0,2,4,6
/proc/9517/task/9521/stat : 9521 (techdemo) R 9515 9517 9058 0 -1 4202560 21463 0 0 0 94222 9 0 0 25 0 4 0 523241182 702341120 27144 33554432000 4194304 4797429 140734331618976 18446744073709551615 4425824 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.04
Current children cumulated vsize (KiB) 685880

[startup+1002.3 s]
/proc/loadavg: 8.21 8.17 8.10 9/188 9547
/proc/meminfo: memFree=29432588/32951124 swapFree=67111352/67111528
[pid=9517] ppid=9515 vsize=686232 CPUtime=4003.71 cores=0,2,4,6
/proc/9517/stat : 9517 (techdemo) R 9515 9517 9058 0 -1 4202496 168625 0 0 0 400312 59 0 0 25 0 4 0 523241181 702701568 28156 33554432000 4194304 4797429 140734331618976 18446744073709551615 4424859 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9517/statm: 171558 28156 421 148 0 166487 0
[pid=9517/tid=9519] ppid=9515 vsize=686232 CPUtime=1002.3 cores=0,2,4,6
/proc/9517/task/9519/stat : 9519 (techdemo) R 9515 9517 9058 0 -1 4202560 24400 0 0 0 100221 9 0 0 25 0 4 0 523241182 702701568 28156 33554432000 4194304 4797429 140734331618976 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9517/tid=9520] ppid=9515 vsize=686232 CPUtime=996.84 cores=0,2,4,6
/proc/9517/task/9520/stat : 9520 (techdemo) R 9515 9517 9058 0 -1 4202560 23441 0 0 0 99675 9 0 0 25 0 4 0 523241182 702701568 28156 33554432000 4194304 4797429 140734331618976 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9517/tid=9521] ppid=9515 vsize=686232 CPUtime=1002.31 cores=0,2,4,6
/proc/9517/task/9521/stat : 9521 (techdemo) R 9515 9517 9058 0 -1 4202560 22616 0 0 0 100221 10 0 0 25 0 4 0 523241182 702701568 28156 33554432000 4194304 4797429 140734331618976 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.71
Current children cumulated vsize (KiB) 686232

[startup+1062.3 s]
/proc/loadavg: 8.23 8.17 8.10 9/188 9549
/proc/meminfo: memFree=29423248/32951124 swapFree=67111352/67111528
[pid=9517] ppid=9515 vsize=689984 CPUtime=4243.39 cores=0,2,4,6
/proc/9517/stat : 9517 (techdemo) R 9515 9517 9058 0 -1 4202496 175753 0 0 0 424277 62 0 0 25 0 4 0 523241181 706543616 29662 33554432000 4194304 4797429 140734331618976 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9517/statm: 172496 29662 421 148 0 167425 0
[pid=9517/tid=9519] ppid=9515 vsize=689984 CPUtime=1062.3 cores=0,2,4,6
/proc/9517/task/9519/stat : 9519 (techdemo) R 9515 9517 9058 0 -1 4202560 25610 0 0 0 106221 9 0 0 25 0 4 0 523241182 706543616 29662 33554432000 4194304 4797429 140734331618976 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9517/tid=9520] ppid=9515 vsize=689984 CPUtime=1056.52 cores=0,2,4,6
/proc/9517/task/9520/stat : 9520 (techdemo) R 9515 9517 9058 0 -1 4202560 24641 0 0 0 105642 10 0 0 25 0 4 0 523241182 706543616 29662 33554432000 4194304 4797429 140734331618976 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9517/tid=9521] ppid=9515 vsize=689984 CPUtime=1062.31 cores=0,2,4,6
/proc/9517/task/9521/stat : 9521 (techdemo) R 9515 9517 9058 0 -1 4202560 23846 0 0 0 106221 10 0 0 25 0 4 0 523241182 706543616 29662 33554432000 4194304 4797429 140734331618976 18446744073709551615 4424835 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.39
Current children cumulated vsize (KiB) 689984

[startup+1122.3 s]
/proc/loadavg: 8.25 8.18 8.10 9/188 9551
/proc/meminfo: memFree=29416892/32951124 swapFree=67111352/67111528
[pid=9517] ppid=9515 vsize=690412 CPUtime=4483.07 cores=0,2,4,6
/proc/9517/stat : 9517 (techdemo) R 9515 9517 9058 0 -1 4202496 182067 0 0 0 448242 65 0 0 25 0 4 0 523241181 706981888 30276 33554432000 4194304 4797429 140734331618976 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9517/statm: 172603 30276 421 148 0 167532 0
[pid=9517/tid=9519] ppid=9515 vsize=690412 CPUtime=1122.3 cores=0,2,4,6
/proc/9517/task/9519/stat : 9519 (techdemo) R 9515 9517 9058 0 -1 4202560 26472 0 0 0 112220 10 0 0 25 0 4 0 523241182 706981888 30276 33554432000 4194304 4797429 140734331618976 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9517/tid=9520] ppid=9515 vsize=690412 CPUtime=1116.19 cores=0,2,4,6
/proc/9517/task/9520/stat : 9520 (techdemo) R 9515 9517 9058 0 -1 4202560 25146 0 0 0 111609 10 0 0 25 0 4 0 523241182 706981888 30276 33554432000 4194304 4797429 140734331618976 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9517/tid=9521] ppid=9515 vsize=690412 CPUtime=1122.32 cores=0,2,4,6
/proc/9517/task/9521/stat : 9521 (techdemo) R 9515 9517 9058 0 -1 4202560 24340 0 0 0 112221 11 0 0 25 0 4 0 523241182 706981888 30276 33554432000 4194304 4797429 140734331618976 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.07
Current children cumulated vsize (KiB) 690412

[startup+1182.3 s]
/proc/loadavg: 8.28 8.20 8.11 9/188 9552
/proc/meminfo: memFree=29404820/32951124 swapFree=67111352/67111528
[pid=9517] ppid=9515 vsize=691220 CPUtime=4722.74 cores=0,2,4,6
/proc/9517/stat : 9517 (techdemo) R 9515 9517 9058 0 -1 4202496 187583 0 0 0 472207 67 0 0 25 0 4 0 523241181 707809280 30878 33554432000 4194304 4797429 140734331618976 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9517/statm: 172805 30878 421 148 0 167734 0
[pid=9517/tid=9519] ppid=9515 vsize=691220 CPUtime=1182.31 cores=0,2,4,6
/proc/9517/task/9519/stat : 9519 (techdemo) R 9515 9517 9058 0 -1 4202560 26920 0 0 0 118221 10 0 0 25 0 4 0 523241182 707809280 30878 33554432000 4194304 4797429 140734331618976 18446744073709551615 4524288 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9517/tid=9520] ppid=9515 vsize=691220 CPUtime=1175.87 cores=0,2,4,6
/proc/9517/task/9520/stat : 9520 (techdemo) R 9515 9517 9058 0 -1 4202560 26105 0 0 0 117577 10 0 0 25 0 4 0 523241182 707809280 30878 33554432000 4194304 4797429 140734331618976 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9517/tid=9521] ppid=9515 vsize=691220 CPUtime=1182.32 cores=0,2,4,6
/proc/9517/task/9521/stat : 9521 (techdemo) R 9515 9517 9058 0 -1 4202560 25544 0 0 0 118221 11 0 0 25 0 4 0 523241182 707809280 30878 33554432000 4194304 4797429 140734331618976 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.74
Current children cumulated vsize (KiB) 691220



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.20 8.18 8.10 5/184 9554
/proc/meminfo: memFree=29570616/32951124 swapFree=67111352/67111528
[pid=9517] ppid=9515 vsize=692276 CPUtime=4800.25 cores=0,2,4,6
/proc/9517/stat : 9517 (techdemo) R 9515 9517 9058 0 -1 4202496 189702 0 0 0 479957 68 0 0 25 0 4 0 523241181 708890624 30804 33554432000 4194304 4797429 140734331618976 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9517/statm: 173069 30804 421 148 0 167998 0
[pid=9517/tid=9519] ppid=9515 vsize=692276 CPUtime=1201.71 cores=0,2,4,6
/proc/9517/task/9519/stat : 9519 (techdemo) R 9515 9517 9058 0 -1 4202560 27037 0 0 0 120161 10 0 0 25 0 4 0 523241182 708890624 30804 33554432000 4194304 4797429 140734331618976 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9517/tid=9520] ppid=9515 vsize=692276 CPUtime=1195.17 cores=0,2,4,6
/proc/9517/task/9520/stat : 9520 (techdemo) R 9515 9517 9058 0 -1 4202560 26222 0 0 0 119506 11 0 0 25 0 4 0 523241182 708890624 30804 33554432000 4194304 4797429 140734331618976 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9517/tid=9521] ppid=9515 vsize=692276 CPUtime=1201.73 cores=0,2,4,6
/proc/9517/task/9521/stat : 9521 (techdemo) R 9515 9517 9058 0 -1 4202560 25711 0 0 0 120162 11 0 0 25 0 4 0 523241182 708890624 30804 33554432000 4194304 4797429 140734331618976 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 692276

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): 1201.72
CPU time (s): 4800.28
CPU user time (s): 4799.59
CPU system time (s): 0.693894
CPU usage (%): 399.452
Max. virtual memory (cumulated for all children) (KiB): 784656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.59
system time used= 0.693894
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189702
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= 257
involuntary context switches= 77652

runsolver used 1.9817 second user time and 4.5913 second system time

The end

Launcher Data 

Begin job on node135 at 2011-04-30 00:33:53
IDJOB=3172899
IDBENCH=82917
IDSOLVER=1584
FILE ID=node135/3172899-1304116433
RUNJOBID= node135-1304116433-9494
PBS_JOBID= 13170696
Free space on /tmp= 71112 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/random/medium/unif-k7-r89-v50-c4450-S1374457799-001.UNKNOWN.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3172899-1304116433/watcher-3172899-1304116433 -o /tmp/evaluation-result-3172899-1304116433/solver-3172899-1304116433 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3172899-1304116433.cnf

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

MD5SUM BENCH= 0448cdbfc0b1241b735cac942d079298
RANDOM SEED=1255598989

node135.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 6640.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29691372 kB
Buffers:        920444 kB
Cached:        1752988 kB
SwapCached:        172 kB
Active:         149244 kB
Inactive:      2594264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29691372 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:           15608 kB
Writeback:           0 kB
AnonPages:       69304 kB
Mapped:          15272 kB
Slab:           453852 kB
PageTables:       5236 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   670228 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71104 MiB
End job on node135 at 2011-04-30 00:53:57