Trace number 3262109

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-mtUNSAT 2445.08 612.367

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-19_348.cnf
MD5SUMd56eb1fbc523242359df78e10ae2a44f
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark60.0609
Satisfiable
(Un)Satisfiability was proved
Number of variables174
Number of clauses16458
Sum of the clauses size73267
Maximum clause length19
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 258
Number of clauses of size 314898
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51502

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-3262109-1304132811.cnf'
0.00/0.00	c -- header says num vars:            174
0.00/0.00	c -- header says num clauses:       16458
0.00/0.02	c -- clauses added:            0 learnts,        16458 normals,            0 xors
0.00/0.02	c -- vars added        174
0.00/0.02	c Parsing time:  0.02 s
0.00/0.03	c  N st     0         0       174     16400        58         0     73267         0   no data   no data  --
0.70/0.23	c asymm  cl-useful: 1/14751/16400 lits-rem:1 time: 0.81
0.70/0.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.01
0.70/0.24	c Calc non-exist non-lernt bins v-fix:     0 done:    174 time:  0.00 s
0.70/0.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.70/0.24	c Subs w/ non-existent bins:      0 time:  0.00 s
3.09/0.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.09/0.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.09/0.84	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3.09/0.84	c lits-rem:         0  cl-subs:        1  v-elim:    116  v-fix:    0  time:  0.20 s
3.09/0.84	c learnt bin added due to v-elim: 0
3.09/0.84	c Finding binary XORs  T:     0.00 s  found:       0
3.09/0.84	c Finding non-binary XORs:     0.07 s (found:       0, avg size: nan)
3.09/0.84	c calculated reachability. Time: 0.00
3.09/0.84	c Calc default polars -  time:   0.00 s pos:     174 undec:       0 neg:       0
3.09/0.84	c =========================================================================================
3.09/0.84	c types(t): F = full restart, N = normal restart
3.09/0.84	c types(t): S = simplification begin/end, E = solution found
3.09/0.84	c restart types(rt): st = static, dy = dynamic
3.09/0.84	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
3.09/0.84	c  B st     0         0       174     16399        58         0     73247         0   no data   no data  --
3.09/0.84	c Decided on static restart strategy
3.09/0.84	c  N dy    20      4052       174     16399        58      3846     73247     68951     17.81     10.67  --
3.49/0.94	c  N dy    49      8154       174     16399        58      5351     73247     87085     17.44     10.75  --
4.69/1.24	c  N dy    78     12253       174     16399        58      5207     73247     78840     19.07     10.60  --
5.89/1.50	c  N dy   107     16372       174     16399        58      9077     73247    146732     17.68     10.59  --
7.09/1.82	c  N dy   136     20477       174     16399        58      7609     73247    107559     16.33     10.57  --
8.30/2.14	c  N dy   165     24569       174     16399        58     11448     73247    173912     17.04     10.50  --
9.48/2.46	c  N dy   194     28620       174     16399        58      8859     73247    127720     17.04     10.44  --
9.88/2.57	c  S st   204     30000       174     16399        58     10160     73247    149846     16.84     10.41  --
10.28/2.61	c  S st   204     30502       174     16399        58     10658     73247    159275     16.84     10.41  --
10.28/2.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.28/2.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.28/2.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.4M T:  0.11
10.28/2.64	c Calc non-exist non-lernt bins v-fix:     0 done:    174 time:  0.00 s
10.28/2.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.28/2.64	c Subs w/ non-existent bins:      0 time:  0.01 s
10.28/2.64	c bin-w-bin subsume rem            0 bins  time:  0.01 s
10.28/2.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
10.28/2.65	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
14.27/3.64	c lits-rem:       213  cl-subs:     1674  v-elim:    174  v-fix:    0  time:  3.97 s
14.27/3.64	c learnt bin added due to v-elim: 0
14.27/3.64	c vivif2 --  cl tried    16399 cl shrink        0 lits rem          0 time: 0.00
14.27/3.65	c vivif2 --  cl tried     8984 cl shrink        0 lits rem          0 time: 0.01
14.27/3.68	c asymm  cl-useful: 0/1648/16399 lits-rem:0 time: 0.13
14.27/3.68	c calculated reachability. Time: 0.00
14.27/3.68	c  N dy   204     30502       174     16399        58      8984     73247    141215     16.84     10.41  --
14.27/3.68	c  F st   204     30502       174     16399        58      8984     73247    141215     16.84     10.41  --
15.07/3.84	c Decided on static restart strategy
15.87/4.00	c  N dy   224     34582       174     16399        58     12801     73247    203883     15.99     10.29  --
17.09/4.33	c  N dy   253     38730       174     16399        58      9319     73247    125405     17.50     10.30  --
18.27/4.66	c  N dy   282     42835       174     16399        58     13141     73247    188415     15.86     10.25  --
19.47/4.91	c  S st   304     45754       174     16399        58     15874     73247    233498     16.24     10.21  --
19.47/4.96	c  S st   304     46256       174     16399        58     16367     73247    243285     16.24     10.21  --
19.47/4.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
19.47/4.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
19.87/5.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.8M T:  0.19
19.87/5.01	c Calc non-exist non-lernt bins v-fix:     0 done:    174 time:  0.00 s
19.87/5.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
19.87/5.01	c Subs w/ non-existent bins:      0 time:  0.01 s
19.87/5.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
19.87/5.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
19.87/5.02	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
24.67/6.22	c lits-rem:       520  cl-subs:     2167  v-elim:    174  v-fix:    0  time:  4.80 s
24.67/6.22	c learnt bin added due to v-elim: 0
24.67/6.22	c vivif2 --  cl tried    16399 cl shrink        0 lits rem          0 time: 0.00
24.67/6.23	c vivif2 --  cl tried    14200 cl shrink        0 lits rem          0 time: 0.01
25.47/6.40	c asymm  cl-useful: 0/3137/16399 lits-rem:0 time: 0.70
25.47/6.40	c calculated reachability. Time: 0.00
25.47/6.40	c  N dy   304     46256       174     16399        58     14200     73247    217595     16.24     10.21  --
26.66/6.73	c  N dy   332     50259       174     16399        58      9633     73247    122590     16.31     10.16  --
27.86/7.04	c  N dy   361     54400       174     16399        58     13487     73247    189209     17.35     10.15  --
29.06/7.38	c  N dy   389     58416       174     16399        58     17243     73247    252262     16.68     10.17  --
30.68/7.73	c  N dy   418     62496       174     16399        58     11795     73247    155586     17.00     10.19  --
31.85/8.05	c  N dy   447     66587       174     16399        58     15631     73247    222687     15.88     10.19  --
33.05/8.31	c  S st   467     69384       174     16399        58     18256     73247    267608     17.77     10.18  --
33.05/8.35	c  S st   467     69885       174     16399        58     18754     73247    277054     17.77     10.18  --
33.05/8.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
33.05/8.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
33.45/8.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  4.5M T:  0.28
33.45/8.42	c Calc non-exist non-lernt bins v-fix:     0 done:    174 time:  0.00 s
33.45/8.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
33.45/8.43	c Subs w/ non-existent bins:      0 time:  0.02 s
33.45/8.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
33.45/8.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
33.45/8.44	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
38.25/9.63	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
42.65/10.72	c Added 2 vars  tried: 45904 time: 4.34
42.65/10.73	c ORs :      2 avg-s:  0.0 cl-sh:  1994 l-rem:   1994 b-add:      4 v-rep:   0 cl-rem: 15 avg s: 3.0 T:    4.39
42.65/10.73	c lits-rem:       450  cl-subs:     2432  v-elim:    174  v-fix:    0  time:  9.16 s
42.65/10.73	c learnt bin added due to v-elim: 0
42.65/10.73	c vivif2 --  cl tried    16386 cl shrink        0 lits rem          0 time: 0.00
42.65/10.74	c vivif2 --  cl tried    16322 cl shrink        0 lits rem          0 time: 0.01
43.46/10.92	c asymm  cl-useful: 0/4290/16386 lits-rem:0 time: 0.73
43.46/10.92	c calculated reachability. Time: 0.00
43.46/10.92	c  N dy   467     69885       176     16386        62     16322     73031    245991     17.77     10.18  --
43.46/10.92	c  F st   467     69885       176     16386        62     16322     73031    245991     17.77     10.18  --
44.24/11.11	c Decided on static restart strategy
45.04/11.34	c  N dy   490     74375       176     16386        62     10303     73031    128415     16.47     10.18  --
46.64/11.71	c  N dy   524     79155       176     16386        62     14804     73031    203883     17.58     10.15  --
48.26/12.15	c  N dy   560     84231       176     16386        62     19591     73031    288409     17.70     10.18  --
50.23/12.65	c  N dy   598     89648       176     16386        62     13469     73031    181650     16.56     10.19  --
52.24/13.15	c  N dy   639     95486       176     16386        62     18954     73031    274461     16.80     10.18  --
54.62/13.75	c  N dy   683    101707       176     16386        62     12612     73031    150454     14.31     10.16  --
55.82/14.02	c  S st   706    104828       176     16386        62     15531     73031    202849     18.06     10.18  --
55.82/14.06	c  S st   706    105330       176     16386        62     16027     73031    213212     18.06     10.18  --
55.82/14.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
55.82/14.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
56.22/14.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  4.5M T:  0.25
56.22/14.13	c Calc non-exist non-lernt bins v-fix:     0 done:    176 time:  0.00 s
56.22/14.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
56.22/14.13	c Subs w/ non-existent bins:      0 time:  0.01 s
56.22/14.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
56.22/14.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
56.22/14.14	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
60.21/15.14	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.00
60.21/15.14	c lits-rem:       264  cl-subs:     1358  v-elim:    174  v-fix:    0  time:  4.00 s
60.21/15.14	c learnt bin added due to v-elim: 0
60.21/15.14	c vivif2 --  cl tried    16386 cl shrink        0 lits rem          0 time: 0.00
60.21/15.15	c vivif2 --  cl tried    14669 cl shrink        0 lits rem          0 time: 0.01
61.03/15.34	c asymm  cl-useful: 0/8024/16386 lits-rem:0 time: 0.77
61.03/15.34	c calculated reachability. Time: 0.00
61.03/15.34	c  N dy   706    105330       176     16386        62     14669     73031    198719     18.06     10.18  --
63.40/15.94	c  N dy   754    112126       176     16386        62     21032     73031    305077     14.42     10.16  --
66.20/16.64	c  N dy   805    119329       176     16386        62     14677     73031    179810     17.59     10.16  --
69.00/17.30	c  N dy   859    127041       176     16386        62     21910     73031    300009     16.47     10.15  --
72.20/18.11	c  N dy   917    135268       176     16386        62     15566     73031    180008     16.84     10.13  --
74.99/18.87	c  N dy   978    143917       176     16386        62     23645     73031    311580     17.58     10.10  --
78.60/19.77	c  N dy  1044    153225       176     16386        62     17397     73031    196811     16.40     10.09  --
80.18/20.19	c  S st  1078    157995       176     16386        62     21842     73031    267925     15.30     10.07  --
80.58/20.24	c  S st  1078    158498       176     16386        62     22333     73031    277036     15.30     10.07  --
80.58/20.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
80.58/20.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
80.98/20.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  7.4M T:  0.38
80.98/20.34	c Calc non-exist non-lernt bins v-fix:     0 done:    176 time:  0.00 s
80.98/20.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
80.98/20.34	c Subs w/ non-existent bins:      0 time:  0.02 s
80.98/20.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
80.98/20.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
80.98/20.35	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
84.98/21.38	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.00
84.98/21.39	c lits-rem:       770  cl-subs:     2819  v-elim:    174  v-fix:    0  time:  4.13 s
84.98/21.39	c learnt bin added due to v-elim: 0
84.98/21.39	c vivif2 --  cl tried    16386 cl shrink        0 lits rem          0 time: 0.00
84.98/21.39	c vivif2 --  cl tried    19514 cl shrink        0 lits rem          0 time: 0.01
85.38/21.42	c asymm  cl-useful: 0/935/16386 lits-rem:0 time: 0.11
85.38/21.42	c calculated reachability. Time: 0.00
85.38/21.42	c  N dy  1078    158498       176     16386        62     19514     73031    248379     15.30     10.07  --
89.38/22.41	c  N dy  1150    168719       176     16386        62     29141     73031    406962     15.46     10.05  --
93.37/23.44	c  N dy  1227    179597       184     16386        78     23497     73063    293475     15.71     10.04  --
98.16/24.65	c  N dy  1308    191076       184     16386        78     17391     73063    182539     16.84     10.04  --
102.55/25.79	c  N dy  1394    203302       184     16386        78     28878     73063    374144     16.68     10.03  --
108.15/27.12	c  N dy  1486    216346       184     16386        78     23297     73063    272496     16.60     10.03  --
113.76/28.52	c  N dy  1583    230176       184     16386        78     36279     73063    490335     16.55     10.03  --
116.94/29.30	c  S st  1637    237747       184     16386        78     24652     73063    289240     16.16     10.02  --
116.94/29.35	c  S st  1637    238250       184     16386        78     25152     73063    298242     16.16     10.02  --
116.94/29.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
116.94/29.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
117.34/29.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  9.5M T:  0.49
117.34/29.47	c Calc non-exist non-lernt bins v-fix:     0 done:    184 time:  0.00 s
117.34/29.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
117.34/29.48	c Subs w/ non-existent bins:      0 time:  0.02 s
117.34/29.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
117.34/29.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
117.34/29.49	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
122.14/30.66	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.00
122.14/30.67	c lits-rem:       876  cl-subs:     3145  v-elim:    174  v-fix:    0  time:  4.71 s
122.14/30.67	c learnt bin added due to v-elim: 0
122.14/30.67	c vivif2 --  cl tried    16386 cl shrink        0 lits rem          0 time: 0.00
122.14/30.67	c vivif2 --  cl tried    22007 cl shrink        0 lits rem          0 time: 0.02
122.95/30.84	c asymm  cl-useful: 1/2230/16386 lits-rem:1 time: 0.65
122.95/30.84	c calculated reachability. Time: 0.00
122.95/30.84	c  N dy  1637    238250       184     16386        78     22007     73062    269037     16.16     10.02  --
129.32/32.44	c  N dy  1746    253578       184     16386        78     36378     73062    510785     15.92     10.04  --
136.13/34.14	c  N dy  1860    269788       192     16386        95     32053     73094    413784     17.03     10.04  --
143.70/36.04	c  N dy  1982    287095       192     16386        95     27670     73094    327916     15.71     10.03  --
152.09/38.14	c  N dy  2112    305569       192     16386        95     23443     73094    254547     17.62     10.03  --
160.48/40.22	c  N dy  2248    325086       192     16386        97     41748     73096    558271     16.69     10.04  --
169.26/42.42	c  N dy  2389    345185       192     16386        97     38066     73096    491889     16.07     10.03  --
175.27/43.94	c  S st  2475    357375       192     16386        97     26024     73095    288651     15.98     10.04  --
175.27/43.99	c  S st  2475    357878       192     16386        97     26519     73095    297126     15.98     10.04  --
175.27/43.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
175.27/43.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
176.05/44.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 11.4M T:  0.56
176.05/44.13	c Calc non-exist non-lernt bins v-fix:     0 done:    192 time:  0.00 s
176.05/44.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
176.05/44.14	c Subs w/ non-existent bins:      0 time:  0.02 s
176.05/44.14	c Replacing        1 vars Replaced       33 lits Time:     0.01 s 
176.05/44.15	c bin-w-bin subsume rem            2 bins  time:  0.00 s
176.05/44.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
176.05/44.15	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
180.07/45.16	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.00
180.07/45.17	c lits-rem:       790  cl-subs:     2505  v-elim:    174  v-fix:    0  time:  4.05 s
180.07/45.17	c learnt bin added due to v-elim: 0
180.07/45.17	c vivif2 --  cl tried    16384 cl shrink        0 lits rem          0 time: 0.00
180.07/45.17	c vivif2 --  cl tried    24016 cl shrink        0 lits rem          0 time: 0.02
180.84/45.33	c asymm  cl-useful: 0/2295/16384 lits-rem:0 time: 0.66
180.84/45.34	c calculated reachability. Time: 0.00
180.84/45.34	c  N dy  2475    357878       191     16384        92     24016     73051    275892     15.98     10.04  --
189.64/47.55	c  N dy  2616    378004       199     16384       112     42898     73087    581598     15.01     10.04  --
199.22/49.90	c  N dy  2756    398066       199     16384       112     37396     73087    482480     15.97     10.04  --
208.81/52.37	c  N dy  2897    418198       199     16384       112     30900     73087    364557     17.35     10.04  --
218.40/54.72	c  N dy  3038    438309       199     16384       112     49765     73087    680244     17.35     10.05  --
227.59/57.09	c  N dy  3178    458343       199     16384       112     42347     73087    552107     16.25     10.05  --
237.98/59.67	c  N dy  3319    478349       199     16384       112     33941     73087    411625     16.48     10.05  --
248.36/62.20	c  N dy  3460    498434       199     16384       112     52766     73087    721937     14.71     10.05  --
257.95/64.65	c  N dy  3602    518567       199     16384       112     43508     73087    565385     18.09     10.05  --
267.95/67.14	c  S st  3731    536818       199     16384       112     31584     73087    358835     15.29     10.04  --
268.33/67.20	c  S st  3731    537319       199     16384       112     32074     73087    367935     15.29     10.04  --
268.33/67.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
268.33/67.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
269.13/67.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 16.1M T:  0.79
269.13/67.40	c Calc non-exist non-lernt bins v-fix:     0 done:    199 time:  0.00 s
269.13/67.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
269.13/67.40	c Subs w/ non-existent bins:      0 time:  0.02 s
269.13/67.41	c Replacing        1 vars Replaced       35 lits Time:     0.01 s 
269.13/67.41	c bin-w-bin subsume rem            2 bins  time:  0.00 s
269.13/67.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
269.13/67.42	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
273.12/68.49	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.00
277.91/69.67	c Added 3 vars  tried: 80000 time: 4.71
277.91/69.68	c ORs :      3 avg-s:  0.0 cl-sh:  2202 l-rem:   2202 b-add:      6 v-rep:   0 cl-rem: 28 avg s: 3.2 T:    4.77
277.91/69.69	c lits-rem:       837  cl-subs:     2300  v-elim:    174  v-fix:    0  time:  9.07 s
277.91/69.69	c learnt bin added due to v-elim: 0
277.91/69.69	c vivif2 --  cl tried    16362 cl shrink        0 lits rem          0 time: 0.01
278.31/69.70	c vivif2 --  cl tried    29771 cl shrink        0 lits rem          0 time: 0.02
278.71/69.87	c asymm  cl-useful: 0/2332/16362 lits-rem:0 time: 0.70
278.71/69.87	c calculated reachability. Time: 0.00
278.71/69.87	c  N dy  3731    537319       201     16362       112     29771     72824    346431     15.29     10.04  --
278.71/69.87	c  F st  3731    537319       201     16362       112     29771     72824    346431     15.29     10.04  --
279.91/70.10	c Decided on static restart strategy
288.31/72.28	c  N dy  3863    557399       201     16362       112     48652     72824    656305     15.62     10.04  --
299.49/75.00	c  N dy  4004    577479       201     16362       112     37488     72824    456109     14.53     10.04  --
309.88/77.62	c  N dy  4144    597493       201     16362       112     56241     72824    759990     15.32     10.03  --
320.28/80.23	c  N dy  4284    617557       204     16362       119     44114     72836    547875     16.27     10.03  --
331.04/82.98	c  N dy  4425    637619       204     16362       119     62926     72836    854509     16.68     10.03  --
341.03/85.48	c  N dy  4566    657653       204     16362       121     49974     72838    628150     15.78     10.03  --
352.62/88.38	c  N dy  4707    677769       204     16362       121     35975     72838    382508     15.97     10.03  --
362.61/90.89	c  N dy  4847    697800       204     16362       121     54742     72838    681401     17.60     10.02  --
424.54/106.38	c  N dy  4864    805978       216     16362       150     52769     72890    631882     16.93     10.06  --
424.94/106.40	c  S st  4864    805978       216     16362       150     52769     72890    631882     16.93     10.06  --
424.94/106.40	c Finding binary XORs  T:     0.00 s  found:       4
424.94/106.41	c Replacing        4 vars Replaced       78 lits Time:     0.01 s 
424.94/106.49	c  S st  4864    806479       224     16362       168     53351     72928    641748     16.93     10.06  --
424.94/106.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
424.94/106.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
426.53/106.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 27.5M T:  1.59
426.53/106.89	c Calc non-exist non-lernt bins v-fix:     0 done:    224 time:  0.00 s
426.53/106.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
426.93/106.90	c Subs w/ non-existent bins:      0 time:  0.04 s
426.93/106.92	c bin-w-bin subsume rem            6 bins  time:  0.01 s
427.33/107.05	c subs with bin:     2442  lits-rem:       292  v-fix:    0  time:  0.52 s
427.33/107.05	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
434.54/108.86	c ORs :      5 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
440.51/110.37	c Added 3 vars  tried: 80000 time: 6.06
440.91/110.43	c ORs :      3 avg-s:  0.0 cl-sh:  4721 l-rem:   4721 b-add:      9 v-rep:   0 cl-rem: 1 avg s: 19.0 T:    6.30
440.91/110.45	c lits-rem:       978  cl-subs:     6036  v-elim:    174  v-fix:    0  time: 13.57 s
440.91/110.45	c learnt bin added due to v-elim: 0
440.91/110.45	c vivif2 --  cl tried    16356 cl shrink        0 lits rem          0 time: 0.00
440.91/110.46	c vivif2 --  cl tried    44878 cl shrink        0 lits rem          0 time: 0.04
441.31/110.55	c asymm  cl-useful: 0/1009/16356 lits-rem:0 time: 0.38
441.31/110.55	c calculated reachability. Time: 0.00
441.31/110.55	c  N dy  4864    806479       227     16356       171     44878     72902    548459     16.93     10.06  --
702.19/175.80	c  N dy  4879   1209718       227     16356       171     61080     72902    726483     16.19     10.24  --
702.19/175.83	c  S st  4879   1209718       227     16356       171     61080     72902    726483     16.19     10.24  --
702.60/175.91	c  S st  4879   1210220       227     16356       171     61581     72902    735640     16.19     10.24  --
702.60/175.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
702.60/175.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
704.18/176.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 32.9M T:  1.84
704.18/176.38	c Calc non-exist non-lernt bins v-fix:     0 done:    227 time:  0.01 s
704.18/176.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
704.18/176.39	c Subs w/ non-existent bins:      0 time:  0.05 s
704.58/176.41	c bin-w-bin subsume rem            0 bins  time:  0.01 s
704.58/176.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.05 s
704.58/176.42	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
713.37/178.60	c ORs :      8 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 2 avg s: 7.5 T:    0.05
713.37/178.62	c lits-rem:      1722  cl-subs:     5266  v-elim:    174  v-fix:    0  time:  8.77 s
713.37/178.62	c learnt bin added due to v-elim: 0
713.37/178.62	c vivif2 --  cl tried    16356 cl shrink        0 lits rem          0 time: 0.00
713.37/178.63	c vivif2 --  cl tried    56313 cl shrink        2 lits rem          2 time: 0.05
713.77/178.73	c asymm  cl-useful: 0/1074/16356 lits-rem:0 time: 0.38
713.77/178.73	c calculated reachability. Time: 0.00
713.77/178.73	c  N dy  4879   1210220       227     16356       171     56313     72902    667290     16.19     10.24  --
1072.92/268.62	c  N dy  4884   1710220       227     16356       179     86223     72901   1014061     14.52     10.20  --
1072.92/268.66	c  S st  4884   1710220       227     16356       179     86223     72901   1014061     14.52     10.20  --
1073.32/268.78	c  S st  4884   1710722       239     16356       206     86772     72949   1023319     14.52     10.20  --
1073.32/268.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1073.32/268.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1075.72/269.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:     25 BRemL:      1 BRemN:      0 CBin:       0 P: 36.5M T:  2.29
1075.72/269.36	c Calc non-exist non-lernt bins v-fix:     0 done:    239 time:  0.01 s
1075.72/269.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1075.72/269.38	c Subs w/ non-existent bins:      0 time:  0.08 s
1076.13/269.40	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1083.71/271.30	c subs with bin:    18346  lits-rem:     10875  v-fix:    0  time:  7.58 s
1083.71/271.30	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1093.30/273.74	c ORs :      8 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
1093.30/273.76	c lits-rem:      4364  cl-subs:    11926  v-elim:    174  v-fix:    0  time:  9.81 s
1093.30/273.76	c learnt bin added due to v-elim: 0
1093.30/273.76	c vivif2 --  cl tried    16291 cl shrink       29 lits rem         29 time: 0.00
1093.72/273.82	c vivif2 --  cl tried    56565 cl shrink     9397 lits rem      18272 time: 0.23
1094.12/273.92	c asymm  cl-useful: 0/1210/16285 lits-rem:0 time: 0.43
1094.12/273.93	c calculated reachability. Time: 0.00
1094.12/273.93	c  N dy  4884   1710722       239     16285       243     56562     72654    641865     14.52     10.20  --
1496.79/374.78	c  N dy  4888   2210723       250     16285       307     73457     72706    798955     17.51     10.13  --
1497.19/374.82	c  S st  4888   2210723       250     16285       307     73457     72706    798955     17.51     10.13  --
1497.59/374.91	c  S st  4888   2211226       250     16285       310     74212     72708    810405     17.51     10.13  --
1497.59/374.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1497.59/374.92	c Cache  BProp: 5 Set: 0 BXProp: 0 T: 0.00
1499.58/375.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      4 BRemL:      2 BRemN:      0 CBin:       0 P: 38.3M T:  2.21
1499.58/375.47	c Calc non-exist non-lernt bins v-fix:     0 done:    250 time:  0.01 s
1499.58/375.47	c Cache  BProp: 5 Set: 0 BXProp: 0 T: 0.00
1499.98/375.51	c Subs w/ non-existent bins:   2090 time:  0.15 s
1500.38/375.63	c Replacing        1 vars Replaced     3346 lits Time:     0.50 s 
1500.38/375.65	c bin-w-bin subsume rem           12 bins  time:  0.01 s
1501.18/375.82	c subs with bin:     4051  lits-rem:      2330  v-fix:    0  time:  0.70 s
1501.18/375.82	c Removed useless bin:       1  fixed:     0  bprops:   0.00M  time:  0.00 s
1508.77/377.74	c ORs :      7 avg-s:  2.0 cl-sh:    20 l-rem:     20 b-add:      3 v-rep:   0 cl-rem: 5 avg s: 4.8 T:    0.04
1513.16/378.81	c Added 3 vars  tried: 80000 time: 4.29
1513.16/378.84	c ORs :      3 avg-s:  0.0 cl-sh:  2825 l-rem:   2825 b-add:      6 v-rep:   0 cl-rem: 33 avg s: 3.6 T:    4.41
1513.16/378.86	c lits-rem:       653  cl-subs:     4379  v-elim:    171  v-fix:    0  time: 12.11 s
1513.16/378.86	c learnt bin added due to v-elim: 0
1513.16/378.86	c vivif2 --  cl tried    15600 cl shrink        0 lits rem          0 time: 0.01
1513.16/378.87	c vivif2 --  cl tried    47715 cl shrink      375 lits rem        382 time: 0.06
1513.56/378.98	c asymm  cl-useful: 0/1383/15600 lits-rem:0 time: 0.42
1513.56/378.98	c calculated reachability. Time: 0.00
1513.56/378.98	c  N dy  4888   2211226       252     15600       274     47715     69577    568248     17.51     10.13  --
1985.76/497.14	c  N dy  4889   2711227       251     15600       283     73469     69577    777080     14.64     10.08  --
1985.76/497.17	c  S st  4889   2711227       251     15600       283     73469     69577    777080     14.64     10.08  --
1985.76/497.18	c Finding binary XORs  T:     0.00 s  found:       0
1986.16/497.28	c  S st  4889   2711733       251     15380       238     72095     68732    770039     14.64     10.08  --
1986.16/497.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1986.16/497.29	c Cache  BProp: 5 Set: 0 BXProp: 0 T: 0.00
1989.34/498.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      5 BRemL:      0 BRemN:      0 CBin:       0 P: 50.9M T:  2.88
1989.34/498.01	c Calc non-exist non-lernt bins v-fix:     0 done:    251 time:  0.01 s
1989.34/498.01	c Cache  BProp: 5 Set: 0 BXProp: 0 T: 0.00
1989.34/498.03	c Subs w/ non-existent bins:      0 time:  0.08 s
1989.34/498.05	c bin-w-bin subsume rem            4 bins  time:  0.01 s
1989.74/498.18	c subs with bin:     2200  lits-rem:      2284  v-fix:    0  time:  0.55 s
1989.74/498.19	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2001.32/501.02	c ORs :     10 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 2 avg s: 9.5 T:    0.09
2001.32/501.03	c lits-rem:      1027  cl-subs:     6387  v-elim:    170  v-fix:    0  time: 11.38 s
2001.32/501.03	c learnt bin added due to v-elim: 0
2001.32/501.04	c vivif2 --  cl tried    15351 cl shrink        0 lits rem          0 time: 0.00
2001.32/501.05	c vivif2 --  cl tried    63535 cl shrink        1 lits rem          1 time: 0.07
2001.72/501.15	c asymm  cl-useful: 0/853/15351 lits-rem:0 time: 0.41
2001.72/501.16	c calculated reachability. Time: 0.00
2001.72/501.16	c  N dy  4889   2711733       251     15351       242     63535     68406    689849     14.64     10.08  --
2001.72/501.16	c  F st  4889   2711733       251     15351       242     63535     68406    689849     14.64     10.08  --
2003.33/501.54	c Decided on static restart strategy
2443.17/611.63	c  E dy  4897   3159248       227     15351       646    137248     68383   1561183      9.29     10.04  --
2444.98/612.36	c Following stats are for *FIRST FINISHED THREAD ONLY*
2444.98/612.36	c num threads              : 4          
2444.98/612.36	c restarts                 : 4897       
2444.98/612.36	c dynamic restarts         : 4867       
2444.98/612.36	c static restarts          : 30         
2444.98/612.36	c full restarts            : 4          
2444.98/612.36	c total simplify time      : 0.07       
2444.98/612.36	c learnts DL2              : 0          
2444.98/612.36	c learnts size 2           : 776        
2444.98/612.36	c learnts size 1           : 82          (31.30     % of vars)
2444.98/612.36	c filedLit time            : 13.89       (0.57      % time)
2444.98/612.36	c v-elim SatELite          : 0           (0.00      % vars)
2444.98/612.36	c SatELite time            : 98.78       (4.04      % time)
2444.98/612.36	c v-elim xor               : 0           (0.00      % vars)
2444.98/612.36	c xor elim time            : 0.13        (0.01      % time)
2444.98/612.36	c num binary xor trees     : 7          
2444.98/612.36	c binxor trees' crown      : 7           (1.00      leafs/tree)
2444.98/612.36	c bin xor find time        : 0.00       
2444.98/612.36	c OTF clause subsumed      : 158670      (0.05      clauses/conflict)
2444.98/612.36	c OTF subs. size diff      : 195999      (1.24       lits/clause)
2444.98/612.36	c OTF cl watch-shrink      : 2516163     (0.80      clauses/conflict)
2444.98/612.36	c OTF cl watch-sh-lit      : 11791689    (4.69       lits/clause)
2444.98/612.36	c tried to recurMin cls    : 3159221     (100.00     % of conflicts)
2444.98/612.36	c updated cache            : 4498        (0.00       lits/tried recurMin)
2444.98/612.36	c OTF Gate-Rem cl          : 173289      (0.05      clauses/conflict)
2444.98/612.36	c OTF Gate-rem lits        : 186850      (1.08      lits/confl)
2444.98/612.36	c unit cls received        : 0           (0.00      % of units)
2444.98/612.36	c unit cls sent            : 18          (21.95     % of units)
2444.98/612.36	c bin cls received         : 452        
2444.98/612.36	c bin cls sent             : 224        
2444.98/612.36	c tri cls recevied         : 1070       
2444.98/612.36	c tri cls sent             : 438        
2444.98/612.36	c clauses over max glue    : 0           (0.00      % of all clauses)
2444.98/612.36	c conflicts                : 3159248     (1292.46   / sec)
2444.98/612.36	c decisions                : 3908688     (0.16      % random)
2444.98/612.36	c bogo-props               : 38384369300 (15703127.24 / sec)
2444.98/612.36	c props                    : 154973479   (63399.98  / sec)
2444.98/612.36	c conflict literals        : 52390401    (50.89     % deleted)
2444.98/612.36	c Memory used              : 719.57      MB
2444.98/612.36	c single-thread CPU time   : 2444.38     s
2444.98/612.36	c all-threads sum CPU time : 2444.38     s
2444.98/612.36	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

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-3262109-1304132811/watcher-3262109-1304132811 -o /tmp/evaluation-result-3262109-1304132811/solver-3262109-1304132811 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3262109-1304132811.cnf 

running on 4 cores: 1,3,5,7

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: 8.10 8.11 8.02 5/178 13452
/proc/meminfo: memFree=30836696/32951132 swapFree=67080200/67111528
[pid=13452] ppid=13450 vsize=50152 CPUtime=0 cores=1,3,5,7
/proc/13452/stat : 13452 (techdemo) R 13450 13452 13214 0 -1 4202496 693 0 0 0 0 0 0 0 25 0 1 0 524880694 51355648 624 33554432000 4194304 4797429 140736656570912 18446744073709551615 210646807237 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13452/statm: 12538 625 347 148 0 7467 0

[startup+0.0740871 s]
/proc/loadavg: 8.10 8.11 8.02 5/178 13452
/proc/meminfo: memFree=30836696/32951132 swapFree=67080200/67111528
[pid=13452] ppid=13450 vsize=149928 CPUtime=0.19 cores=1,3,5,7
/proc/13452/stat : 13452 (techdemo) R 13450 13452 13214 0 -1 4202496 1995 0 0 0 19 0 0 0 18 0 4 0 524880694 153526272 1850 33554432000 4194304 4797429 140736656570912 18446744073709551615 4428993 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13452/statm: 37482 1850 374 148 0 32411 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 149928

[startup+0.17407 s]
/proc/loadavg: 8.10 8.11 8.02 5/178 13452
/proc/meminfo: memFree=30836696/32951132 swapFree=67080200/67111528
[pid=13452] ppid=13450 vsize=149928 CPUtime=0.59 cores=1,3,5,7
/proc/13452/stat : 13452 (techdemo) R 13450 13452 13214 0 -1 4202496 1995 0 0 0 59 0 0 0 18 0 4 0 524880694 153526272 1850 33554432000 4194304 4797429 140736656570912 18446744073709551615 4427396 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13452/statm: 37482 1850 374 148 0 32411 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 149928

[startup+0.301053 s]
/proc/loadavg: 8.10 8.11 8.02 5/178 13452
/proc/meminfo: memFree=30836696/32951132 swapFree=67080200/67111528
[pid=13452] ppid=13450 vsize=677476 CPUtime=1.09 cores=1,3,5,7
/proc/13452/stat : 13452 (techdemo) R 13450 13452 13214 0 -1 4202496 4144 0 0 0 109 0 0 0 18 0 4 0 524880694 693735424 3267 33554432000 4194304 4797429 140736656570912 18446744073709551615 4344871 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13452/statm: 169369 3267 401 148 0 164298 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 677476

[startup+0.700986 s]
/proc/loadavg: 8.10 8.11 8.02 5/178 13452
/proc/meminfo: memFree=30836696/32951132 swapFree=67080200/67111528
[pid=13452] ppid=13450 vsize=678960 CPUtime=2.69 cores=1,3,5,7
/proc/13452/stat : 13452 (techdemo) R 13450 13452 13214 0 -1 4202496 5143 0 0 0 269 0 0 0 18 0 4 0 524880694 695255040 4170 33554432000 4194304 4797429 140736656570912 18446744073709551615 4424380 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13452/statm: 169740 4170 410 148 0 164669 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 678960

[startup+1.50085 s]
/proc/loadavg: 8.10 8.11 8.02 9/182 13456
/proc/meminfo: memFree=30818204/32951132 swapFree=67080200/67111528
[pid=13452] ppid=13450 vsize=681296 CPUtime=5.89 cores=1,3,5,7
/proc/13452/stat : 13452 (techdemo) R 13450 13452 13214 0 -1 4202496 7032 0 0 0 588 1 0 0 20 0 4 0 524880694 697647104 5721 33554432000 4194304 4797429 140736656570912 18446744073709551615 4425019 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13452/statm: 170324 5721 414 148 0 165253 0
[pid=13452/tid=13454] ppid=13450 vsize=681296 CPUtime=1.45 cores=1,3,5,7
/proc/13452/task/13454/stat : 13454 (techdemo) R 13450 13452 13214 0 -1 4202560 1178 0 0 0 145 0 0 0 25 0 4 0 524880697 697647104 5721 33554432000 4194304 4797429 140736656570912 18446744073709551615 4524688 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13452/tid=13455] ppid=13450 vsize=681296 CPUtime=1.46 cores=1,3,5,7
/proc/13452/task/13455/stat : 13455 (techdemo) R 13450 13452 13214 0 -1 4202560 1259 0 0 0 146 0 0 0 19 0 4 0 524880697 697647104 5721 33554432000 4194304 4797429 140736656570912 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13452/tid=13456] ppid=13450 vsize=681296 CPUtime=1.46 cores=1,3,5,7
/proc/13452/task/13456/stat : 13456 (techdemo) R 13450 13452 13214 0 -1 4202560 1339 0 0 0 146 0 0 0 20 0 4 0 524880697 697647104 5721 33554432000 4194304 4797429 140736656570912 18446744073709551615 4524072 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 681296

[startup+3.10058 s]
/proc/loadavg: 8.10 8.11 8.02 9/182 13456
/proc/meminfo: memFree=30812624/32951132 swapFree=67080200/67111528
[pid=13452] ppid=13450 vsize=682460 CPUtime=12.28 cores=1,3,5,7
/proc/13452/stat : 13452 (techdemo) R 13450 13452 13214 0 -1 4202496 8420 0 0 0 1227 1 0 0 25 0 4 0 524880694 698839040 6470 33554432000 4194304 4797429 140736656570912 18446744073709551615 4524204 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13452/statm: 170615 6470 415 148 0 165544 0
[pid=13452/tid=13454] ppid=13450 vsize=682460 CPUtime=3.05 cores=1,3,5,7
/proc/13452/task/13454/stat : 13454 (techdemo) R 13450 13452 13214 0 -1 4202560 1261 0 0 0 305 0 0 0 25 0 4 0 524880697 698839040 6470 33554432000 4194304 4797429 140736656570912 18446744073709551615 4524995 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13452/tid=13455] ppid=13450 vsize=682460 CPUtime=3.06 cores=1,3,5,7
/proc/13452/task/13455/stat : 13455 (techdemo) R 13450 13452 13214 0 -1 4202560 1338 0 0 0 306 0 0 0 24 0 4 0 524880697 698839040 6470 33554432000 4194304 4797429 140736656570912 18446744073709551615 4524212 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13452/tid=13456] ppid=13450 vsize=682460 CPUtime=3.06 cores=1,3,5,7
/proc/13452/task/13456/stat : 13456 (techdemo) R 13450 13452 13214 0 -1 4202560 1451 0 0 0 306 0 0 0 25 0 4 0 524880697 698839040 6470 33554432000 4194304 4797429 140736656570912 18446744073709551615 4524200 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.28
Current children cumulated vsize (KiB) 682460

[startup+6.30105 s]
/proc/loadavg: 8.09 8.11 8.02 9/182 13456
/proc/meminfo: memFree=30805920/32951132 swapFree=67080200/67111528
[pid=13452] ppid=13450 vsize=685392 CPUtime=25.07 cores=1,3,5,7
/proc/13452/stat : 13452 (techdemo) R 13450 13452 13214 0 -1 4202496 10365 0 0 0 2505 2 0 0 25 0 4 0 524880694 701841408 6980 33554432000 4194304 4797429 140736656570912 18446744073709551615 4429080 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13452/statm: 171348 6980 417 148 0 166277 0
[pid=13452/tid=13454] ppid=13450 vsize=685392 CPUtime=6.23 cores=1,3,5,7
/proc/13452/task/13454/stat : 13454 (techdemo) R 13450 13452 13214 0 -1 4202560 1692 0 0 0 623 0 0 0 25 0 4 0 524880697 701841408 6980 33554432000 4194304 4797429 140736656570912 18446744073709551615 4524072 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13452/tid=13455] ppid=13450 vsize=685392 CPUtime=6.26 cores=1,3,5,7
/proc/13452/task/13455/stat : 13455 (techdemo) R 13450 13452 13214 0 -1 4202560 1792 0 0 0 626 0 0 0 25 0 4 0 524880697 701841408 6980 33554432000 4194304 4797429 140736656570912 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13452/tid=13456] ppid=13450 vsize=685392 CPUtime=6.26 cores=1,3,5,7
/proc/13452/task/13456/stat : 13456 (techdemo) R 13450 13452 13214 0 -1 4202560 1778 0 0 0 626 0 0 0 25 0 4 0 524880697 701841408 6980 33554432000 4194304 4797429 140736656570912 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 685392

[startup+12.701 s]
/proc/loadavg: 8.08 8.10 8.02 9/182 13456
/proc/meminfo: memFree=30798716/32951132 swapFree=67080200/67111528
[pid=13452] ppid=13450 vsize=687952 CPUtime=50.63 cores=1,3,5,7
/proc/13452/stat : 13452 (techdemo) R 13450 13452 13214 0 -1 4202496 14357 0 0 0 5060 3 0 0 25 0 4 0 524880694 704462848 8054 33554432000 4194304 4797429 140736656570912 18446744073709551615 4425021 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13452/statm: 171988 8054 419 148 0 166917 0
[pid=13452/tid=13454] ppid=13450 vsize=687952 CPUtime=12.59 cores=1,3,5,7
/proc/13452/task/13454/stat : 13454 (techdemo) R 13450 13452 13214 0 -1 4202560 2233 0 0 0 1259 0 0 0 25 0 4 0 524880697 704462848 8054 33554432000 4194304 4797429 140736656570912 18446744073709551615 4524184 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13452/tid=13455] ppid=13450 vsize=687952 CPUtime=12.66 cores=1,3,5,7
/proc/13452/task/13455/stat : 13455 (techdemo) R 13450 13452 13214 0 -1 4202560 2288 0 0 0 1266 0 0 0 25 0 4 0 524880697 704462848 8054 33554432000 4194304 4797429 140736656570912 18446744073709551615 4524600 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13452/tid=13456] ppid=13450 vsize=687952 CPUtime=12.66 cores=1,3,5,7
/proc/13452/task/13456/stat : 13456 (techdemo) R 13450 13452 13214 0 -1 4202560 2312 0 0 0 1266 0 0 0 25 0 4 0 524880697 704462848 8054 33554432000 4194304 4797429 140736656570912 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 687952

[startup+25.5008 s]
/proc/loadavg: 8.13 8.11 8.02 9/182 13456
/proc/meminfo: memFree=30788796/32951132 swapFree=67080200/67111528
[pid=13452] ppid=13450 vsize=692484 CPUtime=101.75 cores=1,3,5,7
/proc/13452/stat : 13452 (techdemo) R 13450 13452 13214 0 -1 4202496 21233 0 0 0 10171 4 0 0 25 0 4 0 524880694 709103616 9648 33554432000 4194304 4797429 140736656570912 18446744073709551615 4424850 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13452/statm: 173121 9648 419 148 0 168050 0
[pid=13452/tid=13454] ppid=13450 vsize=692484 CPUtime=25.33 cores=1,3,5,7
/proc/13452/task/13454/stat : 13454 (techdemo) R 13450 13452 13214 0 -1 4202560 2964 0 0 0 2533 0 0 0 25 0 4 0 524880697 709103616 9648 33554432000 4194304 4797429 140736656570912 18446744073709551615 4524288 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13452/tid=13455] ppid=13450 vsize=692484 CPUtime=25.46 cores=1,3,5,7
/proc/13452/task/13455/stat : 13455 (techdemo) R 13450 13452 13214 0 -1 4202560 3028 0 0 0 2546 0 0 0 25 0 4 0 524880697 709103616 9648 33554432000 4194304 4797429 140736656570912 18446744073709551615 4495530 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13452/tid=13456] ppid=13450 vsize=692484 CPUtime=25.45 cores=1,3,5,7
/proc/13452/task/13456/stat : 13456 (techdemo) R 13450 13452 13214 0 -1 4202560 3383 0 0 0 2545 0 0 0 25 0 4 0 524880697 709103616 9648 33554432000 4194304 4797429 140736656570912 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 692484

[startup+51.1005 s]
/proc/loadavg: 8.14 8.12 8.03 9/182 13457
/proc/meminfo: memFree=30773280/32951132 swapFree=67080200/67111528
[pid=13452] ppid=13450 vsize=697004 CPUtime=204.01 cores=1,3,5,7
/proc/13452/stat : 13452 (techdemo) R 13450 13452 13214 0 -1 4202496 32967 0 0 0 20395 6 0 0 25 0 4 0 524880694 713732096 11584 33554432000 4194304 4797429 140736656570912 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13452/statm: 174251 11584 421 148 0 169180 0
[pid=13452/tid=13454] ppid=13450 vsize=697004 CPUtime=50.8 cores=1,3,5,7
/proc/13452/task/13454/stat : 13454 (techdemo) R 13450 13452 13214 0 -1 4202560 4100 0 0 0 5080 0 0 0 25 0 4 0 524880697 713732096 11584 33554432000 4194304 4797429 140736656570912 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13452/tid=13455] ppid=13450 vsize=697004 CPUtime=51.05 cores=1,3,5,7
/proc/13452/task/13455/stat : 13455 (techdemo) R 13450 13452 13214 0 -1 4202560 4419 0 0 0 5105 0 0 0 25 0 4 0 524880697 713732096 11584 33554432000 4194304 4797429 140736656570912 18446744073709551615 4656609 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13452/tid=13456] ppid=13450 vsize=697004 CPUtime=51.05 cores=1,3,5,7
/proc/13452/task/13456/stat : 13456 (techdemo) R 13450 13452 13214 0 -1 4202560 4496 0 0 0 5105 0 0 0 25 0 4 0 524880697 713732096 11584 33554432000 4194304 4797429 140736656570912 18446744073709551615 4524394 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.01
Current children cumulated vsize (KiB) 697004

[startup+102.307 s]
/proc/loadavg: 8.12 8.11 8.03 9/182 13458
/proc/meminfo: memFree=30748452/32951132 swapFree=67080200/67111528
[pid=13452] ppid=13450 vsize=702552 CPUtime=408.58 cores=1,3,5,7
/proc/13452/stat : 13452 (techdemo) R 13450 13452 13214 0 -1 4202496 53279 0 0 0 40845 13 0 0 25 0 4 0 524880694 719413248 14375 33554432000 4194304 4797429 140736656570912 18446744073709551615 4423072 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13452/statm: 175638 14375 421 148 0 170567 0
[pid=13452/tid=13454] ppid=13450 vsize=702552 CPUtime=101.75 cores=1,3,5,7
/proc/13452/task/13454/stat : 13454 (techdemo) R 13450 13452 13214 0 -1 4202560 6366 0 0 0 10174 1 0 0 25 0 4 0 524880697 719413248 14375 33554432000 4194304 4797429 140736656570912 18446744073709551615 4429150 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13452/tid=13455] ppid=13450 vsize=702552 CPUtime=102.26 cores=1,3,5,7
/proc/13452/task/13455/stat : 13455 (techdemo) R 13450 13452 13214 0 -1 4202560 6490 0 0 0 10225 1 0 0 25 0 4 0 524880697 719413248 14375 33554432000 4194304 4797429 140736656570912 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13452/tid=13456] ppid=13450 vsize=702552 CPUtime=102.25 cores=1,3,5,7
/proc/13452/task/13456/stat : 13456 (techdemo) R 13450 13452 13214 0 -1 4202560 6657 0 0 0 10224 1 0 0 25 0 4 0 524880697 719413248 14375 33554432000 4194304 4797429 140736656570912 18446744073709551615 4509659 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.58
Current children cumulated vsize (KiB) 702552

[startup+162.301 s]
/proc/loadavg: 8.05 8.09 8.02 9/182 13460
/proc/meminfo: memFree=30724996/32951132 swapFree=67080200/67111528
[pid=13452] ppid=13450 vsize=708860 CPUtime=648.26 cores=1,3,5,7
/proc/13452/stat : 13452 (techdemo) R 13450 13452 13214 0 -1 4202496 72424 0 0 0 64805 21 0 0 25 0 4 0 524880694 725872640 17501 33554432000 4194304 4797429 140736656570912 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13452/statm: 177215 17501 430 148 0 172144 0
[pid=13452/tid=13454] ppid=13450 vsize=708860 CPUtime=161.45 cores=1,3,5,7
/proc/13452/task/13454/stat : 13454 (techdemo) R 13450 13452 13214 0 -1 4202560 8126 0 0 0 16143 2 0 0 25 0 4 0 524880697 725872640 17501 33554432000 4194304 4797429 140736656570912 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13452/tid=13455] ppid=13450 vsize=708860 CPUtime=162.24 cores=1,3,5,7
/proc/13452/task/13455/stat : 13455 (techdemo) R 13450 13452 13214 0 -1 4202560 8344 0 0 0 16223 1 0 0 25 0 4 0 524880697 725872640 17501 33554432000 4194304 4797429 140736656570912 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13452/tid=13456] ppid=13450 vsize=708860 CPUtime=162.24 cores=1,3,5,7
/proc/13452/task/13456/stat : 13456 (techdemo) R 13450 13452 13214 0 -1 4202560 8299 0 0 0 16222 2 0 0 25 0 4 0 524880697 725872640 17501 33554432000 4194304 4797429 140736656570912 18446744073709551615 4568019 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 648.26
Current children cumulated vsize (KiB) 708860

[startup+222.301 s]
/proc/loadavg: 8.05 8.09 8.02 9/182 13462
/proc/meminfo: memFree=30705500/32951132 swapFree=67080200/67111528
[pid=13452] ppid=13450 vsize=718224 CPUtime=887.95 cores=1,3,5,7
/proc/13452/stat : 13452 (techdemo) R 13450 13452 13214 0 -1 4202496 91379 0 0 0 88767 28 0 0 25 0 4 0 524880694 735461376 18976 33554432000 4194304 4797429 140736656570912 18446744073709551615 4424408 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13452/statm: 179556 18976 427 148 0 174485 0
[pid=13452/tid=13454] ppid=13450 vsize=718224 CPUtime=221.15 cores=1,3,5,7
/proc/13452/task/13454/stat : 13454 (techdemo) R 13450 13452 13214 0 -1 4202560 9939 0 0 0 22112 3 0 0 25 0 4 0 524880697 735461376 18976 33554432000 4194304 4797429 140736656570912 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13452/tid=13455] ppid=13450 vsize=718224 CPUtime=222.25 cores=1,3,5,7
/proc/13452/task/13455/stat : 13455 (techdemo) R 13450 13452 13214 0 -1 4202560 10580 0 0 0 22223 2 0 0 25 0 4 0 524880697 735461376 18976 33554432000 4194304 4797429 140736656570912 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13452/tid=13456] ppid=13450 vsize=718224 CPUtime=222.23 cores=1,3,5,7
/proc/13452/task/13456/stat : 13456 (techdemo) R 13450 13452 13214 0 -1 4202560 10632 0 0 0 22220 3 0 0 25 0 4 0 524880697 735461376 18976 33554432000 4194304 4797429 140736656570912 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 887.95
Current children cumulated vsize (KiB) 718224

[startup+282.301 s]

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

/proc/13452/task/13456/stat : 13456 (techdemo) R 13450 13452 13214 0 -1 4202560 14028 0 0 0 34218 4 0 0 25 0 4 0 524880697 741593088 22932 33554432000 4194304 4797429 140736656570912 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1367.34
Current children cumulated vsize (KiB) 724212

[startup+402.301 s]
/proc/loadavg: 8.17 8.11 8.03 9/182 13466
/proc/meminfo: memFree=30654560/32951132 swapFree=67080200/67111528
[pid=13452] ppid=13450 vsize=726532 CPUtime=1607.04 cores=1,3,5,7
/proc/13452/stat : 13452 (techdemo) R 13450 13452 13214 0 -1 4202496 135793 0 0 0 160657 47 0 0 25 0 4 0 524880694 743968768 24043 33554432000 4194304 4797429 140736656570912 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13452/statm: 181633 24043 421 148 0 176562 0
[pid=13452/tid=13454] ppid=13450 vsize=726532 CPUtime=400.25 cores=1,3,5,7
/proc/13452/task/13454/stat : 13454 (techdemo) R 13450 13452 13214 0 -1 4202560 14905 0 0 0 40020 5 0 0 25 0 4 0 524880697 743968768 24043 33554432000 4194304 4797429 140736656570912 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13452/tid=13455] ppid=13450 vsize=726532 CPUtime=402.24 cores=1,3,5,7
/proc/13452/task/13455/stat : 13455 (techdemo) R 13450 13452 13214 0 -1 4202560 15376 0 0 0 40220 4 0 0 25 0 4 0 524880697 743968768 24043 33554432000 4194304 4797429 140736656570912 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13452/tid=13456] ppid=13450 vsize=726532 CPUtime=402.21 cores=1,3,5,7
/proc/13452/task/13456/stat : 13456 (techdemo) R 13450 13452 13214 0 -1 4202560 15599 0 0 0 40216 5 0 0 25 0 4 0 524880697 743968768 24043 33554432000 4194304 4797429 140736656570912 18446744073709551615 4225995 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1607.04
Current children cumulated vsize (KiB) 726532

[startup+462.3 s]
/proc/loadavg: 8.12 8.10 8.03 9/182 13468
/proc/meminfo: memFree=30647108/32951132 swapFree=67080200/67111528
[pid=13452] ppid=13450 vsize=731016 CPUtime=1846.72 cores=1,3,5,7
/proc/13452/stat : 13452 (techdemo) R 13450 13452 13214 0 -1 4202496 149755 0 0 0 184619 53 0 0 25 0 4 0 524880694 748560384 25325 33554432000 4194304 4797429 140736656570912 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13452/statm: 182754 25325 421 148 0 177683 0
[pid=13452/tid=13454] ppid=13450 vsize=731016 CPUtime=459.94 cores=1,3,5,7
/proc/13452/task/13454/stat : 13454 (techdemo) R 13450 13452 13214 0 -1 4202560 16622 0 0 0 45988 6 0 0 25 0 4 0 524880697 748560384 25325 33554432000 4194304 4797429 140736656570912 18446744073709551615 4612558 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13452/tid=13455] ppid=13450 vsize=731016 CPUtime=462.24 cores=1,3,5,7
/proc/13452/task/13455/stat : 13455 (techdemo) R 13450 13452 13214 0 -1 4202560 16581 0 0 0 46219 5 0 0 25 0 4 0 524880697 748560384 25325 33554432000 4194304 4797429 140736656570912 18446744073709551615 4429169 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13452/tid=13456] ppid=13450 vsize=731016 CPUtime=462.21 cores=1,3,5,7
/proc/13452/task/13456/stat : 13456 (techdemo) R 13450 13452 13214 0 -1 4202560 17038 0 0 0 46215 6 0 0 25 0 4 0 524880697 748560384 25325 33554432000 4194304 4797429 140736656570912 18446744073709551615 4429184 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1846.72
Current children cumulated vsize (KiB) 731016

[startup+522.3 s]
/proc/loadavg: 8.08 8.09 8.03 9/182 13470
/proc/meminfo: memFree=30632448/32951132 swapFree=67080200/67111528
[pid=13452] ppid=13450 vsize=732296 CPUtime=2086.41 cores=1,3,5,7
/proc/13452/stat : 13452 (techdemo) R 13450 13452 13214 0 -1 4202496 161749 0 0 0 208583 58 0 0 25 0 4 0 524880694 749871104 26820 33554432000 4194304 4797429 140736656570912 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13452/statm: 183074 26820 421 148 0 178003 0
[pid=13452/tid=13454] ppid=13450 vsize=732296 CPUtime=519.63 cores=1,3,5,7
/proc/13452/task/13454/stat : 13454 (techdemo) R 13450 13452 13214 0 -1 4202560 17803 0 0 0 51956 7 0 0 25 0 4 0 524880697 749871104 26820 33554432000 4194304 4797429 140736656570912 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13452/tid=13455] ppid=13450 vsize=732296 CPUtime=522.24 cores=1,3,5,7
/proc/13452/task/13455/stat : 13455 (techdemo) R 13450 13452 13214 0 -1 4202560 17789 0 0 0 52218 6 0 0 25 0 4 0 524880697 749871104 26820 33554432000 4194304 4797429 140736656570912 18446744073709551615 4526328 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13452/tid=13456] ppid=13450 vsize=732296 CPUtime=522.2 cores=1,3,5,7
/proc/13452/task/13456/stat : 13456 (techdemo) R 13450 13452 13214 0 -1 4202560 18298 0 0 0 52214 6 0 0 25 0 4 0 524880697 749871104 26820 33554432000 4194304 4797429 140736656570912 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2086.41
Current children cumulated vsize (KiB) 732296

[startup+582.3 s]
/proc/loadavg: 8.06 8.09 8.03 9/182 13471
/proc/meminfo: memFree=30622376/32951132 swapFree=67080200/67111528
[pid=13452] ppid=13450 vsize=734756 CPUtime=2326.09 cores=1,3,5,7
/proc/13452/stat : 13452 (techdemo) R 13450 13452 13214 0 -1 4202496 175313 0 0 0 232544 65 0 0 25 0 4 0 524880694 752390144 27638 33554432000 4194304 4797429 140736656570912 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13452/statm: 183689 27638 421 148 0 178618 0
[pid=13452/tid=13454] ppid=13450 vsize=734756 CPUtime=579.32 cores=1,3,5,7
/proc/13452/task/13454/stat : 13454 (techdemo) R 13450 13452 13214 0 -1 4202560 18946 0 0 0 57924 8 0 0 25 0 4 0 524880697 752390144 27638 33554432000 4194304 4797429 140736656570912 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13452/tid=13455] ppid=13450 vsize=734756 CPUtime=582.25 cores=1,3,5,7
/proc/13452/task/13455/stat : 13455 (techdemo) R 13450 13452 13214 0 -1 4202560 19737 0 0 0 58218 7 0 0 25 0 4 0 524880697 752390144 27638 33554432000 4194304 4797429 140736656570912 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13452/tid=13456] ppid=13450 vsize=734756 CPUtime=582.2 cores=1,3,5,7
/proc/13452/task/13456/stat : 13456 (techdemo) R 13450 13452 13214 0 -1 4202560 20015 0 0 0 58212 8 0 0 25 0 4 0 524880697 752390144 27638 33554432000 4194304 4797429 140736656570912 18446744073709551615 4430072 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2326.09
Current children cumulated vsize (KiB) 734756

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

[startup+588.701 s]
/proc/loadavg: 8.12 8.10 8.03 9/182 13471
/proc/meminfo: memFree=30616544/32951132 swapFree=67080200/67111528
[pid=13452] ppid=13450 vsize=735624 CPUtime=2351.67 cores=1,3,5,7
/proc/13452/stat : 13452 (techdemo) R 13450 13452 13214 0 -1 4202496 176647 0 0 0 235101 66 0 0 25 0 4 0 524880694 753278976 27975 33554432000 4194304 4797429 140736656570912 18446744073709551615 4425630 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13452/statm: 183906 27975 421 148 0 178835 0
[pid=13452/tid=13454] ppid=13450 vsize=735624 CPUtime=585.69 cores=1,3,5,7
/proc/13452/task/13454/stat : 13454 (techdemo) R 13450 13452 13214 0 -1 4202560 19489 0 0 0 58561 8 0 0 25 0 4 0 524880697 753278976 27975 33554432000 4194304 4797429 140736656570912 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13452/tid=13455] ppid=13450 vsize=735624 CPUtime=588.65 cores=1,3,5,7
/proc/13452/task/13455/stat : 13455 (techdemo) R 13450 13452 13214 0 -1 4202560 19831 0 0 0 58858 7 0 0 25 0 4 0 524880697 753278976 27975 33554432000 4194304 4797429 140736656570912 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13452/tid=13456] ppid=13450 vsize=735624 CPUtime=588.6 cores=1,3,5,7
/proc/13452/task/13456/stat : 13456 (techdemo) R 13450 13452 13214 0 -1 4202560 20106 0 0 0 58852 8 0 0 25 0 4 0 524880697 753278976 27975 33554432000 4194304 4797429 140736656570912 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2351.67
Current children cumulated vsize (KiB) 735624

[startup+601.501 s]
/proc/loadavg: 8.11 8.10 8.03 9/182 13472
/proc/meminfo: memFree=30620388/32951132 swapFree=67080200/67111528
[pid=13452] ppid=13450 vsize=736840 CPUtime=2402.81 cores=1,3,5,7
/proc/13452/stat : 13452 (techdemo) R 13450 13452 13214 0 -1 4202496 179195 0 0 0 240214 67 0 0 25 0 4 0 524880694 754524160 28202 33554432000 4194304 4797429 140736656570912 18446744073709551615 4389750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13452/statm: 184210 28202 421 148 0 179139 0
[pid=13452/tid=13454] ppid=13450 vsize=736840 CPUtime=598.44 cores=1,3,5,7
/proc/13452/task/13454/stat : 13454 (techdemo) R 13450 13452 13214 0 -1 4202560 19681 0 0 0 59835 9 0 0 25 0 4 0 524880697 754524160 28202 33554432000 4194304 4797429 140736656570912 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13452/tid=13455] ppid=13450 vsize=736840 CPUtime=601.44 cores=1,3,5,7
/proc/13452/task/13455/stat : 13455 (techdemo) R 13450 13452 13214 0 -1 4202560 20031 0 0 0 60137 7 0 0 25 0 4 0 524880697 754524160 28202 33554432000 4194304 4797429 140736656570912 18446744073709551615 4255114 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13452/tid=13456] ppid=13450 vsize=736840 CPUtime=601.4 cores=1,3,5,7
/proc/13452/task/13456/stat : 13456 (techdemo) R 13450 13452 13214 0 -1 4202560 20292 0 0 0 60132 8 0 0 25 0 4 0 524880697 754524160 28202 33554432000 4194304 4797429 140736656570912 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2402.81
Current children cumulated vsize (KiB) 736840

[startup+607.901 s]
/proc/loadavg: 8.09 8.09 8.03 9/182 13472
/proc/meminfo: memFree=30613936/32951132 swapFree=67080200/67111528
[pid=13452] ppid=13450 vsize=736840 CPUtime=2428.37 cores=1,3,5,7
/proc/13452/stat : 13452 (techdemo) R 13450 13452 13214 0 -1 4202496 179764 0 0 0 242770 67 0 0 25 0 4 0 524880694 754524160 28738 33554432000 4194304 4797429 140736656570912 18446744073709551615 4424877 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13452/statm: 184210 28738 421 148 0 179139 0
[pid=13452/tid=13454] ppid=13450 vsize=736840 CPUtime=604.8 cores=1,3,5,7
/proc/13452/task/13454/stat : 13454 (techdemo) R 13450 13452 13214 0 -1 4202560 19769 0 0 0 60471 9 0 0 25 0 4 0 524880697 754524160 28738 33554432000 4194304 4797429 140736656570912 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13452/tid=13455] ppid=13450 vsize=736840 CPUtime=607.84 cores=1,3,5,7
/proc/13452/task/13455/stat : 13455 (techdemo) R 13450 13452 13214 0 -1 4202560 20084 0 0 0 60777 7 0 0 25 0 4 0 524880697 754524160 28738 33554432000 4194304 4797429 140736656570912 18446744073709551615 4648124 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13452/tid=13456] ppid=13450 vsize=736840 CPUtime=607.8 cores=1,3,5,7
/proc/13452/task/13456/stat : 13456 (techdemo) R 13450 13452 13214 0 -1 4202560 20349 0 0 0 60772 8 0 0 25 0 4 0 524880697 754524160 28738 33554432000 4194304 4797429 140736656570912 18446744073709551615 4495525 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2428.37
Current children cumulated vsize (KiB) 736840

[startup+609.501 s]
/proc/loadavg: 8.09 8.09 8.03 9/182 13472
/proc/meminfo: memFree=30614060/32951132 swapFree=67080200/67111528
[pid=13452] ppid=13450 vsize=736840 CPUtime=2434.76 cores=1,3,5,7
/proc/13452/stat : 13452 (techdemo) R 13450 13452 13214 0 -1 4202496 179908 0 0 0 243409 67 0 0 25 0 4 0 524880694 754524160 28873 33554432000 4194304 4797429 140736656570912 18446744073709551615 4351629 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13452/statm: 184210 28873 421 148 0 179139 0
[pid=13452/tid=13454] ppid=13450 vsize=736840 CPUtime=606.39 cores=1,3,5,7
/proc/13452/task/13454/stat : 13454 (techdemo) R 13450 13452 13214 0 -1 4202560 19769 0 0 0 60630 9 0 0 25 0 4 0 524880697 754524160 28873 33554432000 4194304 4797429 140736656570912 18446744073709551615 4430142 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13452/tid=13455] ppid=13450 vsize=736840 CPUtime=609.44 cores=1,3,5,7
/proc/13452/task/13455/stat : 13455 (techdemo) R 13450 13452 13214 0 -1 4202560 20112 0 0 0 60937 7 0 0 25 0 4 0 524880697 754524160 28873 33554432000 4194304 4797429 140736656570912 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13452/tid=13456] ppid=13450 vsize=736840 CPUtime=609.4 cores=1,3,5,7
/proc/13452/task/13456/stat : 13456 (techdemo) R 13450 13452 13214 0 -1 4202560 20380 0 0 0 60932 8 0 0 25 0 4 0 524880697 754524160 28873 33554432000 4194304 4797429 140736656570912 18446744073709551615 4524101 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2434.76
Current children cumulated vsize (KiB) 736840

[startup+611.1 s]
/proc/loadavg: 8.09 8.09 8.03 9/182 13472
/proc/meminfo: memFree=30612820/32951132 swapFree=67080200/67111528
[pid=13452] ppid=13450 vsize=736840 CPUtime=2441.15 cores=1,3,5,7
/proc/13452/stat : 13452 (techdemo) R 13450 13452 13214 0 -1 4202496 180045 0 0 0 244048 67 0 0 25 0 4 0 524880694 754524160 29000 33554432000 4194304 4797429 140736656570912 18446744073709551615 4425888 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13452/statm: 184210 29000 421 148 0 179139 0
[pid=13452/tid=13454] ppid=13450 vsize=736840 CPUtime=607.99 cores=1,3,5,7
/proc/13452/task/13454/stat : 13454 (techdemo) R 13450 13452 13214 0 -1 4202560 19797 0 0 0 60790 9 0 0 25 0 4 0 524880697 754524160 29000 33554432000 4194304 4797429 140736656570912 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13452/tid=13455] ppid=13450 vsize=736840 CPUtime=611.04 cores=1,3,5,7
/proc/13452/task/13455/stat : 13455 (techdemo) R 13450 13452 13214 0 -1 4202560 20141 0 0 0 61097 7 0 0 25 0 4 0 524880697 754524160 29000 33554432000 4194304 4797429 140736656570912 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13452/tid=13456] ppid=13450 vsize=736840 CPUtime=611 cores=1,3,5,7
/proc/13452/task/13456/stat : 13456 (techdemo) R 13450 13452 13214 0 -1 4202560 20390 0 0 0 61092 8 0 0 25 0 4 0 524880697 754524160 29000 33554432000 4194304 4797429 140736656570912 18446744073709551615 4424865 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2441.15
Current children cumulated vsize (KiB) 736840

[startup+611.9 s]
/proc/loadavg: 8.09 8.09 8.03 9/182 13472
/proc/meminfo: memFree=30612324/32951132 swapFree=67080200/67111528
[pid=13452] ppid=13450 vsize=736840 CPUtime=2444.08 cores=1,3,5,7
/proc/13452/stat : 13452 (techdemo) S 13450 13452 13214 0 -1 4202496 180084 0 0 0 244341 67 0 0 23 0 4 0 524880694 754524160 29036 33554432000 4194304 4797429 140736656570912 18446744073709551615 210658975345 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13452/statm: 184210 29036 422 148 0 179139 0
[pid=13452/tid=13454] ppid=13450 vsize=736840 CPUtime=608.78 cores=1,3,5,7
/proc/13452/task/13454/stat : 13454 (techdemo) R 13450 13452 13214 0 -1 4202560 19797 0 0 0 60869 9 0 0 25 0 4 0 524880697 754524160 29036 33554432000 4194304 4797429 140736656570912 18446744073709551615 4509357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13452/tid=13455] ppid=13450 vsize=736840 CPUtime=611.84 cores=1,3,5,7
/proc/13452/task/13455/stat : 13455 (techdemo) R 13450 13452 13214 0 -1 4202560 20141 0 0 0 61177 7 0 0 25 0 4 0 524880697 754524160 29036 33554432000 4194304 4797429 140736656570912 18446744073709551615 4524386 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13452/tid=13456] ppid=13450 vsize=736840 CPUtime=611.8 cores=1,3,5,7
/proc/13452/task/13456/stat : 13456 (techdemo) R 13450 13452 13214 0 -1 4202560 20408 0 0 0 61172 8 0 0 25 0 4 0 524880697 754524160 29036 33554432000 4194304 4797429 140736656570912 18446744073709551615 4427256 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2444.08
Current children cumulated vsize (KiB) 736840

[startup+612.3 s]
/proc/loadavg: 8.09 8.09 8.03 9/182 13472
/proc/meminfo: memFree=30612324/32951132 swapFree=67080200/67111528
[pid=13452] ppid=13450 vsize=736840 CPUtime=2444.98 cores=1,3,5,7
/proc/13452/stat : 13452 (techdemo) S 13450 13452 13214 0 -1 4202496 180084 0 0 0 244431 67 0 0 19 0 4 0 524880694 754524160 29036 33554432000 4194304 4797429 140736656570912 18446744073709551615 210658975345 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13452/statm: 184210 29036 422 148 0 179139 0
[pid=13452/tid=13454] ppid=13450 vsize=736840 CPUtime=609.07 cores=1,3,5,7
/proc/13452/task/13454/stat : 13454 (techdemo) S 13450 13452 13214 0 -1 4202560 19797 0 0 0 60898 9 0 0 25 0 4 0 524880697 754524160 29036 33554432000 4194304 4797429 140736656570912 18446744073709551615 47485119415860 0 0 4096 2 18446604454225327232 0 0 -1 7 0 0 0
[pid=13452/tid=13455] ppid=13450 vsize=736840 CPUtime=612.24 cores=1,3,5,7
/proc/13452/task/13455/stat : 13455 (techdemo) R 13450 13452 13214 0 -1 4202560 20141 0 0 0 61217 7 0 0 25 0 4 0 524880697 754524160 29036 33554432000 4194304 4797429 140736656570912 18446744073709551615 4428551 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13452/tid=13456] ppid=13450 vsize=736840 CPUtime=612.02 cores=1,3,5,7
/proc/13452/task/13456/stat : 13456 (techdemo) S 13450 13452 13214 0 -1 4202560 20408 0 0 0 61194 8 0 0 25 0 4 0 524880697 754524160 29036 33554432000 4194304 4797429 140736656570912 18446744073709551615 47485119415860 0 0 4096 2 18446604454225327232 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2444.98
Current children cumulated vsize (KiB) 736840

Child status: 20
Real time (s): 612.367
CPU time (s): 2445.08
CPU user time (s): 2444.39
CPU system time (s): 0.683896
CPU usage (%): 399.283
Max. virtual memory (cumulated for all children) (KiB): 837916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2444.39
system time used= 0.683896
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180090
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= 766
involuntary context switches= 17643

runsolver used 0.912861 second user time and 2.11368 second system time

The end

Launcher Data 

Begin job on node129 at 2011-04-30 05:06:51
IDJOB=3262109
IDBENCH=83273
IDSOLVER=1584
FILE ID=node129/3262109-1304132811
RUNJOBID= node129-1304131594-13233
PBS_JOBID= 13170799
Free space on /tmp= 67244 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-19_348.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3262109-1304132811/watcher-3262109-1304132811 -o /tmp/evaluation-result-3262109-1304132811/solver-3262109-1304132811 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3262109-1304132811.cnf

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

MD5SUM BENCH= d56eb1fbc523242359df78e10ae2a44f
RANDOM SEED=1107254022

node129.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.831
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.831
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.831
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.831
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.82
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.831
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.74
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.831
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.83
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.831
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.831
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      30836976 kB
Buffers:        258688 kB
Cached:        1444052 kB
SwapCached:       4932 kB
Active:         157256 kB
Inactive:      1618212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      30836976 kB
SwapTotal:    67111528 kB
SwapFree:     67080200 kB
Dirty:           16684 kB
Writeback:          24 kB
AnonPages:       69924 kB
Mapped:          13344 kB
Slab:           276376 kB
PageTables:       5160 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   696640 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 67236 MiB
End job on node129 at 2011-04-30 05:17:03