Trace number 3263561

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat TechDemo-Alpha-mt? (TO) 4800.12 1202.92

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf
MD5SUMe826117d87949a5b285e72732bfa395b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables870
Number of clauses69964
Sum of the clauses size140740
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 269935
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 529

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-3263561-1304138251.cnf'
0.00/0.00	c -- header says num vars:            870
0.00/0.00	c -- header says num clauses:       69964
0.05/0.06	c -- clauses added:            0 learnts,        69964 normals,            0 xors
0.05/0.06	c -- vars added        870
0.05/0.06	c Parsing time:  0.06 s
0.05/0.06	c  N st     0         0       870        29     69935         0    140740         0   no data   no data  --
0.05/0.06	c asymm  cl-useful: 0/29/29 lits-rem:0 time: 0.00
0.18/0.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.4M T:  0.09
0.18/0.13	c Calc non-exist non-lernt bins v-fix:     0 done:    870 time:  0.03 s
0.18/0.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.18/0.13	c Subs w/ non-existent bins:      0 time:  0.00 s
0.18/0.13	c bin-w-bin subsume rem            0 bins  time:  0.05 s
0.18/0.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.18/0.13	c Removed useless bin:       0  fixed:     0  bprops:   0.28M  time:  0.03 s
2.19/0.62	c lits-rem:       488  cl-subs:        0  v-elim:    551  v-fix:    0  time:  0.07 s
2.19/0.62	c learnt bin added due to v-elim: 0
2.19/0.62	c Finding binary XORs  T:     0.01 s  found:       0
2.19/0.62	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
2.19/0.62	c calculated reachability. Time: 0.00
2.19/0.62	c Calc default polars -  time:   0.00 s pos:     418 undec:      29 neg:     423
2.19/0.62	c =========================================================================================
2.19/0.62	c types(t): F = full restart, N = normal restart
2.19/0.62	c types(t): S = simplification begin/end, E = solution found
2.19/0.62	c restart types(rt): st = static, dy = dynamic
2.19/0.62	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
2.19/0.62	c  B st     0         0       841      1382     67712         0    187764         0   no data   no data  --
2.19/0.62	c Decided on static restart strategy
2.19/0.62	c  N dy    20      4036       840      1382     67724      3782    187764    183168    101.87     11.68  --
7.26/2.20	c  N dy    49      8088       840      1382     67727      5333    187764    380297    104.72     14.36  --
11.48/3.51	c  N dy    78     12217       840      1382     67727      5213    187764    300948    100.46     15.99  --
14.82/4.56	c  N dy   106     16234       840      1382     67729      9059    187764    670525     94.01     16.33  --
18.22/5.60	c  N dy   135     20358       840      1382     67730      7562    187764    470834     88.89     15.98  --
23.16/6.86	c  N dy   164     24473       840      1382     67730     11527    187764    851741     90.31     16.18  --
27.95/8.09	c  N dy   193     28589       840      1382     67730      8992    187764    569868    101.36     16.64  --
30.36/8.67	c  S st   203     30000       840      1382     67730     10317    187764    703055     95.10     17.17  --
30.77/8.79	c  S st   203     30500       840      1382     67730     10816    187764    739282     95.10     17.17  --
30.77/8.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
30.77/8.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
39.96/11.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      5 BRemL:      0 BRemN:      0 CBin:       0 P: 23.5M T:  8.94
39.96/11.05	c Calc non-exist non-lernt bins v-fix:     0 done:    838 time:  0.04 s
39.96/11.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
39.96/11.06	c Subs w/ non-existent bins:      0 time:  0.04 s
39.96/11.09	c bin-w-bin subsume rem            0 bins  time:  0.05 s
45.52/12.43	c subs with bin:        0  lits-rem:      1229  v-fix:    0  time:  5.34 s
45.52/12.44	c Removed useless bin:       0  fixed:     0  bprops:   0.27M  time:  0.03 s
53.51/14.49	c lits-rem:      4136  cl-subs:     1436  v-elim:    838  v-fix:    0  time:  8.21 s
53.51/14.49	c learnt bin added due to v-elim: 0
53.51/14.49	c vivif2 --  cl tried     1347 cl shrink      678 lits rem       8858 time: 0.01
53.91/14.50	c vivif2 --  cl tried     7921 cl shrink       25 lits rem         28 time: 0.03
55.11/14.89	c asymm  cl-useful: 0/528/1347 lits-rem:0 time: 1.55
55.11/14.89	c calculated reachability. Time: 0.00
55.11/14.89	c  N dy   203     30500       838      1347     66998      7921    172073    602371     95.10     17.17  --
55.11/14.89	c  F st   203     30500       838      1347     66998      7921    172073    602371     95.10     17.17  --
57.90/15.50	c Decided on static restart strategy
61.10/16.38	c  N dy   222     34515       838      1347     66998     11725    172073    954195     89.74     17.11  --
69.05/18.31	c  N dy   250     38592       838      1347     67003      8129    172073    525541     81.28     17.04  --
74.24/19.65	c  N dy   278     42638       838      1347     67004     11982    172073    871560     70.95     17.15  --
79.45/20.93	c  S st   300     45750       838      1347     67004     14920    172073   1098757    103.11     17.05  --
79.83/21.09	c  S st   300     46250       838      1347     67004     15417    172073   1140645    103.11     17.05  --
79.83/21.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
79.83/21.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
98.20/25.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 49.1M T: 18.02
98.20/25.62	c Calc non-exist non-lernt bins v-fix:     0 done:    838 time:  0.04 s
98.20/25.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
98.20/25.63	c Subs w/ non-existent bins:      0 time:  0.06 s
98.20/25.66	c bin-w-bin subsume rem            0 bins  time:  0.05 s
103.80/27.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.48 s
103.80/27.04	c Removed useless bin:       0  fixed:     0  bprops:   0.27M  time:  0.03 s
113.37/29.41	c lits-rem:      2482  cl-subs:     1449  v-elim:    838  v-fix:    0  time:  9.44 s
113.37/29.41	c learnt bin added due to v-elim: 0
113.37/29.41	c vivif2 --  cl tried     1347 cl shrink        2 lits rem          3 time: 0.00
113.37/29.42	c vivif2 --  cl tried    13968 cl shrink      101 lits rem        108 time: 0.06
114.96/29.87	c asymm  cl-useful: 0/138/1347 lits-rem:0 time: 1.77
114.96/29.87	c calculated reachability. Time: 0.00
114.96/29.87	c  N dy   300     46250       838      1347     67004     13968    172070   1024583    103.11     17.05  --
121.36/31.46	c  N dy   329     50393       838      1347     67015      9458    172070    519954     91.05     16.89  --
125.74/32.55	c  N dy   357     54477       837      1347     67025     13257    172070    679935     27.61     16.45  --
130.53/33.73	c  N dy   384     58506       837      1347     67027     17015    172070    798861     33.83     16.12  --
134.52/34.73	c  N dy   412     62603       837      1347     67029     11514    172070    540544     93.69     15.95  --
139.31/35.96	c  N dy   440     66616       836      1347     67046     15269    172070    739926     81.33     15.63  --
143.31/36.94	c  S st   460     69375       836      1347     67047     17860    172070    932840     63.22     15.64  --
144.11/37.10	c  S st   460     69876       836      1347     67047     18360    172070    974673     63.22     15.64  --
144.11/37.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
144.11/37.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
159.67/41.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 54.1M T: 15.79
159.67/41.07	c Calc non-exist non-lernt bins v-fix:     0 done:    836 time:  0.04 s
159.67/41.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
159.67/41.09	c Subs w/ non-existent bins:      0 time:  0.07 s
160.07/41.12	c bin-w-bin subsume rem            0 bins  time:  0.05 s
165.67/42.54	c subs with bin:      165  lits-rem:       109  v-fix:    0  time:  5.65 s
165.67/42.54	c Removed useless bin:       0  fixed:     0  bprops:   0.26M  time:  0.03 s
177.24/45.49	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.07
186.83/47.84	c Added 9 vars  tried: 80000 time: 9.39
187.23/47.90	c ORs :      9 avg-s:  0.0 cl-sh: 13040 l-rem:  13040 b-add:     18 v-rep:   0 cl-rem: 0 avg s: nan T:    9.62
187.23/47.91	c lits-rem:      4749  cl-subs:     2071  v-elim:    836  v-fix:    0  time: 21.42 s
187.23/47.91	c learnt bin added due to v-elim: 0
187.23/47.91	c vivif2 --  cl tried     1336 cl shrink        9 lits rem          9 time: 0.00
187.23/47.93	c vivif2 --  cl tried    13310 cl shrink      212 lits rem        218 time: 0.06
188.43/48.28	c asymm  cl-useful: 0/251/1336 lits-rem:0 time: 1.40
188.43/48.28	c calculated reachability. Time: 0.00
188.43/48.28	c  N dy   460     69876       845      1336     66610     13310    170636    768935     63.22     15.64  --
188.43/48.28	c  F st   460     69876       845      1336     66610     13310    170636    768935     63.22     15.64  --
191.62/49.04	c Decided on static restart strategy
196.82/50.32	c  N dy   483     74439       845      1336     66616     17625    170636   1108288     81.98     15.74  --
204.80/52.38	c  N dy   517     79299       845      1336     66625     12050    170636    598929     83.24     15.82  --
212.79/54.32	c  N dy   552     84405       845      1336     66627     16905    170636   1025696     95.95     16.06  --
223.56/57.06	c  N dy   589     89813       845      1336     66631     22065    170636   1453839     70.28     16.16  --
231.95/59.16	c  N dy   629     95645       845      1336     66631     16340    170636    931057     67.32     16.31  --
244.32/62.29	c  N dy   672    101877       845      1336     66636     22288    170636   1392363     61.76     16.39  --
251.11/63.93	c  S st   692    104815       845      1336     66642     12746    170636    582488     75.60     16.36  --
251.52/64.06	c  S st   692    105316       845      1336     66642     13247    170636    620730     75.60     16.36  --
251.52/64.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
251.52/64.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
263.11/66.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:   1103 BRemL:     24 BRemN:      0 CBin:       0 P: 48.1M T: 11.38
263.11/66.92	c Calc non-exist non-lernt bins v-fix:     0 done:    845 time:  0.04 s
263.11/66.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
263.11/66.93	c Subs w/ non-existent bins:      0 time:  0.05 s
263.11/66.95	c bin-w-bin subsume rem            0 bins  time:  0.05 s
268.69/68.32	c subs with bin:      246  lits-rem:       132  v-fix:    0  time:  5.45 s
268.69/68.32	c Removed useless bin:       0  fixed:     0  bprops:   0.17M  time:  0.02 s
278.68/70.87	c ORs :      9 avg-s:  2.0 cl-sh:     4 l-rem:      4 b-add:      0 v-rep:   0 cl-rem: 5 avg s: 3.0 T:    0.07
278.68/70.88	c lits-rem:      1471  cl-subs:     1599  v-elim:   1392  v-fix:    0  time: 10.21 s
278.68/70.88	c learnt bin added due to v-elim: 0
278.68/70.88	c vivif2 --  cl tried     2432 cl shrink      746 lits rem        751 time: 0.01
279.08/70.90	c vivif2 --  cl tried    11402 cl shrink      740 lits rem       1098 time: 0.06
280.28/71.22	c asymm  cl-useful: 1/349/1688 lits-rem:1 time: 1.29
280.28/71.22	c calculated reachability. Time: 0.00
280.28/71.22	c  N dy   692    105316       839      1688     67343     11402    170942    514345     75.60     16.36  --
289.45/73.56	c  N dy   739    112168       839      1688     67344     17898    170942    987828     70.17     16.31  --
304.23/77.28	c  N dy   788    119327       839      1688     67345     24668    170942   1461222     74.83     16.24  --
317.00/80.45	c  N dy   841    127026       839      1688     67348     18746    170942    923416     62.23     16.18  --
332.19/84.25	c  N dy   896    135148       839      1688     67353     26346    170942   1373339     73.48     16.04  --
344.96/87.48	c  N dy   955    143809       839      1688     67353     20442    170942    905020     41.14     15.92  --
361.33/91.57	c  N dy  1018    153101       838      1688     67359     29228    170942   1476466     66.99     15.87  --
367.72/93.16	c  S st  1052    157974       838      1688     67361     18721    170942    774781     70.38     15.90  --
368.12/93.27	c  S st  1052    158475       838      1688     67361     19219    170942    814677     70.38     15.90  --
368.12/93.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
368.12/93.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
382.11/96.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      4 BRemL:      1 BRemN:    737 CBin:       0 P: 60.0M T: 14.04
382.51/96.81	c Calc non-exist non-lernt bins v-fix:     0 done:    838 time:  0.04 s
382.51/96.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
382.51/96.82	c Subs w/ non-existent bins:      0 time:  0.08 s
382.51/96.86	c bin-w-bin subsume rem          737 bins  time:  0.04 s
388.09/98.22	c subs with bin:        4  lits-rem:         7  v-fix:    0  time:  5.43 s
388.09/98.23	c Removed useless bin:       1  fixed:     0  bprops:   0.20M  time:  0.02 s
397.67/100.60	c ORs :      9 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.09
397.67/100.61	c lits-rem:      2680  cl-subs:      932  v-elim:    829  v-fix:    0  time:  9.54 s
397.67/100.61	c learnt bin added due to v-elim: 0
397.67/100.62	c vivif2 --  cl tried     1688 cl shrink        3 lits rem          4 time: 0.00
397.67/100.63	c vivif2 --  cl tried    14567 cl shrink       76 lits rem         91 time: 0.06
398.87/100.97	c asymm  cl-useful: 0/520/1688 lits-rem:0 time: 1.35
398.87/100.97	c calculated reachability. Time: 0.00
398.87/100.97	c  N dy  1052    158475       838      1688     65604     14565    168892    705533     70.38     15.90  --
415.64/105.14	c  N dy  1122    168719       865      1688     68268     25790    170576   1454481     64.77     16.01  --
437.21/110.51	c  N dy  1196    179519       865      1688     68268     19277    170576    848287     76.86     16.04  --
456.79/115.43	c  N dy  1275    191027       865      1688     68272     30135    170576   1539935     78.24     15.97  --
478.35/120.83	c  N dy  1358    203243       865      1688     68272     24366    170576   1118342     60.05     16.02  --
506.70/127.90	c  N dy  1447    216253       865      1688     69421     18879    171244    646940     70.73     16.10  --
527.86/133.21	c  N dy  1541    230179       865      1688     69423     32128    171244   1566754     62.34     16.11  --
545.83/137.71	c  S st  1592    237712       883      1688     70761     20618    171986    726629     80.86     16.12  --
546.23/137.82	c  S st  1592    238212       883      1688     70761     21114    171986    763004     80.86     16.12  --
546.23/137.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
546.23/137.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
559.81/141.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:    683 BRemL:    145 BRemN:     77 CBin:       0 P: 60.0M T: 13.79
559.81/141.29	c Calc non-exist non-lernt bins v-fix:     0 done:    883 time:  0.04 s
559.81/141.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
560.21/141.31	c Subs w/ non-existent bins:   1467 time:  0.09 s
560.21/141.32	c Replacing        1 vars Replaced       15 lits Time:     0.02 s 
560.21/141.34	c bin-w-bin subsume rem         1399 bins  time:  0.05 s
565.80/142.77	c subs with bin:      127  lits-rem:        83  v-fix:    0  time:  5.71 s
565.80/142.77	c Removed useless bin:     495  fixed:     0  bprops:   0.12M  time:  0.02 s
574.99/145.04	c ORs :      9 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.08
574.99/145.05	c lits-rem:      1073  cl-subs:      935  v-elim:    829  v-fix:    0  time:  9.11 s
574.99/145.05	c learnt bin added due to v-elim: 0
574.99/145.05	c vivif2 --  cl tried     1688 cl shrink        7 lits rem          7 time: 0.00
574.99/145.07	c vivif2 --  cl tried    18585 cl shrink      292 lits rem        333 time: 0.07
576.19/145.37	c asymm  cl-useful: 0/224/1688 lits-rem:0 time: 1.18
576.19/145.37	c calculated reachability. Time: 0.00
576.19/145.37	c  N dy  1592    238212       882      1688     69346     18566    170829    726091     80.86     16.12  --
598.55/150.94	c  N dy  1697    253497       882      1688     69351     32965    170829   1548327     46.06     16.02  --
624.92/157.53	c  N dy  1808    269690       882      1688     69358     28751    170829   1190322     64.64     15.94  --
653.28/164.65	c  N dy  1926    286988       882      1688     69361     24415    170829    821619     56.50     15.84  --
682.82/172.09	c  N dy  2051    305307       882      1688     69366     41656    170829   1734018     48.07     15.76  --
710.39/178.93	c  N dy  2185    324854       882      1688     69398     39323    170871   1530142     47.18     15.69  --
742.76/187.00	c  N dy  2322    345008       882      1688     69399     35354    170871   1251996     51.05     15.65  --
765.90/192.82	c  S st  2405    357320       882      1688     69404     46905    170871   1793938     47.23     15.57  --
766.69/193.01	c  S st  2405    357823       882      1688     69404     47406    170871   1830515     47.23     15.57  --
766.69/193.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
766.69/193.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
786.69/198.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      1 BRemL:     14 BRemN:   2033 CBin:       0 P: 60.0M T: 20.08
786.69/198.05	c Calc non-exist non-lernt bins v-fix:     0 done:    882 time:  0.04 s
786.69/198.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
787.07/198.10	c Subs w/ non-existent bins:     21 time:  0.20 s
787.07/198.15	c bin-w-bin subsume rem           10 bins  time:  0.04 s
793.06/199.68	c subs with bin:       17  lits-rem:        13  v-fix:    0  time:  6.14 s
793.06/199.69	c Removed useless bin:       1  fixed:     0  bprops:   0.11M  time:  0.02 s
808.25/203.50	c ORs :      9 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 3 avg s: 3.0 T:    0.10
808.65/203.53	c lits-rem:      2454  cl-subs:     6661  v-elim:    829  v-fix:    0  time: 15.33 s
808.65/203.53	c learnt bin added due to v-elim: 0
808.65/203.53	c vivif2 --  cl tried     1688 cl shrink       12 lits rem         15 time: 0.00
808.65/203.58	c vivif2 --  cl tried    40704 cl shrink     2731 lits rem       3414 time: 0.20
810.23/203.95	c asymm  cl-useful: 0/124/1687 lits-rem:0 time: 1.48
810.23/203.95	c calculated reachability. Time: 0.00
810.23/203.95	c  N dy  2405    357823       882      1687     67816     40249    166788   1615429     47.23     15.57  --
840.99/211.64	c  N dy  2542    377955       921      1687     71102     36628    168338   1232261     45.37     15.51  --
876.94/220.61	c  N dy  2676    397989       921      1687     71111     30735    168338    863758     35.86     15.43  --
895.71/225.30	c Finding binary XORs  T:     0.01 s  found:       1
916.46/230.56	c  N dy  2812    418050       920      1687     72508     50476    169402   1773250     38.06     15.33  --
946.41/238.06	c  N dy  2950    438156       920      1687     72519     43490    169402   1484484     25.61     15.26  --
980.36/246.56	c  N dy  3087    458197       920      1687     72523     35760    169402   1124895     69.94     15.27  --
1025.08/257.79	c  N dy  3222    478239       919      1687     72538     54668    169402   2166464     55.95     15.28  --
1051.43/264.32	c  N dy  3359    498337       918      1687     72550     46096    169402   1504607     54.68     15.23  --
1085.41/272.83	c  N dy  3497    518376       918      1687     72552     36722    169402   1205665     61.40     15.23  --
1130.91/284.23	c  S st  3622    536734       918      1687     72552     54076    169402   2169581     49.21     15.27  --
1132.11/284.51	c  S st  3622    537235       918      1687     72552     54577    169402   2204618     49.21     15.27  --
1132.11/284.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1132.11/284.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1154.87/290.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      1 BRemL:    308 BRemN:    123 CBin:       0 P: 60.1M T: 22.96
1154.87/290.28	c Calc non-exist non-lernt bins v-fix:     0 done:    917 time:  0.04 s
1154.87/290.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1155.29/290.34	c Subs w/ non-existent bins:   1285 time:  0.25 s
1155.69/290.40	c Replacing        2 vars Replaced     3946 lits Time:     0.23 s 
1155.69/290.45	c bin-w-bin subsume rem         1598 bins  time:  0.05 s
1161.66/291.91	c subs with bin:      173  lits-rem:        46  v-fix:    0  time:  5.85 s
1161.66/291.92	c Removed useless bin:     154  fixed:     0  bprops:   0.10M  time:  0.02 s
1180.03/296.59	c ORs :      9 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 3.0 T:    0.09
1196.41/300.67	c Added 10 vars  tried: 80000 time: 16.33
1197.21/300.86	c ORs :     10 avg-s:  0.0 cl-sh: 25865 l-rem:  25865 b-add:     21 v-rep:   0 cl-rem: 4 avg s: 3.0 T:   17.06
1197.21/300.89	c lits-rem:      3391  cl-subs:     5298  v-elim:    824  v-fix:    0  time: 35.82 s
1197.21/300.89	c learnt bin added due to v-elim: 0
1197.21/300.89	c vivif2 --  cl tried     1673 cl shrink        6 lits rem          6 time: 0.00
1197.61/300.93	c vivif2 --  cl tried    40157 cl shrink      305 lits rem        313 time: 0.17
1199.22/301.31	c asymm  cl-useful: 0/123/1673 lits-rem:0 time: 1.51
1199.22/301.31	c calculated reachability. Time: 0.00
1199.22/301.31	c  N dy  3622    537235       925      1673     69302     40155    166299   1833817     49.21     15.27  --
1199.22/301.31	c  F st  3622    537235       925      1673     69302     40155    166299   1833817     49.21     15.27  --
1203.20/302.32	c Decided on static restart strategy
1254.72/315.21	c  N dy  3750    557337       924      1673     69354     30789    166299   1149036     94.27     15.21  --
1298.66/326.29	c  N dy  3888    577459       924      1673     69392     49925    166299   2367915     70.99     15.15  --
1348.60/338.77	c  N dy  4026    597571       924      1673     69423     39256    166299   1528035     59.57     15.16  --
1396.13/350.61	c  N dy  4163    617657       924      1673     69446     58349    166299   2695220     66.39     15.16  --
1437.66/361.09	c  N dy  4301    637698       954      1673     72690     47958    167815   1949724     65.52     15.17  --
1499.17/376.46	c  N dy  4438    657815       954      1673     72701     34048    167817    948620     47.28     15.18  --
1532.73/384.86	c  N dy  4575    677866       954      1673     72705     53239    167817   2145514     76.19     15.13  --
1585.44/398.00	c  N dy  4713    697922       954      1673     73683     38876    168223   1212665     66.58     15.20  --
1630.97/409.46	c  N dy  4850    717951       984      1673     75692     58836    169079   2553898     59.76     15.26  --
1684.08/422.78	c  N dy  4988    738099       984      1673     75696     43055    169079   1428646     58.62     15.30  --
1737.59/436.16	c  N dy  5126    758214       984      1673     76716     63051    169757   2742698     49.18     15.37  --
1787.12/448.55	c  N dy  5264    778254      1025      1673     78877     47253    170691   1625929     80.12     15.36  --
1843.04/462.51	c  N dy  5402    798342      1025      1673     78880     66476    170691   2866967     70.54     15.36  --
1874.19/470.34	c Finding binary XORs  T:     0.01 s  found:      12
1874.19/470.40	c Replacing       12 vars Replaced     8032 lits Time:     0.22 s 
1876.21/470.81	c  S st  5454    805852      1013      1662     78624     71633    170104   3298322     56.62     15.37  --
1877.78/471.29	c  S st  5454    806355      1013      1662     78624     72134    170104   3331362     56.62     15.37  --
1878.18/471.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1878.18/471.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1907.74/478.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:    524 BRemL:   1296 BRemN:   1846 CBin:       0 P: 60.0M T: 29.95
1908.14/478.81	c Calc non-exist non-lernt bins v-fix:     0 done:   1013 time:  0.05 s
1908.14/478.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1908.54/478.90	c Subs w/ non-existent bins:   2013 time:  0.37 s
1908.54/478.97	c bin-w-bin subsume rem         1892 bins  time:  0.05 s
1915.75/480.72	c subs with bin:        1  lits-rem:         8  v-fix:    0  time:  6.96 s
1915.75/480.72	c Removed useless bin:     264  fixed:     0  bprops:   0.09M  time:  0.02 s
1961.25/492.12	c ORs :     33 avg-s:  2.0 cl-sh:   198 l-rem:    198 b-add:     38 v-rep:   0 cl-rem: 13 avg s: 3.0 T:    0.23
1991.60/499.72	c Added 11 vars  tried: 80000 time: 30.38
1992.40/499.96	c ORs :     11 avg-s:  0.0 cl-sh: 25727 l-rem:  25727 b-add:     22 v-rep:   0 cl-rem: 11 avg s: 3.0 T:   31.33
1992.80/500.01	c lits-rem:      2450  cl-subs:    10078  v-elim:   1121  v-fix:    0  time: 77.00 s
1992.80/500.01	c learnt bin added due to v-elim: 0
1992.80/500.01	c vivif2 --  cl tried     2043 cl shrink      256 lits rem        256 time: 0.01
1992.80/500.09	c vivif2 --  cl tried    59989 cl shrink     3087 lits rem       4821 time: 0.35
1994.81/500.51	c asymm  cl-useful: 0/69/1800 lits-rem:0 time: 1.63
1994.81/500.51	c calculated reachability. Time: 0.00
1994.81/500.51	c  N dy  5454    806355      1022      1800     73785     59961    165491   2801842     56.62     15.37  --
2051.12/514.64	c  N dy  5590    826496      1022      1800     74022     43196    165683   1166712     24.37     15.29  --
2083.07/522.68	c  N dy  5724    846572      1022      1800     74043     62038    165683   1924311     64.64     15.22  --
2126.22/533.43	c  N dy  5859    866638      1021      1800     74070     44170    165683   1232501     54.69     15.18  --
2163.75/542.82	c  N dy  5997    886663      1021      1800     74957     63234    165685   2281780     48.70     15.15  --
2213.68/555.37	c  N dy  6135    906765      1054      1800     76656     45027    166757   1387143     60.26     15.15  --
2261.21/567.25	c  N dy  6273    926876      1054      1800     76656     64238    166757   2547405     72.77     15.19  --
2323.13/582.74	c  N dy  6409    946967      1054      1800     77164     44200    166899   1340206     57.90     15.18  --
2366.66/593.63	c  N dy  6546    967009      1076      1800     78027     63547    167175   2294275     32.66     15.14  --
2422.57/607.67	c  N dy  6680    987040      1076      1800     78042     42270    167175    934826     62.88     15.09  --
2457.73/616.47	c  N dy  6819   1007045      1076      1800     78045     61459    167175   2122818     50.78     15.08  --
2522.42/632.60	c  N dy  6955   1027156      1076      1800     78601     80709    167313   3148417     67.46     15.06  --
2557.20/641.34	c  N dy  7093   1047163      1101      1800     79701     58774    167511   1723217     42.72     15.04  --
2607.90/654.05	c  N dy  7229   1067306      1101      1800     79709     77794    167511   2660746     42.22     15.03  --
2647.84/664.06	c  N dy  7365   1087371      1101      1800     79723     54730    167511   1363565     37.84     14.98  --
2690.58/674.79	c  N dy  7502   1107447      1100      1800     79873     73911    167515   2515525     46.63     14.98  --
2739.30/686.96	c  N dy  7640   1127495      1099      1800     79898     50255    167519   1076405     48.52     14.98  --
2774.05/695.64	c  N dy  7778   1147600      1098      1800     79914     69448    167519   2208921     61.73     14.96  --
2831.94/710.14	c  N dy  7916   1167686      1098      1800     79918     44744    167519    736503     52.09     14.99  --
2861.90/717.64	c  N dy  8057   1187820      1097      1800     79933     64045    167519   1967231     78.61     15.03  --
2923.40/733.05	c  N dy  8195   1207878      1097      1800     79948     83353    167521   3259495     62.71     15.06  --
2929.80/734.70	c  S st  8207   1209532      1097      1800     79948     84946    167521   3340906     51.06     15.07  --
2931.79/735.10	c  S st  8207   1210033      1097      1800     79948     85445    167521   3371656     51.06     15.07  --
2931.79/735.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2931.79/735.11	c Cache  BProp: 1 Set: 0 BXProp: 3 T: 0.00
2960.54/742.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bin:      5 BRemL:   2259 BRemN:   3477 CBin:       0 P: 60.1M T: 29.07
2960.54/742.40	c Calc non-exist non-lernt bins v-fix:     0 done:   1097 time:  0.05 s
2960.54/742.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2961.36/742.52	c Subs w/ non-existent bins:    913 time:  0.48 s
2961.74/742.68	c Replacing        8 vars Replaced    20387 lits Time:     0.64 s 
2962.14/742.75	c bin-w-bin subsume rem         1070 bins  time:  0.05 s
2968.53/744.39	c subs with bin:        5  lits-rem:       267  v-fix:    0  time:  6.56 s
2968.53/744.39	c Removed useless bin:     169  fixed:     0  bprops:   0.08M  time:  0.02 s
3002.46/752.83	c ORs :     54 avg-s:  2.0 cl-sh:    32 l-rem:     32 b-add:      2 v-rep:   0 cl-rem: 8 avg s: 3.0 T:    0.26
3025.22/758.59	c Added 12 vars  tried: 80000 time: 23.01
3026.02/758.74	c ORs :     12 avg-s:  0.0 cl-sh: 20315 l-rem:  20315 b-add:     24 v-rep:   0 cl-rem: 27 avg s: 3.0 T:   23.59
3026.02/758.78	c lits-rem:      1305  cl-subs:    11625  v-elim:   1199  v-fix:    0  time: 57.41 s
3026.02/758.78	c learnt bin added due to v-elim: 0
3026.02/758.78	c vivif2 --  cl tried     2316 cl shrink      305 lits rem        311 time: 0.01
3026.42/758.86	c vivif2 --  cl tried    59627 cl shrink     3076 lits rem       4126 time: 0.32
3028.02/759.26	c asymm  cl-useful: 0/79/2028 lits-rem:0 time: 1.57
3028.02/759.26	c calculated reachability. Time: 0.00
3028.02/759.26	c  N dy  8207   1210033      1097      2028     71357     59556    157497   2522659     51.06     15.07  --
3095.91/776.26	c  N dy  8343   1230073      1096      2028     71397     78503    157497   3442839     76.94     15.00  --
3149.43/789.63	c  N dy  8480   1250090      1096      2028     71424     53698    157497   1555515     60.62     14.97  --
3194.17/800.81	c  N dy  8616   1270108      1095      2028     71439     72786    157496   2714417     80.62     14.96  --
3250.46/814.92	c  N dy  8753   1290151      1095      2028     72572     46587    157510   1055626     87.73     14.97  --
3284.80/823.55	c  N dy  8893   1310298      1095      2028     72736     65935    157512   2248987     65.35     14.96  --
3336.74/836.51	c Finding binary XORs  T:     0.01 s  found:       9
3347.53/839.21	c  N dy  9031   1330400      1126      2003     73714     77837    156720   3360678     56.19     14.98  --
3416.60/856.50	c  N dy  9166   1350517      1126      2003     73726     50429    156720   1242699     26.56     14.95  --
3454.14/865.94	c  N dy  9305   1370660      1125      2003     73900     69664    156722   2398307     58.14     14.94  --
3514.87/881.13	c  N dy  9441   1390702      1147      2003     74571     88936    156846   3414114     62.05     14.92  --
3559.99/892.43	c  N dy  9577   1410794      1147      2003     74577     60527    156846   1760532     57.77     14.92  --
3608.71/904.69	c  N dy  9714   1430920      1147      2003     74834     79818    156852   2893640     75.69     14.92  --
3677.03/921.78	c  N dy  9850   1451033      1151      2003     74989     50415    156876   1088437     62.81     14.93  --
3707.35/929.38	c  N dy  9987   1471184      1151      2003     74999     69730    156878   2064442     46.98     14.91  --
3760.49/942.70	c  N dy 10124   1491278      1151      2003     75002     88928    156878   3294978     74.44     14.92  --
3815.20/956.37	c  N dy 10262   1511333      1151      2003     75089     58421    156878   1541662     59.37     14.93  --
3864.73/968.72	c  N dy 10399   1531406      1151      2003     75098     77679    156880   2763574     70.13     14.96  --
3939.82/987.54	c  N dy 10535   1551411      1151      2003     75110     96616    156880   3794385     74.37     14.94  --
3985.73/999.02	c  N dy 10673   1571497      1150      2003     75115     65180    156880   1869015     72.74     14.96  --
4034.85/1011.39	c  N dy 10810   1591629      1150      2003     75116     84314    156880   2949734     64.86     14.96  --
4103.96/1028.65	c  N dy 10947   1611752      1150      2003     75119     51998    156880   1086713     68.87     14.99  --
4141.50/1038.04	c  N dy 11086   1631861      1150      2003     75120     71305    156880   2368146     60.40     15.01  --
4208.19/1054.70	c  N dy 11223   1651934      1150      2003     75124     90530    156880   3661908     57.58     15.03  --
4285.67/1074.15	c  N dy 11359   1671942      1150      2003     75124     57063    156880   1342873     51.50     15.05  --
4327.22/1084.56	c  N dy 11498   1692056      1150      2003     75133     76263    156880   2517721     67.73     15.06  --
4385.90/1099.23	c  S st 11622   1710033      1150      2003     75133     93492    156880   3676564     71.78     15.08  --
4387.90/1099.70	c  S st 11622   1710536      1150      2003     75133     93993    156880   3701756     71.78     15.08  --
4387.90/1099.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4387.90/1099.71	c Cache  BProp: 0 Set: 0 BXProp: 7 T: 0.00
4415.48/1106.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      4 BRemL:   2794 BRemN:   1704 CBin:       0 P: 60.1M T: 27.82
4415.48/1106.69	c Calc non-exist non-lernt bins v-fix:     0 done:   1150 time:  0.05 s
4415.48/1106.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4416.25/1106.84	c Subs w/ non-existent bins:     20 time:  0.60 s
4417.05/1107.02	c Replacing       18 vars Replaced    34561 lits Time:     0.72 s 
4417.45/1107.10	c bin-w-bin subsume rem          337 bins  time:  0.05 s
4424.26/1108.85	c subs with bin:        0  lits-rem:        87  v-fix:    0  time:  7.00 s
4424.26/1108.85	c Removed useless bin:       1  fixed:     0  bprops:   0.08M  time:  0.01 s
4473.36/1121.12	c ORs :     76 avg-s:  2.0 cl-sh:   178 l-rem:    178 b-add:      2 v-rep:   0 cl-rem: 13 avg s: 3.0 T:    0.29
4492.13/1125.86	c Added 12 vars  tried: 80000 time: 18.93
4492.53/1125.98	c ORs :     12 avg-s:  0.0 cl-sh: 16886 l-rem:  16886 b-add:     24 v-rep:   0 cl-rem: 16 avg s: 3.0 T:   19.41
4492.93/1126.03	c lits-rem:      3884  cl-subs:    18072  v-elim:   1147  v-fix:    0  time: 68.56 s
4492.93/1126.03	c learnt bin added due to v-elim: 0
4492.93/1126.03	c vivif2 --  cl tried     2564 cl shrink      309 lits rem        310 time: 0.01
4493.33/1126.12	c vivif2 --  cl tried    70411 cl shrink     2426 lits rem       4103 time: 0.35
4494.53/1126.47	c asymm  cl-useful: 0/70/2262 lits-rem:0 time: 1.37
4494.53/1126.47	c calculated reachability. Time: 0.00
4494.53/1126.47	c  N dy 11622   1710536      1140      2262     69390     70372    152491   2856738     71.78     15.08  --
4557.22/1142.16	c  N dy 11758   1730618      1139      2262     69426     89256    152491   3664977     50.09     15.04  --
4626.71/1159.58	c  N dy 11894   1750772      1139      2262     69433     55562    152491   1359753     54.69     15.05  --
4662.67/1168.50	c  N dy 12031   1770858      1142      2262     70459     74706    152505   2351303     77.21     15.04  --
4712.59/1181.08	c  N dy 12167   1791005      1142      2262     70483     93771    152505   3169383     31.64     15.01  --
4763.72/1193.86	c  N dy 12301   1811111      1142      2262     70495     58922    152505   1414063     48.68     14.98  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

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

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

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


[startup+0 s]
/proc/loadavg: 7.41 7.93 7.86 2/172 13884
/proc/meminfo: memFree=30863896/32951132 swapFree=67080200/67111528
[pid=13884] ppid=13881 vsize=23096 CPUtime=0 cores=0,2,4,6
/proc/13884/stat : 13884 (techdemo) R 13881 13884 13214 0 -1 4202496 1010 0 0 0 0 0 0 0 21 0 1 0 525424715 23650304 949 33554432000 4194304 4797429 140735065990848 18446744073709551615 4356587 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/13884/statm: 5774 949 346 148 0 703 0

[startup+0.056676 s]
/proc/loadavg: 7.41 7.93 7.86 2/172 13884
/proc/meminfo: memFree=30863896/32951132 swapFree=67080200/67111528
[pid=13884] ppid=13881 vsize=56256 CPUtime=0.05 cores=0,2,4,6
/proc/13884/stat : 13884 (techdemo) R 13881 13884 13214 0 -1 4202496 2291 0 0 0 5 0 0 0 21 0 1 0 525424715 57606144 2226 33554432000 4194304 4797429 140735065990848 18446744073709551615 210646807237 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/13884/statm: 14097 2227 348 148 0 9026 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 56256

[startup+0.100603 s]
/proc/loadavg: 7.41 7.93 7.86 2/172 13884
/proc/meminfo: memFree=30863896/32951132 swapFree=67080200/67111528
[pid=13884] ppid=13881 vsize=678984 CPUtime=0.18 cores=0,2,4,6
/proc/13884/stat : 13884 (techdemo) R 13881 13884 13214 0 -1 4202496 3412 0 0 0 18 0 0 0 18 0 4 0 525424715 695279616 3322 33554432000 4194304 4797429 140735065990848 18446744073709551615 4360099 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13884/statm: 169746 3322 381 148 0 164675 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 678984

[startup+0.300567 s]
/proc/loadavg: 7.41 7.93 7.86 2/172 13884
/proc/meminfo: memFree=30863896/32951132 swapFree=67080200/67111528
[pid=13884] ppid=13881 vsize=679524 CPUtime=0.98 cores=0,2,4,6
/proc/13884/stat : 13884 (techdemo) R 13881 13884 13214 0 -1 4202496 4542 0 0 0 98 0 0 0 18 0 4 0 525424715 695832576 4417 33554432000 4194304 4797429 140735065990848 18446744073709551615 4424626 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13884/statm: 169881 4417 409 148 0 164810 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 679524

[startup+0.70181 s]
/proc/loadavg: 7.41 7.93 7.86 2/172 13884
/proc/meminfo: memFree=30863896/32951132 swapFree=67080200/67111528
[pid=13884] ppid=13881 vsize=679920 CPUtime=2.52 cores=0,2,4,6
/proc/13884/stat : 13884 (techdemo) R 13881 13884 13214 0 -1 4202496 5447 0 0 0 249 3 0 0 18 0 4 0 525424715 696238080 5311 33554432000 4194304 4797429 140735065990848 18446744073709551615 4425051 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13884/statm: 169980 5311 411 148 0 164909 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 679920

[startup+1.50037 s]
/proc/loadavg: 7.41 7.93 7.86 9/182 13894
/proc/meminfo: memFree=30825132/32951132 swapFree=67080200/67111528
[pid=13884] ppid=13881 vsize=682904 CPUtime=5.12 cores=0,2,4,6
/proc/13884/stat : 13884 (techdemo) R 13881 13884 13214 0 -1 4202496 7217 0 0 0 489 23 0 0 20 0 4 0 525424715 699293696 5829 33554432000 4194304 4797429 140735065990848 18446744073709551615 4415808 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13884/statm: 170726 5829 412 148 0 165655 0
[pid=13884/tid=13892] ppid=13881 vsize=682904 CPUtime=1.36 cores=0,2,4,6
/proc/13884/task/13892/stat : 13892 (techdemo) R 13881 13884 13214 0 -1 4202560 1168 0 0 0 132 4 0 0 25 0 4 0 525424721 699293696 5829 33554432000 4194304 4797429 140735065990848 18446744073709551615 4425045 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13884/tid=13893] ppid=13881 vsize=682904 CPUtime=1.24 cores=0,2,4,6
/proc/13884/task/13893/stat : 13893 (techdemo) R 13881 13884 13214 0 -1 4202560 1292 0 0 0 117 7 0 0 19 0 4 0 525424721 699293696 5829 33554432000 4194304 4797429 140735065990848 18446744073709551615 4425054 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13884/tid=13894] ppid=13881 vsize=682904 CPUtime=1.38 cores=0,2,4,6
/proc/13884/task/13894/stat : 13894 (techdemo) R 13881 13884 13214 0 -1 4202560 1216 0 0 0 133 5 0 0 19 0 4 0 525424721 699293696 5829 33554432000 4194304 4797429 140735065990848 18446744073709551615 4424987 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.12
Current children cumulated vsize (KiB) 682904

[startup+3.1011 s]
/proc/loadavg: 7.62 7.97 7.87 9/182 13895
/proc/meminfo: memFree=30813592/32951132 swapFree=67080200/67111528
[pid=13884] ppid=13881 vsize=683840 CPUtime=10.13 cores=0,2,4,6
/proc/13884/stat : 13884 (techdemo) R 13881 13884 13214 0 -1 4202496 9160 0 0 0 944 69 0 0 20 0 4 0 525424715 700252160 7765 33554432000 4194304 4797429 140735065990848 18446744073709551615 4424960 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13884/statm: 170960 7765 415 148 0 165889 0
[pid=13884/tid=13892] ppid=13881 vsize=683840 CPUtime=2.77 cores=0,2,4,6
/proc/13884/task/13892/stat : 13892 (techdemo) R 13881 13884 13214 0 -1 4202560 1795 0 0 0 259 18 0 0 25 0 4 0 525424721 700252160 7765 33554432000 4194304 4797429 140735065990848 18446744073709551615 4519908 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13884/tid=13893] ppid=13881 vsize=683840 CPUtime=1.92 cores=0,2,4,6
/proc/13884/task/13893/stat : 13893 (techdemo) R 13881 13884 13214 0 -1 4202560 1355 0 0 0 182 10 0 0 22 0 4 0 525424721 700252160 7765 33554432000 4194304 4797429 140735065990848 18446744073709551615 4424970 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13884/tid=13894] ppid=13881 vsize=683840 CPUtime=2.9 cores=0,2,4,6
/proc/13884/task/13894/stat : 13894 (techdemo) R 13881 13884 13214 0 -1 4202560 1720 0 0 0 258 32 0 0 21 0 4 0 525424721 700252160 7765 33554432000 4194304 4797429 140735065990848 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 10.13
Current children cumulated vsize (KiB) 683840

[startup+6.30056 s]
/proc/loadavg: 7.62 7.97 7.87 10/182 13895
/proc/meminfo: memFree=30794156/32951132 swapFree=67080200/67111528
[pid=13884] ppid=13881 vsize=688220 CPUtime=21.16 cores=0,2,4,6
/proc/13884/stat : 13884 (techdemo) R 13881 13884 13214 0 -1 4202496 12289 0 0 0 2034 82 0 0 25 0 4 0 525424715 704737280 9262 33554432000 4194304 4797429 140735065990848 18446744073709551615 4424960 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13884/statm: 172055 9262 416 148 0 166984 0
[pid=13884/tid=13892] ppid=13881 vsize=688220 CPUtime=5.95 cores=0,2,4,6
/proc/13884/task/13892/stat : 13892 (techdemo) R 13881 13884 13214 0 -1 4202560 2019 0 0 0 575 20 0 0 25 0 4 0 525424721 704737280 9262 33554432000 4194304 4797429 140735065990848 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13884/tid=13893] ppid=13881 vsize=688220 CPUtime=3.4 cores=0,2,4,6
/proc/13884/task/13893/stat : 13893 (techdemo) R 13881 13884 13214 0 -1 4202560 1580 0 0 0 325 15 0 0 25 0 4 0 525424721 704737280 9262 33554432000 4194304 4797429 140735065990848 18446744073709551615 4424987 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13884/tid=13894] ppid=13881 vsize=688220 CPUtime=6.09 cores=0,2,4,6
/proc/13884/task/13894/stat : 13894 (techdemo) R 13881 13884 13214 0 -1 4202560 2485 0 0 0 575 34 0 0 25 0 4 0 525424721 704737280 9262 33554432000 4194304 4797429 140735065990848 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 21.16
Current children cumulated vsize (KiB) 688220

[startup+12.7005 s]
/proc/loadavg: 7.68 7.97 7.87 10/182 13895
/proc/meminfo: memFree=30770248/32951132 swapFree=67080200/67111528
[pid=13884] ppid=13881 vsize=690836 CPUtime=46.72 cores=0,2,4,6
/proc/13884/stat : 13884 (techdemo) R 13881 13884 13214 0 -1 4202496 17455 0 0 0 4588 84 0 0 25 0 4 0 525424715 707416064 13338 33554432000 4194304 4797429 140735065990848 18446744073709551615 4524484 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13884/statm: 172709 13338 416 148 0 167638 0
[pid=13884/tid=13892] ppid=13881 vsize=690836 CPUtime=12.32 cores=0,2,4,6
/proc/13884/task/13892/stat : 13892 (techdemo) R 13881 13884 13214 0 -1 4202560 2504 0 0 0 1212 20 0 0 25 0 4 0 525424721 707416064 13338 33554432000 4194304 4797429 140735065990848 18446744073709551615 4524184 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13884/tid=13893] ppid=13881 vsize=690836 CPUtime=9.8 cores=0,2,4,6
/proc/13884/task/13893/stat : 13893 (techdemo) R 13881 13884 13214 0 -1 4202560 3070 0 0 0 963 17 0 0 25 0 4 0 525424721 707416064 13338 33554432000 4194304 4797429 140735065990848 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13884/tid=13894] ppid=13881 vsize=690836 CPUtime=12.49 cores=0,2,4,6
/proc/13884/task/13894/stat : 13894 (techdemo) R 13881 13884 13214 0 -1 4202560 2967 0 0 0 1215 34 0 0 25 0 4 0 525424721 707416064 13338 33554432000 4194304 4797429 140735065990848 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 46.72
Current children cumulated vsize (KiB) 690836

[startup+25.5003 s]
/proc/loadavg: 7.72 7.97 7.87 9/182 13895
/proc/meminfo: memFree=30758552/32951132 swapFree=67080200/67111528
[pid=13884] ppid=13881 vsize=696512 CPUtime=97.8 cores=0,2,4,6
/proc/13884/stat : 13884 (techdemo) R 13881 13884 13214 0 -1 4202496 22140 0 0 0 9691 89 0 0 25 0 4 0 525424715 713228288 14090 33554432000 4194304 4797429 140735065990848 18446744073709551615 4429080 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13884/statm: 174128 14090 418 148 0 169057 0
[pid=13884/tid=13892] ppid=13881 vsize=696512 CPUtime=25.05 cores=0,2,4,6
/proc/13884/task/13892/stat : 13892 (techdemo) R 13881 13884 13214 0 -1 4202560 3165 0 0 0 2485 20 0 0 25 0 4 0 525424721 713228288 14090 33554432000 4194304 4797429 140735065990848 18446744073709551615 4520385 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13884/tid=13893] ppid=13881 vsize=696512 CPUtime=22.56 cores=0,2,4,6
/proc/13884/task/13893/stat : 13893 (techdemo) R 13881 13884 13214 0 -1 4202560 3886 0 0 0 2234 22 0 0 25 0 4 0 525424721 713228288 14090 33554432000 4194304 4797429 140735065990848 18446744073709551615 4519908 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13884/tid=13894] ppid=13881 vsize=696512 CPUtime=25.28 cores=0,2,4,6
/proc/13884/task/13894/stat : 13894 (techdemo) R 13881 13884 13214 0 -1 4202560 3824 0 0 0 2494 34 0 0 25 0 4 0 525424721 713228288 14090 33554432000 4194304 4797429 140735065990848 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 97.8
Current children cumulated vsize (KiB) 696512

[startup+51.101 s]
/proc/loadavg: 7.88 7.99 7.88 10/182 13896
/proc/meminfo: memFree=30740084/32951132 swapFree=67080200/67111528
[pid=13884] ppid=13881 vsize=697952 CPUtime=200 cores=0,2,4,6
/proc/13884/stat : 13884 (techdemo) R 13881 13884 13214 0 -1 4202496 28568 0 0 0 19906 94 0 0 25 0 4 0 525424715 714702848 16530 33554432000 4194304 4797429 140735065990848 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13884/statm: 174488 16530 419 148 0 169417 0
[pid=13884/tid=13892] ppid=13881 vsize=697952 CPUtime=50.53 cores=0,2,4,6
/proc/13884/task/13892/stat : 13892 (techdemo) R 13881 13884 13214 0 -1 4202560 4337 0 0 0 5032 21 0 0 25 0 4 0 525424721 714702848 16530 33554432000 4194304 4797429 140735065990848 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13884/tid=13893] ppid=13881 vsize=697952 CPUtime=48.12 cores=0,2,4,6
/proc/13884/task/13893/stat : 13893 (techdemo) R 13881 13884 13214 0 -1 4202560 4556 0 0 0 4786 26 0 0 25 0 4 0 525424721 714702848 16530 33554432000 4194304 4797429 140735065990848 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13884/tid=13894] ppid=13881 vsize=697952 CPUtime=50.87 cores=0,2,4,6
/proc/13884/task/13894/stat : 13894 (techdemo) R 13881 13884 13214 0 -1 4202560 4676 0 0 0 5053 34 0 0 25 0 4 0 525424721 714702848 16530 33554432000 4194304 4797429 140735065990848 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 200
Current children cumulated vsize (KiB) 697952

[startup+102.306 s]
/proc/loadavg: 7.99 8.00 7.89 9/182 13897
/proc/meminfo: memFree=30715852/32951132 swapFree=67080200/67111528
[pid=13884] ppid=13881 vsize=701920 CPUtime=404.47 cores=0,2,4,6
/proc/13884/stat : 13884 (techdemo) R 13881 13884 13214 0 -1 4202496 42649 0 0 0 40346 101 0 0 25 0 4 0 525424715 718766080 17990 33554432000 4194304 4797429 140735065990848 18446744073709551615 4424967 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13884/statm: 175480 17990 423 148 0 170409 0
[pid=13884/tid=13892] ppid=13881 vsize=701920 CPUtime=101.49 cores=0,2,4,6
/proc/13884/task/13892/stat : 13892 (techdemo) R 13881 13884 13214 0 -1 4202560 5136 0 0 0 10128 21 0 0 25 0 4 0 525424721 718766080 17990 33554432000 4194304 4797429 140735065990848 18446744073709551615 4506622 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13884/tid=13893] ppid=13881 vsize=701920 CPUtime=99.29 cores=0,2,4,6
/proc/13884/task/13893/stat : 13893 (techdemo) R 13881 13884 13214 0 -1 4202560 6264 0 0 0 9900 29 0 0 25 0 4 0 525424721 718766080 17990 33554432000 4194304 4797429 140735065990848 18446744073709551615 4520020 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13884/tid=13894] ppid=13881 vsize=701920 CPUtime=102.07 cores=0,2,4,6
/proc/13884/task/13894/stat : 13894 (techdemo) R 13881 13884 13214 0 -1 4202560 6003 0 0 0 10172 35 0 0 25 0 4 0 525424721 718766080 17991 33554432000 4194304 4797429 140735065990848 18446744073709551615 4524092 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 404.47
Current children cumulated vsize (KiB) 701920

[startup+162.3 s]
/proc/loadavg: 8.08 8.03 7.90 9/182 13899
/proc/meminfo: memFree=30695704/32951132 swapFree=67080200/67111528
[pid=13884] ppid=13881 vsize=705920 CPUtime=644.09 cores=0,2,4,6
/proc/13884/stat : 13884 (techdemo) R 13881 13884 13214 0 -1 4202496 57949 0 0 0 64302 107 0 0 25 0 4 0 525424715 722862080 20620 33554432000 4194304 4797429 140735065990848 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13884/statm: 176480 20620 421 148 0 171409 0
[pid=13884/tid=13892] ppid=13881 vsize=705920 CPUtime=161.2 cores=0,2,4,6
/proc/13884/task/13892/stat : 13892 (techdemo) R 13881 13884 13214 0 -1 4202560 6516 0 0 0 16099 21 0 0 25 0 4 0 525424721 722862080 20620 33554432000 4194304 4797429 140735065990848 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13884/tid=13893] ppid=13881 vsize=705920 CPUtime=159.24 cores=0,2,4,6
/proc/13884/task/13893/stat : 13893 (techdemo) R 13881 13884 13214 0 -1 4202560 7119 0 0 0 15893 31 0 0 25 0 4 0 525424721 722862080 20620 33554432000 4194304 4797429 140735065990848 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13884/tid=13894] ppid=13881 vsize=705920 CPUtime=162.05 cores=0,2,4,6
/proc/13884/task/13894/stat : 13894 (techdemo) R 13881 13884 13214 0 -1 4202560 7297 0 0 0 16170 35 0 0 25 0 4 0 525424721 722862080 20620 33554432000 4194304 4797429 140735065990848 18446744073709551615 4509125 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 644.09
Current children cumulated vsize (KiB) 705920

[startup+222.3 s]
/proc/loadavg: 8.19 8.07 7.92 9/182 13900
/proc/meminfo: memFree=30678920/32951132 swapFree=67080200/67111528
[pid=13884] ppid=13881 vsize=707004 CPUtime=883.71 cores=0,2,4,6
/proc/13884/stat : 13884 (techdemo) R 13881 13884 13214 0 -1 4202496 73368 0 0 0 88257 114 0 0 25 0 4 0 525424715 723972096 22640 33554432000 4194304 4797429 140735065990848 18446744073709551615 4425019 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13884/statm: 176751 22640 421 148 0 171680 0
[pid=13884/tid=13892] ppid=13881 vsize=707004 CPUtime=220.92 cores=0,2,4,6
/proc/13884/task/13892/stat : 13892 (techdemo) R 13881 13884 13214 0 -1 4202560 8194 0 0 0 22070 22 0 0 25 0 4 0 525424721 723972096 22640 33554432000 4194304 4797429 140735065990848 18446744073709551615 4520020 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13884/tid=13893] ppid=13881 vsize=707004 CPUtime=219.21 cores=0,2,4,6
/proc/13884/task/13893/stat : 13893 (techdemo) R 13881 13884 13214 0 -1 4202560 8640 0 0 0 21887 34 0 0 25 0 4 0 525424721 723972096 22640 33554432000 4194304 4797429 140735065990848 18446744073709551615 4519904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13884/tid=13894] ppid=13881 vsize=707004 CPUtime=222.04 cores=0,2,4,6
/proc/13884/task/13894/stat : 13894 (techdemo) R 13881 13884 13214 0 -1 4202560 8247 0 0 0 22169 35 0 0 25 0 4 0 525424721 723972096 22640 33554432000 4194304 4797429 140735065990848 18446744073709551615 4519908 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 883.71
Current children cumulated vsize (KiB) 707004

[startup+282.301 s]

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

[pid=13884] ppid=13881 vsize=723380 CPUtime=2800.8 cores=0,2,4,6
/proc/13884/stat : 13884 (techdemo) R 13881 13884 13214 0 -1 4202496 165771 0 0 0 279922 158 0 0 25 0 4 0 525424715 740741120 33407 33554432000 4194304 4797429 140735065990848 18446744073709551615 4425051 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13884/statm: 180845 33407 421 148 0 175774 0
[pid=13884/tid=13892] ppid=13881 vsize=723380 CPUtime=698.64 cores=0,2,4,6
/proc/13884/task/13892/stat : 13892 (techdemo) R 13881 13884 13214 0 -1 4202560 16148 0 0 0 69839 25 0 0 25 0 4 0 525424721 740741120 33407 33554432000 4194304 4797429 140735065990848 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13884/tid=13893] ppid=13881 vsize=723380 CPUtime=698.95 cores=0,2,4,6
/proc/13884/task/13893/stat : 13893 (techdemo) R 13881 13884 13214 0 -1 4202560 18019 0 0 0 69846 49 0 0 25 0 4 0 525424721 740741120 33407 33554432000 4194304 4797429 140735065990848 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13884/tid=13894] ppid=13881 vsize=723380 CPUtime=701.94 cores=0,2,4,6
/proc/13884/task/13894/stat : 13894 (techdemo) R 13881 13884 13214 0 -1 4202560 17703 0 0 0 70156 38 0 0 25 0 4 0 525424721 740741120 33407 33554432000 4194304 4797429 140735065990848 18446744073709551615 4520256 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2800.8
Current children cumulated vsize (KiB) 723380

[startup+762.306 s]
/proc/loadavg: 8.14 8.08 7.98 9/182 13915
/proc/meminfo: memFree=30599256/32951132 swapFree=67080200/67111528
[pid=13884] ppid=13881 vsize=724264 CPUtime=3040.42 cores=0,2,4,6
/proc/13884/stat : 13884 (techdemo) R 13881 13884 13214 0 -1 4202496 173840 0 0 0 303879 163 0 0 25 0 4 0 525424715 741646336 35017 33554432000 4194304 4797429 140735065990848 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13884/statm: 181066 35017 421 148 0 175995 0
[pid=13884/tid=13892] ppid=13881 vsize=724264 CPUtime=758.36 cores=0,2,4,6
/proc/13884/task/13892/stat : 13892 (techdemo) R 13881 13884 13214 0 -1 4202560 17213 0 0 0 75810 26 0 0 25 0 4 0 525424721 741646336 35017 33554432000 4194304 4797429 140735065990848 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13884/tid=13893] ppid=13881 vsize=724264 CPUtime=758.91 cores=0,2,4,6
/proc/13884/task/13893/stat : 13893 (techdemo) R 13881 13884 13214 0 -1 4202560 19286 0 0 0 75839 52 0 0 25 0 4 0 525424721 741646336 35017 33554432000 4194304 4797429 140735065990848 18446744073709551615 4501756 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13884/tid=13894] ppid=13881 vsize=724264 CPUtime=761.93 cores=0,2,4,6
/proc/13884/task/13894/stat : 13894 (techdemo) R 13881 13884 13214 0 -1 4202560 18401 0 0 0 76155 38 0 0 25 0 4 0 525424721 741646336 35017 33554432000 4194304 4797429 140735065990848 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3040.42
Current children cumulated vsize (KiB) 724264

[startup+822.3 s]
/proc/loadavg: 8.11 8.08 7.99 9/182 13916
/proc/meminfo: memFree=30589792/32951132 swapFree=67080200/67111528
[pid=13884] ppid=13881 vsize=727244 CPUtime=3280.01 cores=0,2,4,6
/proc/13884/stat : 13884 (techdemo) R 13881 13884 13214 0 -1 4202496 185081 0 0 0 327833 168 0 0 25 0 4 0 525424715 744697856 34295 33554432000 4194304 4797429 140735065990848 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13884/statm: 181811 34295 421 148 0 176740 0
[pid=13884/tid=13892] ppid=13881 vsize=727244 CPUtime=818.07 cores=0,2,4,6
/proc/13884/task/13892/stat : 13892 (techdemo) R 13881 13884 13214 0 -1 4202560 17935 0 0 0 81781 26 0 0 25 0 4 0 525424721 744697856 34295 33554432000 4194304 4797429 140735065990848 18446744073709551615 4428594 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13884/tid=13893] ppid=13881 vsize=727244 CPUtime=818.85 cores=0,2,4,6
/proc/13884/task/13893/stat : 13893 (techdemo) R 13881 13884 13214 0 -1 4202560 20737 0 0 0 81831 54 0 0 25 0 4 0 525424721 744697856 34295 33554432000 4194304 4797429 140735065990848 18446744073709551615 4429090 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13884/tid=13894] ppid=13881 vsize=727244 CPUtime=821.91 cores=0,2,4,6
/proc/13884/task/13894/stat : 13894 (techdemo) R 13881 13884 13214 0 -1 4202560 19777 0 0 0 82153 38 0 0 25 0 4 0 525424721 744697856 34295 33554432000 4194304 4797429 140735065990848 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3280.01
Current children cumulated vsize (KiB) 727244

[startup+882.3 s]
/proc/loadavg: 8.13 8.09 8.00 9/182 13918
/proc/meminfo: memFree=30572760/32951132 swapFree=67080200/67111528
[pid=13884] ppid=13881 vsize=729632 CPUtime=3519.64 cores=0,2,4,6
/proc/13884/stat : 13884 (techdemo) R 13881 13884 13214 0 -1 4202496 194065 0 0 0 351791 173 0 0 25 0 4 0 525424715 747143168 37339 33554432000 4194304 4797429 140735065990848 18446744073709551615 4424987 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13884/statm: 182408 37339 421 148 0 177337 0
[pid=13884/tid=13892] ppid=13881 vsize=729632 CPUtime=877.78 cores=0,2,4,6
/proc/13884/task/13892/stat : 13892 (techdemo) R 13881 13884 13214 0 -1 4202560 19235 0 0 0 87752 26 0 0 25 0 4 0 525424721 747143168 37339 33554432000 4194304 4797429 140735065990848 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13884/tid=13893] ppid=13881 vsize=729632 CPUtime=878.81 cores=0,2,4,6
/proc/13884/task/13893/stat : 13893 (techdemo) R 13881 13884 13214 0 -1 4202560 21446 0 0 0 87826 55 0 0 25 0 4 0 525424721 747143168 37339 33554432000 4194304 4797429 140735065990848 18446744073709551615 4519904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13884/tid=13894] ppid=13881 vsize=729632 CPUtime=881.9 cores=0,2,4,6
/proc/13884/task/13894/stat : 13894 (techdemo) R 13881 13884 13214 0 -1 4202560 20526 0 0 0 88151 39 0 0 25 0 4 0 525424721 747143168 37339 33554432000 4194304 4797429 140735065990848 18446744073709551615 4520016 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3519.64
Current children cumulated vsize (KiB) 729632

[startup+942.3 s]
/proc/loadavg: 8.13 8.10 8.00 9/182 13920
/proc/meminfo: memFree=30567028/32951132 swapFree=67080200/67111528
[pid=13884] ppid=13881 vsize=730808 CPUtime=3759.27 cores=0,2,4,6
/proc/13884/stat : 13884 (techdemo) R 13881 13884 13214 0 -1 4202496 206839 0 0 0 375747 180 0 0 25 0 4 0 525424715 748347392 37248 33554432000 4194304 4797429 140735065990848 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13884/statm: 182702 37248 421 148 0 177631 0
[pid=13884/tid=13892] ppid=13881 vsize=730808 CPUtime=937.51 cores=0,2,4,6
/proc/13884/task/13892/stat : 13892 (techdemo) R 13881 13884 13214 0 -1 4202560 20612 0 0 0 93724 27 0 0 25 0 4 0 525424721 748347392 37248 33554432000 4194304 4797429 140735065990848 18446744073709551615 4523971 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13884/tid=13893] ppid=13881 vsize=730808 CPUtime=938.76 cores=0,2,4,6
/proc/13884/task/13893/stat : 13893 (techdemo) R 13881 13884 13214 0 -1 4202560 23023 0 0 0 93818 58 0 0 25 0 4 0 525424721 748347392 37248 33554432000 4194304 4797429 140735065990848 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13884/tid=13894] ppid=13881 vsize=730808 CPUtime=941.89 cores=0,2,4,6
/proc/13884/task/13894/stat : 13894 (techdemo) R 13881 13884 13214 0 -1 4202560 21995 0 0 0 94150 39 0 0 25 0 4 0 525424721 748347392 37248 33554432000 4194304 4797429 140735065990848 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3759.27
Current children cumulated vsize (KiB) 730808

[startup+1002.3 s]
/proc/loadavg: 8.15 8.11 8.01 9/182 13921
/proc/meminfo: memFree=30569844/32951132 swapFree=67080200/67111528
[pid=13884] ppid=13881 vsize=730976 CPUtime=3998.91 cores=0,2,4,6
/proc/13884/stat : 13884 (techdemo) R 13881 13884 13214 0 -1 4202496 217177 0 0 0 399706 185 0 0 25 0 4 0 525424715 748519424 37273 33554432000 4194304 4797429 140735065990848 18446744073709551615 4424987 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13884/statm: 182744 37273 421 148 0 177673 0
[pid=13884/tid=13892] ppid=13881 vsize=730976 CPUtime=997.23 cores=0,2,4,6
/proc/13884/task/13892/stat : 13892 (techdemo) R 13881 13884 13214 0 -1 4202560 21335 0 0 0 99696 27 0 0 25 0 4 0 525424721 748519424 37273 33554432000 4194304 4797429 140735065990848 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13884/tid=13893] ppid=13881 vsize=730976 CPUtime=998.71 cores=0,2,4,6
/proc/13884/task/13893/stat : 13893 (techdemo) R 13881 13884 13214 0 -1 4202560 23814 0 0 0 99812 59 0 0 25 0 4 0 525424721 748519424 37273 33554432000 4194304 4797429 140735065990848 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13884/tid=13894] ppid=13881 vsize=730976 CPUtime=1001.88 cores=0,2,4,6
/proc/13884/task/13894/stat : 13894 (techdemo) R 13881 13884 13214 0 -1 4202560 23104 0 0 0 100148 40 0 0 25 0 4 0 525424721 748519424 37273 33554432000 4194304 4797429 140735065990848 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3998.91
Current children cumulated vsize (KiB) 730976

[startup+1062.3 s]
/proc/loadavg: 8.05 8.09 8.00 10/182 13923
/proc/meminfo: memFree=30561616/32951132 swapFree=67080200/67111528
[pid=13884] ppid=13881 vsize=731112 CPUtime=4238.55 cores=0,2,4,6
/proc/13884/stat : 13884 (techdemo) R 13881 13884 13214 0 -1 4202496 226816 0 0 0 423665 190 0 0 25 0 4 0 525424715 748658688 39394 33554432000 4194304 4797429 140735065990848 18446744073709551615 4425023 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13884/statm: 182778 39394 421 148 0 177707 0
[pid=13884/tid=13892] ppid=13881 vsize=731112 CPUtime=1056.95 cores=0,2,4,6
/proc/13884/task/13892/stat : 13892 (techdemo) R 13881 13884 13214 0 -1 4202560 22613 0 0 0 105668 27 0 0 25 0 4 0 525424721 748658688 39394 33554432000 4194304 4797429 140735065990848 18446744073709551615 4428981 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13884/tid=13893] ppid=13881 vsize=731112 CPUtime=1058.67 cores=0,2,4,6
/proc/13884/task/13893/stat : 13893 (techdemo) R 13881 13884 13214 0 -1 4202560 25010 0 0 0 105806 61 0 0 25 0 4 0 525424721 748658688 39394 33554432000 4194304 4797429 140735065990848 18446744073709551615 4519888 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13884/tid=13894] ppid=13881 vsize=731112 CPUtime=1061.87 cores=0,2,4,6
/proc/13884/task/13894/stat : 13894 (techdemo) R 13881 13884 13214 0 -1 4202560 23814 0 0 0 106147 40 0 0 25 0 4 0 525424721 748658688 39394 33554432000 4194304 4797429 140735065990848 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4238.55
Current children cumulated vsize (KiB) 731112

[startup+1122.3 s]
/proc/loadavg: 8.02 8.07 8.00 10/182 13924
/proc/meminfo: memFree=30547084/32951132 swapFree=67080200/67111528
[pid=13884] ppid=13881 vsize=731356 CPUtime=4478.15 cores=0,2,4,6
/proc/13884/stat : 13884 (techdemo) R 13881 13884 13214 0 -1 4202496 234600 0 0 0 447622 193 0 0 25 0 4 0 525424715 748908544 40396 33554432000 4194304 4797429 140735065990848 18446744073709551615 4495554 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13884/statm: 182839 40396 422 148 0 177768 0
[pid=13884/tid=13892] ppid=13881 vsize=731356 CPUtime=1116.65 cores=0,2,4,6
/proc/13884/task/13892/stat : 13892 (techdemo) R 13881 13884 13214 0 -1 4202560 23259 0 0 0 111638 27 0 0 25 0 4 0 525424721 748908544 40396 33554432000 4194304 4797429 140735065990848 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13884/tid=13893] ppid=13881 vsize=731356 CPUtime=1118.62 cores=0,2,4,6
/proc/13884/task/13893/stat : 13893 (techdemo) R 13881 13884 13214 0 -1 4202560 25792 0 0 0 111799 63 0 0 25 0 4 0 525424721 748908544 40396 33554432000 4194304 4797429 140735065990848 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13884/tid=13894] ppid=13881 vsize=731356 CPUtime=1121.86 cores=0,2,4,6
/proc/13884/task/13894/stat : 13894 (techdemo) R 13881 13884 13214 0 -1 4202560 24906 0 0 0 112146 40 0 0 25 0 4 0 525424721 748908544 40396 33554432000 4194304 4797429 140735065990848 18446744073709551615 4519904 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4478.15
Current children cumulated vsize (KiB) 731356

[startup+1182.3 s]
/proc/loadavg: 8.00 8.05 8.00 10/182 13926
/proc/meminfo: memFree=30541976/32951132 swapFree=67080200/67111528
[pid=13884] ppid=13881 vsize=734048 CPUtime=4717.78 cores=0,2,4,6
/proc/13884/stat : 13884 (techdemo) R 13881 13884 13214 0 -1 4202496 243386 0 0 0 471581 197 0 0 25 0 4 0 525424715 751665152 40167 33554432000 4194304 4797429 140735065990848 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13884/statm: 183512 40167 422 148 0 178441 0
[pid=13884/tid=13892] ppid=13881 vsize=734048 CPUtime=1176.38 cores=0,2,4,6
/proc/13884/task/13892/stat : 13892 (techdemo) R 13881 13884 13214 0 -1 4202560 24434 0 0 0 117610 28 0 0 25 0 4 0 525424721 751665152 40167 33554432000 4194304 4797429 140735065990848 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13884/tid=13893] ppid=13881 vsize=734048 CPUtime=1178.55 cores=0,2,4,6
/proc/13884/task/13893/stat : 13893 (techdemo) R 13881 13884 13214 0 -1 4202560 27025 0 0 0 117791 64 0 0 25 0 4 0 525424721 751665152 40167 33554432000 4194304 4797429 140735065990848 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13884/tid=13894] ppid=13881 vsize=734048 CPUtime=1181.85 cores=0,2,4,6
/proc/13884/task/13894/stat : 13894 (techdemo) R 13881 13884 13214 0 -1 4202560 25674 0 0 0 118145 40 0 0 25 0 4 0 525424721 751665152 40167 33554432000 4194304 4797429 140735065990848 18446744073709551615 4430012 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4717.78
Current children cumulated vsize (KiB) 734048



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.9 s]
/proc/loadavg: 8.00 8.05 8.00 5/177 13928
/proc/meminfo: memFree=30700608/32951132 swapFree=67080200/67111528
[pid=13884] ppid=13881 vsize=735000 CPUtime=4800.07 cores=0,2,4,6
/proc/13884/stat : 13884 (techdemo) R 13881 13884 13214 0 -1 4202496 247529 0 0 0 479808 199 0 0 25 0 4 0 525424715 752640000 40344 33554432000 4194304 4797429 140735065990848 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13884/statm: 183750 40344 421 148 0 178679 0
[pid=13884/tid=13892] ppid=13881 vsize=735000 CPUtime=1196.88 cores=0,2,4,6
/proc/13884/task/13892/stat : 13892 (techdemo) R 13881 13884 13214 0 -1 4202560 24715 0 0 0 119660 28 0 0 25 0 4 0 525424721 752640000 40344 33554432000 4194304 4797429 140735065990848 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13884/tid=13893] ppid=13881 vsize=735000 CPUtime=1199.13 cores=0,2,4,6
/proc/13884/task/13893/stat : 13893 (techdemo) R 13881 13884 13214 0 -1 4202560 27311 0 0 0 119848 65 0 0 25 0 4 0 525424721 752640000 40344 33554432000 4194304 4797429 140735065990848 18446744073709551615 4427848 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13884/tid=13894] ppid=13881 vsize=735000 CPUtime=1202.46 cores=0,2,4,6
/proc/13884/task/13894/stat : 13894 (techdemo) R 13881 13884 13214 0 -1 4202560 25993 0 0 0 120205 41 0 0 25 0 4 0 525424721 752640000 40344 33554432000 4194304 4797429 140735065990848 18446744073709551615 4547008 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 735000

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1202.9 s]
/proc/loadavg: 8.00 8.05 8.00 5/177 13928
/proc/meminfo: memFree=30700608/32951132 swapFree=67080200/67111528
[pid=13884] ppid=13881 vsize=735000 CPUtime=4800.07 cores=0,2,4,6
/proc/13884/stat : 13884 (techdemo) R 13881 13884 13214 0 -1 4202496 247529 0 0 0 479808 199 0 0 25 0 4 0 525424715 752640000 40344 33554432000 4194304 4797429 140735065990848 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13884/statm: 183750 40344 421 148 0 178679 0
[pid=13884/tid=13892] ppid=13881 vsize=735000 CPUtime=1196.88 cores=0,2,4,6
/proc/13884/task/13892/stat : 13892 (techdemo) R 13881 13884 13214 0 -1 4202560 24715 0 0 0 119660 28 0 0 25 0 4 0 525424721 752640000 40344 33554432000 4194304 4797429 140735065990848 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13884/tid=13893] ppid=13881 vsize=735000 CPUtime=1199.13 cores=0,2,4,6
/proc/13884/task/13893/stat : 13893 (techdemo) R 13881 13884 13214 0 -1 4202560 27311 0 0 0 119848 65 0 0 25 0 4 0 525424721 752640000 40344 33554432000 4194304 4797429 140735065990848 18446744073709551615 4427848 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13884/tid=13894] ppid=13881 vsize=735000 CPUtime=1202.46 cores=0,2,4,6
/proc/13884/task/13894/stat : 13894 (techdemo) R 13881 13884 13214 0 -1 4202560 25993 0 0 0 120205 41 0 0 25 0 4 0 525424721 752640000 40344 33554432000 4194304 4797429 140735065990848 18446744073709551615 4547008 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 735000

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.92
CPU time (s): 4800.12
CPU user time (s): 4798.11
CPU system time (s): 2.00669
CPU usage (%): 399.039
Max. virtual memory (cumulated for all children) (KiB): 838360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.11
system time used= 2.00669
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 247529
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= 721
involuntary context switches= 26753

runsolver used 1.63775 second user time and 3.86841 second system time

The end

Launcher Data 

Begin job on node129 at 2011-04-30 06:37:31
IDJOB=3263561
IDBENCH=83986
IDSOLVER=1584
FILE ID=node129/3263561-1304138251
RUNJOBID= node129-1304138251-13867
PBS_JOBID= 13170799
Free space on /tmp= 67248 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT03/handmade/anton/UNSAT/SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3263561-1304138251/watcher-3263561-1304138251 -o /tmp/evaluation-result-3263561-1304138251/solver-3263561-1304138251 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3263561-1304138251.cnf

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

MD5SUM BENCH= e826117d87949a5b285e72732bfa395b
RANDOM SEED=448530678

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:      30864316 kB
Buffers:        263756 kB
Cached:        1446608 kB
SwapCached:       4932 kB
Active:         124576 kB
Inactive:      1623236 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      30864316 kB
SwapTotal:    67111528 kB
SwapFree:     67080200 kB
Dirty:           16696 kB
Writeback:           0 kB
AnonPages:       35368 kB
Mapped:          12212 kB
Slab:           276168 kB
PageTables:       4344 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   189120 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= 67244 MiB
End job on node129 at 2011-04-30 06:57:36