Trace number 3280546

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 4518.13 1132.32

General information on the benchmark

Nameindustrial/fuhs/hard/
AProVE07-03.cnf
MD5SUM8c67f78ca36ec96e662a91c74844da21
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark154.887
Satisfiable
(Un)Satisfiability was proved
Number of variables3114
Number of clauses10827
Sum of the clauses size28341
Maximum clause length119
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 24934
Number of clauses of size 35378
Number of clauses of size 4408
Number of clauses of size 584
Number of clauses of size over 522

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-3280546-1304032406.cnf'
0.00/0.00	c -- header says num vars:           3114
0.00/0.00	c -- header says num clauses:       10827
0.00/0.02	c -- clauses added:            0 learnts,        10827 normals,            0 xors
0.00/0.02	c -- vars added       3114
0.00/0.02	c Parsing time:  0.02 s
0.00/0.02	c  N st     0         0      3114      5891      4689         0     27785         0   no data   no data  --
0.00/0.03	c asymm  cl-useful: 79/5891/5891 lits-rem:238 time: 0.04
0.00/0.05	c Flit:     0 Blit:     21 bXBeca:    0 bXProp:  138 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.04
0.00/0.05	c Calc non-exist non-lernt bins v-fix:     0 done:   3059 time:  0.00 s
0.00/0.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.00/0.05	c Subs w/ non-existent bins:     20 time:  0.00 s
0.00/0.05	c Replacing      138 vars Replaced     2685 lits Time:     0.00 s 
0.00/0.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.05	c subs with bin:       78  lits-rem:        78  v-fix:    0  time:  0.00 s
0.00/0.05	c Removed useless bin:      50  fixed:     0  bprops:   0.03M  time:  0.01 s
0.00/0.07	c lits-rem:         0  cl-subs:      606  v-elim:    973  v-fix:    0  time:  0.05 s
0.00/0.07	c learnt bin added due to v-elim: 0
0.00/0.07	c Finding binary XORs  T:     0.00 s  found:      41
0.00/0.07	c Replacing       41 vars Replaced      673 lits Time:     0.00 s 
0.00/0.10	c Finding non-binary XORs:     0.01 s (found:     602, avg size: 3.5)
0.00/0.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:    12 time:   0.00
0.00/0.10	c calculated reachability. Time: 0.00
0.00/0.10	c Calc default polars -  time:   0.00 s pos:     716 undec:    1238 neg:    1160
0.00/0.10	c =========================================================================================
0.00/0.10	c types(t): F = full restart, N = normal restart
0.00/0.10	c types(t): S = simplification begin/end, E = solution found
0.00/0.10	c restart types(rt): st = static, dy = dynamic
0.00/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.00/0.10	c  B st     0         0      1907      2362      2705         0     15793         0   no data   no data  --
0.31/0.23	c Decided on static restart strategy
16.28/4.13	c  N dy     7     30001      1907      2362      2916     10614     15793    345135     73.18     13.30  --
16.28/4.16	c  S st     7     30001      1907      2362      2916     10614     15793    345135     73.18     13.30  --
16.68/4.24	c  S st     7     30503      1907      2362      4599     14003     16337    363480     73.18     13.30  --
16.68/4.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:    12 time:   0.00
16.68/4.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
17.08/4.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    8 Bin:     58 BRemL:    584 BRemN:    169 CBin:       0 P:  2.3M T:  0.32
17.08/4.32	c Calc non-exist non-lernt bins v-fix:     0 done:   1907 time:  0.01 s
17.08/4.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
17.08/4.33	c Subs w/ non-existent bins:    288 time:  0.04 s
17.08/4.34	c Replacing       14 vars Replaced     5760 lits Time:     0.05 s 
17.08/4.35	c bin-w-bin subsume rem          180 bins  time:  0.00 s
17.48/4.43	c subs with bin:      232  lits-rem:     13817  v-fix:    0  time:  0.29 s
17.48/4.43	c Removed useless bin:      32  fixed:     0  bprops:   0.02M  time:  0.00 s
20.27/5.13	c lits-rem:      2828  cl-subs:     8198  v-elim:    623  v-fix:    0  time:  2.80 s
20.27/5.13	c learnt bin added due to v-elim: 0
20.27/5.13	c vivif2 --  cl tried     2550 cl shrink       97 lits rem        103 time: 0.00
20.27/5.14	c vivif2 --  cl tried     6093 cl shrink      967 lits rem       1553 time: 0.02
20.27/5.15	c asymm  cl-useful: 7/2487/2487 lits-rem:24 time: 0.08
20.27/5.15	c calculated reachability. Time: 0.00
20.27/5.15	c  N dy     7     30503      1292      2480      1869      6085     12941     89084     73.18     13.30  --
20.27/5.15	c  F st     7     30503      1292      2480      1869      6085     12941     89084     73.18     13.30  --
21.07/5.35	c Decided on static restart strategy
27.88/7.03	c  N dy    14     45756      1292      2480      1871     12010     12941    138014     16.77     12.84  --
27.88/7.04	c  S st    14     45756      1292      2480      1871     12010     12941    138014     16.77     12.84  --
28.28/7.10	c  S st    14     46256      1292      2480      1899     12532     12945    145500     16.77     12.84  --
28.28/7.10	c x-sub:     6 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.28/7.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
28.28/7.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:     68 BRemL:     18 BRemN:      4 CBin:       0 P:  2.3M T:  0.20
28.28/7.16	c Calc non-exist non-lernt bins v-fix:     0 done:   1292 time:  0.00 s
28.28/7.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
28.28/7.16	c Subs w/ non-existent bins:      8 time:  0.02 s
28.28/7.16	c Replacing        1 vars Replaced       40 lits Time:     0.00 s 
28.28/7.17	c bin-w-bin subsume rem           83 bins  time:  0.00 s
28.28/7.17	c subs with bin:       11  lits-rem:       195  v-fix:    0  time:  0.03 s
28.28/7.17	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
28.66/7.29	c lits-rem:      1025  cl-subs:      956  v-elim:     32  v-fix:    0  time:  0.47 s
28.66/7.29	c learnt bin added due to v-elim: 0
28.66/7.29	c vivif2 --  cl tried     2489 cl shrink        3 lits rem          3 time: 0.00
29.06/7.30	c vivif2 --  cl tried    11588 cl shrink       17 lits rem         28 time: 0.02
29.06/7.33	c asymm  cl-useful: 2/2487/2487 lits-rem:7 time: 0.15
29.06/7.33	c calculated reachability. Time: 0.00
29.06/7.33	c  N dy    14     46256      1277      2485      1819     11587     12745    132623     16.77     12.84  --
42.64/10.73	c  N dy    15     69385      1277      2485      1819     14784     12745    329844     62.95     13.60  --
42.64/10.75	c  S st    15     69385      1277      2485      1819     14784     12745    329844     62.95     13.60  --
43.04/10.82	c  S st    15     69887      1277      2485      1871     15311     12745    337321     62.95     13.60  --
43.04/10.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.04/10.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.44/10.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      8 BRemN:      0 CBin:       0 P:  3.4M T:  0.33
43.44/10.91	c Calc non-exist non-lernt bins v-fix:     0 done:   1277 time:  0.00 s
43.44/10.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.44/10.92	c Subs w/ non-existent bins:      2 time:  0.04 s
43.44/10.92	c bin-w-bin subsume rem            4 bins  time:  0.00 s
43.44/10.95	c subs with bin:        6  lits-rem:       406  v-fix:    0  time:  0.11 s
43.44/10.95	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
47.03/11.88	c ORs :    377 avg-s:  2.7 cl-sh: 11164 l-rem:  44389 b-add:     77 v-rep:   0 cl-rem: 59 avg s: 3.9 T:    0.24
49.03/12.39	c Added 13 vars  tried: 80000 time: 2.03
49.43/12.40	c ORs :     13 avg-s:  0.0 cl-sh:  2062 l-rem:   2062 b-add:     26 v-rep:   0 cl-rem: 0 avg s: nan T:    2.05
49.43/12.40	c lits-rem:      1056  cl-subs:      979  v-elim:     18  v-fix:    0  time:  5.79 s
49.43/12.40	c learnt bin added due to v-elim: 0
49.43/12.40	c vivif2 --  cl tried     2465 cl shrink        0 lits rem          0 time: 0.00
49.43/12.41	c vivif2 --  cl tried    14222 cl shrink      105 lits rem        114 time: 0.03
49.43/12.46	c asymm  cl-useful: 4/2465/2465 lits-rem:4 time: 0.18
49.43/12.46	c calculated reachability. Time: 0.00
49.43/12.46	c  N dy    15     69887      1290      2465      1963     14221     12416    255454     62.95     13.60  --
49.43/12.46	c  F st    15     69887      1290      2465      1963     14221     12416    255454     62.95     13.60  --
50.25/12.68	c Decided on static restart strategy
73.00/18.39	c  N dy    22    104830      1290      2465      1964     12954     12416    107869     40.38     12.68  --
73.00/18.39	c  S st    22    104830      1290      2465      1964     12954     12416    107869     40.38     12.68  --
73.40/18.46	c  S st    22    105333      1290      2465      2045     13476     12416    115134     40.38     12.68  --
73.40/18.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
73.40/18.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
73.80/18.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      7 BRemL:     22 BRemN:      0 CBin:       0 P:  4.0M T:  0.27
73.80/18.53	c Calc non-exist non-lernt bins v-fix:     0 done:   1290 time:  0.00 s
73.80/18.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
73.80/18.53	c Subs w/ non-existent bins:      0 time:  0.02 s
73.80/18.54	c bin-w-bin subsume rem           68 bins  time:  0.00 s
73.80/18.54	c subs with bin:       26  lits-rem:       126  v-fix:    0  time:  0.02 s
73.80/18.54	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
74.19/18.64	c ORs :    376 avg-s:  2.7 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 3 avg s: 4.3 T:    0.01
74.19/18.64	c lits-rem:       431  cl-subs:      722  v-elim:     23  v-fix:    0  time:  0.40 s
74.19/18.64	c learnt bin added due to v-elim: 0
74.19/18.64	c vivif2 --  cl tried     2469 cl shrink        4 lits rem          4 time: 0.00
74.19/18.65	c vivif2 --  cl tried    12733 cl shrink       96 lits rem         96 time: 0.01
74.19/18.68	c asymm  cl-useful: 0/2469/2469 lits-rem:0 time: 0.14
74.19/18.68	c calculated reachability. Time: 0.00
74.19/18.68	c  N dy    22    105333      1285      2469      1951     12733     12453    106242     40.38     12.68  --
110.95/27.85	c  N dy    23    158003      1285      2469      1951     20099     12453    240535     18.75     12.30  --
110.95/27.86	c  S st    23    158003      1285      2469      1951     20099     12453    240535     18.75     12.30  --
110.95/27.86	c Finding binary XORs  T:     0.00 s  found:       0
111.37/27.96	c  S st    23    158507      1285      2469      1995     20624     12453    246903     18.75     12.30  --
111.37/27.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
111.37/27.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
111.77/28.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:     14 BRemL:     11 BRemN:      0 CBin:       0 P:  6.4M T:  0.45
111.77/28.08	c Calc non-exist non-lernt bins v-fix:     0 done:   1285 time:  0.00 s
111.77/28.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
111.77/28.08	c Subs w/ non-existent bins:      0 time:  0.03 s
111.77/28.09	c bin-w-bin subsume rem            2 bins  time:  0.00 s
112.15/28.11	c subs with bin:        7  lits-rem:       118  v-fix:    0  time:  0.06 s
112.15/28.11	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
114.55/28.71	c ORs :    376 avg-s:  2.7 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 2 avg s: 3.0 T:    0.02
114.55/28.71	c lits-rem:      1145  cl-subs:     1109  v-elim:     18  v-fix:    0  time:  2.41 s
114.55/28.71	c learnt bin added due to v-elim: 0
114.55/28.71	c vivif2 --  cl tried     2469 cl shrink        0 lits rem          0 time: 0.00
114.55/28.72	c vivif2 --  cl tried    19506 cl shrink       10 lits rem         10 time: 0.02
114.55/28.78	c asymm  cl-useful: 1/2469/2469 lits-rem:1 time: 0.25
114.55/28.78	c calculated reachability. Time: 0.00
114.55/28.78	c  N dy    23    158507      1285      2469      1996     19506     12452    224938     18.75     12.30  --
180.05/45.16	c  N dy    24    237760      1285      2469      1996     24708     12452    398377     40.29     13.03  --
180.05/45.18	c  S st    24    237760      1285      2469      1996     24708     12452    398377     40.29     13.03  --
180.85/45.30	c  S st    24    238260      1285      2469      2044     25230     12454    404663     40.29     13.03  --
180.85/45.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
180.85/45.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
181.25/45.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      3 BRemL:     16 BRemN:      0 CBin:       0 P:  9.4M T:  0.66
181.25/45.47	c Calc non-exist non-lernt bins v-fix:     0 done:   1285 time:  0.00 s
181.25/45.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
181.25/45.48	c Subs w/ non-existent bins:      0 time:  0.04 s
181.25/45.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
181.67/45.52	c subs with bin:       20  lits-rem:       133  v-fix:    0  time:  0.15 s
181.67/45.53	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
190.05/47.64	c ORs :    376 avg-s:  2.7 cl-sh:     1 l-rem:      1 b-add:      1 v-rep:   0 cl-rem: 0 avg s: nan T:    0.04
190.05/47.64	c lits-rem:      2043  cl-subs:      990  v-elim:     18  v-fix:    0  time:  8.47 s
190.05/47.64	c learnt bin added due to v-elim: 0
190.05/47.64	c vivif2 --  cl tried     2469 cl shrink        0 lits rem          0 time: 0.00
190.05/47.66	c vivif2 --  cl tried    24219 cl shrink      334 lits rem        348 time: 0.04
190.46/47.75	c asymm  cl-useful: 0/2469/2469 lits-rem:0 time: 0.38
190.46/47.75	c calculated reachability. Time: 0.00
190.46/47.75	c  N dy    24    238260      1285      2469      2034     24219     12453    376876     40.29     13.03  --
294.30/73.78	c  N dy    25    357391      1285      2469      2034     28277     12453    346902     34.58     13.20  --
294.30/73.79	c  S st    25    357391      1285      2469      2034     28277     12453    346902     34.58     13.20  --
295.10/73.92	c  S st    25    357894      1285      2469      2096     28819     12455    353709     34.58     13.20  --
295.10/73.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
295.10/73.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
295.92/74.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      3 BRemL:     23 BRemN:      0 CBin:       0 P: 13.0M T:  0.82
295.92/74.13	c Calc non-exist non-lernt bins v-fix:     0 done:   1285 time:  0.01 s
295.92/74.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
295.92/74.14	c Subs w/ non-existent bins:      1 time:  0.04 s
295.92/74.15	c bin-w-bin subsume rem            3 bins  time:  0.00 s
295.92/74.17	c subs with bin:       14  lits-rem:       164  v-fix:    0  time:  0.09 s
295.92/74.17	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
300.71/75.36	c ORs :    376 avg-s:  2.7 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.03
303.49/76.00	c Added 7 vars  tried: 80000 time: 2.54
303.49/76.00	c ORs :      7 avg-s:  0.0 cl-sh:   793 l-rem:    793 b-add:     15 v-rep:   0 cl-rem: 0 avg s: nan T:    2.55
303.49/76.01	c lits-rem:      1062  cl-subs:      971  v-elim:     18  v-fix:    0  time:  7.34 s
303.49/76.01	c learnt bin added due to v-elim: 0
303.49/76.01	c vivif2 --  cl tried     2475 cl shrink        0 lits rem          0 time: 0.00
303.49/76.02	c vivif2 --  cl tried    27833 cl shrink      285 lits rem        287 time: 0.04
303.89/76.10	c asymm  cl-useful: 1/2475/2475 lits-rem:1 time: 0.32
303.89/76.10	c calculated reachability. Time: 0.00
303.89/76.10	c  N dy    25    357894      1292      2475      2091     27833     12496    333289     34.58     13.20  --
474.46/118.87	c  N dy    26    536841      1292      2475      2091     35686     12496    450885     37.59     12.67  --
474.46/118.89	c  S st    26    536841      1292      2475      2091     35686     12496    450885     37.59     12.67  --
475.27/119.05	c  S st    26    537342      1292      2475      2156     36220     12496    458978     37.59     12.67  --
475.27/119.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
475.27/119.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
476.49/119.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      4 BRemL:     12 BRemN:      0 CBin:       0 P: 18.7M T:  1.17
476.49/119.35	c Calc non-exist non-lernt bins v-fix:     0 done:   1292 time:  0.00 s
476.49/119.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
476.49/119.36	c Subs w/ non-existent bins:      0 time:  0.06 s
476.49/119.37	c bin-w-bin subsume rem            3 bins  time:  0.00 s
476.86/119.40	c subs with bin:        5  lits-rem:       232  v-fix:    0  time:  0.12 s
476.86/119.40	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
484.06/121.29	c ORs :    383 avg-s:  2.6 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 2 avg s: 6.5 T:    0.04
484.46/121.30	c lits-rem:      2433  cl-subs:     1215  v-elim:     18  v-fix:    0  time:  7.59 s
484.46/121.30	c learnt bin added due to v-elim: 0
484.46/121.30	c vivif2 --  cl tried     2475 cl shrink        0 lits rem          0 time: 0.00
484.46/121.31	c vivif2 --  cl tried    34998 cl shrink        8 lits rem          8 time: 0.04
484.87/121.45	c asymm  cl-useful: 1/2475/2475 lits-rem:1 time: 0.53
484.87/121.45	c calculated reachability. Time: 0.00
484.87/121.45	c  N dy    26    537342      1292      2475      2145     34998     12493    434899     37.59     12.67  --
484.87/121.45	c  F st    26    537342      1292      2475      2145     34998     12493    434899     37.59     12.67  --
486.85/121.92	c Decided on static restart strategy
801.65/200.72	c  N dy    33    806013      1292      2475      2147     58134     12493   1126835     44.47     12.54  --
801.65/200.78	c  S st    33    806013      1292      2475      2147     58134     12493   1126835     44.47     12.54  --
801.65/200.78	c Finding binary XORs  T:     0.00 s  found:       0
802.83/201.03	c  S st    33    806516      1292      2475      2242     58698     12493   1134415     44.47     12.54  --
802.83/201.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
802.83/201.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
805.23/201.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      3 BRemL:     57 BRemN:      0 CBin:       0 P: 33.0M T:  2.52
805.23/201.66	c Calc non-exist non-lernt bins v-fix:     0 done:   1292 time:  0.01 s
805.23/201.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
805.64/201.70	c Subs w/ non-existent bins:      0 time:  0.14 s
805.64/201.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
806.04/201.84	c subs with bin:      393  lits-rem:       377  v-fix:    0  time:  0.47 s
806.04/201.84	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
814.01/203.81	c ORs :    380 avg-s:  2.6 cl-sh:     4 l-rem:      4 b-add:      0 v-rep:   0 cl-rem: 4 avg s: 4.8 T:    0.10
814.01/203.83	c lits-rem:      1872  cl-subs:     5607  v-elim:     19  v-fix:    0  time:  7.96 s
814.01/203.83	c learnt bin added due to v-elim: 0
814.01/203.83	c vivif2 --  cl tried     2475 cl shrink        0 lits rem          0 time: 0.00
814.01/203.86	c vivif2 --  cl tried    52700 cl shrink     1095 lits rem       1120 time: 0.12
814.42/203.98	c asymm  cl-useful: 0/1016/2475 lits-rem:0 time: 0.47
814.42/203.98	c calculated reachability. Time: 0.00
814.42/203.98	c  N dy    33    806516      1291      2475      2181     52700     12485    956521     44.47     12.54  --
1388.45/347.61	c  N dy    34   1209775      1290      2475      2204     68453     12485   1177489     44.09     12.68  --
1388.45/347.67	c  S st    34   1209775      1290      2475      2204     68453     12485   1177489     44.09     12.68  --
1388.45/347.68	c Finding binary XORs  T:     0.00 s  found:       0
1390.07/348.02	c  S st    34   1210278      1288      2450      2422     68325     12432   1177757     44.09     12.68  --
1390.07/348.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1390.07/348.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1393.25/348.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:     16 BRemL:    137 BRemN:      2 CBin:       0 P: 44.3M T:  3.28
1393.25/348.85	c Calc non-exist non-lernt bins v-fix:     0 done:   1288 time:  0.01 s
1393.25/348.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1393.25/348.89	c Subs w/ non-existent bins:     57 time:  0.15 s
1393.65/348.91	c bin-w-bin subsume rem           19 bins  time:  0.00 s
1394.05/349.02	c subs with bin:      146  lits-rem:      1707  v-fix:    0  time:  0.43 s
1394.05/349.02	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
1402.44/351.10	c ORs :    384 avg-s:  2.6 cl-sh:    19 l-rem:     19 b-add:      2 v-rep:   0 cl-rem: 4 avg s: 3.0 T:    0.09
1402.44/351.12	c lits-rem:      1422  cl-subs:    10114  v-elim:     18  v-fix:    0  time:  8.37 s
1402.44/351.12	c learnt bin added due to v-elim: 0
1402.44/351.12	c vivif2 --  cl tried     2440 cl shrink        1 lits rem          1 time: 0.00
1402.44/351.15	c vivif2 --  cl tried    58012 cl shrink     1255 lits rem       1358 time: 0.11
1402.84/351.25	c asymm  cl-useful: 0/1164/2439 lits-rem:0 time: 0.42
1402.84/351.26	c calculated reachability. Time: 0.00
1402.84/351.26	c  N dy    34   1210278      1288      2439      2292     58006     12395    823326     44.09     12.68  --
2213.75/554.28	c  N dy    35   1710280      1288      2439      2295     89263     12395   1901955     37.95     12.63  --
2214.15/554.38	c  S st    35   1710280      1288      2439      2295     89263     12395   1901955     37.95     12.63  --
2215.75/554.78	c  S st    35   1710782      1285      2439      2435     89903     12399   1909086     37.95     12.63  --
2215.75/554.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2215.75/554.78	c Cache  BProp: 4 Set: 0 BXProp: 0 T: 0.00
2221.34/556.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      8 BRemL:    120 BRemN:      0 CBin:       0 P: 60.1M T:  5.26
2221.34/556.10	c Calc non-exist non-lernt bins v-fix:     0 done:   1285 time:  0.01 s
2221.34/556.10	c Cache  BProp: 4 Set: 0 BXProp: 0 T: 0.00
2221.34/556.16	c Subs w/ non-existent bins:      7 time:  0.23 s
2221.34/556.19	c Replacing        1 vars Replaced       43 lits Time:     0.09 s 
2221.74/556.23	c bin-w-bin subsume rem           10 bins  time:  0.00 s
2222.54/556.45	c subs with bin:      356  lits-rem:       849  v-fix:    0  time:  0.90 s
2222.54/556.45	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
2239.32/560.69	c ORs :    378 avg-s:  2.6 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 5.0 T:    0.21
2243.32/561.63	c Added 13 vars  tried: 80000 time: 3.76
2243.32/561.68	c ORs :     13 avg-s:  0.0 cl-sh:  8686 l-rem:   8686 b-add:     27 v-rep:   0 cl-rem: 0 avg s: nan T:    3.99
2243.72/561.72	c lits-rem:      2576  cl-subs:     6579  v-elim:     19  v-fix:    0  time: 21.04 s
2243.72/561.72	c learnt bin added due to v-elim: 0
2243.72/561.72	c vivif2 --  cl tried     2440 cl shrink        0 lits rem          0 time: 0.00
2243.72/561.77	c vivif2 --  cl tried    82712 cl shrink      383 lits rem        405 time: 0.20
2244.52/561.90	c asymm  cl-useful: 0/668/2440 lits-rem:0 time: 0.53
2244.52/561.91	c calculated reachability. Time: 0.00
2244.52/561.91	c  N dy    35   1710782      1296      2440      2288     82703     12419   1727053     37.95     12.63  --
2559.69/640.89	c Finding binary XORs  T:     0.00 s  found:       1
3164.90/792.34	c  N dy    36   2210783      1295      2439      2304     97834     12414   1769882     33.57     12.34  --
3165.31/792.43	c  S st    36   2210783      1295      2439      2304     97834     12414   1769882     33.57     12.34  --
3166.89/792.85	c  S st    36   2211286      1295      2439      2460     98584     12424   1777377     33.57     12.34  --
3166.89/792.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3166.89/792.86	c Cache  BProp: 4 Set: 0 BXProp: 0 T: 0.00
3172.09/794.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:     36 BRemL:    145 BRemN:      0 CBin:       0 P: 60.1M T:  5.00
3172.09/794.11	c Calc non-exist non-lernt bins v-fix:     0 done:   1295 time:  0.01 s
3172.09/794.11	c Cache  BProp: 4 Set: 0 BXProp: 0 T: 0.00
3172.09/794.17	c Subs w/ non-existent bins:     80 time:  0.24 s
3172.09/794.18	c Replacing        1 vars Replaced      156 lits Time:     0.04 s 
3172.49/794.22	c bin-w-bin subsume rem            3 bins  time:  0.00 s
3181.27/796.41	c subs with bin:    13481  lits-rem:     13558  v-fix:    0  time:  8.73 s
3181.27/796.41	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
3190.46/798.76	c ORs :    391 avg-s:  2.6 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 2 avg s: 7.0 T:    0.18
3190.46/798.79	c lits-rem:      2048  cl-subs:     4688  v-elim:     18  v-fix:    0  time:  9.51 s
3190.46/798.79	c learnt bin added due to v-elim: 0
3190.46/798.79	c vivif2 --  cl tried     2421 cl shrink        1 lits rem          1 time: 0.00
3190.86/798.85	c vivif2 --  cl tried    80340 cl shrink     4522 lits rem       5019 time: 0.22
3191.26/798.97	c asymm  cl-useful: 0/503/2420 lits-rem:0 time: 0.50
3191.26/798.98	c calculated reachability. Time: 0.00
3191.26/798.98	c  N dy    36   2211286      1294      2420      2372     80321     12373   1224142     33.57     12.34  --
3819.23/956.14	c Finding binary XORs  T:     0.00 s  found:       2
4174.36/1045.10	c  N dy    37   2711286      1289      2414      2626    104210     12348   1881351     52.18     12.12  --
4174.76/1045.19	c  S st    37   2711286      1289      2414      2626    104210     12348   1881351     52.18     12.12  --
4175.16/1045.22	c Finding binary XORs  T:     0.00 s  found:       4
4176.75/1045.67	c  S st    37   2711790      1288      2360      3307    102545     12302   1856740     52.18     12.12  --
4176.75/1045.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4176.75/1045.68	c Cache  BProp: 12 Set: 0 BXProp: 0 T: 0.00
4182.74/1047.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:    116 BRemL:    441 BRemN:      0 CBin:       0 P: 60.0M T:  5.68
4182.74/1047.11	c Calc non-exist non-lernt bins v-fix:     0 done:   1288 time:  0.01 s
4182.74/1047.11	c Cache  BProp: 12 Set: 0 BXProp: 0 T: 0.00
4182.74/1047.18	c Subs w/ non-existent bins:    626 time:  0.30 s
4183.14/1047.22	c Replacing        7 vars Replaced     5872 lits Time:     0.17 s 
4183.14/1047.26	c bin-w-bin subsume rem          106 bins  time:  0.00 s
4187.54/1048.39	c subs with bin:     8912  lits-rem:     29095  v-fix:    0  time:  4.49 s
4187.54/1048.39	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
4202.73/1052.11	c ORs :    383 avg-s:  2.6 cl-sh:   389 l-rem:    389 b-add:      9 v-rep:   0 cl-rem: 13 avg s: 6.5 T:    0.19
4205.91/1052.94	c Added 13 vars  tried: 80000 time: 3.33
4205.91/1052.96	c ORs :     13 avg-s:  0.0 cl-sh:  3440 l-rem:   3440 b-add:     27 v-rep:   0 cl-rem: 2 avg s: 3.0 T:    3.41
4205.91/1052.99	c lits-rem:      3709  cl-subs:     9055  v-elim:     25  v-fix:    0  time: 18.37 s
4205.91/1052.99	c learnt bin added due to v-elim: 0
4205.91/1052.99	c vivif2 --  cl tried     2260 cl shrink        9 lits rem          9 time: 0.00
4206.31/1053.08	c vivif2 --  cl tried    84056 cl shrink     9009 lits rem      10786 time: 0.36
4207.12/1053.21	c asymm  cl-useful: 0/564/2257 lits-rem:0 time: 0.49
4207.12/1053.21	c calculated reachability. Time: 0.00
4207.12/1053.21	c  N dy    37   2711790      1287      2257      2911     83988     12066   1459348     52.18     12.12  --
4207.12/1053.21	c  F st    37   2711790      1287      2257      2911     83988     12066   1459348     52.18     12.12  --
4211.52/1054.33	c Decided on static restart strategy
4514.72/1130.21	c  E dy    44   2838559      1268      2257      4656    140601     12254   2685042     29.31     12.01  --
4517.96/1132.29	c Following stats are for *FIRST FINISHED THREAD ONLY*
4517.96/1132.29	c num threads              : 4          
4517.96/1132.29	c restarts                 : 44         
4517.96/1132.29	c dynamic restarts         : 14         
4517.96/1132.29	c static restarts          : 30         
4517.96/1132.29	c full restarts            : 4          
4517.96/1132.29	c total simplify time      : 0.22       
4517.96/1132.29	c learnts DL2              : 0          
4517.96/1132.29	c learnts size 2           : 11584      
4517.96/1132.29	c learnts size 1           : 376         (11.89     % of vars)
4517.96/1132.29	c filedLit time            : 26.00       (0.58      % time)
4517.96/1132.29	c v-elim SatELite          : 1602        (50.68     % vars)
4517.96/1132.29	c SatELite time            : 99.36       (2.20      % time)
4517.96/1132.29	c v-elim xor               : 0           (0.00      % vars)
4517.96/1132.29	c xor elim time            : 0.15        (0.00      % time)
4517.96/1132.29	c num binary xor trees     : 184        
4517.96/1132.29	c binxor trees' crown      : 203         (1.10      leafs/tree)
4517.96/1132.29	c bin xor find time        : 0.02       
4517.96/1132.29	c OTF clause subsumed      : 58757       (0.02      clauses/conflict)
4517.96/1132.29	c OTF subs. size diff      : 80912       (1.38       lits/clause)
4517.96/1132.29	c OTF cl watch-shrink      : 2033584     (0.72      clauses/conflict)
4517.96/1132.29	c OTF cl watch-sh-lit      : 8586291     (4.22       lits/clause)
4517.96/1132.29	c tried to recurMin cls    : 2838542     (100.00     % of conflicts)
4517.96/1132.29	c updated cache            : 17825       (0.01       lits/tried recurMin)
4517.96/1132.29	c OTF Gate-Rem cl          : 266591      (0.09      clauses/conflict)
4517.96/1132.29	c OTF Gate-rem lits        : 341059      (1.28      lits/confl)
4517.96/1132.29	c unit cls received        : 13          (3.46      % of units)
4517.96/1132.29	c unit cls sent            : 82          (21.81     % of units)
4517.96/1132.29	c bin cls received         : 5557       
4517.96/1132.29	c bin cls sent             : 1868       
4517.96/1132.29	c tri cls recevied         : 11902      
4517.96/1132.29	c tri cls sent             : 5885       
4517.96/1132.29	c clauses over max glue    : 0           (0.00      % of all clauses)
4517.96/1132.29	c conflicts                : 2838559     (628.44    / sec)
4517.96/1132.29	c decisions                : 3829734     (0.43      % random)
4517.96/1132.29	c bogo-props               : 70058157208 (15510366.06 / sec)
4517.96/1132.29	c props                    : 586101047   (129758.51 / sec)
4517.96/1132.29	c conflict literals        : 101303527   (45.83     % deleted)
4517.96/1132.29	c Memory used              : 844.09      MB
4517.96/1132.29	c single-thread CPU time   : 4516.86     s
4517.96/1132.29	c all-threads sum CPU time : 4516.86     s
4517.96/1132.29	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-3280546-1304032406/watcher-3280546-1304032406 -o /tmp/evaluation-result-3280546-1304032406/solver-3280546-1304032406 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3280546-1304032406.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: 0.82 2.10 4.70 2/174 27744
/proc/meminfo: memFree=20513464/32950928 swapFree=67111524/67111528
[pid=27744] ppid=27742 vsize=24544 CPUtime=0 cores=1,3,5,7
/proc/27744/stat : 27744 (techdemo) R 27742 27744 25974 0 -1 4202496 1181 0 0 0 0 0 0 0 21 0 1 0 593471287 25133056 1120 33554432000 4194304 4797429 140736442248352 18446744073709551615 231895187648 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27744/statm: 6136 1131 341 148 0 1065 0

[startup+0.0110039 s]
/proc/loadavg: 0.82 2.10 4.70 2/174 27744
/proc/meminfo: memFree=20513464/32950928 swapFree=67111524/67111528
[pid=27744] ppid=27742 vsize=54980 CPUtime=0 cores=1,3,5,7
/proc/27744/stat : 27744 (techdemo) R 27742 27744 25974 0 -1 4202496 1803 0 0 0 0 0 0 0 21 0 1 0 593471287 56299520 1668 33554432000 4194304 4797429 140736442248352 18446744073709551615 231895151301 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27744/statm: 13745 1670 349 148 0 8674 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 54980

[startup+0.10568 s]
/proc/loadavg: 0.82 2.10 4.70 2/174 27744
/proc/meminfo: memFree=20513464/32950928 swapFree=67111524/67111528
[pid=27744] ppid=27742 vsize=746212 CPUtime=0.31 cores=1,3,5,7
/proc/27744/stat : 27744 (techdemo) R 27742 27744 25974 0 -1 4202496 4396 0 0 0 30 1 0 0 18 0 4 0 593471287 764121088 4069 33554432000 4194304 4797429 140736442248352 18446744073709551615 4422964 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27744/statm: 186553 4069 416 148 0 181482 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 746212

[startup+0.825293 s]
/proc/loadavg: 0.82 2.10 4.70 2/174 27744
/proc/meminfo: memFree=20513464/32950928 swapFree=67111524/67111528
[pid=27744] ppid=27742 vsize=747592 CPUtime=3.19 cores=1,3,5,7
/proc/27744/stat : 27744 (techdemo) R 27742 27744 25974 0 -1 4202496 6529 0 0 0 317 2 0 0 19 0 4 0 593471287 765534208 4978 33554432000 4194304 4797429 140736442248352 18446744073709551615 4425054 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27744/statm: 186898 4978 417 148 0 181827 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 747592

[startup+0.900837 s]
/proc/loadavg: 0.82 2.10 4.70 2/174 27744
/proc/meminfo: memFree=20513464/32950928 swapFree=67111524/67111528
[pid=27744] ppid=27742 vsize=747724 CPUtime=3.49 cores=1,3,5,7
/proc/27744/stat : 27744 (techdemo) R 27742 27744 25974 0 -1 4202496 6711 0 0 0 347 2 0 0 19 0 4 0 593471287 765669376 5158 33554432000 4194304 4797429 140736442248352 18446744073709551615 4389236 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27744/statm: 186931 5158 417 148 0 181860 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 747724

[startup+1.50073 s]
/proc/loadavg: 0.82 2.10 4.70 9/184 27757
/proc/meminfo: memFree=20257040/32950928 swapFree=67111524/67111528
[pid=27744] ppid=27742 vsize=751100 CPUtime=5.91 cores=1,3,5,7
/proc/27744/stat : 27744 (techdemo) R 27742 27744 25974 0 -1 4202496 9047 0 0 0 588 3 0 0 19 0 4 0 593471287 769126400 7138 33554432000 4194304 4797429 140736442248352 18446744073709551615 4424696 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27744/statm: 187775 7138 419 148 0 182704 0
[pid=27744/tid=27746] ppid=27742 vsize=751100 CPUtime=1.46 cores=1,3,5,7
/proc/27744/task/27746/stat : 27746 (techdemo) R 27742 27744 25974 0 -1 4202560 1884 0 0 0 146 0 0 0 20 0 4 0 593471289 769126400 7138 33554432000 4194304 4797429 140736442248352 18446744073709551615 4524101 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27744/tid=27747] ppid=27742 vsize=751100 CPUtime=1.47 cores=1,3,5,7
/proc/27744/task/27747/stat : 27747 (techdemo) R 27742 27744 25974 0 -1 4202560 1747 0 0 0 146 1 0 0 20 0 4 0 593471289 769126400 7138 33554432000 4194304 4797429 140736442248352 18446744073709551615 4387526 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27744/tid=27748] ppid=27742 vsize=751100 CPUtime=1.46 cores=1,3,5,7
/proc/27744/task/27748/stat : 27748 (techdemo) R 27742 27744 25974 0 -1 4202560 1685 0 0 0 146 0 0 0 20 0 4 0 593471289 769126400 7138 33554432000 4194304 4797429 140736442248352 18446744073709551615 4524600 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.91
Current children cumulated vsize (KiB) 751100

[startup+3.10043 s]
/proc/loadavg: 0.82 2.10 4.70 9/184 27757
/proc/meminfo: memFree=20258156/32950928 swapFree=67111524/67111528
[pid=27744] ppid=27742 vsize=753796 CPUtime=12.29 cores=1,3,5,7
/proc/27744/stat : 27744 (techdemo) R 27742 27744 25974 0 -1 4202496 11301 0 0 0 1225 4 0 0 25 0 4 0 593471287 771887104 7417 33554432000 4194304 4797429 140736442248352 18446744073709551615 231895157691 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27744/statm: 188449 7417 421 148 0 183378 0
[pid=27744/tid=27746] ppid=27742 vsize=753796 CPUtime=3.06 cores=1,3,5,7
/proc/27744/task/27746/stat : 27746 (techdemo) R 27742 27744 25974 0 -1 4202560 2397 0 0 0 306 0 0 0 25 0 4 0 593471289 771887104 7417 33554432000 4194304 4797429 140736442248352 18446744073709551615 4424476 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27744/tid=27747] ppid=27742 vsize=753796 CPUtime=3.06 cores=1,3,5,7
/proc/27744/task/27747/stat : 27747 (techdemo) R 27742 27744 25974 0 -1 4202560 2149 0 0 0 305 1 0 0 25 0 4 0 593471289 771887104 7417 33554432000 4194304 4797429 140736442248352 18446744073709551615 4424639 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27744/tid=27748] ppid=27742 vsize=753796 CPUtime=3.04 cores=1,3,5,7
/proc/27744/task/27748/stat : 27748 (techdemo) R 27742 27744 25974 0 -1 4202560 2203 0 0 0 304 0 0 0 25 0 4 0 593471289 771887104 7417 33554432000 4194304 4797429 140736442248352 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.29
Current children cumulated vsize (KiB) 753796

[startup+6.30082 s]
/proc/loadavg: 1.48 2.22 4.73 9/184 27757
/proc/meminfo: memFree=20250920/32950928 swapFree=67111524/67111528
[pid=27744] ppid=27742 vsize=756244 CPUtime=25.06 cores=1,3,5,7
/proc/27744/stat : 27744 (techdemo) R 27742 27744 25974 0 -1 4202496 15011 0 0 0 2502 4 0 0 25 0 4 0 593471287 774393856 9422 33554432000 4194304 4797429 140736442248352 18446744073709551615 4424548 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27744/statm: 189061 9422 421 148 0 183990 0
[pid=27744/tid=27746] ppid=27742 vsize=756244 CPUtime=6.26 cores=1,3,5,7
/proc/27744/task/27746/stat : 27746 (techdemo) R 27742 27744 25974 0 -1 4202560 3016 0 0 0 625 1 0 0 25 0 4 0 593471289 774393856 9422 33554432000 4194304 4797429 140736442248352 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27744/tid=27747] ppid=27742 vsize=756244 CPUtime=6.26 cores=1,3,5,7
/proc/27744/task/27747/stat : 27747 (techdemo) R 27742 27744 25974 0 -1 4202560 2827 0 0 0 625 1 0 0 25 0 4 0 593471289 774393856 9422 33554432000 4194304 4797429 140736442248352 18446744073709551615 4424975 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27744/tid=27748] ppid=27742 vsize=756244 CPUtime=6.23 cores=1,3,5,7
/proc/27744/task/27748/stat : 27748 (techdemo) R 27742 27744 25974 0 -1 4202560 2790 0 0 0 622 1 0 0 25 0 4 0 593471289 774393856 9422 33554432000 4194304 4797429 140736442248352 18446744073709551615 4429150 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.06
Current children cumulated vsize (KiB) 756244

[startup+12.7006 s]
/proc/loadavg: 2.00 2.31 4.74 9/184 27757
/proc/meminfo: memFree=19877904/32950928 swapFree=67111524/67111528
[pid=27744] ppid=27742 vsize=758932 CPUtime=50.63 cores=1,3,5,7
/proc/27744/stat : 27744 (techdemo) R 27742 27744 25974 0 -1 4202496 19541 0 0 0 5057 6 0 0 25 0 4 0 593471287 777146368 10092 33554432000 4194304 4797429 140736442248352 18446744073709551615 4424768 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27744/statm: 189733 10092 422 148 0 184662 0
[pid=27744/tid=27746] ppid=27742 vsize=758932 CPUtime=12.66 cores=1,3,5,7
/proc/27744/task/27746/stat : 27746 (techdemo) R 27742 27744 25974 0 -1 4202560 3744 0 0 0 1265 1 0 0 25 0 4 0 593471289 777146368 10092 33554432000 4194304 4797429 140736442248352 18446744073709551615 4239104 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27744/tid=27747] ppid=27742 vsize=758932 CPUtime=12.66 cores=1,3,5,7
/proc/27744/task/27747/stat : 27747 (techdemo) R 27742 27744 25974 0 -1 4202560 3662 0 0 0 1265 1 0 0 25 0 4 0 593471289 777146368 10092 33554432000 4194304 4797429 140736442248352 18446744073709551615 4331643 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27744/tid=27748] ppid=27742 vsize=758932 CPUtime=12.6 cores=1,3,5,7
/proc/27744/task/27748/stat : 27748 (techdemo) R 27742 27744 25974 0 -1 4202560 3481 0 0 0 1259 1 0 0 25 0 4 0 593471289 777146368 10092 33554432000 4194304 4797429 140736442248352 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 758932

[startup+25.5002 s]
/proc/loadavg: 3.41 2.61 4.80 9/184 27758
/proc/meminfo: memFree=19566868/32950928 swapFree=67111524/67111528
[pid=27744] ppid=27742 vsize=763912 CPUtime=101.76 cores=1,3,5,7
/proc/27744/stat : 27744 (techdemo) R 27742 27744 25974 0 -1 4202496 26097 0 0 0 10167 9 0 0 25 0 4 0 593471287 782245888 11604 33554432000 4194304 4797429 140736442248352 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27744/statm: 190978 11604 422 148 0 185907 0
[pid=27744/tid=27746] ppid=27742 vsize=763912 CPUtime=25.46 cores=1,3,5,7
/proc/27744/task/27746/stat : 27746 (techdemo) R 27742 27744 25974 0 -1 4202560 4422 0 0 0 2545 1 0 0 25 0 4 0 593471289 782245888 11604 33554432000 4194304 4797429 140736442248352 18446744073709551615 4534099 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27744/tid=27747] ppid=27742 vsize=763912 CPUtime=25.46 cores=1,3,5,7
/proc/27744/task/27747/stat : 27747 (techdemo) R 27742 27744 25974 0 -1 4202560 4643 0 0 0 2545 1 0 0 25 0 4 0 593471289 782245888 11604 33554432000 4194304 4797429 140736442248352 18446744073709551615 4427517 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27744/tid=27748] ppid=27742 vsize=763912 CPUtime=25.33 cores=1,3,5,7
/proc/27744/task/27748/stat : 27748 (techdemo) R 27742 27744 25974 0 -1 4202560 4411 0 0 0 2532 1 0 0 25 0 4 0 593471289 782245888 11604 33554432000 4194304 4797429 140736442248352 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 763912

[startup+51.1064 s]
/proc/loadavg: 4.97 3.04 4.88 9/184 27758
/proc/meminfo: memFree=18545808/32950928 swapFree=67111524/67111528
[pid=27744] ppid=27742 vsize=767608 CPUtime=204.04 cores=1,3,5,7
/proc/27744/stat : 27744 (techdemo) R 27742 27744 25974 0 -1 4202496 35588 0 0 0 20392 12 0 0 25 0 4 0 593471287 786030592 14048 33554432000 4194304 4797429 140736442248352 18446744073709551615 4424603 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27744/statm: 191902 14048 422 148 0 186831 0
[pid=27744/tid=27746] ppid=27742 vsize=767608 CPUtime=51.06 cores=1,3,5,7
/proc/27744/task/27746/stat : 27746 (techdemo) R 27742 27744 25974 0 -1 4202560 5635 0 0 0 5104 2 0 0 25 0 4 0 593471289 786030592 14048 33554432000 4194304 4797429 140736442248352 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27744/tid=27747] ppid=27742 vsize=767608 CPUtime=51.07 cores=1,3,5,7
/proc/27744/task/27747/stat : 27747 (techdemo) R 27742 27744 25974 0 -1 4202560 5809 0 0 0 5105 2 0 0 25 0 4 0 593471289 786030592 14048 33554432000 4194304 4797429 140736442248352 18446744073709551615 4430142 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27744/tid=27748] ppid=27742 vsize=767608 CPUtime=50.79 cores=1,3,5,7
/proc/27744/task/27748/stat : 27748 (techdemo) R 27742 27744 25974 0 -1 4202560 5691 0 0 0 5078 1 0 0 25 0 4 0 593471289 786030592 14048 33554432000 4194304 4797429 140736442248352 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.04
Current children cumulated vsize (KiB) 767608

[startup+102.301 s]
/proc/loadavg: 6.78 3.83 5.06 9/184 27760
/proc/meminfo: memFree=18299496/32950928 swapFree=67111524/67111528
[pid=27744] ppid=27742 vsize=774724 CPUtime=408.55 cores=1,3,5,7
/proc/27744/stat : 27744 (techdemo) R 27742 27744 25974 0 -1 4202496 52230 0 0 0 40838 17 0 0 25 0 4 0 593471287 793317376 17076 33554432000 4194304 4797429 140736442248352 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27744/statm: 193681 17076 422 148 0 188610 0
[pid=27744/tid=27746] ppid=27742 vsize=774724 CPUtime=102.25 cores=1,3,5,7
/proc/27744/task/27746/stat : 27746 (techdemo) R 27742 27744 25974 0 -1 4202560 7603 0 0 0 10223 2 0 0 25 0 4 0 593471289 793317376 17076 33554432000 4194304 4797429 140736442248352 18446744073709551615 4428772 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27744/tid=27747] ppid=27742 vsize=774724 CPUtime=102.26 cores=1,3,5,7
/proc/27744/task/27747/stat : 27747 (techdemo) R 27742 27744 25974 0 -1 4202560 7596 0 0 0 10224 2 0 0 25 0 4 0 593471289 793317376 17076 33554432000 4194304 4797429 140736442248352 18446744073709551615 4568144 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27744/tid=27748] ppid=27742 vsize=774724 CPUtime=101.72 cores=1,3,5,7
/proc/27744/task/27748/stat : 27748 (techdemo) R 27742 27744 25974 0 -1 4202560 7532 0 0 0 10170 2 0 0 25 0 4 0 593471289 793317376 17076 33554432000 4194304 4797429 140736442248352 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.55
Current children cumulated vsize (KiB) 774724

[startup+162.3 s]
/proc/loadavg: 7.60 4.60 5.24 9/184 27761
/proc/meminfo: memFree=18260656/32950928 swapFree=67111524/67111528
[pid=27744] ppid=27742 vsize=779148 CPUtime=648.23 cores=1,3,5,7
/proc/27744/stat : 27744 (techdemo) R 27742 27744 25974 0 -1 4202496 68812 0 0 0 64798 25 0 0 25 0 4 0 593471287 797847552 17590 33554432000 4194304 4797429 140736442248352 18446744073709551615 4425001 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27744/statm: 194787 17590 422 148 0 189716 0
[pid=27744/tid=27746] ppid=27742 vsize=779148 CPUtime=162.26 cores=1,3,5,7
/proc/27744/task/27746/stat : 27746 (techdemo) R 27742 27744 25974 0 -1 4202560 9149 0 0 0 16223 3 0 0 25 0 4 0 593471289 797847552 17590 33554432000 4194304 4797429 140736442248352 18446744073709551615 4255040 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27744/tid=27747] ppid=27742 vsize=779148 CPUtime=162.26 cores=1,3,5,7
/proc/27744/task/27747/stat : 27747 (techdemo) R 27742 27744 25974 0 -1 4202560 9184 0 0 0 16223 3 0 0 25 0 4 0 593471289 797847552 17590 33554432000 4194304 4797429 140736442248352 18446744073709551615 231895148967 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27744/tid=27748] ppid=27742 vsize=779148 CPUtime=161.39 cores=1,3,5,7
/proc/27744/task/27748/stat : 27748 (techdemo) R 27742 27744 25974 0 -1 4202560 9280 0 0 0 16136 3 0 0 25 0 4 0 593471289 797847552 17590 33554432000 4194304 4797429 140736442248352 18446744073709551615 4430020 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 648.23
Current children cumulated vsize (KiB) 779148

[startup+222.301 s]
/proc/loadavg: 7.90 5.23 5.42 9/184 27763
/proc/meminfo: memFree=18263860/32950928 swapFree=67111524/67111528
[pid=27744] ppid=27742 vsize=794744 CPUtime=887.92 cores=1,3,5,7
/proc/27744/stat : 27744 (techdemo) R 27742 27744 25974 0 -1 4202496 84119 0 0 0 88758 34 0 0 25 0 4 0 593471287 813817856 21466 33554432000 4194304 4797429 140736442248352 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27744/statm: 198686 21466 422 148 0 193615 0
[pid=27744/tid=27746] ppid=27742 vsize=794744 CPUtime=222.26 cores=1,3,5,7
/proc/27744/task/27746/stat : 27746 (techdemo) R 27742 27744 25974 0 -1 4202560 11239 0 0 0 22222 4 0 0 25 0 4 0 593471289 813817856 21466 33554432000 4194304 4797429 140736442248352 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27744/tid=27747] ppid=27742 vsize=794744 CPUtime=222.27 cores=1,3,5,7
/proc/27744/task/27747/stat : 27747 (techdemo) R 27742 27744 25974 0 -1 4202560 10755 0 0 0 22223 4 0 0 25 0 4 0 593471289 813817856 21466 33554432000 4194304 4797429 140736442248352 18446744073709551615 4429090 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27744/tid=27748] ppid=27742 vsize=794744 CPUtime=221.07 cores=1,3,5,7
/proc/27744/task/27748/stat : 27748 (techdemo) R 27742 27744 25974 0 -1 4202560 11227 0 0 0 22103 4 0 0 25 0 4 0 593471289 813817856 21466 33554432000 4194304 4797429 140736442248352 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 887.92
Current children cumulated vsize (KiB) 794744

[startup+282.301 s]

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

/proc/27744/task/27748/stat : 27748 (techdemo) R 27742 27744 25974 0 -1 4202560 22684 0 0 0 81772 10 0 0 25 0 4 0 593471289 850579456 33793 33554432000 4194304 4797429 140736442248352 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.73
Current children cumulated vsize (KiB) 830644

[startup+882.3 s]
/proc/loadavg: 8.14 7.77 6.75 9/184 27780
/proc/meminfo: memFree=18191296/32950928 swapFree=67111524/67111528
[pid=27744] ppid=27742 vsize=832276 CPUtime=3524.41 cores=1,3,5,7
/proc/27744/stat : 27744 (techdemo) R 27742 27744 25974 0 -1 4202496 201767 0 0 0 352341 100 0 0 25 0 4 0 593471287 852250624 36162 33554432000 4194304 4797429 140736442248352 18446744073709551615 4351600 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27744/statm: 208069 36162 422 148 0 202998 0
[pid=27744/tid=27746] ppid=27742 vsize=832276 CPUtime=882.28 cores=1,3,5,7
/proc/27744/task/27746/stat : 27746 (techdemo) R 27742 27744 25974 0 -1 4202560 23807 0 0 0 88216 12 0 0 25 0 4 0 593471289 852250624 36162 33554432000 4194304 4797429 140736442248352 18446744073709551615 48001909465040 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27744/tid=27747] ppid=27742 vsize=832276 CPUtime=882.29 cores=1,3,5,7
/proc/27744/task/27747/stat : 27747 (techdemo) R 27742 27744 25974 0 -1 4202560 23206 0 0 0 88216 13 0 0 25 0 4 0 593471289 852250624 36162 33554432000 4194304 4797429 140736442248352 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27744/tid=27748] ppid=27742 vsize=832276 CPUtime=877.5 cores=1,3,5,7
/proc/27744/task/27748/stat : 27748 (techdemo) R 27742 27744 25974 0 -1 4202560 23581 0 0 0 87739 11 0 0 25 0 4 0 593471289 852250624 36162 33554432000 4194304 4797429 140736442248352 18446744073709551615 4430091 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.41
Current children cumulated vsize (KiB) 832276

[startup+942.3 s]
/proc/loadavg: 8.15 7.84 6.84 9/184 27782
/proc/meminfo: memFree=18190768/32950928 swapFree=67111524/67111528
[pid=27744] ppid=27742 vsize=832396 CPUtime=3764.09 cores=1,3,5,7
/proc/27744/stat : 27744 (techdemo) R 27742 27744 25974 0 -1 4202496 211201 0 0 0 376304 105 0 0 25 0 4 0 593471287 852373504 36023 33554432000 4194304 4797429 140736442248352 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27744/statm: 208099 36023 422 148 0 203028 0
[pid=27744/tid=27746] ppid=27742 vsize=832396 CPUtime=942.29 cores=1,3,5,7
/proc/27744/task/27746/stat : 27746 (techdemo) R 27742 27744 25974 0 -1 4202560 24645 0 0 0 94216 13 0 0 25 0 4 0 593471289 852373504 36023 33554432000 4194304 4797429 140736442248352 18446744073709551615 4428762 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27744/tid=27747] ppid=27742 vsize=832396 CPUtime=942.3 cores=1,3,5,7
/proc/27744/task/27747/stat : 27747 (techdemo) R 27742 27744 25974 0 -1 4202560 24101 0 0 0 94216 14 0 0 25 0 4 0 593471289 852373504 36023 33554432000 4194304 4797429 140736442248352 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27744/tid=27748] ppid=27742 vsize=832396 CPUtime=937.17 cores=1,3,5,7
/proc/27744/task/27748/stat : 27748 (techdemo) R 27742 27744 25974 0 -1 4202560 24572 0 0 0 93706 11 0 0 25 0 4 0 593471289 852373504 36023 33554432000 4194304 4797429 140736442248352 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.09
Current children cumulated vsize (KiB) 832396

[startup+1002.3 s]
/proc/loadavg: 8.14 7.89 6.92 9/184 27784
/proc/meminfo: memFree=18192452/32950928 swapFree=67111524/67111528
[pid=27744] ppid=27742 vsize=842684 CPUtime=4003.78 cores=1,3,5,7
/proc/27744/stat : 27744 (techdemo) R 27742 27744 25974 0 -1 4202496 222103 0 0 0 400268 110 0 0 25 0 4 0 593471287 862908416 36145 33554432000 4194304 4797429 140736442248352 18446744073709551615 4424965 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27744/statm: 210671 36145 422 148 0 205600 0
[pid=27744/tid=27746] ppid=27742 vsize=842684 CPUtime=1002.29 cores=1,3,5,7
/proc/27744/task/27746/stat : 27746 (techdemo) R 27742 27744 25974 0 -1 4202560 27336 0 0 0 100215 14 0 0 25 0 4 0 593471289 862908416 36145 33554432000 4194304 4797429 140736442248352 18446744073709551615 231895139425 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27744/tid=27747] ppid=27742 vsize=842684 CPUtime=1002.29 cores=1,3,5,7
/proc/27744/task/27747/stat : 27747 (techdemo) R 27742 27744 25974 0 -1 4202560 24913 0 0 0 100215 14 0 0 25 0 4 0 593471289 862908416 36145 33554432000 4194304 4797429 140736442248352 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27744/tid=27748] ppid=27742 vsize=842684 CPUtime=996.85 cores=1,3,5,7
/proc/27744/task/27748/stat : 27748 (techdemo) R 27742 27744 25974 0 -1 4202560 25672 0 0 0 99673 12 0 0 25 0 4 0 593471289 862908416 36145 33554432000 4194304 4797429 140736442248352 18446744073709551615 4429143 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.78
Current children cumulated vsize (KiB) 842684

[startup+1062.3 s]
/proc/loadavg: 8.14 7.94 6.99 9/184 27785
/proc/meminfo: memFree=18175076/32950928 swapFree=67111524/67111528
[pid=27744] ppid=27742 vsize=852776 CPUtime=4243.46 cores=1,3,5,7
/proc/27744/stat : 27744 (techdemo) R 27742 27744 25974 0 -1 4202496 231582 0 0 0 424231 115 0 0 25 0 4 0 593471287 873242624 39031 33554432000 4194304 4797429 140736442248352 18446744073709551615 4422906 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27744/statm: 213194 39031 422 148 0 208123 0
[pid=27744/tid=27746] ppid=27742 vsize=852776 CPUtime=1062.29 cores=1,3,5,7
/proc/27744/task/27746/stat : 27746 (techdemo) R 27742 27744 25974 0 -1 4202560 28276 0 0 0 106215 14 0 0 25 0 4 0 593471289 873242624 39031 33554432000 4194304 4797429 140736442248352 18446744073709551615 4424639 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27744/tid=27747] ppid=27742 vsize=852776 CPUtime=1062.3 cores=1,3,5,7
/proc/27744/task/27747/stat : 27747 (techdemo) R 27742 27744 25974 0 -1 4202560 25568 0 0 0 106215 15 0 0 25 0 4 0 593471289 873242624 39031 33554432000 4194304 4797429 140736442248352 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27744/tid=27748] ppid=27742 vsize=852776 CPUtime=1056.52 cores=1,3,5,7
/proc/27744/task/27748/stat : 27748 (techdemo) R 27742 27744 25974 0 -1 4202560 28295 0 0 0 105640 12 0 0 25 0 4 0 593471289 873242624 39031 33554432000 4194304 4797429 140736442248352 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.46
Current children cumulated vsize (KiB) 852776

[startup+1122.3 s]
/proc/loadavg: 8.10 7.96 7.06 9/184 27787
/proc/meminfo: memFree=18171056/32950928 swapFree=67111524/67111528
[pid=27744] ppid=27742 vsize=864348 CPUtime=4483.14 cores=1,3,5,7
/proc/27744/stat : 27744 (techdemo) R 27742 27744 25974 0 -1 4202496 240707 0 0 0 448195 119 0 0 25 0 4 0 593471287 885092352 40781 33554432000 4194304 4797429 140736442248352 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27744/statm: 216087 40781 422 148 0 211016 0
[pid=27744/tid=27746] ppid=27742 vsize=864348 CPUtime=1122.29 cores=1,3,5,7
/proc/27744/task/27746/stat : 27746 (techdemo) R 27742 27744 25974 0 -1 4202560 29035 0 0 0 112214 15 0 0 25 0 4 0 593471289 885092352 40781 33554432000 4194304 4797429 140736442248352 18446744073709551615 4258344 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27744/tid=27747] ppid=27742 vsize=864348 CPUtime=1122.3 cores=1,3,5,7
/proc/27744/task/27747/stat : 27747 (techdemo) R 27742 27744 25974 0 -1 4202560 28304 0 0 0 112214 16 0 0 25 0 4 0 593471289 885092352 40781 33554432000 4194304 4797429 140736442248352 18446744073709551615 4508634 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27744/tid=27748] ppid=27742 vsize=864348 CPUtime=1116.2 cores=1,3,5,7
/proc/27744/task/27748/stat : 27748 (techdemo) R 27742 27744 25974 0 -1 4202560 29584 0 0 0 111607 13 0 0 25 0 4 0 593471289 885092352 40781 33554432000 4194304 4797429 140736442248352 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.14
Current children cumulated vsize (KiB) 864348

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

[startup+1126.8 s]
/proc/loadavg: 8.09 7.96 7.06 9/184 27787
/proc/meminfo: memFree=18169316/32950928 swapFree=67111524/67111528
[pid=27744] ppid=27742 vsize=864348 CPUtime=4501.14 cores=1,3,5,7
/proc/27744/stat : 27744 (techdemo) R 27742 27744 25974 0 -1 4202496 241065 0 0 0 449994 120 0 0 25 0 4 0 593471287 885092352 41132 33554432000 4194304 4797429 140736442248352 18446744073709551615 231895187100 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27744/statm: 216087 41132 422 148 0 211016 0
[pid=27744/tid=27746] ppid=27742 vsize=864348 CPUtime=1126.79 cores=1,3,5,7
/proc/27744/task/27746/stat : 27746 (techdemo) R 27742 27744 25974 0 -1 4202560 29067 0 0 0 112664 15 0 0 25 0 4 0 593471289 885092352 41132 33554432000 4194304 4797429 140736442248352 18446744073709551615 4429150 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27744/tid=27747] ppid=27742 vsize=864348 CPUtime=1126.81 cores=1,3,5,7
/proc/27744/task/27747/stat : 27747 (techdemo) R 27742 27744 25974 0 -1 4202560 28421 0 0 0 112665 16 0 0 25 0 4 0 593471289 885092352 41132 33554432000 4194304 4797429 140736442248352 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27744/tid=27748] ppid=27742 vsize=864348 CPUtime=1120.67 cores=1,3,5,7
/proc/27744/task/27748/stat : 27748 (techdemo) R 27742 27744 25974 0 -1 4202560 29623 0 0 0 112054 13 0 0 25 0 4 0 593471289 885092352 41132 33554432000 4194304 4797429 140736442248352 18446744073709551615 4424868 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4501.14
Current children cumulated vsize (KiB) 864348

[startup+1130 s]
/proc/loadavg: 8.08 7.96 7.07 9/184 27787
/proc/meminfo: memFree=18167704/32950928 swapFree=67111524/67111528
[pid=27744] ppid=27742 vsize=864348 CPUtime=4513.9 cores=1,3,5,7
/proc/27744/stat : 27744 (techdemo) R 27742 27744 25974 0 -1 4202496 241324 0 0 0 451270 120 0 0 25 0 4 0 593471287 885092352 41381 33554432000 4194304 4797429 140736442248352 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27744/statm: 216087 41381 422 148 0 211016 0
[pid=27744/tid=27746] ppid=27742 vsize=864348 CPUtime=1129.99 cores=1,3,5,7
/proc/27744/task/27746/stat : 27746 (techdemo) R 27742 27744 25974 0 -1 4202560 29094 0 0 0 112984 15 0 0 25 0 4 0 593471289 885092352 41381 33554432000 4194304 4797429 140736442248352 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27744/tid=27747] ppid=27742 vsize=864348 CPUtime=1130 cores=1,3,5,7
/proc/27744/task/27747/stat : 27747 (techdemo) R 27742 27744 25974 0 -1 4202560 28455 0 0 0 112984 16 0 0 25 0 4 0 593471289 885092352 41381 33554432000 4194304 4797429 140736442248352 18446744073709551615 4642171 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27744/tid=27748] ppid=27742 vsize=864348 CPUtime=1123.86 cores=1,3,5,7
/proc/27744/task/27748/stat : 27748 (techdemo) R 27742 27744 25974 0 -1 4202560 29661 0 0 0 112373 13 0 0 25 0 4 0 593471289 885092352 41381 33554432000 4194304 4797429 140736442248352 18446744073709551615 4427560 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4513.9
Current children cumulated vsize (KiB) 864348

[startup+1131.6 s]
/proc/loadavg: 8.08 7.96 7.07 7/184 27787
/proc/meminfo: memFree=18167084/32950928 swapFree=67111524/67111528
[pid=27744] ppid=27742 vsize=864348 CPUtime=4517.36 cores=1,3,5,7
/proc/27744/stat : 27744 (techdemo) S 27742 27744 25974 0 -1 4202496 241346 0 0 0 451616 120 0 0 15 0 4 0 593471287 885092352 41401 33554432000 4194304 4797429 140736442248352 18446744073709551615 231907319409 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27744/statm: 216087 41401 423 148 0 211016 0
[pid=27744/tid=27746] ppid=27742 vsize=864348 CPUtime=1130.41 cores=1,3,5,7
/proc/27744/task/27746/stat : 27746 (techdemo) S 27742 27744 25974 0 -1 4202560 29094 0 0 0 113026 15 0 0 25 0 4 0 593471289 885092352 41401 33554432000 4194304 4797429 140736442248352 18446744073709551615 48001911920180 0 0 4096 2 18446604468380819520 0 0 -1 1 0 0 0
[pid=27744/tid=27747] ppid=27742 vsize=864348 CPUtime=1131.6 cores=1,3,5,7
/proc/27744/task/27747/stat : 27747 (techdemo) R 27742 27744 25974 0 -1 4202560 28455 0 0 0 113144 16 0 0 25 0 4 0 593471289 885092352 41401 33554432000 4194304 4797429 140736442248352 18446744073709551615 4508815 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27744/tid=27748] ppid=27742 vsize=864348 CPUtime=1125.08 cores=1,3,5,7
/proc/27744/task/27748/stat : 27748 (techdemo) S 27742 27744 25974 0 -1 4202560 29666 0 0 0 112495 13 0 0 25 0 4 0 593471289 885092352 41401 33554432000 4194304 4797429 140736442248352 18446744073709551615 48001911920180 0 0 4096 2 18446604468380819520 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4517.36
Current children cumulated vsize (KiB) 864348

[startup+1132 s]
/proc/loadavg: 8.08 7.96 7.07 7/184 27787
/proc/meminfo: memFree=18167084/32950928 swapFree=67111524/67111528
[pid=27744] ppid=27742 vsize=864348 CPUtime=4517.76 cores=1,3,5,7
/proc/27744/stat : 27744 (techdemo) S 27742 27744 25974 0 -1 4202496 241346 0 0 0 451656 120 0 0 15 0 4 0 593471287 885092352 41401 33554432000 4194304 4797429 140736442248352 18446744073709551615 231907319409 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27744/statm: 216087 41401 423 148 0 211016 0
[pid=27744/tid=27746] ppid=27742 vsize=864348 CPUtime=1130.41 cores=1,3,5,7
/proc/27744/task/27746/stat : 27746 (techdemo) S 27742 27744 25974 0 -1 4202560 29094 0 0 0 113026 15 0 0 25 0 4 0 593471289 885092352 41401 33554432000 4194304 4797429 140736442248352 18446744073709551615 48001911920180 0 0 4096 2 18446604468380819520 0 0 -1 1 0 0 0
[pid=27744/tid=27747] ppid=27742 vsize=864348 CPUtime=1132 cores=1,3,5,7
/proc/27744/task/27747/stat : 27747 (techdemo) R 27742 27744 25974 0 -1 4202560 28455 0 0 0 113184 16 0 0 25 0 4 0 593471289 885092352 41401 33554432000 4194304 4797429 140736442248352 18446744073709551615 4508748 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27744/tid=27748] ppid=27742 vsize=864348 CPUtime=1125.08 cores=1,3,5,7
/proc/27744/task/27748/stat : 27748 (techdemo) S 27742 27744 25974 0 -1 4202560 29666 0 0 0 112495 13 0 0 25 0 4 0 593471289 885092352 41401 33554432000 4194304 4797429 140736442248352 18446744073709551615 48001911920180 0 0 4096 2 18446604468380819520 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4517.76
Current children cumulated vsize (KiB) 864348

[startup+1132.2 s]
/proc/loadavg: 8.08 7.96 7.07 7/184 27787
/proc/meminfo: memFree=18167084/32950928 swapFree=67111524/67111528
[pid=27744] ppid=27742 vsize=864348 CPUtime=4517.96 cores=1,3,5,7
/proc/27744/stat : 27744 (techdemo) S 27742 27744 25974 0 -1 4202496 241347 0 0 0 451676 120 0 0 15 0 4 0 593471287 885092352 41402 33554432000 4194304 4797429 140736442248352 18446744073709551615 231907319409 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27744/statm: 216087 41402 423 148 0 211016 0
[pid=27744/tid=27746] ppid=27742 vsize=864348 CPUtime=1130.41 cores=1,3,5,7
/proc/27744/task/27746/stat : 27746 (techdemo) S 27742 27744 25974 0 -1 4202560 29094 0 0 0 113026 15 0 0 25 0 4 0 593471289 885092352 41402 33554432000 4194304 4797429 140736442248352 18446744073709551615 48001911920180 0 0 4096 2 18446604468380819520 0 0 -1 1 0 0 0
[pid=27744/tid=27747] ppid=27742 vsize=864348 CPUtime=1132.2 cores=1,3,5,7
/proc/27744/task/27747/stat : 27747 (techdemo) R 27742 27744 25974 0 -1 4202560 28456 0 0 0 113204 16 0 0 25 0 4 0 593471289 885092352 41402 33554432000 4194304 4797429 140736442248352 18446744073709551615 4430094 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27744/tid=27748] ppid=27742 vsize=864348 CPUtime=1125.08 cores=1,3,5,7
/proc/27744/task/27748/stat : 27748 (techdemo) S 27742 27744 25974 0 -1 4202560 29666 0 0 0 112495 13 0 0 25 0 4 0 593471289 885092352 41402 33554432000 4194304 4797429 140736442248352 18446744073709551615 48001911920180 0 0 4096 2 18446604468380819520 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4517.96
Current children cumulated vsize (KiB) 864348

[startup+1132.3 s]
/proc/loadavg: 8.08 7.96 7.07 9/184 27787
/proc/meminfo: memFree=18182584/32950928 swapFree=67111524/67111528
[pid=27744] ppid=27742 vsize=630620 CPUtime=4518.09 cores=1,3,5,7
/proc/27744/stat : 27744 (techdemo) R 27742 27744 25974 0 -1 4202496 241352 0 0 0 451689 120 0 0 15 0 4 0 593471287 645754880 33807 33554432000 4194304 4797429 140736442248352 18446744073709551615 231895148306 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27744/statm: 157655 33807 427 148 0 152584 0
[pid=27744/tid=27746] ppid=27742 vsize=630620 CPUtime=1130.42 cores=1,3,5,7
/proc/27744/task/27746/stat : 27746 (techdemo) R 27742 27744 25974 0 -1 4202560 29094 0 0 0 113027 15 0 0 18 0 4 0 593471289 645754880 33807 33554432000 4194304 4797429 140736442248352 18446744073709551615 48001911920562 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27744/tid=27747] ppid=27742 vsize=630620 CPUtime=1132.31 cores=1,3,5,7
/proc/27744/task/27747/stat : 27747 (techdemo) R 27742 27744 25974 0 -1 4202560 28456 0 0 0 113215 16 0 0 25 0 4 0 593471289 645754880 33807 33554432000 4194304 4797429 140736442248352 18446744073709551615 48001911920562 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27744/tid=27748] ppid=27742 vsize=630620 CPUtime=1125.08 cores=1,3,5,7
/proc/27744/task/27748/stat : 27748 (techdemo) R 27742 27744 25974 0 -1 4202560 29666 0 0 0 112495 13 0 0 18 0 4 0 593471289 645754880 33807 33554432000 4194304 4797429 140736442248352 18446744073709551615 48001911920562 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4518.09
Current children cumulated vsize (KiB) 630620

Child status: 20
Real time (s): 1132.32
CPU time (s): 4518.13
CPU user time (s): 4516.92
CPU system time (s): 1.21081
CPU usage (%): 399.016
Max. virtual memory (cumulated for all children) (KiB): 959604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4516.92
system time used= 1.21081
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 241353
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= 1079
involuntary context switches= 29474

runsolver used 1.78373 second user time and 4.38633 second system time

The end

Launcher Data 

Begin job on node114 at 2011-04-29 01:13:26
IDJOB=3280546
IDBENCH=20401
IDSOLVER=1584
FILE ID=node114/3280546-1304032406
RUNJOBID= node114-1304032406-27731
PBS_JOBID= 13170338
Free space on /tmp= 71804 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT07/industrial/fuhs/hard/AProVE07-03.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3280546-1304032406/watcher-3280546-1304032406 -o /tmp/evaluation-result-3280546-1304032406/solver-3280546-1304032406 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3280546-1304032406.cnf

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

MD5SUM BENCH= 8c67f78ca36ec96e662a91c74844da21
RANDOM SEED=21918355

node114.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.848
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.69
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.848
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	: 5226.15
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.848
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.74
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.848
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.73
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.848
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.848
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.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
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:     32950928 kB
MemFree:      20513744 kB
Buffers:       2248392 kB
Cached:        9537068 kB
SwapCached:          4 kB
Active:        3332116 kB
Inactive:      8521352 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      20513744 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           10932 kB
Writeback:           0 kB
AnonPages:       67644 kB
Mapped:          14488 kB
Slab:           520504 kB
PageTables:       4492 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   189864 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= 71784 MiB
End job on node114 at 2011-04-29 01:32:19