Trace number 3249435

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.43 1201.83

General information on the benchmark

Namecrafted/mosoi/289/
289-unsat-7x39.cnf
MD5SUMf717554c4e7f802b3078c48464dbcd9d
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1092
Number of clauses64155
Sum of the clauses size253344
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21638
Number of clauses of size 30
Number of clauses of size 462517
Number of clauses of size 50
Number of clauses of size over 50

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-3249435-1304130247.cnf'
0.00/0.00	c -- header says num vars:           1092
0.00/0.00	c -- header says num clauses:       64155
0.03/0.09	c -- clauses added:            0 learnts,        64155 normals,            0 xors
0.03/0.09	c -- vars added       1092
0.03/0.09	c Parsing time:  0.08 s
0.03/0.09	c  N st     0         0      1092     62517      1638         0    253344         0   no data   no data  --
0.11/0.17	c asymm  cl-useful: 0/14276/62517 lits-rem:0 time: 0.30
0.11/0.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.6M T:  0.08
0.11/0.20	c Calc non-exist non-lernt bins v-fix:     0 done:   1092 time:  0.00 s
0.11/0.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.11/0.20	c Subs w/ non-existent bins:      0 time:  0.01 s
0.53/0.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.53/0.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.53/0.24	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
1.97/0.58	c lits-rem:         0  cl-subs:        0  v-elim:    581  v-fix:    0  time:  1.39 s
1.97/0.58	c learnt bin added due to v-elim: 0
1.97/0.58	c Finding binary XORs  T:     0.00 s  found:       0
1.97/0.92	c Finding non-binary XORs:     0.12 s (found:       0, avg size: nan)
1.97/0.92	c calculated reachability. Time: 0.00
1.97/0.92	c Calc default polars -  time:   0.00 s pos:      13 undec:     148 neg:     931
1.97/0.92	c =========================================================================================
1.97/0.92	c types(t): F = full restart, N = normal restart
1.97/0.92	c types(t): S = simplification begin/end, E = solution found
1.97/0.92	c restart types(rt): st = static, dy = dynamic
1.97/0.92	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
1.97/0.92	c  B st     0         0       944     62369      1194         0    319352         0   no data   no data  --
1.97/0.92	c Decided on static restart strategy
1.97/0.92	c  N dy    21      4071       944     62369      1194      4057    319352    129062     27.47     26.74  --
1.97/0.92	c  N dy    51      8086       944     62369      1194      8061    319352    255493     31.19     26.57  --
4.89/1.39	c  N dy    82     12207       944     62369      1194     12180    319352    368787     27.36     25.35  --
4.89/1.39	c  N dy   112     16270       944     62369      1194     16241    319352    489081     30.10     25.17  --
5.30/1.49	c  N dy   142     20320       944     62369      1194     10305    319352    159464     30.64     24.93  --
6.11/1.69	c  N dy   172     24360       944     62369      1194     14343    319352    273952     29.56     24.74  --
6.89/1.89	c  N dy   203     28483       944     62369      1194     18463    319352    391331     29.59     24.59  --
7.29/1.99	c  S st   215     30001       944     62369      1194     19980    319352    432137     26.40     24.50  --
7.29/1.99	c  S st   215     30504       944     62369      1194     20483    319352    454593     26.40     24.50  --
7.29/1.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
7.29/1.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
8.08/2.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  7.0M T:  0.48
8.08/2.12	c Calc non-exist non-lernt bins v-fix:     0 done:    944 time:  0.01 s
8.08/2.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
8.08/2.13	c Subs w/ non-existent bins:      0 time:  0.04 s
8.08/2.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.48/2.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.23 s
8.48/2.20	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
21.66/5.51	c lits-rem:       146  cl-subs:    17562  v-elim:   1131  v-fix:    0  time: 13.22 s
21.66/5.51	c learnt bin added due to v-elim: 0
21.66/5.52	c vivif2 --  cl tried    62244 cl shrink        0 lits rem          0 time: 0.02
21.66/5.52	c vivif2 --  cl tried     2921 cl shrink        0 lits rem          0 time: 0.00
22.06/5.64	c asymm  cl-useful: 0/5050/62244 lits-rem:0 time: 0.48
22.06/5.64	c calculated reachability. Time: 0.00
22.06/5.64	c  N dy   215     30504       819     62244       819      2921    375102     46391     26.40     24.50  --
22.06/5.64	c  F st   215     30504       819     62244       819      2921    375102     46391     26.40     24.50  --
22.46/5.74	c Decided on static restart strategy
22.87/5.84	c  N dy   236     34580       819     62244       819      6982    375102    185869     34.27     24.99  --
23.69/6.04	c  N dy   266     38583       819     62244       819     10974    375102    318559     35.58     25.24  --
24.47/6.25	c  N dy   296     42631       819     62244       819     15013    375102    451246     32.52     25.41  --
25.27/6.47	c  S st   320     45757       819     62244       819     18136    375102    552948     33.06     25.49  --
25.67/6.54	c  S st   320     46263       819     62244       819     18642    375102    582192     33.06     25.49  --
25.67/6.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
25.67/6.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.47/6.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 11.5M T:  0.78
26.47/6.74	c Calc non-exist non-lernt bins v-fix:     0 done:    819 time:  0.01 s
26.47/6.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.47/6.76	c Subs w/ non-existent bins:      0 time:  0.05 s
26.47/6.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.86/6.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.37 s
26.86/6.87	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
42.44/10.71	c lits-rem:       606  cl-subs:     1454  v-elim:    819  v-fix:    0  time: 15.32 s
42.44/10.71	c learnt bin added due to v-elim: 0
42.44/10.71	c vivif2 --  cl tried    62244 cl shrink        0 lits rem          0 time: 0.03
42.44/10.72	c vivif2 --  cl tried    17188 cl shrink        0 lits rem          0 time: 0.04
42.84/10.80	c asymm  cl-useful: 0/1718/62244 lits-rem:0 time: 0.30
42.84/10.80	c calculated reachability. Time: 0.00
42.84/10.80	c  N dy   320     46263       819     62244       819     17188    375102    525282     33.06     25.49  --
43.64/11.04	c  N dy   350     50283       819     62244       819     21202    375102    660705     35.02     25.69  --
44.44/11.27	c  N dy   381     54410       819     62244       819     25324    375102    795966     32.31     25.80  --
45.65/11.51	c  N dy   411     58427       819     62244       819     29335    375102    920105     29.63     25.78  --
46.44/11.77	c  N dy   442     62541       819     62244       819     17985    375102    329361     32.12     25.77  --
47.24/11.99	c  N dy   472     66560       819     62244       819     21999    375102    460342     31.24     25.83  --
48.04/12.19	c  S st   494     69394       819     62244       819     24830    375102    551435     31.80     25.87  --
48.44/12.26	c  S st   494     69895       819     62244       819     25329    375102    574538     31.80     25.87  --
48.44/12.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
48.44/12.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
49.63/12.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 18.0M T:  1.05
49.63/12.53	c Calc non-exist non-lernt bins v-fix:     0 done:    819 time:  0.01 s
49.63/12.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
49.63/12.54	c Subs w/ non-existent bins:      0 time:  0.06 s
49.63/12.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
50.05/12.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.28 s
50.05/12.63	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
62.41/15.72	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.01
65.61/16.55	c Added 9 vars  tried: 80000 time: 3.32
65.61/16.56	c ORs :      9 avg-s:  0.0 cl-sh:  5257 l-rem:   5257 b-add:     18 v-rep:   0 cl-rem: 0 avg s: nan T:    3.36
65.61/16.57	c lits-rem:       376  cl-subs:     1142  v-elim:    819  v-fix:    0  time: 15.74 s
65.61/16.57	c learnt bin added due to v-elim: 0
65.61/16.58	c vivif2 --  cl tried    62253 cl shrink        0 lits rem          0 time: 0.02
65.61/16.59	c vivif2 --  cl tried    24187 cl shrink        0 lits rem          0 time: 0.05
66.01/16.67	c asymm  cl-useful: 0/1455/62253 lits-rem:0 time: 0.30
66.01/16.67	c calculated reachability. Time: 0.00
66.01/16.67	c  N dy   494     69895       828     62253       837     24187    373303    535055     31.80     25.87  --
66.01/16.67	c  F st   494     69895       828     62253       837     24187    373303    535055     31.80     25.87  --
66.41/16.79	c Decided on static restart strategy
67.21/16.93	c  N dy   518     74378       828     62253       837     28658    373303    691097     31.68     26.06  --
68.40/17.24	c  N dy   554     79156       828     62253       837     33432    373303    837516     30.96     26.02  --
69.60/17.59	c  N dy   593     84338       828     62253       837     19893    373303    318079     32.58     26.05  --
70.80/17.88	c  N dy   633     89721       828     62253       837     25269    373303    491320     31.61     26.09  --
72.43/18.22	c  N dy   676     95485       828     62253       837     31024    373303    675397     31.71     26.11  --
74.00/18.62	c  N dy   722    101607       828     62253       837     37138    373303    868225     34.07     26.10  --
74.80/18.89	c  S st   746    104843       828     62253       838     40372    373303    974137     34.55     26.15  --
75.20/18.98	c  S st   746    105344       828     62253       838     40873    373303   1001293     34.55     26.15  --
75.20/18.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
75.20/18.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
77.20/19.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      7 BRemL:      0 BRemN:      0 CBin:       0 P: 27.6M T:  1.82
77.20/19.44	c Calc non-exist non-lernt bins v-fix:     0 done:    828 time:  0.01 s
77.20/19.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
77.20/19.46	c Subs w/ non-existent bins:      0 time:  0.08 s
77.20/19.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
78.00/19.62	c subs with bin:        0  lits-rem:         5  v-fix:    0  time:  0.53 s
78.00/19.62	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
103.19/25.93	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
103.19/25.95	c lits-rem:       779  cl-subs:     7069  v-elim:   1449  v-fix:    0  time: 25.29 s
103.19/25.95	c learnt bin added due to v-elim: 0
103.19/25.96	c vivif2 --  cl tried    62253 cl shrink        8 lits rem          8 time: 0.02
103.19/25.98	c vivif2 --  cl tried    33804 cl shrink        1 lits rem          1 time: 0.06
103.56/26.06	c asymm  cl-useful: 0/1388/62245 lits-rem:0 time: 0.34
103.56/26.06	c calculated reachability. Time: 0.00
103.56/26.06	c  N dy   746    105344       820     62245       829     33804    375071    740142     34.55     26.15  --
105.56/26.55	c  N dy   797    112186       820     62245       829     40639    375071    966608     31.44     26.22  --
107.58/27.01	c  N dy   850    119397       820     62245       829     27002    375071    505748     31.88     26.31  --
109.15/27.47	c  N dy   907    127037       820     62245       829     34631    375071    757120     33.20     26.35  --
111.57/28.04	c  N dy   968    135188       820     62245       829     42778    375071   1017430     31.91     26.35  --
113.95/28.64	c  N dy  1033    143911       820     62245       829     29082    375071    531142     35.96     26.37  --
116.37/29.24	c  N dy  1102    153138       820     62245       829     38296    375071    827094     29.30     26.37  --
117.94/29.66	c  S st  1139    158016       820     62245       829     43169    375071    980551     29.54     26.37  --
118.34/29.74	c  S st  1139    158522       820     62245       829     43675    375071   1001605     29.54     26.37  --
118.34/29.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
118.34/29.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
120.76/30.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 35.3M T:  2.28
120.76/30.32	c Calc non-exist non-lernt bins v-fix:     0 done:    820 time:  0.01 s
120.76/30.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
120.76/30.35	c Subs w/ non-existent bins:      0 time:  0.08 s
120.76/30.37	c bin-w-bin subsume rem            8 bins  time:  0.00 s
121.54/30.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.56 s
121.54/30.52	c Removed useless bin:       8  fixed:     0  bprops:   0.01M  time:  0.00 s
141.11/35.45	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
141.11/35.48	c lits-rem:       173  cl-subs:     1985  v-elim:    811  v-fix:    0  time: 19.82 s
141.11/35.48	c learnt bin added due to v-elim: 0
141.11/35.48	c vivif2 --  cl tried    62245 cl shrink        0 lits rem          0 time: 0.02
141.51/35.50	c vivif2 --  cl tried    41690 cl shrink        0 lits rem          0 time: 0.08
141.51/35.58	c asymm  cl-useful: 0/1959/62245 lits-rem:0 time: 0.32
141.51/35.59	c calculated reachability. Time: 0.00
141.51/35.59	c  N dy  1139    158522       820     62245       813     41690    375055    934726     29.54     26.37  --
144.71/36.33	c  N dy  1215    168711       820     62245       813     28181    375055    461669     32.01     26.34  --
147.50/37.05	c  N dy  1296    179548       820     62245       813     39007    375055    802894     31.01     26.33  --
150.69/37.89	c  N dy  1382    191069       820     62245       813     25683    375055    360945     34.67     26.35  --
153.89/38.66	c  N dy  1473    203264       820     62245       813     37860    375055    739590     32.69     26.32  --
157.89/39.60	c  N dy  1571    216312       820     62245       813     50890    375055   1154407     33.51     26.32  --
161.48/40.51	c  N dy  1674    230121       820     62245       813     38779    375055    756032     30.57     26.33  --
163.88/41.12	c  S st  1732    237783       820     62245       813     46432    375055    998093     32.34     26.33  --
164.29/41.23	c  S st  1732    238283       820     62245       813     46931    375055   1025374     32.34     26.33  --
164.29/41.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
164.29/41.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
167.07/41.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 43.9M T:  2.88
167.07/41.96	c Calc non-exist non-lernt bins v-fix:     0 done:    820 time:  0.01 s
167.07/41.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
167.07/41.98	c Subs w/ non-existent bins:      0 time:  0.09 s
167.47/42.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
167.87/42.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.56 s
167.87/42.15	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
188.64/47.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.01
188.64/47.36	c lits-rem:       122  cl-subs:     2020  v-elim:    811  v-fix:    0  time: 20.81 s
188.64/47.36	c learnt bin added due to v-elim: 0
188.64/47.37	c vivif2 --  cl tried    62245 cl shrink        0 lits rem          0 time: 0.03
188.64/47.39	c vivif2 --  cl tried    44911 cl shrink        0 lits rem          0 time: 0.08
189.04/47.47	c asymm  cl-useful: 0/1453/62245 lits-rem:0 time: 0.34
189.04/47.48	c calculated reachability. Time: 0.00
189.04/47.48	c  N dy  1732    238283       820     62245       813     44911    375055    956702     32.34     26.33  --
193.83/48.63	c  N dy  1847    253569       820     62245       813     33254    375055    548563     30.93     26.32  --
198.23/49.78	c  N dy  1968    269846       820     62245       813     49515    375055   1069894     33.59     26.33  --
203.43/51.05	c  N dy  2098    287184       820     62245       813     38889    375055    706807     30.03     26.30  --
209.01/52.40	c  N dy  2236    305617       820     62245       813     57289    375055   1283311     30.40     26.27  --
214.21/53.75	c  N dy  2382    325233       820     62245       813     47924    375055    969105     32.84     26.26  --
220.20/55.25	c  N dy  2532    345346       820     62245       813     38058    375055    651507     33.77     26.30  --
224.19/56.20	c  S st  2623    357424       820     62245       813     50121    375055   1042987     32.83     26.31  --
224.59/56.30	c  S st  2623    357926       820     62245       813     50622    375055   1070422     32.83     26.31  --
224.59/56.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
224.59/56.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
227.78/57.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 52.4M T:  3.42
227.78/57.17	c Calc non-exist non-lernt bins v-fix:     0 done:    820 time:  0.01 s
227.78/57.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
227.78/57.19	c Subs w/ non-existent bins:      0 time:  0.09 s
228.18/57.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
228.58/57.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.60 s
228.58/57.37	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
251.36/63.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.01
251.76/63.12	c lits-rem:       194  cl-subs:     2068  v-elim:    811  v-fix:    0  time: 22.98 s
251.76/63.12	c learnt bin added due to v-elim: 0
251.76/63.13	c vivif2 --  cl tried    62245 cl shrink        0 lits rem          0 time: 0.03
251.76/63.15	c vivif2 --  cl tried    48554 cl shrink        0 lits rem          0 time: 0.08
252.18/63.24	c asymm  cl-useful: 0/1321/62245 lits-rem:0 time: 0.34
252.18/63.24	c calculated reachability. Time: 0.00
252.18/63.24	c  N dy  2623    357926       820     62245       813     48554    375055   1001996     32.83     26.31  --
258.14/64.79	c  N dy  2773    378044       856     62245       936     37721    375245    610715     33.28     26.33  --
264.14/66.26	c  N dy  2923    398097       856     62245       936     57747    375245   1253461     33.87     26.33  --
270.14/67.76	c  N dy  3073    418171       856     62245       936     45819    375245    848445     37.76     26.37  --
276.52/69.33	c  N dy  3223    438264       856     62245       936     65880    375245   1484538     32.72     26.36  --
282.52/70.81	c  N dy  3372    458283       856     62245       937     52914    375245   1050648     31.50     26.37  --
288.50/72.39	c  N dy  3522    478413       856     62245       937     39058    375245    586438     33.11     26.36  --
294.49/73.86	c  N dy  3671    498447       856     62245       937     59057    375245   1244995     32.39     26.39  --
301.29/75.51	c  N dy  3822    518548       856     62245       937     44177    375245    728352     31.63     26.38  --
307.27/77.07	c  S st  3959    536890       856     62245       937     62495    375245   1324832     33.11     26.40  --
307.67/77.18	c  S st  3959    537393       856     62245       937     62996    375245   1351215     33.11     26.40  --
307.67/77.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
307.67/77.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
312.07/78.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      7 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T:  4.05
312.07/78.21	c Calc non-exist non-lernt bins v-fix:     0 done:    856 time:  0.01 s
312.07/78.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
312.07/78.23	c Subs w/ non-existent bins:     23 time:  0.11 s
312.07/78.27	c bin-w-bin subsume rem           23 bins  time:  0.00 s
312.87/78.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.77 s
312.87/78.47	c Removed useless bin:      46  fixed:     0  bprops:   0.01M  time:  0.00 s
345.62/86.62	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
345.62/86.65	c lits-rem:       110  cl-subs:     2763  v-elim:    811  v-fix:    0  time: 32.68 s
345.62/86.65	c learnt bin added due to v-elim: 0
345.62/86.65	c vivif2 --  cl tried    62245 cl shrink        0 lits rem          0 time: 0.03
345.62/86.68	c vivif2 --  cl tried    60210 cl shrink        0 lits rem          0 time: 0.11
346.02/86.77	c asymm  cl-useful: 0/1463/62245 lits-rem:0 time: 0.36
346.02/86.78	c calculated reachability. Time: 0.00
346.02/86.78	c  N dy  3959    537393       856     62245       875     60210    375153   1256009     33.11     26.40  --
346.02/86.78	c  F st  3959    537393       856     62245       875     60210    375153   1256009     33.11     26.40  --
346.82/86.95	c Decided on static restart strategy
352.82/88.45	c  N dy  4099    557484       856     62245       875     44352    375153    712601     34.59     26.40  --
359.20/90.05	c  N dy  4249    577597       856     62245       875     64433    375153   1353115     34.39     26.40  --
365.60/91.69	c  N dy  4399    597712       856     62245       875     47568    375153    803272     35.48     26.41  --
371.99/93.23	c  N dy  4548    617772       856     62245       875     67592    375153   1449453     31.88     26.42  --
378.38/94.84	c  N dy  4697    637779       856     62245       875     49634    375153    849051     35.73     26.43  --
384.77/96.43	c  N dy  4846    657793       856     62245       875     69621    375153   1498042     30.57     26.44  --
391.16/98.09	c  N dy  4996    677824       856     62245       875     50682    375153    845733     31.87     26.43  --
397.57/99.63	c  N dy  5145    697912       856     62245       875     70746    375153   1498330     35.21     26.44  --
403.94/101.26	c  N dy  5294    717976       856     62245       875     50833    375153    826074     28.93     26.44  --
410.35/102.85	c  N dy  5443    738032       856     62245       875     70861    375153   1461503     32.45     26.44  --
417.13/104.53	c  N dy  5593    758059       856     62245       875     49928    375153    773074     33.85     26.44  --
423.12/106.06	c  N dy  5743    778174       856     62245       875     70006    375153   1424677     34.45     26.45  --
430.31/107.81	c  N dy  5893    798214       883     62245       970     48117    375301    700597     31.70     26.45  --
432.73/108.46	c  S st  5952    806089       883     62245       970     55981    375301    946762     31.78     26.44  --
433.10/108.57	c  S st  5952    806591       883     62245       970     56481    375301    974026     31.78     26.44  --
433.10/108.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
433.10/108.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
436.72/109.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:      9 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T:  3.55
436.72/109.46	c Calc non-exist non-lernt bins v-fix:     0 done:    883 time:  0.01 s
436.72/109.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
436.72/109.49	c Subs w/ non-existent bins:     15 time:  0.09 s
436.72/109.50	c Replacing        3 vars Replaced     1396 lits Time:     0.04 s 
437.12/109.53	c bin-w-bin subsume rem           20 bins  time:  0.00 s
437.50/109.63	c subs with bin:        9  lits-rem:         9  v-fix:    0  time:  0.44 s
437.50/109.63	c Removed useless bin:      28  fixed:     0  bprops:   0.01M  time:  0.00 s
454.69/113.95	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
454.69/113.98	c lits-rem:        93  cl-subs:     1651  v-elim:    811  v-fix:    0  time: 17.35 s
454.69/113.98	c learnt bin added due to v-elim: 0
454.69/113.99	c vivif2 --  cl tried    62245 cl shrink        0 lits rem          0 time: 0.03
455.07/114.01	c vivif2 --  cl tried    54806 cl shrink        0 lits rem          0 time: 0.08
455.07/114.09	c asymm  cl-useful: 0/1157/62245 lits-rem:0 time: 0.33
455.07/114.09	c calculated reachability. Time: 0.00
455.07/114.09	c  N dy  5952    806591       880     62245       928     54806    375221    929356     31.78     26.44  --
461.87/115.75	c  N dy  6102    826707       880     62245       928     74898    375221   1569193     32.89     26.44  --
468.66/117.48	c  N dy  6253    846830       880     62245       928     52042    375221    801410     31.62     26.44  --
475.05/119.07	c  N dy  6402    866872       880     62245       928     72054    375221   1451510     31.81     26.45  --
482.63/120.99	c  N dy  6553    886996       880     62245       928     48207    375221    654968     32.25     26.44  --
489.03/122.53	c  N dy  6704    907088       880     62245       928     68279    375221   1303658     30.90     26.44  --
496.22/124.33	c  N dy  6854    927162       880     62245       928     88327    375221   1937343     31.39     26.43  --
502.62/125.96	c  N dy  7005    947260       880     62245       928     63457    375221   1117364     31.77     26.42  --
509.40/127.67	c  N dy  7154    967323       880     62245       928     83497    375221   1769445     31.23     26.43  --
516.59/129.44	c  N dy  7304    987409       880     62245       928     57613    375221    912076     32.64     26.42  --
523.78/131.20	c  N dy  7455   1007517       880     62245       928     77688    375221   1561158     34.83     26.43  --
531.36/133.12	c  N dy  7606   1027624       880     62245       928     50831    375221    677482     32.22     26.43  --
537.37/134.67	c  N dy  7756   1047648       880     62245       928     70814    375221   1316639     32.73     26.43  --
544.56/136.48	c  N dy  7906   1067661       880     62245       928     90809    375221   1951540     33.23     26.43  --
551.73/138.25	c  N dy  8056   1087729       880     62245       928     62926    375221   1043311     31.11     26.43  --
558.94/140.00	c  N dy  8207   1107861       880     62245       928     83037    375221   1684819     32.10     26.43  --
566.52/141.96	c  N dy  8356   1127863       880     62245       928     54074    375221    735360     32.34     26.43  --
572.93/143.58	c  N dy  8505   1147886       880     62245       928     74070    375221   1390252     31.92     26.44  --
580.91/145.55	c  N dy  8656   1167971       880     62245       928     94130    375221   2031722     30.97     26.44  --
588.09/147.33	c  N dy  8807   1188064       899     62245       985     64271    375311   1036836     32.46     26.43  --
594.90/149.10	c  N dy  8957   1208105       899     62245       985     84286    375311   1673383     30.61     26.42  --
596.08/149.38	c  S st  8971   1209886       899     62245       985     86066    375311   1728486     30.75     26.42  --
596.88/149.51	c  S st  8971   1210390       899     62245       985     86569    375311   1757741     30.75     26.42  --
596.88/149.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
596.88/149.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
600.87/150.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      9 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T:  4.29
601.27/150.60	c Calc non-exist non-lernt bins v-fix:     0 done:    899 time:  0.01 s
601.27/150.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
601.27/150.63	c Subs w/ non-existent bins:      3 time:  0.14 s
601.27/150.64	c Replacing        2 vars Replaced       56 lits Time:     0.04 s 
601.27/150.69	c bin-w-bin subsume rem           16 bins  time:  0.00 s
602.47/150.91	c subs with bin:        8  lits-rem:         8  v-fix:    0  time:  0.90 s
602.47/150.91	c Removed useless bin:       6  fixed:     0  bprops:   0.01M  time:  0.00 s
656.42/164.45	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
660.81/165.51	c Added 10 vars  tried: 80000 time: 4.25
660.81/165.54	c ORs :     10 avg-s:  0.0 cl-sh:  8945 l-rem:   8945 b-add:     21 v-rep:   0 cl-rem: 0 avg s: nan T:    4.37
660.81/165.58	c lits-rem:       111  cl-subs:     3374  v-elim:    811  v-fix:    0  time: 58.59 s
660.81/165.58	c learnt bin added due to v-elim: 0
660.81/165.59	c vivif2 --  cl tried    62255 cl shrink        0 lits rem          0 time: 0.03
661.21/165.63	c vivif2 --  cl tried    83183 cl shrink        0 lits rem          0 time: 0.15
661.59/165.73	c asymm  cl-useful: 0/815/62255 lits-rem:0 time: 0.41
661.59/165.73	c calculated reachability. Time: 0.00
661.59/165.73	c  N dy  8971   1210390       907     62255       993     83183    373263   1639778     30.75     26.42  --
1381.00/345.82	c  N dy  9007   1710394       907     62255       995     85868    373263   3623687    112.09     43.99  --
1381.82/346.01	c  S st  9007   1710394       907     62255       995     85868    373263   3623687    112.09     43.99  --
1381.82/346.01	c Finding binary XORs  T:     0.00 s  found:       3
1382.20/346.18	c  S st  9007   1710897       936     62255      1072     86412    373389   3645409    112.09     43.99  --
1382.20/346.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1382.20/346.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1387.79/347.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T:  5.55
1387.79/347.59	c Calc non-exist non-lernt bins v-fix:     0 done:    936 time:  0.02 s
1387.79/347.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1388.19/347.65	c Subs w/ non-existent bins:      3 time:  0.26 s
1388.19/347.67	c Replacing        3 vars Replaced      481 lits Time:     0.06 s 
1388.59/347.74	c bin-w-bin subsume rem           17 bins  time:  0.00 s
1389.79/348.05	c subs with bin:        8  lits-rem:         9  v-fix:    0  time:  1.26 s
1389.79/348.05	c Removed useless bin:       6  fixed:     0  bprops:   0.01M  time:  0.00 s
1520.42/380.78	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.02
1520.82/380.81	c lits-rem:        44  cl-subs:    34485  v-elim:   1613  v-fix:    0  time: 130.83 s
1520.82/380.81	c learnt bin added due to v-elim: 0
1520.82/380.82	c vivif2 --  cl tried    62255 cl shrink        9 lits rem          9 time: 0.03
1520.82/380.83	c vivif2 --  cl tried    51916 cl shrink        0 lits rem          0 time: 0.07
1521.22/380.92	c asymm  cl-useful: 0/909/62246 lits-rem:0 time: 0.36
1521.22/380.93	c calculated reachability. Time: 0.00
1521.22/380.93	c  N dy  9007   1710897       924     62246      1028     51916    375344    735248    112.09     43.99  --
2535.83/634.92	c  N dy  9011   2210897       924     62246      1028    111422    375344   6776425    129.48     56.68  --
2536.63/635.16	c  S st  9011   2210897       924     62246      1028    111422    375344   6776425    129.48     56.68  --
2537.45/635.37	c  S st  9011   2211398       944     62246      1092    111981    375444   6800956    129.48     56.68  --
2537.45/635.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2537.45/635.38	c Cache  BProp: 0 Set: 0 BXProp: 2 T: 0.00
2546.23/637.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:      1 BRemL:      2 BRemN:      0 CBin:       0 P: 60.0M T:  8.57
2546.23/637.53	c Calc non-exist non-lernt bins v-fix:     0 done:    944 time:  0.02 s
2546.23/637.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2546.61/637.65	c Subs w/ non-existent bins:      2 time:  0.48 s
2548.61/638.10	c Replacing        5 vars Replaced    31584 lits Time:     1.78 s 
2549.00/638.23	c bin-w-bin subsume rem           28 bins  time:  0.00 s
2551.81/638.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.95 s
2551.81/638.97	c Removed useless bin:      14  fixed:     0  bprops:   0.01M  time:  0.00 s
4325.79/1083.09	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.02
4326.17/1083.19	c lits-rem:       342  cl-subs:     8724  v-elim:    797  v-fix:    0  time: 1774.37 s
4326.17/1083.19	c learnt bin added due to v-elim: 0
4326.57/1083.20	c vivif2 --  cl tried    62246 cl shrink        0 lits rem          0 time: 0.03
4326.97/1083.32	c vivif2 --  cl tried   103255 cl shrink        0 lits rem          0 time: 0.50
4327.78/1083.52	c asymm  cl-useful: 0/1041/62246 lits-rem:0 time: 0.78
4327.78/1083.53	c calculated reachability. Time: 0.00
4327.78/1083.53	c  N dy  9011   2211398       939     62246      1031    103255    375382   5978227    129.48     56.68  --

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-3249435-1304130247/watcher-3249435-1304130247 -o /tmp/evaluation-result-3249435-1304130247/solver-3249435-1304130247 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3249435-1304130247.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: 7.65 7.95 8.00 5/180 28023
/proc/meminfo: memFree=30791960/32951124 swapFree=67106388/67111528
[pid=28023] ppid=28021 vsize=52100 CPUtime=0 cores=0,2,4,6
/proc/28023/stat : 28023 (techdemo) R 28021 28023 26718 0 -1 4202496 1225 0 0 0 0 0 0 0 25 0 1 0 505440933 53350400 1160 33554432000 4194304 4797429 140735685759728 18446744073709551615 212039316165 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/28023/statm: 13025 1161 348 148 0 7954 0

[startup+0.03631 s]
/proc/loadavg: 7.65 7.95 8.00 5/180 28023
/proc/meminfo: memFree=30791960/32951124 swapFree=67106388/67111528
[pid=28023] ppid=28021 vsize=55936 CPUtime=0.03 cores=0,2,4,6
/proc/28023/stat : 28023 (techdemo) R 28021 28023 26718 0 -1 4202496 2729 0 0 0 3 0 0 0 25 0 1 0 505440933 57278464 2500 33554432000 4194304 4797429 140735685759728 18446744073709551615 4431799 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/28023/statm: 13984 2504 349 148 0 8913 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 55936

[startup+0.10027 s]
/proc/loadavg: 7.65 7.95 8.00 5/180 28023
/proc/meminfo: memFree=30791960/32951124 swapFree=67106388/67111528
[pid=28023] ppid=28021 vsize=225828 CPUtime=0.11 cores=0,2,4,6
/proc/28023/stat : 28023 (techdemo) R 28021 28023 26718 0 -1 4202496 6005 0 0 0 10 1 0 0 18 0 4 0 505440933 231247872 5310 33554432000 4194304 4797429 140735685759728 18446744073709551615 212039760415 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28023/statm: 56490 5327 374 148 0 51419 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 225828

[startup+0.341848 s]
/proc/loadavg: 7.65 7.95 8.00 5/180 28023
/proc/meminfo: memFree=30791960/32951124 swapFree=67106388/67111528
[pid=28023] ppid=28021 vsize=702196 CPUtime=1.06 cores=0,2,4,6
/proc/28023/stat : 28023 (techdemo) R 28021 28023 26718 0 -1 4202496 15813 0 0 0 103 3 0 0 18 0 4 0 505440933 719048704 11989 33554432000 4194304 4797429 140735685759728 18446744073709551615 212039352520 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28023/statm: 175549 12033 402 148 0 170478 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 702196

[startup+1.30005 s]
/proc/loadavg: 7.65 7.95 8.00 5/180 28023
/proc/meminfo: memFree=30791960/32951124 swapFree=67106388/67111528
[pid=28023] ppid=28021 vsize=715376 CPUtime=4.89 cores=0,2,4,6
/proc/28023/stat : 28023 (techdemo) R 28021 28023 26718 0 -1 4202496 26640 0 0 0 482 7 0 0 18 0 4 0 505440933 732545024 21758 33554432000 4194304 4797429 140735685759728 18446744073709551615 212039316165 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28023/statm: 178844 21758 471 148 0 173773 0
Current children cumulated CPU time (s) 4.89
Current children cumulated vsize (KiB) 715376

[startup+1.50101 s]
/proc/loadavg: 7.65 7.95 8.00 5/180 28023
/proc/meminfo: memFree=30791960/32951124 swapFree=67106388/67111528
[pid=28023] ppid=28021 vsize=715556 CPUtime=5.69 cores=0,2,4,6
/proc/28023/stat : 28023 (techdemo) R 28021 28023 26718 0 -1 4202496 27904 0 0 0 562 7 0 0 19 0 4 0 505440933 732729344 21440 33554432000 4194304 4797429 140735685759728 18446744073709551615 4424626 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28023/statm: 178889 21441 433 148 0 173818 0
Current children cumulated CPU time (s) 5.69
Current children cumulated vsize (KiB) 715556

[startup+3.10072 s]
/proc/loadavg: 7.76 7.97 8.00 9/184 28027
/proc/meminfo: memFree=30703392/32951124 swapFree=67106388/67111528
[pid=28023] ppid=28021 vsize=717284 CPUtime=12.08 cores=0,2,4,6
/proc/28023/stat : 28023 (techdemo) R 28021 28023 26718 0 -1 4202496 28799 0 0 0 1201 7 0 0 22 0 4 0 505440933 734498816 22315 33554432000 4194304 4797429 140735685759728 18446744073709551615 4523971 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28023/statm: 179321 22315 424 148 0 174250 0
[pid=28023/tid=28025] ppid=28021 vsize=717284 CPUtime=2.99 cores=0,2,4,6
/proc/28023/task/28025/stat : 28025 (techdemo) R 28021 28023 26718 0 -1 4202560 5457 0 0 0 298 1 0 0 24 0 4 0 505440942 734498816 22315 33554432000 4194304 4797429 140735685759728 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28023/tid=28026] ppid=28021 vsize=717284 CPUtime=2.99 cores=0,2,4,6
/proc/28023/task/28026/stat : 28026 (techdemo) R 28021 28023 26718 0 -1 4202560 4879 0 0 0 298 1 0 0 22 0 4 0 505440942 734498816 22315 33554432000 4194304 4797429 140735685759728 18446744073709551615 4524184 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28023/tid=28027] ppid=28021 vsize=717284 CPUtime=2.98 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (techdemo) R 28021 28023 26718 0 -1 4202560 5283 0 0 0 297 1 0 0 23 0 4 0 505440942 734498816 22315 33554432000 4194304 4797429 140735685759728 18446744073709551615 4524184 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.08
Current children cumulated vsize (KiB) 717284

[startup+6.30115 s]
/proc/loadavg: 7.76 7.97 8.00 9/184 28028
/proc/meminfo: memFree=30684544/32951124 swapFree=67106388/67111528
[pid=28023] ppid=28021 vsize=720688 CPUtime=24.87 cores=0,2,4,6
/proc/28023/stat : 28023 (techdemo) R 28021 28023 26718 0 -1 4202496 33088 0 0 0 2478 9 0 0 25 0 4 0 505440933 737984512 26404 33554432000 4194304 4797429 140735685759728 18446744073709551615 4415657 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28023/statm: 180172 26404 417 148 0 175101 0
[pid=28023/tid=28025] ppid=28021 vsize=720688 CPUtime=6.2 cores=0,2,4,6
/proc/28023/task/28025/stat : 28025 (techdemo) R 28021 28023 26718 0 -1 4202560 6489 0 0 0 618 2 0 0 25 0 4 0 505440942 737984512 26404 33554432000 4194304 4797429 140735685759728 18446744073709551615 4524101 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28023/tid=28026] ppid=28021 vsize=720688 CPUtime=6.2 cores=0,2,4,6
/proc/28023/task/28026/stat : 28026 (techdemo) R 28021 28023 26718 0 -1 4202560 5849 0 0 0 618 2 0 0 25 0 4 0 505440942 737984512 26404 33554432000 4194304 4797429 140735685759728 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28023/tid=28027] ppid=28021 vsize=720688 CPUtime=6.16 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (techdemo) R 28021 28023 26718 0 -1 4202560 6252 0 0 0 615 1 0 0 25 0 4 0 505440942 737984512 26404 33554432000 4194304 4797429 140735685759728 18446744073709551615 4523861 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.87
Current children cumulated vsize (KiB) 720688

[startup+12.707 s]
/proc/loadavg: 7.79 7.97 8.00 9/184 28028
/proc/meminfo: memFree=30656436/32951124 swapFree=67106388/67111528
[pid=28023] ppid=28021 vsize=728288 CPUtime=50.45 cores=0,2,4,6
/proc/28023/stat : 28023 (techdemo) R 28021 28023 26718 0 -1 4202496 37948 0 0 0 5035 10 0 0 25 0 4 0 505440933 745766912 28843 33554432000 4194304 4797429 140735685759728 18446744073709551615 4528232 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28023/statm: 182072 28843 419 148 0 177001 0
[pid=28023/tid=28025] ppid=28021 vsize=728288 CPUtime=12.6 cores=0,2,4,6
/proc/28023/task/28025/stat : 28025 (techdemo) R 28021 28023 26718 0 -1 4202560 7065 0 0 0 1258 2 0 0 25 0 4 0 505440942 745766912 28843 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28023/tid=28026] ppid=28021 vsize=728288 CPUtime=12.6 cores=0,2,4,6
/proc/28023/task/28026/stat : 28026 (techdemo) R 28021 28023 26718 0 -1 4202560 6326 0 0 0 1258 2 0 0 25 0 4 0 505440942 745766912 28843 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28023/tid=28027] ppid=28021 vsize=728288 CPUtime=12.53 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (techdemo) R 28021 28023 26718 0 -1 4202560 6676 0 0 0 1252 1 0 0 25 0 4 0 505440942 745766912 28843 33554432000 4194304 4797429 140735685759728 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.45
Current children cumulated vsize (KiB) 728288

[startup+25.5007 s]
/proc/loadavg: 7.82 7.97 8.00 9/184 28028
/proc/meminfo: memFree=30635232/32951124 swapFree=67106388/67111528
[pid=28023] ppid=28021 vsize=733076 CPUtime=101.57 cores=0,2,4,6
/proc/28023/stat : 28023 (techdemo) R 28021 28023 26718 0 -1 4202496 43843 0 0 0 10146 11 0 0 25 0 4 0 505440933 750669824 32855 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568105 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28023/statm: 183269 32855 420 148 0 178198 0
[pid=28023/tid=28025] ppid=28021 vsize=733076 CPUtime=25.4 cores=0,2,4,6
/proc/28023/task/28025/stat : 28025 (techdemo) R 28021 28023 26718 0 -1 4202560 7771 0 0 0 2538 2 0 0 25 0 4 0 505440942 750669824 32855 33554432000 4194304 4797429 140735685759728 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28023/tid=28026] ppid=28021 vsize=733076 CPUtime=25.39 cores=0,2,4,6
/proc/28023/task/28026/stat : 28026 (techdemo) R 28021 28023 26718 0 -1 4202560 6807 0 0 0 2537 2 0 0 25 0 4 0 505440942 750669824 32855 33554432000 4194304 4797429 140735685759728 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28023/tid=28027] ppid=28021 vsize=733076 CPUtime=25.27 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (techdemo) R 28021 28023 26718 0 -1 4202560 7417 0 0 0 2525 2 0 0 25 0 4 0 505440942 750669824 32855 33554432000 4194304 4797429 140735685759728 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.57
Current children cumulated vsize (KiB) 733076

[startup+51.1012 s]
/proc/loadavg: 7.88 7.97 8.00 9/184 28031
/proc/meminfo: memFree=30595736/32951124 swapFree=67106388/67111528
[pid=28023] ppid=28021 vsize=743308 CPUtime=203.84 cores=0,2,4,6
/proc/28023/stat : 28023 (techdemo) R 28021 28023 26718 0 -1 4202496 60615 0 0 0 20367 17 0 0 25 0 4 0 505440933 761147392 36735 33554432000 4194304 4797429 140735685759728 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28023/statm: 185827 36735 420 148 0 180756 0
[pid=28023/tid=28025] ppid=28021 vsize=743308 CPUtime=51 cores=0,2,4,6
/proc/28023/task/28025/stat : 28025 (techdemo) R 28021 28023 26718 0 -1 4202560 8195 0 0 0 5098 2 0 0 25 0 4 0 505440942 761147392 36735 33554432000 4194304 4797429 140735685759728 18446744073709551615 4524184 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28023/tid=28026] ppid=28021 vsize=743308 CPUtime=50.99 cores=0,2,4,6
/proc/28023/task/28026/stat : 28026 (techdemo) R 28021 28023 26718 0 -1 4202560 7184 0 0 0 5097 2 0 0 25 0 4 0 505440942 761147392 36735 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28023/tid=28027] ppid=28021 vsize=743308 CPUtime=50.73 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (techdemo) R 28021 28023 26718 0 -1 4202560 8053 0 0 0 5071 2 0 0 25 0 4 0 505440942 761147392 36735 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.84
Current children cumulated vsize (KiB) 743308

[startup+102.301 s]
/proc/loadavg: 8.25 8.08 8.03 9/184 28033
/proc/meminfo: memFree=30560584/32951124 swapFree=67106388/67111528
[pid=28023] ppid=28021 vsize=758420 CPUtime=408.34 cores=0,2,4,6
/proc/28023/stat : 28023 (techdemo) R 28021 28023 26718 0 -1 4202496 97446 0 0 0 40808 26 0 0 25 0 4 0 505440933 776622080 40195 33554432000 4194304 4797429 140735685759728 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28023/statm: 189605 40195 422 148 0 184534 0
[pid=28023/tid=28025] ppid=28021 vsize=758420 CPUtime=102.19 cores=0,2,4,6
/proc/28023/task/28025/stat : 28025 (techdemo) R 28021 28023 26718 0 -1 4202560 9199 0 0 0 10217 2 0 0 25 0 4 0 505440942 776622080 40195 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28023/tid=28026] ppid=28021 vsize=758420 CPUtime=102.19 cores=0,2,4,6
/proc/28023/task/28026/stat : 28026 (techdemo) R 28021 28023 26718 0 -1 4202560 8851 0 0 0 10216 3 0 0 25 0 4 0 505440942 776622080 40195 33554432000 4194304 4797429 140735685759728 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28023/tid=28027] ppid=28021 vsize=758420 CPUtime=101.65 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (techdemo) R 28021 28023 26718 0 -1 4202560 9768 0 0 0 10162 3 0 0 25 0 4 0 505440942 776622080 40195 33554432000 4194304 4797429 140735685759728 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.34
Current children cumulated vsize (KiB) 758420

[startup+162.306 s]
/proc/loadavg: 8.12 8.07 8.03 9/184 28035
/proc/meminfo: memFree=30554548/32951124 swapFree=67106388/67111528
[pid=28023] ppid=28021 vsize=764072 CPUtime=648.03 cores=0,2,4,6
/proc/28023/stat : 28023 (techdemo) R 28021 28023 26718 0 -1 4202496 132519 0 0 0 64766 37 0 0 25 0 4 0 505440933 782409728 43995 33554432000 4194304 4797429 140735685759728 18446744073709551615 4567988 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28023/statm: 191018 43995 451 148 0 185947 0
[pid=28023/tid=28025] ppid=28021 vsize=764072 CPUtime=162.2 cores=0,2,4,6
/proc/28023/task/28025/stat : 28025 (techdemo) R 28021 28023 26718 0 -1 4202560 11423 0 0 0 16217 3 0 0 25 0 4 0 505440942 782409728 43995 33554432000 4194304 4797429 140735685759728 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28023/tid=28026] ppid=28021 vsize=764072 CPUtime=162.2 cores=0,2,4,6
/proc/28023/task/28026/stat : 28026 (techdemo) R 28021 28023 26718 0 -1 4202560 9762 0 0 0 16217 3 0 0 25 0 4 0 505440942 782409728 43995 33554432000 4194304 4797429 140735685759728 18446744073709551615 4428884 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28023/tid=28027] ppid=28021 vsize=764072 CPUtime=161.32 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (techdemo) R 28021 28023 26718 0 -1 4202560 10649 0 0 0 16129 3 0 0 25 0 4 0 505440942 782409728 43995 33554432000 4194304 4797429 140735685759728 18446744073709551615 4524394 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 648.03
Current children cumulated vsize (KiB) 764072

[startup+222.301 s]
/proc/loadavg: 8.12 8.09 8.04 9/184 28036
/proc/meminfo: memFree=30506384/32951124 swapFree=67106388/67111528
[pid=28023] ppid=28021 vsize=770816 CPUtime=887.68 cores=0,2,4,6
/proc/28023/stat : 28023 (techdemo) R 28021 28023 26718 0 -1 4202496 157395 0 0 0 88718 50 0 0 25 0 4 0 505440933 789315584 51463 33554432000 4194304 4797429 140735685759728 18446744073709551615 4351624 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28023/statm: 192704 51463 422 148 0 187633 0
[pid=28023/tid=28025] ppid=28021 vsize=770816 CPUtime=222.2 cores=0,2,4,6
/proc/28023/task/28025/stat : 28025 (techdemo) R 28021 28023 26718 0 -1 4202560 12150 0 0 0 22217 3 0 0 25 0 4 0 505440942 789315584 51463 33554432000 4194304 4797429 140735685759728 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28023/tid=28026] ppid=28021 vsize=770816 CPUtime=222.19 cores=0,2,4,6
/proc/28023/task/28026/stat : 28026 (techdemo) R 28021 28023 26718 0 -1 4202560 10294 0 0 0 22216 3 0 0 25 0 4 0 505440942 789315584 51463 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28023/tid=28027] ppid=28021 vsize=770816 CPUtime=220.99 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (techdemo) R 28021 28023 26718 0 -1 4202560 11532 0 0 0 22096 3 0 0 25 0 4 0 505440942 789315584 51463 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 887.68
Current children cumulated vsize (KiB) 770816

[startup+282.301 s]
/proc/loadavg: 8.14 8.10 8.04 9/184 28038
/proc/meminfo: memFree=30501872/32951124 swapFree=67106388/67111528
[pid=28023] ppid=28021 vsize=778336 CPUtime=1127.35 cores=0,2,4,6
/proc/28023/stat : 28023 (techdemo) R 28021 28023 26718 0 -1 4202496 185744 0 0 0 112675 60 0 0 25 0 4 0 505440933 797016064 50972 33554432000 4194304 4797429 140735685759728 18446744073709551615 4341178 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28023/statm: 194584 50972 422 148 0 189513 0
[pid=28023/tid=28025] ppid=28021 vsize=778336 CPUtime=282.2 cores=0,2,4,6

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

[pid=28023] ppid=28021 vsize=868192 CPUtime=2565.39 cores=0,2,4,6
/proc/28023/stat : 28023 (techdemo) R 28021 28023 26718 0 -1 4202496 311141 0 0 0 256430 109 0 0 25 0 4 0 505440933 889028608 70951 33554432000 4194304 4797429 140735685759728 18446744073709551615 4506608 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28023/statm: 217048 70951 422 148 0 211977 0
[pid=28023/tid=28025] ppid=28021 vsize=868192 CPUtime=642.21 cores=0,2,4,6
/proc/28023/task/28025/stat : 28025 (techdemo) R 28021 28023 26718 0 -1 4202560 20715 0 0 0 64215 6 0 0 25 0 4 0 505440942 889028608 70951 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568114 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28023/tid=28026] ppid=28021 vsize=868192 CPUtime=642.2 cores=0,2,4,6
/proc/28023/task/28026/stat : 28026 (techdemo) R 28021 28023 26718 0 -1 4202560 18876 0 0 0 64214 6 0 0 25 0 4 0 505440942 889028608 70951 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28023/tid=28027] ppid=28021 vsize=868192 CPUtime=638.7 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (techdemo) R 28021 28023 26718 0 -1 4202560 19474 0 0 0 63865 5 0 0 25 0 4 0 505440942 889028608 70951 33554432000 4194304 4797429 140735685759728 18446744073709551615 4495559 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2565.39
Current children cumulated vsize (KiB) 868192

[startup+702.301 s]
/proc/loadavg: 8.02 8.07 8.05 9/184 28049
/proc/meminfo: memFree=30357020/32951124 swapFree=67106388/67111528
[pid=28023] ppid=28021 vsize=871140 CPUtime=2805.07 cores=0,2,4,6
/proc/28023/stat : 28023 (techdemo) R 28021 28023 26718 0 -1 4202496 313745 0 0 0 280397 110 0 0 25 0 4 0 505440933 892047360 71463 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568098 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28023/statm: 217785 71463 422 148 0 212714 0
[pid=28023/tid=28025] ppid=28021 vsize=871140 CPUtime=702.22 cores=0,2,4,6
/proc/28023/task/28025/stat : 28025 (techdemo) R 28021 28023 26718 0 -1 4202560 22499 0 0 0 70215 7 0 0 25 0 4 0 505440942 892047360 71463 33554432000 4194304 4797429 140735685759728 18446744073709551615 4424622 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28023/tid=28026] ppid=28021 vsize=871140 CPUtime=702.22 cores=0,2,4,6
/proc/28023/task/28026/stat : 28026 (techdemo) R 28021 28023 26718 0 -1 4202560 19223 0 0 0 70215 7 0 0 25 0 4 0 505440942 892047360 71463 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28023/tid=28027] ppid=28021 vsize=871140 CPUtime=698.38 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (techdemo) R 28021 28023 26718 0 -1 4202560 19947 0 0 0 69832 6 0 0 25 0 4 0 505440942 892047360 71463 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.07
Current children cumulated vsize (KiB) 871140

[startup+762.301 s]
/proc/loadavg: 8.01 8.06 8.04 9/184 28051
/proc/meminfo: memFree=30351756/32951124 swapFree=67106388/67111528
[pid=28023] ppid=28021 vsize=872756 CPUtime=3044.73 cores=0,2,4,6
/proc/28023/stat : 28023 (techdemo) R 28021 28023 26718 0 -1 4202496 316394 0 0 0 304361 112 0 0 25 0 4 0 505440933 893702144 71953 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28023/statm: 218189 71953 422 148 0 213118 0
[pid=28023/tid=28025] ppid=28021 vsize=872756 CPUtime=762.21 cores=0,2,4,6
/proc/28023/task/28025/stat : 28025 (techdemo) R 28021 28023 26718 0 -1 4202560 23156 0 0 0 76214 7 0 0 25 0 4 0 505440942 893702144 71953 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28023/tid=28026] ppid=28021 vsize=872756 CPUtime=762.21 cores=0,2,4,6
/proc/28023/task/28026/stat : 28026 (techdemo) R 28021 28023 26718 0 -1 4202560 20862 0 0 0 76214 7 0 0 25 0 4 0 505440942 893702144 71953 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28023/tid=28027] ppid=28021 vsize=872756 CPUtime=758.05 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (techdemo) R 28021 28023 26718 0 -1 4202560 20300 0 0 0 75799 6 0 0 25 0 4 0 505440942 893702144 71953 33554432000 4194304 4797429 140735685759728 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3044.73
Current children cumulated vsize (KiB) 872756

[startup+822.306 s]
/proc/loadavg: 8.00 8.04 8.04 9/184 28052
/proc/meminfo: memFree=30347980/32951124 swapFree=67106388/67111528
[pid=28023] ppid=28021 vsize=872844 CPUtime=3284.42 cores=0,2,4,6
/proc/28023/stat : 28023 (techdemo) R 28021 28023 26718 0 -1 4202496 318838 0 0 0 328329 113 0 0 25 0 4 0 505440933 893792256 71864 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568062 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28023/statm: 218211 71864 422 148 0 213140 0
[pid=28023/tid=28025] ppid=28021 vsize=872844 CPUtime=822.22 cores=0,2,4,6
/proc/28023/task/28025/stat : 28025 (techdemo) R 28021 28023 26718 0 -1 4202560 23552 0 0 0 82214 8 0 0 25 0 4 0 505440942 893792256 71864 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28023/tid=28026] ppid=28021 vsize=872844 CPUtime=822.22 cores=0,2,4,6
/proc/28023/task/28026/stat : 28026 (techdemo) R 28021 28023 26718 0 -1 4202560 21338 0 0 0 82214 8 0 0 25 0 4 0 505440942 893792256 71864 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28023/tid=28027] ppid=28021 vsize=872844 CPUtime=817.73 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (techdemo) R 28021 28023 26718 0 -1 4202560 21872 0 0 0 81766 7 0 0 25 0 4 0 505440942 893792256 71864 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.42
Current children cumulated vsize (KiB) 872844

[startup+882.301 s]
/proc/loadavg: 8.00 8.03 8.03 9/184 28054
/proc/meminfo: memFree=30324612/32951124 swapFree=67106388/67111528
[pid=28023] ppid=28021 vsize=872884 CPUtime=3524.07 cores=0,2,4,6
/proc/28023/stat : 28023 (techdemo) R 28021 28023 26718 0 -1 4202496 321557 0 0 0 352293 114 0 0 25 0 4 0 505440933 893833216 72166 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568069 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28023/statm: 218221 72166 422 148 0 213150 0
[pid=28023/tid=28025] ppid=28021 vsize=872884 CPUtime=882.21 cores=0,2,4,6
/proc/28023/task/28025/stat : 28025 (techdemo) R 28021 28023 26718 0 -1 4202560 25343 0 0 0 88213 8 0 0 25 0 4 0 505440942 893833216 72166 33554432000 4194304 4797429 140735685759728 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28023/tid=28026] ppid=28021 vsize=872884 CPUtime=882.22 cores=0,2,4,6
/proc/28023/task/28026/stat : 28026 (techdemo) R 28021 28023 26718 0 -1 4202560 21724 0 0 0 88214 8 0 0 25 0 4 0 505440942 893833216 72166 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28023/tid=28027] ppid=28021 vsize=872884 CPUtime=877.4 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (techdemo) R 28021 28023 26718 0 -1 4202560 22414 0 0 0 87733 7 0 0 25 0 4 0 505440942 893833216 72166 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.07
Current children cumulated vsize (KiB) 872884

[startup+942.301 s]
/proc/loadavg: 8.03 8.04 8.03 9/184 28056
/proc/meminfo: memFree=30285996/32951124 swapFree=67106388/67111528
[pid=28023] ppid=28021 vsize=873728 CPUtime=3763.74 cores=0,2,4,6
/proc/28023/stat : 28023 (techdemo) R 28021 28023 26718 0 -1 4202496 324376 0 0 0 376259 115 0 0 25 0 4 0 505440933 894697472 72530 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568069 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28023/statm: 218432 72530 422 148 0 213361 0
[pid=28023/tid=28025] ppid=28021 vsize=873728 CPUtime=942.21 cores=0,2,4,6
/proc/28023/task/28025/stat : 28025 (techdemo) R 28021 28023 26718 0 -1 4202560 25962 0 0 0 94213 8 0 0 25 0 4 0 505440942 894697472 72530 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28023/tid=28026] ppid=28021 vsize=873728 CPUtime=942.21 cores=0,2,4,6
/proc/28023/task/28026/stat : 28026 (techdemo) R 28021 28023 26718 0 -1 4202560 23580 0 0 0 94213 8 0 0 25 0 4 0 505440942 894697472 72530 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28023/tid=28027] ppid=28021 vsize=873728 CPUtime=937.07 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (techdemo) R 28021 28023 26718 0 -1 4202560 22758 0 0 0 93700 7 0 0 25 0 4 0 505440942 894697472 72530 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3763.74
Current children cumulated vsize (KiB) 873728

[startup+1002.3 s]
/proc/loadavg: 8.08 8.06 8.04 9/184 28057
/proc/meminfo: memFree=30282968/32951124 swapFree=67106388/67111528
[pid=28023] ppid=28021 vsize=874412 CPUtime=4003.41 cores=0,2,4,6
/proc/28023/stat : 28023 (techdemo) R 28021 28023 26718 0 -1 4202496 326967 0 0 0 400226 115 0 0 25 0 4 0 505440933 895397888 72611 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568098 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28023/statm: 218603 72611 422 148 0 213532 0
[pid=28023/tid=28025] ppid=28021 vsize=874412 CPUtime=1002.21 cores=0,2,4,6
/proc/28023/task/28025/stat : 28025 (techdemo) R 28021 28023 26718 0 -1 4202560 26429 0 0 0 100213 8 0 0 25 0 4 0 505440942 895397888 72611 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28023/tid=28026] ppid=28021 vsize=874412 CPUtime=1002.21 cores=0,2,4,6
/proc/28023/task/28026/stat : 28026 (techdemo) R 28021 28023 26718 0 -1 4202560 24059 0 0 0 100213 8 0 0 25 0 4 0 505440942 895397888 72611 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28023/tid=28027] ppid=28021 vsize=874412 CPUtime=996.74 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (techdemo) R 28021 28023 26718 0 -1 4202560 24403 0 0 0 99667 7 0 0 25 0 4 0 505440942 895397888 72611 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.41
Current children cumulated vsize (KiB) 874412

[startup+1062.3 s]
/proc/loadavg: 8.13 8.07 8.04 9/184 28059
/proc/meminfo: memFree=30281060/32951124 swapFree=67106388/67111528
[pid=28023] ppid=28021 vsize=875484 CPUtime=4243.08 cores=0,2,4,6
/proc/28023/stat : 28023 (techdemo) R 28021 28023 26718 0 -1 4202496 329946 0 0 0 424191 117 0 0 25 0 4 0 505440933 896495616 73048 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568098 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28023/statm: 218871 73048 422 148 0 213800 0
[pid=28023/tid=28025] ppid=28021 vsize=875484 CPUtime=1062.22 cores=0,2,4,6
/proc/28023/task/28025/stat : 28025 (techdemo) R 28021 28023 26718 0 -1 4202560 28378 0 0 0 106213 9 0 0 25 0 4 0 505440942 896495616 73048 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568048 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28023/tid=28026] ppid=28021 vsize=875484 CPUtime=1062.21 cores=0,2,4,6
/proc/28023/task/28026/stat : 28026 (techdemo) R 28021 28023 26718 0 -1 4202560 24426 0 0 0 106213 8 0 0 25 0 4 0 505440942 896495616 73048 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28023/tid=28027] ppid=28021 vsize=875484 CPUtime=1056.41 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (techdemo) R 28021 28023 26718 0 -1 4202560 25066 0 0 0 105633 8 0 0 25 0 4 0 505440942 896495616 73048 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.08
Current children cumulated vsize (KiB) 875484

[startup+1122.3 s]
/proc/loadavg: 8.05 8.06 8.04 9/184 28060
/proc/meminfo: memFree=30274056/32951124 swapFree=67106388/67111528
[pid=28023] ppid=28021 vsize=879348 CPUtime=4482.76 cores=0,2,4,6
/proc/28023/stat : 28023 (techdemo) R 28021 28023 26718 0 -1 4202496 343741 0 0 0 448154 122 0 0 25 0 4 0 505440933 900452352 74044 33554432000 4194304 4797429 140735685759728 18446744073709551615 4425049 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28023/statm: 219837 74044 422 148 0 214766 0
[pid=28023/tid=28025] ppid=28021 vsize=879348 CPUtime=1122.22 cores=0,2,4,6
/proc/28023/task/28025/stat : 28025 (techdemo) R 28021 28023 26718 0 -1 4202560 28940 0 0 0 112212 10 0 0 25 0 4 0 505440942 900452352 74044 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28023/tid=28026] ppid=28021 vsize=879348 CPUtime=1122.22 cores=0,2,4,6
/proc/28023/task/28026/stat : 28026 (techdemo) R 28021 28023 26718 0 -1 4202560 26259 0 0 0 112213 9 0 0 25 0 4 0 505440942 900452352 74044 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28023/tid=28027] ppid=28021 vsize=879348 CPUtime=1116.09 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (techdemo) R 28021 28023 26718 0 -1 4202560 25411 0 0 0 111601 8 0 0 25 0 4 0 505440942 900452352 74044 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4482.76
Current children cumulated vsize (KiB) 879348

[startup+1182.3 s]
/proc/loadavg: 7.69 7.98 8.01 5/176 28080
/proc/meminfo: memFree=30761968/32951124 swapFree=67106388/67111528
[pid=28023] ppid=28021 vsize=881752 CPUtime=4722.43 cores=0,2,4,6
/proc/28023/stat : 28023 (techdemo) R 28021 28023 26718 0 -1 4202496 361943 0 0 0 472112 131 0 0 25 0 4 0 505440933 902914048 73420 33554432000 4194304 4797429 140735685759728 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28023/statm: 220438 73420 422 148 0 215367 0
[pid=28023/tid=28025] ppid=28021 vsize=881752 CPUtime=1182.22 cores=0,2,4,6
/proc/28023/task/28025/stat : 28025 (techdemo) R 28021 28023 26718 0 -1 4202560 29287 0 0 0 118212 10 0 0 25 0 4 0 505440942 902914048 73420 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28023/tid=28026] ppid=28021 vsize=881752 CPUtime=1182.22 cores=0,2,4,6
/proc/28023/task/28026/stat : 28026 (techdemo) R 28021 28023 26718 0 -1 4202560 26853 0 0 0 118213 9 0 0 25 0 4 0 505440942 902914048 73420 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28023/tid=28027] ppid=28021 vsize=881752 CPUtime=1175.76 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (techdemo) R 28021 28023 26718 0 -1 4202560 25801 0 0 0 117568 8 0 0 25 0 4 0 505440942 902914048 73420 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.43
Current children cumulated vsize (KiB) 881752



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.81 s]
/proc/loadavg: 6.65 7.72 7.92 5/175 28080
/proc/meminfo: memFree=30747328/32951124 swapFree=67106388/67111528
[pid=28023] ppid=28021 vsize=881752 CPUtime=4800.38 cores=0,2,4,6
/proc/28023/stat : 28023 (techdemo) R 28021 28023 26718 0 -1 4202496 365783 0 0 0 479904 134 0 0 25 0 4 0 505440933 902914048 77180 33554432000 4194304 4797429 140735685759728 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28023/statm: 220438 77180 422 148 0 215367 0
[pid=28023/tid=28025] ppid=28021 vsize=881752 CPUtime=1201.73 cores=0,2,4,6
/proc/28023/task/28025/stat : 28025 (techdemo) R 28021 28023 26718 0 -1 4202560 29412 0 0 0 120163 10 0 0 25 0 4 0 505440942 902914048 77180 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28023/tid=28026] ppid=28021 vsize=881752 CPUtime=1201.73 cores=0,2,4,6
/proc/28023/task/28026/stat : 28026 (techdemo) R 28021 28023 26718 0 -1 4202560 26927 0 0 0 120164 9 0 0 25 0 4 0 505440942 902914048 77180 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28023/tid=28027] ppid=28021 vsize=881752 CPUtime=1195.18 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (techdemo) R 28021 28023 26718 0 -1 4202560 25878 0 0 0 119510 8 0 0 25 0 4 0 505440942 902914048 77180 33554432000 4194304 4797429 140735685759728 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 881752

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.83
CPU time (s): 4800.43
CPU user time (s): 4799.07
CPU system time (s): 1.35879
CPU usage (%): 399.425
Max. virtual memory (cumulated for all children) (KiB): 893752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.07
system time used= 1.35879
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 365784
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= 4678
involuntary context switches= 26037

runsolver used 2.00169 second user time and 4.54231 second system time

The end

Launcher Data 

Begin job on node146 at 2011-04-30 04:24:07
IDJOB=3249435
IDBENCH=83170
IDSOLVER=1584
FILE ID=node146/3249435-1304130247
RUNJOBID= node146-1304130222-27880
PBS_JOBID= 13170750
Free space on /tmp= 73336 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/crafted/mosoi/289/289-unsat-7x39.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3249435-1304130247/watcher-3249435-1304130247 -o /tmp/evaluation-result-3249435-1304130247/solver-3249435-1304130247 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3249435-1304130247.cnf

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

MD5SUM BENCH= f717554c4e7f802b3078c48464dbcd9d
RANDOM SEED=49846133

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30792860 kB
Buffers:        399040 kB
Cached:        1075576 kB
SwapCached:        636 kB
Active:         374796 kB
Inactive:      1410476 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30792860 kB
SwapTotal:    67111528 kB
SwapFree:     67106388 kB
Dirty:           20784 kB
Writeback:           0 kB
AnonPages:      310012 kB
Mapped:          15516 kB
Slab:           310184 kB
PageTables:       5764 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   900308 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73340 MiB
End job on node146 at 2011-04-30 04:44:11