Trace number 3291218

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 2739.24 686.792

General information on the benchmark

NameSAT03/industrial/simon/sat02/
6pipe_6_ooo.shuffled-as.sat03-413.cnf
MD5SUM8bd122b0caab0988cbc54e4731b25623
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark21.2178
Satisfiable
(Un)Satisfiability was proved
Number of variables17064
Number of clauses545612
Sum of the clauses size1608428
Maximum clause length187
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2476931
Number of clauses of size 356141
Number of clauses of size 4301
Number of clauses of size 5290
Number of clauses of size over 511948

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-3291218-1307650609.cnf'
0.00/0.00	c -- header says num vars:          17064
0.00/0.00	c -- header says num clauses:      545612
0.89/0.90	c -- clauses added:            0 learnts,       545612 normals,            0 xors
0.89/0.90	c -- vars added      17064
0.89/0.90	c Parsing time:  0.87 s
0.89/0.90	c  N st     0         0     17064     68679    476913         0   1608381         0   no data   no data  --
2.07/1.27	c asymm  cl-useful: 211/211/68679 lits-rem:3855 time: 1.43
22.02/6.22	c Flit:  1262 Blit:      0 bXBeca:    0 bXProp:   24 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 19.62
22.02/6.24	c Cleaning up after failed var search:     0.08 s 
22.42/6.37	c Calc non-exist non-lernt bins v-fix:     0 done:  15672 time:  0.51 s
22.42/6.37	c Cache  BProp: 0 Set: 0 BXProp: 4 T: 0.00
22.83/6.40	c Subs w/ non-existent bins:      9 time:  0.12 s
22.83/6.42	c Replacing       28 vars Replaced     2173 lits Time:     0.08 s 
23.24/6.53	c bin-w-bin subsume rem          405 bins  time:  0.28 s
26.82/7.49	c subs with bin:      110  lits-rem:      2616  v-fix:    0  time:  3.85 s
27.22/7.58	c Removed useless bin:    3018  fixed:     0  bprops:   3.84M  time:  0.35 s
29.61/8.18	c lits-rem:         0  cl-subs:      766  v-elim:   7411  v-fix:    0  time:  2.41 s
29.61/8.18	c learnt bin added due to v-elim: 0
30.42/8.31	c Finding binary XORs  T:     0.50 s  found:      15
30.42/8.33	c Replacing       15 vars Replaced     3083 lits Time:     0.08 s 
30.81/8.43	c Finding non-binary XORs:     0.29 s (found:       0, avg size: nan)
30.81/8.43	c calculated reachability. Time: 0.10
30.81/8.45	c Calc default polars -  time:   0.05 s pos:    6264 undec:    4523 neg:    6277
30.81/8.45	c =========================================================================================
30.81/8.45	c types(t): F = full restart, N = normal restart
30.81/8.45	c types(t): S = simplification begin/end, E = solution found
30.81/8.45	c restart types(rt): st = static, dy = dynamic
30.81/8.45	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
30.81/8.45	c  B st     0         0     12612     73902    332087         0   1340303         0   no data   no data  --
32.80/8.98	c Decided on static restart strategy
34.80/9.46	c  N dy    19      4005     12611     73902    332213      3761   1340297    475544    139.64     26.38  --
40.00/10.71	c  N dy    47      8027     12610     73902    332623      7400   1340309    813570     78.67     25.48  --
44.80/11.98	c  N dy    76     12161     12609     73902    332784     11230   1340309   1087168     59.52     24.83  --
50.00/13.27	c  N dy   104     16169     12608     73902    333132     14973   1340309   1369460     83.70     24.67  --
55.57/14.64	c  N dy   133     20304     12608     73902    333237      9538   1340309    625164     59.44     22.68  --
60.36/15.84	c  N dy   161     24344     12608     73902    333329     13337   1340309    927853     80.25     21.47  --
65.55/17.15	c  N dy   189     28429     12608     73902    333400     17179   1340307   1211413     76.76     20.50  --
68.35/17.85	c  S st   200     30000     12607     73902    333431     18635   1340307   1300575     50.95     19.98  --
70.35/18.36	c  S st   200     30500     12607     73902    333573     18989   1340307   1307343     50.95     19.98  --
70.35/18.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
70.35/18.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
135.45/34.60	c Flit:    76 Blit:      9 bXBeca:    0 bXProp:    2 Bin:  30823 BRemL:   2573 BRemN:     31 CBin:       0 P: 60.0M T: 64.75
135.85/34.74	c Calc non-exist non-lernt bins v-fix:     0 done:  12485 time:  0.45 s
135.85/34.74	c Cache  BProp: 8 Set: 0 BXProp: 0 T: 0.01
136.25/34.88	c Subs w/ non-existent bins:    213 time:  0.57 s
136.64/34.91	c Replacing        3 vars Replaced      972 lits Time:     0.12 s 
137.05/35.03	c bin-w-bin subsume rem         1318 bins  time:  0.22 s
143.44/36.61	c subs with bin:      214  lits-rem:     16972  v-fix:    0  time:  6.31 s
143.44/36.65	c Removed useless bin:     112  fixed:     0  bprops:   1.73M  time:  0.17 s
156.21/39.83	c lits-rem:     12261  cl-subs:     4949  v-elim:   7640  v-fix:    0  time: 12.68 s
156.21/39.83	c learnt bin added due to v-elim: 0
156.61/39.91	c vivif2 --  cl tried    70705 cl shrink     6822 lits rem      68708 time: 0.30
156.61/39.99	c vivif2 --  cl tried    13945 cl shrink     2724 lits rem      12578 time: 0.33
158.21/40.36	c asymm  cl-useful: 284/289/68737 lits-rem:15269 time: 1.46
158.61/40.40	c calculated reachability. Time: 0.12
158.61/40.40	c  N dy   200     30500     11498     68737    344064     13933   1209392   1050727     50.95     19.98  --
158.61/40.40	c  F st   200     30500     11498     68737    344064     13933   1209392   1050727     50.95     19.98  --
161.40/41.13	c Decided on static restart strategy
164.23/41.86	c  N dy   220     34538     11495     68737    344133     17724   1209264   1272748     41.94     19.63  --
169.00/43.06	c  N dy   248     38655     11482     68737    344191     21681   1209235   1518422     71.52     19.82  --
173.78/44.20	c  N dy   275     42719     11465     68737    378081     27442   1209530   1819424     54.09     19.84  --
177.78/45.29	c  S st   296     45750     11462     68737    378093     30337   1209511   1932530     33.59     19.50  --
179.38/45.68	c  S st   296     46252     11461     68737    378110     15508   1209510    772210     33.59     19.50  --
179.38/45.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
179.38/45.70	c Cache  BProp: 8 Set: 0 BXProp: 0 T: 0.01
205.35/52.11	c Flit:    15 Blit:      9 bXBeca:    0 bXProp:   18 Bin:   1814 BRemL:  11591 BRemN:   7244 CBin:       0 P: 60.0M T: 25.60
205.75/52.24	c Calc non-exist non-lernt bins v-fix:     0 done:  11389 time:  0.53 s
205.75/52.25	c Cache  BProp: 17 Set: 0 BXProp: 5 T: 0.02
206.55/52.40	c Subs w/ non-existent bins:    507 time:  0.60 s
206.55/52.44	c Replacing       23 vars Replaced     5357 lits Time:     0.19 s 
206.95/52.54	c bin-w-bin subsume rem         1399 bins  time:  0.22 s
212.93/54.00	c subs with bin:      229  lits-rem:     15618  v-fix:    0  time:  5.84 s
212.93/54.04	c Removed useless bin:     552  fixed:     0  bprops:   1.00M  time:  0.13 s
218.13/55.30	c lits-rem:      2824  cl-subs:     4509  v-elim:   6518  v-fix:    0  time:  5.04 s
218.13/55.30	c learnt bin added due to v-elim: 0
218.13/55.36	c vivif2 --  cl tried    68285 cl shrink     2415 lits rem      19396 time: 0.26
218.53/55.42	c vivif2 --  cl tried    11113 cl shrink     2653 lits rem      20044 time: 0.22
219.72/55.79	c asymm  cl-useful: 230/321/67868 lits-rem:853 time: 1.50
220.13/55.84	c calculated reachability. Time: 0.14
220.13/55.84	c  N dy   296     46252     11242     67868    342508     11075   1110884    615888     33.59     19.50  --
224.12/56.88	c  N dy   324     50367     11240     67868    342545     15026   1110813    765671     36.06     19.00  --
228.51/57.95	c  N dy   352     54400     11236     67868    342562     18900   1110812    917151     37.52     18.64  --
233.30/59.11	c Finding binary XORs  T:     0.57 s  found:       1
233.30/59.15	c  N dy   379     58424     11234     67868    341529     22729   1108736   1083217     41.53     18.54  --
237.70/60.23	c  N dy   407     62480     11215     67868    341556     26580   1108736   1207539     39.11     18.11  --
242.09/61.32	c  N dy   435     66491     11211     67868    341572     30431   1108717   1315152     27.65     17.67  --
245.29/62.14	c  S st   455     69380     11198     67868    341586     33181   1108717   1394893     39.14     17.41  --
246.89/62.53	c  S st   455     69880     11198     67868    341597     33666   1108717   1406603     39.14     17.41  --
246.89/62.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
246.89/62.55	c Cache  BProp: 19 Set: 2 BXProp: 0 T: 0.02
271.65/68.71	c Flit:   114 Blit:      5 bXBeca:    0 bXProp:   21 Bin:   2272 BRemL:   6288 BRemN:   5527 CBin:       0 P: 60.0M T: 24.58
271.65/68.74	c Cleaning up after failed var search:     0.12 s 
272.05/68.90	c Calc non-exist non-lernt bins v-fix:     0 done:  10841 time:  0.63 s
272.45/68.90	c Cache  BProp: 24 Set: 0 BXProp: 1 T: 0.02
273.25/69.16	c Subs w/ non-existent bins:    212 time:  1.03 s
273.67/69.24	c Replacing       24 vars Replaced    33413 lits Time:     0.30 s 
274.07/69.33	c bin-w-bin subsume rem          886 bins  time:  0.17 s
280.03/70.85	c subs with bin:      223  lits-rem:      4781  v-fix:    0  time:  6.04 s
280.03/70.88	c Removed useless bin:     686  fixed:     0  bprops:   1.03M  time:  0.13 s
290.42/73.41	c ORs :   8851 avg-s: 22.4 cl-sh: 12305 l-rem:  65582 b-add:     56 v-rep:   0 cl-rem: 317 avg s: 19.3 T:    4.46
294.02/74.36	c Added 51 vars  tried: 80000 time: 3.80
294.42/74.41	c ORs :     51 avg-s:  0.0 cl-sh: 18110 l-rem:  18110 b-add:    102 v-rep:   0 cl-rem: 130 avg s: 4.9 T:    4.00
294.42/74.45	c lits-rem:       343  cl-subs:     6996  v-elim:   4044  v-fix:    0  time: 14.26 s
294.42/74.45	c learnt bin added due to v-elim: 0
294.82/74.51	c vivif2 --  cl tried    66603 cl shrink     1655 lits rem       9878 time: 0.24
295.22/74.66	c vivif2 --  cl tried    21419 cl shrink     5966 lits rem      54125 time: 0.58
296.04/74.89	c asymm  cl-useful: 52/631/66466 lits-rem:205 time: 0.95
296.41/74.94	c calculated reachability. Time: 0.13
296.41/74.94	c  N dy   455     69880     10795     66466    277488     21411    915933    684910     39.14     17.41  --
296.41/74.94	c  F st   455     69880     10795     66466    277488     21411    915933    684910     39.14     17.41  --
300.43/75.91	c Decided on static restart strategy
304.82/77.01	c  N dy   478     74457     10795     66466    277495     25901    915933    863145     39.17     17.15  --
313.21/79.13	c  N dy   510     79224     10795     66466    277502     30597    915933   1052845     34.35     17.01  --
322.00/81.40	c  N dy   545     84369     10795     66466    277514     35609    915933   1205100     33.64     16.82  --
331.56/83.72	c  N dy   582     89841     10794     66466    277518     23100    915933    595449     44.00     16.81  --
342.35/86.41	c  N dy   620     95706     10794     66466    277525     28854    915933    824558     35.57     16.85  --
353.15/89.17	c  N dy   658    101838     10794     66466    277532     34753    915933   1044142     37.60     16.83  --
359.12/90.65	c  S st   678    104820     10794     66466    277533     37683    915933   1161218     44.06     16.77  --
360.32/90.97	c  S st   678    105323     10794     66466    277548     38162    915932   1173374     44.06     16.77  --
360.32/90.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
360.32/91.00	c Cache  BProp: 24 Set: 0 BXProp: 0 T: 0.02
377.50/95.22	c Flit:     9 Blit:      0 bXBeca:    0 bXProp:    2 Bin:   4025 BRemL:   5610 BRemN:   5133 CBin:       0 P: 60.0M T: 16.88
378.30/95.42	c Calc non-exist non-lernt bins v-fix:     0 done:  10776 time:  0.77 s
378.30/95.42	c Cache  BProp: 22 Set: 0 BXProp: 0 T: 0.02
380.29/95.95	c Subs w/ non-existent bins:    421 time:  2.09 s
380.29/95.99	c Replacing        2 vars Replaced      383 lits Time:     0.16 s 
380.69/96.08	c bin-w-bin subsume rem          118 bins  time:  0.16 s
386.69/97.57	c subs with bin:      551  lits-rem:      2753  v-fix:    0  time:  5.95 s
387.09/97.60	c Removed useless bin:    1617  fixed:     0  bprops:   1.09M  time:  0.14 s
394.28/99.40	c ORs :   5685 avg-s: 15.2 cl-sh:  4027 l-rem:  11561 b-add:      4 v-rep:   0 cl-rem: 38 avg s: 37.4 T:    1.96
394.28/99.43	c lits-rem:      1225  cl-subs:     9280  v-elim:   4214  v-fix:    0  time:  7.30 s
394.28/99.43	c learnt bin added due to v-elim: 0
394.28/99.49	c vivif2 --  cl tried    66361 cl shrink      535 lits rem       3215 time: 0.23
395.48/99.75	c vivif2 --  cl tried    28379 cl shrink     9396 lits rem      31677 time: 1.04
396.28/99.97	c asymm  cl-useful: 93/677/66358 lits-rem:538 time: 0.89
396.70/100.01	c calculated reachability. Time: 0.13
396.70/100.02	c  N dy   678    105323     10701     66358    266875     28376    883223    845805     44.06     16.77  --
407.06/102.68	c  N dy   723    112133     10699     66358    282282     35516    883309   1158574     42.35     16.82  --
419.07/105.60	c  N dy   770    119389     10691     66358    282289     22401    883309    555656     69.81     16.91  --
429.82/108.37	c  N dy   821    127110     10691     66358    282291     29934    883309    830771     49.09     16.93  --
441.40/111.24	c  N dy   876    135308     10691     66358    282295     37985    883309   1119504     32.68     17.01  --
454.21/114.41	c  N dy   932    144006     10691     66358    282297     24661    883309    572344     37.40     16.97  --
466.17/117.47	c  N dy   991    153329     10691     66358    282297     33781    883309    950694     41.03     16.92  --
472.57/119.02	c  S st  1021    157985     10691     66358    282297     38306    883309   1135582     38.28     16.91  --
473.37/119.28	c  S st  1021    158487     10691     66358    282298     38798    883309   1149199     38.28     16.91  --
473.77/119.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
473.77/119.30	c Cache  BProp: 22 Set: 0 BXProp: 0 T: 0.02
490.54/123.57	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:    6 Bin:   3434 BRemL:   5798 BRemN:   6811 CBin:       0 P: 60.0M T: 17.03
491.34/123.76	c Calc non-exist non-lernt bins v-fix:     0 done:  10690 time:  0.76 s
491.34/123.76	c Cache  BProp: 22 Set: 0 BXProp: 1 T: 0.02
493.76/124.33	c Subs w/ non-existent bins:    567 time:  2.24 s
493.76/124.37	c Replacing        7 vars Replaced     1453 lits Time:     0.16 s 
494.13/124.45	c bin-w-bin subsume rem           78 bins  time:  0.17 s
499.73/125.88	c subs with bin:      275  lits-rem:      4718  v-fix:    0  time:  5.72 s
500.13/125.91	c Removed useless bin:     635  fixed:     0  bprops:   0.89M  time:  0.12 s
506.94/127.64	c ORs :   5712 avg-s: 15.4 cl-sh:   716 l-rem:    856 b-add:     26 v-rep:   0 cl-rem: 6 avg s: 25.5 T:    1.61
506.94/127.67	c lits-rem:       542  cl-subs:     5642  v-elim:   3613  v-fix:    0  time:  7.02 s
506.94/127.67	c learnt bin added due to v-elim: 0
507.32/127.73	c vivif2 --  cl tried    65951 cl shrink      290 lits rem        707 time: 0.23
508.52/128.00	c vivif2 --  cl tried    32469 cl shrink     3421 lits rem      24304 time: 1.07
509.32/128.21	c asymm  cl-useful: 56/671/65951 lits-rem:189 time: 0.86
509.32/128.26	c calculated reachability. Time: 0.14
509.32/128.26	c  N dy  1021    158487     10676     65951    271555     32465    861341    932697     38.28     16.91  --
524.51/132.04	c  N dy  1088    168668     10676     65951    282699     42544    861357   1250727     29.09     16.72  --
525.69/132.36	c Finding binary XORs  T:     0.56 s  found:       7
541.69/136.37	c  N dy  1159    179531     10676     65951    282709     30054    861356    699134     31.36     16.62  --
558.45/140.54	c  N dy  1235    191039     10848     65951    301051     42052    862070   1179536     36.75     16.57  --
577.25/145.26	c  N dy  1318    203243     10848     65951    301051     29531    862070    672977     33.42     16.49  --
595.60/149.85	c  N dy  1404    216232     10848     65951    301051     42346    862070   1090466     37.94     16.34  --
616.39/155.06	c  N dy  1496    230090     10846     65951    301053     30381    862070    666747     31.16     16.27  --
627.15/157.73	c  S st  1546    237733     10846     65951    301054     37835    862067    885270     26.82     16.18  --
627.95/157.98	c  S st  1546    238234     10846     65951    301054     38326    862067    894816     26.82     16.18  --
627.95/157.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
628.35/158.00	c Cache  BProp: 21 Set: 0 BXProp: 0 T: 0.02
644.73/162.16	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    1 Bin:   2400 BRemL:   6196 BRemN:   5398 CBin:       0 P: 60.0M T: 16.61
645.52/162.35	c Calc non-exist non-lernt bins v-fix:     0 done:  10844 time:  0.77 s
645.52/162.36	c Cache  BProp: 21 Set: 0 BXProp: 5 T: 0.02
647.92/162.92	c Subs w/ non-existent bins:    293 time:  2.23 s
647.92/162.96	c Replacing       13 vars Replaced     2331 lits Time:     0.16 s 
648.32/163.04	c bin-w-bin subsume rem          329 bins  time:  0.18 s
652.31/164.03	c subs with bin:      203  lits-rem:      3230  v-fix:    0  time:  3.96 s
652.31/164.06	c Removed useless bin:     654  fixed:     0  bprops:   0.87M  time:  0.12 s
658.30/165.55	c ORs :   5661 avg-s: 15.3 cl-sh:    77 l-rem:   1110 b-add:     13 v-rep:   0 cl-rem: 21 avg s: 10.7 T:    1.66
658.30/165.59	c lits-rem:      1400  cl-subs:     5648  v-elim:   3847  v-fix:    0  time:  6.08 s
658.30/165.59	c learnt bin added due to v-elim: 0
658.70/165.64	c vivif2 --  cl tried    65802 cl shrink      249 lits rem       1001 time: 0.23
659.51/165.89	c vivif2 --  cl tried    32341 cl shrink     1478 lits rem       3027 time: 1.01
660.32/166.10	c asymm  cl-useful: 51/754/65792 lits-rem:152 time: 0.81
660.72/166.14	c calculated reachability. Time: 0.14
660.72/166.15	c  N dy  1546    238234     10777     65792    288380     32336    843795    746627     26.82     16.18  --
680.28/171.07	c  N dy  1647    253589     10777     65792    291064     47391    843799   1207893     27.54     15.99  --
703.85/176.92	c  N dy  1755    269822     10777     65792    297870     36926    843798    871568     34.01     15.87  --
728.61/183.16	c  N dy  1869    287196     10875     65792    304441     54182    844198   1408373     27.58     15.74  --
754.98/189.77	c  N dy  1991    305630     10875     65792    304441     44689    844198   1135661     25.07     15.67  --
770.95/193.78	c Finding binary XORs  T:     0.56 s  found:       2
785.73/197.42	c  N dy  2119    325155     10875     65792    305535     35377    844230    750986     33.56     15.67  --
817.29/205.34	c  N dy  2252    345235     10875     65792    306347     55151    844235   1414502     32.21     15.62  --
836.86/210.27	c  S st  2334    357352     10875     65792    318499     37603    844243    831882     35.87     15.65  --
838.06/210.56	c  S st  2334    357853     10875     65792    318500     38099    844243    847050     35.87     15.65  --
838.06/210.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
838.06/210.58	c Cache  BProp: 21 Set: 0 BXProp: 0 T: 0.02
854.84/214.72	c Flit:     5 Blit:      0 bXBeca:    0 bXProp:    6 Bin:    728 BRemL:   6451 BRemN:   8240 CBin:       0 P: 60.0M T: 16.53
855.64/214.92	c Calc non-exist non-lernt bins v-fix:     0 done:  10867 time:  0.80 s
855.64/214.92	c Cache  BProp: 14 Set: 0 BXProp: 0 T: 0.02
857.64/215.49	c Subs w/ non-existent bins:    472 time:  2.26 s
858.06/215.53	c Replacing        8 vars Replaced     3269 lits Time:     0.15 s 
858.46/215.61	c bin-w-bin subsume rem          781 bins  time:  0.19 s
861.63/216.44	c subs with bin:      154  lits-rem:       600  v-fix:    0  time:  3.32 s
861.63/216.47	c Removed useless bin:     379  fixed:     0  bprops:   0.87M  time:  0.12 s
867.24/217.89	c ORs :   5664 avg-s: 15.5 cl-sh:    24 l-rem:     53 b-add:      5 v-rep:   0 cl-rem: 13 avg s: 4.0 T:    1.80
867.62/217.92	c lits-rem:      1160  cl-subs:     5403  v-elim:   3750  v-fix:    0  time:  5.76 s
867.62/217.92	c learnt bin added due to v-elim: 0
867.62/217.97	c vivif2 --  cl tried    65622 cl shrink       46 lits rem        138 time: 0.22
868.82/218.22	c vivif2 --  cl tried    32291 cl shrink     1310 lits rem       1546 time: 0.98
869.62/218.42	c asymm  cl-useful: 43/669/65622 lits-rem:158 time: 0.81
869.62/218.47	c calculated reachability. Time: 0.14
869.62/218.47	c  N dy  2334    357853     10837     65622    302707     32286    823695    712117     35.87     15.65  --
898.77/225.72	c  N dy  2469    377997     10837     65622    302709     52003    823694   1402329     29.11     15.64  --
932.33/234.16	c  N dy  2604    398120     10910     65622    313206     41783    824286   1019295     25.36     15.62  --
963.91/242.01	c  N dy  2734    418243     10909     65622    313206     61531    824286   1690866     42.11     15.60  --
995.84/250.02	c  N dy  2869    438281     10909     65622    314175     49944    824297   1251324     28.44     15.65  --
1020.63/256.29	c Finding binary XORs  T:     0.57 s  found:       9
1027.00/257.87	c  N dy  3001    458404     10909     65595    314052     37244    824115    774135     45.47     15.57  --
1057.36/265.41	c  N dy  3134    478493     10909     65595    314425     57301    824423   1437393     43.06     15.50  --
1087.71/273.02	c  N dy  3266    498508     10909     65595    316703     43427    824579    938470     29.91     15.42  --
1117.30/280.47	c  N dy  3398    518641     10907     65595    317508     63264    824628   1524401     28.77     15.38  --
1146.83/287.80	c  S st  3516    536779     10907     65595    317508     46571    824628   1034595     30.05     15.38  --
1147.63/288.05	c  S st  3516    537284     10907     65595    317508     47069    824628   1051728     30.05     15.38  --
1147.63/288.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
1147.63/288.07	c Cache  BProp: 14 Set: 0 BXProp: 0 T: 0.02
1164.41/292.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:    427 BRemL:   4121 BRemN:   5148 CBin:       0 P: 60.0M T: 16.86
1165.21/292.50	c Calc non-exist non-lernt bins v-fix:     0 done:  10907 time:  0.80 s
1165.63/292.50	c Cache  BProp: 14 Set: 0 BXProp: 0 T: 0.02
1168.41/293.22	c Subs w/ non-existent bins:    670 time:  2.87 s
1168.41/293.27	c Replacing       11 vars Replaced     1898 lits Time:     0.19 s 
1168.81/293.36	c bin-w-bin subsume rem           43 bins  time:  0.20 s
1172.80/294.33	c subs with bin:       64  lits-rem:      2563  v-fix:    0  time:  3.87 s
1172.80/294.36	c Removed useless bin:     313  fixed:     0  bprops:   0.89M  time:  0.12 s
1179.99/296.16	c ORs :   5526 avg-s: 16.0 cl-sh:    69 l-rem:     92 b-add:     52 v-rep:   0 cl-rem: 4 avg s: 28.0 T:    2.17
1187.18/297.95	c Added 22 vars  tried: 80000 time: 7.13
1187.18/297.96	c ORs :     22 avg-s:  0.0 cl-sh:  2228 l-rem:   2228 b-add:     45 v-rep:   0 cl-rem: 0 avg s: nan T:    7.15
1187.18/297.99	c lits-rem:       768  cl-subs:    10105  v-elim:   4288  v-fix:    0  time: 14.51 s
1187.18/297.99	c learnt bin added due to v-elim: 0
1187.60/298.04	c vivif2 --  cl tried    65634 cl shrink       46 lits rem        266 time: 0.21
1188.78/298.33	c vivif2 --  cl tried    36660 cl shrink     1571 lits rem       1850 time: 1.15
1189.58/298.54	c asymm  cl-useful: 23/858/65633 lits-rem:70 time: 0.84
1189.58/298.59	c calculated reachability. Time: 0.14
1189.58/298.59	c  N dy  3516    537284     10765     65633    307510     36658    813581    821265     30.05     15.38  --
1189.58/298.59	c  F st  3516    537284     10765     65633    307510     36658    813581    821265     30.05     15.38  --
1192.77/299.37	c Decided on static restart strategy
1217.94/305.63	c  N dy  3640    557359     10765     65633    307968     56435    813687   1359117     29.73     15.30  --
1247.90/313.18	c  N dy  3771    577438     10765     65633    308375     40945    813705    811313     24.86     15.23  --
1278.26/320.73	c  N dy  3906    597570     10765     65633    308377     60722    813705   1455261     53.05     15.21  --
1309.42/328.57	c  N dy  4037    617685     10765     65633    308533     44230    813705    905175     31.17     15.18  --
1340.97/336.41	c  N dy  4170    637742     10763     65633    309644     64017    813705   1566151     24.18     15.20  --
1371.73/344.12	c  N dy  4302    657825     10763     65633    310288     46392    813707    938396     27.57     15.16  --
1403.30/352.07	c  N dy  4434    677883     10763     65633    310288     66171    813707   1537179     38.45     15.11  --
1437.64/360.69	c  N dy  4565    697986     10763     65633    310288     47571    813705    957495     27.32     15.11  --
1470.39/368.83	c  N dy  4695    718036     10770     65633    311533     67402    813733   1582921     28.87     15.13  --
1505.54/377.61	c  N dy  4830    738150     10770     65633    311865     47843    813733   1013817     27.08     15.17  --
1538.30/385.80	c  N dy  4961    758300     10770     65633    311865     67612    813733   1678569     29.82     15.17  --
1570.28/393.86	c  N dy  5090    778346     10770     65633    311865     46966    813733    899608     28.93     15.16  --
1601.40/401.65	c  N dy  5220    798408     10770     65633    313090     66808    813759   1487066     24.96     15.15  --
1614.21/404.87	c  S st  5270    805926     10757     65633    313090     74223    813759   1711477     39.37     15.14  --
1615.39/405.16	c  S st  5270    806431     10757     65633    313090     74725    813757   1727234     39.37     15.14  --
1615.39/405.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1615.39/405.19	c Cache  BProp: 22 Set: 0 BXProp: 1 T: 0.02
1631.79/409.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:    240 BRemL:   2580 BRemN:   1061 CBin:       0 P: 60.0M T: 16.18
1632.56/409.42	c Calc non-exist non-lernt bins v-fix:     0 done:  10708 time:  0.73 s
1632.56/409.43	c Cache  BProp: 22 Set: 0 BXProp: 4 T: 0.03
1637.37/410.69	c Subs w/ non-existent bins:    102 time:  5.04 s
1637.77/410.74	c Replacing        9 vars Replaced     1572 lits Time:     0.19 s 
1638.17/410.85	c bin-w-bin subsume rem          256 bins  time:  0.19 s
1642.56/411.91	c subs with bin:      140  lits-rem:      1012  v-fix:    0  time:  4.25 s
1642.56/411.94	c Removed useless bin:     505  fixed:     0  bprops:   0.73M  time:  0.11 s
1657.76/415.73	c ORs :   5341 avg-s: 15.4 cl-sh:   207 l-rem:    222 b-add:      6 v-rep:   0 cl-rem: 6 avg s: 22.8 T:    2.11
1657.76/415.77	c lits-rem:       242  cl-subs:    12083  v-elim:   3677  v-fix:    0  time: 15.32 s
1657.76/415.77	c learnt bin added due to v-elim: 0
1658.16/415.83	c vivif2 --  cl tried    65487 cl shrink       55 lits rem         75 time: 0.21
1660.14/416.39	c vivif2 --  cl tried    62069 cl shrink      742 lits rem       3529 time: 2.24
1660.94/416.58	c asymm  cl-useful: 47/659/65487 lits-rem:124 time: 0.78
1661.34/416.63	c calculated reachability. Time: 0.14
1661.34/416.63	c  N dy  5270    806431     10684     65487    301401     62068    795250   1438064     39.37     15.14  --
1696.08/425.34	c  N dy  5401    826531     10684     65487    301780     81839    795254   2070517     37.51     15.14  --
1711.66/429.29	c Finding binary XORs  T:     0.55 s  found:       0
1730.43/433.93	c  N dy  5534    846617     10684     65487    301918     60239    795171   1369125     32.71     15.17  --
1767.19/443.19	c  N dy  5662    866698     10684     65487    302749     80264    795173   2034465     42.38     15.19  --
1795.54/450.23	c  N dy  5793    886713     10682     65487    302751     57335    795173   1164672     32.66     15.11  --
1830.30/458.93	c  N dy  5924    906767     10682     65487    302751     77139    795173   1836388     36.68     15.13  --
1861.45/466.78	c  N dy  6056    926823     10682     65487    302751     53579    795172   1107503     35.49     15.11  --
1893.82/474.84	c  N dy  6187    946861     10689     65487    303638     74001    795228   1762254     38.27     15.12  --
1930.18/483.98	c  N dy  6318    966969     10689     65487    303638     49141    795228    936877     37.37     15.15  --
1963.32/492.22	c  N dy  6448    987032     10689     65487    303638     68947    795228   1630180     41.49     15.19  --
1998.06/500.94	c  N dy  6580   1007089     10689     65487    304140     88786    795230   2327863     38.16     15.18  --
2031.24/509.30	c  N dy  6711   1027232     10689     65487    304344     63254    795250   1380716     34.81     15.20  --
2065.18/517.74	c  N dy  6840   1047270     10689     65487    304344     83015    795250   1993164     42.45     15.19  --
2097.55/525.84	c  N dy  6971   1067414     10689     65487    304344     56304    795250   1096575     27.49     15.18  --
2130.29/534.04	c  N dy  7102   1087508     10522     65487    305175     77096    795338   1725693     32.20     15.19  --
2167.46/543.37	c  N dy  7231   1107518     10424     65487    305175     48896    795338    843822     34.52     15.18  --
2199.79/551.49	c  N dy  7363   1127583     10315     64808    297451     62526    777021   1449105     35.54     15.20  --
2233.37/559.89	c  N dy  7493   1147618     10315     64808    297451     82312    777021   2069036     27.74     15.18  --
2272.91/569.72	c  N dy  7621   1167737     10315     64808    298114     54153    777093   1072018     40.52     15.20  --
2308.85/578.75	c  N dy  7750   1187805     10315     64808    298114     73989    777093   1786966     27.45     15.23  --
2351.59/589.46	c  N dy  7877   1207840     10315     64808    298114     93780    777093   2444301     36.64     15.28  --
2355.19/590.31	c  S st  7890   1209646     10315     64808    298114     95564    777093   2493674     28.53     15.28  --
2356.40/590.67	c  S st  7890   1210149     10315     64808    298114     96066    777093   2510697     28.53     15.28  --
2356.40/590.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
2356.40/590.69	c Cache  BProp: 409 Set: 0 BXProp: 15 T: 0.02
2373.16/594.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bin:    337 BRemL:   3517 BRemN:    974 CBin:       0 P: 60.0M T: 16.73
2373.98/595.03	c Calc non-exist non-lernt bins v-fix:     0 done:  10315 time:  0.60 s
2373.98/595.04	c Cache  BProp: 408 Set: 0 BXProp: 3 T: 0.02
2380.75/596.71	c Subs w/ non-existent bins:    371 time:  6.68 s
2381.55/596.97	c Replacing       23 vars Replaced    36067 lits Time:     1.02 s 
2381.95/597.09	c bin-w-bin subsume rem          151 bins  time:  0.19 s
2388.34/598.61	c subs with bin:      601  lits-rem:      1459  v-fix:    0  time:  6.07 s
2388.34/598.64	c Removed useless bin:     681  fixed:     0  bprops:   0.70M  time:  0.11 s
2420.29/606.66	c ORs :   4725 avg-s: 15.2 cl-sh:   320 l-rem:    639 b-add:    262 v-rep:   0 cl-rem: 3 avg s: 18.3 T:    2.21
2426.28/608.12	c Added 9 vars  tried: 80000 time: 5.84
2426.28/608.13	c ORs :      9 avg-s:  0.0 cl-sh:  1712 l-rem:   1712 b-add:     18 v-rep:   0 cl-rem: 0 avg s: nan T:    5.88
2426.28/608.19	c lits-rem:      1228  cl-subs:    19113  v-elim:   5339  v-fix:    0  time: 38.14 s
2426.28/608.19	c learnt bin added due to v-elim: 0
2426.70/608.24	c vivif2 --  cl tried    64780 cl shrink      135 lits rem       1469 time: 0.20
2429.48/608.98	c vivif2 --  cl tried    75977 cl shrink     1798 lits rem       2892 time: 2.98
2430.28/609.16	c asymm  cl-useful: 60/399/64767 lits-rem:125 time: 0.72
2430.68/609.21	c calculated reachability. Time: 0.12
2430.68/609.21	c  N dy  7890   1210149      9834     64766    269629     75976    746001   1972468     28.53     15.28  --
2465.44/617.91	c  N dy  8027   1230197      9833     64766    270192     95439    746009   2494049     31.15     15.25  --
2493.79/625.09	c  N dy  8163   1250307      9833     64766    270251     65726    746009   1229574     24.81     15.22  --
2523.77/632.59	c  N dy  8300   1270427      9749     64766    270287     85430    746009   1720929     24.41     15.17  --
2557.71/641.08	c  N dy  8436   1290555      9749     64766    271837     55110    746012    800791     20.44     15.11  --
2587.66/648.53	c  N dy  8573   1310636      9748     64766    271917     74548    746002   1247410     31.01     15.05  --
2600.04/651.65	c Finding binary XORs  T:     0.49 s  found:       2
2621.21/656.97	c  N dy  8710   1330745      9732     64615    267608     90121    737849   1613459     19.21     15.01  --
2648.78/663.86	c  N dy  8848   1350792      9732     64615    267651     58813    737848    851013     25.23     14.96  --
2676.34/670.79	c  N dy  8986   1370895      9732     64615    267687     78222    737847   1316673     21.42     14.93  --
2710.30/679.22	c  N dy  9123   1390981      9551     64615    269671     97770    737851   1703617     22.30     14.87  --
2737.85/686.10	c  E dy  9232   1406989      9318     64615    269865     61834    737857    859631     11.02     14.82  --
2738.73/686.67	c Following stats are for *FIRST FINISHED THREAD ONLY*
2738.73/686.67	c num threads              : 4          
2738.73/686.67	c restarts                 : 9232       
2738.73/686.67	c dynamic restarts         : 9208       
2738.73/686.67	c static restarts          : 24         
2738.73/686.67	c full restarts            : 3          
2738.73/686.67	c total simplify time      : 3.80       
2738.73/686.67	c learnts DL2              : 0          
2738.73/686.67	c learnts size 2           : 668986     
2738.73/686.67	c learnts size 1           : 5671        (32.40     % of vars)
2738.73/686.67	c filedLit time            : 251.67      (9.19      % time)
2738.73/686.67	c v-elim SatELite          : 4991        (28.51     % vars)
2738.73/686.67	c SatELite time            : 125.79      (4.59      % time)
2738.73/686.67	c v-elim xor               : 0           (0.00      % vars)
2738.73/686.67	c xor elim time            : 0.70        (0.03      % time)
2738.73/686.67	c num binary xor trees     : 146        
2738.73/686.67	c binxor trees' crown      : 168         (1.15      leafs/tree)
2738.73/686.67	c bin xor find time        : 3.82       
2738.73/686.67	c OTF clause subsumed      : 26715       (0.02      clauses/conflict)
2738.73/686.67	c OTF subs. size diff      : 33831       (1.27       lits/clause)
2738.73/686.67	c OTF cl watch-shrink      : 1081079     (0.77      clauses/conflict)
2738.73/686.67	c OTF cl watch-sh-lit      : 16683714    (15.43      lits/clause)
2738.73/686.67	c tried to recurMin cls    : 1406945     (100.00     % of conflicts)
2738.73/686.67	c updated cache            : 17296       (0.01       lits/tried recurMin)
2738.73/686.67	c OTF Gate-Rem cl          : 221150      (0.16      clauses/conflict)
2738.73/686.67	c OTF Gate-rem lits        : 557486      (2.52      lits/confl)
2738.73/686.67	c unit cls received        : 56          (0.99      % of units)
2738.73/686.67	c unit cls sent            : 1002        (17.67     % of units)
2738.73/686.67	c bin cls received         : 138416     
2738.73/686.67	c bin cls sent             : 53949      
2738.73/686.67	c tri cls recevied         : 8602       
2738.73/686.67	c tri cls sent             : 10218      
2738.73/686.67	c clauses over max glue    : 0           (0.00      % of all clauses)
2738.73/686.67	c conflicts                : 1406989     (513.89    / sec)
2738.73/686.67	c decisions                : 10840443    (0.10      % random)
2738.73/686.67	c bogo-props               : 13540902698 (4945738.86 / sec)
2738.73/686.67	c props                    : 873083364   (318888.81 / sec)
2738.73/686.67	c conflict literals        : 46645012    (47.54     % deleted)
2738.73/686.67	c Memory used              : 1159.59     MB
2738.73/686.67	c single-thread CPU time   : 2737.89     s
2738.73/686.67	c all-threads sum CPU time : 2737.89     s
2738.73/686.67	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: 977)

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-3291218-1307650609/watcher-3291218-1307650609 -o /tmp/evaluation-result-3291218-1307650609/solver-3291218-1307650609 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3291218-1307650609.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: 1.84 1.97 1.98 5/184 29822
/proc/meminfo: memFree=32088332/32951124 swapFree=67054536/67111528
[pid=29822] ppid=29820 vsize=24544 CPUtime=0 cores=1,3,5,7
/proc/29822/stat : 29822 (techdemo) R 29820 29822 29691 0 -1 4202496 1388 0 0 0 0 0 0 0 25 0 1 0 876658845 25133056 1328 33554432000 4194304 4797429 140737470239728 18446744073709551615 271550234816 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/29822/statm: 6136 1335 341 148 0 1065 0

[startup+0.078379 s]
/proc/loadavg: 1.84 1.97 1.98 5/184 29822
/proc/meminfo: memFree=32088332/32951124 swapFree=67054536/67111528
[pid=29822] ppid=29820 vsize=86004 CPUtime=0.07 cores=1,3,5,7
/proc/29822/stat : 29822 (techdemo) R 29820 29822 29691 0 -1 4202496 10678 0 0 0 6 1 0 0 25 0 1 0 876658845 88068096 7425 33554432000 4194304 4797429 140737470239728 18446744073709551615 271550198469 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/29822/statm: 21501 7425 349 148 0 16430 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 86004

[startup+0.100364 s]
/proc/loadavg: 1.84 1.97 1.98 5/184 29822
/proc/meminfo: memFree=32088332/32951124 swapFree=67054536/67111528
[pid=29822] ppid=29820 vsize=87368 CPUtime=0.09 cores=1,3,5,7
/proc/29822/stat : 29822 (techdemo) R 29820 29822 29691 0 -1 4202496 11119 0 0 0 8 1 0 0 25 0 1 0 876658845 89464832 7862 33554432000 4194304 4797429 140737470239728 18446744073709551615 271550198469 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/29822/statm: 21842 7862 349 148 0 16771 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 87368

[startup+0.300328 s]
/proc/loadavg: 1.84 1.97 1.98 5/184 29822
/proc/meminfo: memFree=32088332/32951124 swapFree=67054536/67111528
[pid=29822] ppid=29820 vsize=99656 CPUtime=0.29 cores=1,3,5,7
/proc/29822/stat : 29822 (techdemo) R 29820 29822 29691 0 -1 4202496 14903 0 0 0 28 1 0 0 25 0 1 0 876658845 102047744 11578 33554432000 4194304 4797429 140737470239728 18446744073709551615 271550198469 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/29822/statm: 24914 11578 349 148 0 19843 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 99656

[startup+0.700255 s]
/proc/loadavg: 1.84 1.97 1.98 5/184 29822
/proc/meminfo: memFree=32088332/32951124 swapFree=67054536/67111528
[pid=29822] ppid=29820 vsize=123412 CPUtime=0.69 cores=1,3,5,7
/proc/29822/stat : 29822 (techdemo) R 29820 29822 29691 0 -1 4202496 22302 0 0 0 67 2 0 0 25 0 1 0 876658845 126373888 18865 33554432000 4194304 4797429 140737470239728 18446744073709551615 4431535 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/29822/statm: 30853 18865 350 148 0 25782 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 123412

[startup+1.50107 s]
/proc/loadavg: 1.84 1.97 1.98 9/188 29826
/proc/meminfo: memFree=31992848/32951124 swapFree=67054536/67111528
[pid=29822] ppid=29820 vsize=784248 CPUtime=3.26 cores=1,3,5,7
/proc/29822/stat : 29822 (techdemo) R 29820 29822 29691 0 -1 4202496 34602 0 0 0 321 5 0 0 18 0 4 0 876658845 803069952 27893 33554432000 4194304 4797429 140737470239728 18446744073709551615 4428195 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29822/statm: 196062 27893 383 148 0 190991 0
[pid=29822/tid=29824] ppid=29820 vsize=784248 CPUtime=0.58 cores=1,3,5,7
/proc/29822/task/29824/stat : 29824 (techdemo) R 29820 29822 29691 0 -1 4202560 2056 0 0 0 58 0 0 0 18 0 4 0 876658936 803069952 27893 33554432000 4194304 4797429 140737470239728 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29822/tid=29825] ppid=29820 vsize=784248 CPUtime=0.58 cores=1,3,5,7
/proc/29822/task/29825/stat : 29825 (techdemo) R 29820 29822 29691 0 -1 4202560 2131 0 0 0 58 0 0 0 18 0 4 0 876658936 803069952 27893 33554432000 4194304 4797429 140737470239728 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29822/tid=29826] ppid=29820 vsize=784248 CPUtime=0.58 cores=1,3,5,7
/proc/29822/task/29826/stat : 29826 (techdemo) R 29820 29822 29691 0 -1 4202560 2037 0 0 0 58 0 0 0 25 0 4 0 876658936 803069952 27893 33554432000 4194304 4797429 140737470239728 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.26
Current children cumulated vsize (KiB) 784248

[startup+3.10078 s]
/proc/loadavg: 2.49 2.10 2.03 9/188 29826
/proc/meminfo: memFree=31936068/32951124 swapFree=67054536/67111528
[pid=29822] ppid=29820 vsize=834500 CPUtime=9.65 cores=1,3,5,7
/proc/29822/stat : 29822 (techdemo) R 29820 29822 29691 0 -1 4202496 58386 0 0 0 956 9 0 0 21 0 4 0 876658845 854528000 51677 33554432000 4194304 4797429 140737470239728 18446744073709551615 4430094 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29822/statm: 208625 51677 384 148 0 203554 0
[pid=29822/tid=29824] ppid=29820 vsize=834500 CPUtime=2.18 cores=1,3,5,7
/proc/29822/task/29824/stat : 29824 (techdemo) R 29820 29822 29691 0 -1 4202560 7951 0 0 0 216 2 0 0 20 0 4 0 876658936 854528000 51677 33554432000 4194304 4797429 140737470239728 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29822/tid=29825] ppid=29820 vsize=834500 CPUtime=2.18 cores=1,3,5,7
/proc/29822/task/29825/stat : 29825 (techdemo) R 29820 29822 29691 0 -1 4202560 7960 0 0 0 218 0 0 0 21 0 4 0 876658936 854528000 51677 33554432000 4194304 4797429 140737470239728 18446744073709551615 4427256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29822/tid=29826] ppid=29820 vsize=834500 CPUtime=2.17 cores=1,3,5,7
/proc/29822/task/29826/stat : 29826 (techdemo) R 29820 29822 29691 0 -1 4202560 8157 0 0 0 216 1 0 0 20 0 4 0 876658936 854528000 51677 33554432000 4194304 4797429 140737470239728 18446744073709551615 4430094 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 9.65
Current children cumulated vsize (KiB) 834500

[startup+6.3002 s]
/proc/loadavg: 2.49 2.10 2.03 9/188 29826
/proc/meminfo: memFree=31770980/32951124 swapFree=67054536/67111528
[pid=29822] ppid=29820 vsize=940916 CPUtime=22.42 cores=1,3,5,7
/proc/29822/stat : 29822 (techdemo) R 29820 29822 29691 0 -1 4202496 84510 0 0 0 2227 15 0 0 25 0 4 0 876658845 963497984 77801 33554432000 4194304 4797429 140737470239728 18446744073709551615 4643103 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29822/statm: 235229 77801 385 148 0 230158 0
[pid=29822/tid=29824] ppid=29820 vsize=940916 CPUtime=5.37 cores=1,3,5,7
/proc/29822/task/29824/stat : 29824 (techdemo) R 29820 29822 29691 0 -1 4202560 14421 0 0 0 534 3 0 0 25 0 4 0 876658936 963497984 77801 33554432000 4194304 4797429 140737470239728 18446744073709551615 271550204930 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29822/tid=29825] ppid=29820 vsize=940916 CPUtime=5.38 cores=1,3,5,7
/proc/29822/task/29825/stat : 29825 (techdemo) R 29820 29822 29691 0 -1 4202560 14546 0 0 0 536 2 0 0 25 0 4 0 876658936 963497984 77801 33554432000 4194304 4797429 140737470239728 18446744073709551615 271550197305 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29822/tid=29826] ppid=29820 vsize=940916 CPUtime=5.35 cores=1,3,5,7
/proc/29822/task/29826/stat : 29826 (techdemo) R 29820 29822 29691 0 -1 4202560 14570 0 0 0 532 3 0 0 25 0 4 0 876658936 963497984 77801 33554432000 4194304 4797429 140737470239728 18446744073709551615 4332829 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 22.42
Current children cumulated vsize (KiB) 940916

[startup+12.701 s]
/proc/loadavg: 3.42 2.31 2.10 9/188 29827
/proc/meminfo: memFree=31707788/32951124 swapFree=67054536/67111528
[pid=29822] ppid=29820 vsize=968964 CPUtime=47.99 cores=1,3,5,7
/proc/29822/stat : 29822 (techdemo) R 29820 29822 29691 0 -1 4202496 100001 0 0 0 4780 19 0 0 25 0 4 0 876658845 992219136 93000 33554432000 4194304 4797429 140737470239728 18446744073709551615 4488440 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29822/statm: 242241 93000 418 148 0 237170 0
[pid=29822/tid=29824] ppid=29820 vsize=968964 CPUtime=11.78 cores=1,3,5,7
/proc/29822/task/29824/stat : 29824 (techdemo) R 29820 29822 29691 0 -1 4202560 18789 0 0 0 1174 4 0 0 25 0 4 0 876658936 992219136 93000 33554432000 4194304 4797429 140737470239728 18446744073709551615 4259680 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29822/tid=29825] ppid=29820 vsize=968964 CPUtime=11.78 cores=1,3,5,7
/proc/29822/task/29825/stat : 29825 (techdemo) R 29820 29822 29691 0 -1 4202560 18485 0 0 0 1175 3 0 0 25 0 4 0 876658936 992219136 93000 33554432000 4194304 4797429 140737470239728 18446744073709551615 4259072 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29822/tid=29826] ppid=29820 vsize=968964 CPUtime=11.71 cores=1,3,5,7
/proc/29822/task/29826/stat : 29826 (techdemo) R 29820 29822 29691 0 -1 4202560 17828 0 0 0 1167 4 0 0 25 0 4 0 876658936 992219136 93000 33554432000 4194304 4797429 140737470239728 18446744073709551615 4259274 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 47.99
Current children cumulated vsize (KiB) 968964

[startup+25.5007 s]
/proc/loadavg: 4.20 2.51 2.16 9/188 29827
/proc/meminfo: memFree=31666448/32951124 swapFree=67054536/67111528
[pid=29822] ppid=29820 vsize=1000100 CPUtime=99.1 cores=1,3,5,7
/proc/29822/stat : 29822 (techdemo) R 29820 29822 29691 0 -1 4202496 120566 0 0 0 9884 26 0 0 25 0 4 0 876658845 1024102400 101911 33554432000 4194304 4797429 140737470239728 18446744073709551615 4429080 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29822/statm: 250025 101911 418 148 0 244954 0
[pid=29822/tid=29824] ppid=29820 vsize=1000100 CPUtime=24.57 cores=1,3,5,7
/proc/29822/task/29824/stat : 29824 (techdemo) R 29820 29822 29691 0 -1 4202560 23507 0 0 0 2452 5 0 0 25 0 4 0 876658936 1024102400 101911 33554432000 4194304 4797429 140737470239728 18446744073709551615 4427384 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29822/tid=29825] ppid=29820 vsize=1000100 CPUtime=24.58 cores=1,3,5,7
/proc/29822/task/29825/stat : 29825 (techdemo) R 29820 29822 29691 0 -1 4202560 22715 0 0 0 2453 5 0 0 25 0 4 0 876658936 1024102400 101911 33554432000 4194304 4797429 140737470239728 18446744073709551615 4429090 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29822/tid=29826] ppid=29820 vsize=1000100 CPUtime=24.44 cores=1,3,5,7
/proc/29822/task/29826/stat : 29826 (techdemo) R 29820 29822 29691 0 -1 4202560 22599 0 0 0 2438 6 0 0 23 0 4 0 876658936 1024102400 101911 33554432000 4194304 4797429 140737470239728 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 99.1
Current children cumulated vsize (KiB) 1000100

[startup+51.1011 s]
/proc/loadavg: 5.49 2.95 2.32 9/188 29828
/proc/meminfo: memFree=31545996/32951124 swapFree=67054536/67111528
[pid=29822] ppid=29820 vsize=1126236 CPUtime=201.36 cores=1,3,5,7
/proc/29822/stat : 29822 (techdemo) R 29820 29822 29691 0 -1 4202496 154651 0 0 0 20099 37 0 0 25 0 4 0 876658845 1153265664 129597 33554432000 4194304 4797429 140737470239728 18446744073709551615 4429107 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29822/statm: 281559 129597 419 148 0 276488 0
[pid=29822/tid=29824] ppid=29820 vsize=1126236 CPUtime=50.17 cores=1,3,5,7
/proc/29822/task/29824/stat : 29824 (techdemo) R 29820 29822 29691 0 -1 4202560 30182 0 0 0 5009 8 0 0 25 0 4 0 876658936 1153265664 129597 33554432000 4194304 4797429 140737470239728 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29822/tid=29825] ppid=29820 vsize=1126236 CPUtime=50.18 cores=1,3,5,7
/proc/29822/task/29825/stat : 29825 (techdemo) R 29820 29822 29691 0 -1 4202560 31068 0 0 0 5010 8 0 0 25 0 4 0 876658936 1153265664 129597 33554432000 4194304 4797429 140737470239728 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29822/tid=29826] ppid=29820 vsize=1126236 CPUtime=49.9 cores=1,3,5,7
/proc/29822/task/29826/stat : 29826 (techdemo) R 29820 29822 29691 0 -1 4202560 29857 0 0 0 4982 8 0 0 25 0 4 0 876658936 1153265664 129597 33554432000 4194304 4797429 140737470239728 18446744073709551615 4520376 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 201.36
Current children cumulated vsize (KiB) 1126236

[startup+102.307 s]
/proc/loadavg: 7.04 3.81 2.65 9/188 29829
/proc/meminfo: memFree=31478328/32951124 swapFree=67054536/67111528
[pid=29822] ppid=29820 vsize=1154472 CPUtime=405.88 cores=1,3,5,7
/proc/29822/stat : 29822 (techdemo) R 29820 29822 29691 0 -1 4202496 172769 0 0 0 40545 43 0 0 25 0 4 0 876658845 1182179328 143964 33554432000 4194304 4797429 140737470239728 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29822/statm: 288618 143964 422 148 0 283547 0
[pid=29822/tid=29824] ppid=29820 vsize=1154472 CPUtime=101.37 cores=1,3,5,7
/proc/29822/task/29824/stat : 29824 (techdemo) R 29820 29822 29691 0 -1 4202560 33355 0 0 0 10128 9 0 0 25 0 4 0 876658936 1182179328 143964 33554432000 4194304 4797429 140737470239728 18446744073709551615 4531999 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29822/tid=29825] ppid=29820 vsize=1154472 CPUtime=101.38 cores=1,3,5,7
/proc/29822/task/29825/stat : 29825 (techdemo) R 29820 29822 29691 0 -1 4202560 34323 0 0 0 10130 8 0 0 25 0 4 0 876658936 1182179328 143964 33554432000 4194304 4797429 140737470239728 18446744073709551615 4225112 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29822/tid=29826] ppid=29820 vsize=1154472 CPUtime=100.84 cores=1,3,5,7
/proc/29822/task/29826/stat : 29826 (techdemo) R 29820 29822 29691 0 -1 4202560 32736 0 0 0 10075 9 0 0 25 0 4 0 876658936 1182179328 143964 33554432000 4194304 4797429 140737470239728 18446744073709551615 4424432 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 405.88
Current children cumulated vsize (KiB) 1154472

[startup+162.301 s]
/proc/loadavg: 7.74 4.60 2.99 9/188 29831
/proc/meminfo: memFree=31469164/32951124 swapFree=67054536/67111528
[pid=29822] ppid=29820 vsize=1159664 CPUtime=645.52 cores=1,3,5,7
/proc/29822/stat : 29822 (techdemo) R 29820 29822 29691 0 -1 4202496 187595 0 0 0 64503 49 0 0 25 0 4 0 876658845 1187495936 143857 33554432000 4194304 4797429 140737470239728 18446744073709551615 4360302 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29822/statm: 289916 143857 422 148 0 284845 0
[pid=29822/tid=29824] ppid=29820 vsize=1159664 CPUtime=161.36 cores=1,3,5,7
/proc/29822/task/29824/stat : 29824 (techdemo) R 29820 29822 29691 0 -1 4202560 34149 0 0 0 16127 9 0 0 25 0 4 0 876658936 1187495936 143857 33554432000 4194304 4797429 140737470239728 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29822/tid=29825] ppid=29820 vsize=1159664 CPUtime=161.37 cores=1,3,5,7
/proc/29822/task/29825/stat : 29825 (techdemo) R 29820 29822 29691 0 -1 4202560 35008 0 0 0 16128 9 0 0 25 0 4 0 876658936 1187495936 143857 33554432000 4194304 4797429 140737470239728 18446744073709551615 4428583 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29822/tid=29826] ppid=29820 vsize=1159664 CPUtime=160.52 cores=1,3,5,7
/proc/29822/task/29826/stat : 29826 (techdemo) R 29820 29822 29691 0 -1 4202560 34545 0 0 0 16042 10 0 0 25 0 4 0 876658936 1187495936 143857 33554432000 4194304 4797429 140737470239728 18446744073709551615 4427996 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 645.52
Current children cumulated vsize (KiB) 1159664

[startup+222.301 s]
/proc/loadavg: 7.95 5.23 3.31 9/188 29832
/proc/meminfo: memFree=31474664/32951124 swapFree=67054536/67111528
[pid=29822] ppid=29820 vsize=1167316 CPUtime=885.2 cores=1,3,5,7
/proc/29822/stat : 29822 (techdemo) R 29820 29822 29691 0 -1 4202496 200265 0 0 0 88465 55 0 0 25 0 4 0 876658845 1195331584 141486 33554432000 4194304 4797429 140737470239728 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29822/statm: 291829 141486 422 148 0 286758 0
[pid=29822/tid=29824] ppid=29820 vsize=1167316 CPUtime=221.36 cores=1,3,5,7
/proc/29822/task/29824/stat : 29824 (techdemo) R 29820 29822 29691 0 -1 4202560 35621 0 0 0 22127 9 0 0 25 0 4 0 876658936 1195331584 141486 33554432000 4194304 4797429 140737470239728 18446744073709551615 4424170 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29822/tid=29825] ppid=29820 vsize=1167316 CPUtime=221.38 cores=1,3,5,7
/proc/29822/task/29825/stat : 29825 (techdemo) R 29820 29822 29691 0 -1 4202560 36122 0 0 0 22128 10 0 0 25 0 4 0 876658936 1195331584 141486 33554432000 4194304 4797429 140737470239728 18446744073709551615 4492016 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29822/tid=29826] ppid=29820 vsize=1167316 CPUtime=220.18 cores=1,3,5,7
/proc/29822/task/29826/stat : 29826 (techdemo) R 29820 29822 29691 0 -1 4202560 34961 0 0 0 22008 10 0 0 25 0 4 0 876658936 1195331584 141486 33554432000 4194304 4797429 140737470239728 18446744073709551615 4495518 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 885.2
Current children cumulated vsize (KiB) 1167316

[startup+282.301 s]

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

/proc/29822/task/29826/stat : 29826 (techdemo) R 29820 29822 29691 0 -1 4202560 36777 0 0 0 39910 12 0 0 25 0 4 0 876658936 1201061888 146231 33554432000 4194304 4797429 140737470239728 18446744073709551615 4647995 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1604.21
Current children cumulated vsize (KiB) 1172912

[startup+462.3 s]
/proc/loadavg: 8.18 6.87 4.42 9/188 29839
/proc/meminfo: memFree=31426572/32951124 swapFree=67054536/67111528
[pid=29822] ppid=29820 vsize=1178828 CPUtime=1843.88 cores=1,3,5,7
/proc/29822/stat : 29822 (techdemo) R 29820 29822 29691 0 -1 4202496 248562 0 0 0 184312 76 0 0 25 0 4 0 876658845 1207119872 148624 33554432000 4194304 4797429 140737470239728 18446744073709551615 4422906 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29822/statm: 294707 148624 447 148 0 289636 0
[pid=29822/tid=29824] ppid=29820 vsize=1178828 CPUtime=461.36 cores=1,3,5,7
/proc/29822/task/29824/stat : 29824 (techdemo) R 29820 29822 29691 0 -1 4202560 39159 0 0 0 46125 11 0 0 25 0 4 0 876658936 1207119872 148624 33554432000 4194304 4797429 140737470239728 18446744073709551615 4427250 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29822/tid=29825] ppid=29820 vsize=1178828 CPUtime=461.38 cores=1,3,5,7
/proc/29822/task/29825/stat : 29825 (techdemo) R 29820 29822 29691 0 -1 4202560 39283 0 0 0 46126 12 0 0 25 0 4 0 876658936 1207119872 148624 33554432000 4194304 4797429 140737470239728 18446744073709551615 4429121 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29822/tid=29826] ppid=29820 vsize=1178828 CPUtime=458.88 cores=1,3,5,7
/proc/29822/task/29826/stat : 29826 (techdemo) R 29820 29822 29691 0 -1 4202560 38112 0 0 0 45876 12 0 0 25 0 4 0 876658936 1207119872 148624 33554432000 4194304 4797429 140737470239728 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1843.88
Current children cumulated vsize (KiB) 1178828

[startup+522.3 s]
/proc/loadavg: 8.11 7.09 4.64 9/188 29840
/proc/meminfo: memFree=31419684/32951124 swapFree=67054536/67111528
[pid=29822] ppid=29820 vsize=1179116 CPUtime=2083.55 cores=1,3,5,7
/proc/29822/stat : 29822 (techdemo) R 29820 29822 29691 0 -1 4202496 259046 0 0 0 208275 80 0 0 25 0 4 0 876658845 1207414784 149603 33554432000 4194304 4797429 140737470239728 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29822/statm: 294779 149603 447 148 0 289708 0
[pid=29822/tid=29824] ppid=29820 vsize=1179116 CPUtime=521.37 cores=1,3,5,7
/proc/29822/task/29824/stat : 29824 (techdemo) R 29820 29822 29691 0 -1 4202560 39675 0 0 0 52125 12 0 0 25 0 4 0 876658936 1207414784 149603 33554432000 4194304 4797429 140737470239728 18446744073709551615 4423656 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29822/tid=29825] ppid=29820 vsize=1179116 CPUtime=521.38 cores=1,3,5,7
/proc/29822/task/29825/stat : 29825 (techdemo) R 29820 29822 29691 0 -1 4202560 39611 0 0 0 52126 12 0 0 25 0 4 0 876658936 1207414784 149603 33554432000 4194304 4797429 140737470239728 18446744073709551615 4359920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29822/tid=29826] ppid=29820 vsize=1179116 CPUtime=518.56 cores=1,3,5,7
/proc/29822/task/29826/stat : 29826 (techdemo) R 29820 29822 29691 0 -1 4202560 38508 0 0 0 51844 12 0 0 25 0 4 0 876658936 1207414784 149603 33554432000 4194304 4797429 140737470239728 18446744073709551615 4427256 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2083.55
Current children cumulated vsize (KiB) 1179116

[startup+582.3 s]
/proc/loadavg: 8.19 7.31 4.87 9/188 29842
/proc/meminfo: memFree=31409100/32951124 swapFree=67054536/67111528
[pid=29822] ppid=29820 vsize=1179340 CPUtime=2323.22 cores=1,3,5,7
/proc/29822/stat : 29822 (techdemo) R 29820 29822 29691 0 -1 4202496 269481 0 0 0 232237 85 0 0 25 0 4 0 876658845 1207644160 150399 33554432000 4194304 4797429 140737470239728 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29822/statm: 294835 150399 447 148 0 289764 0
[pid=29822/tid=29824] ppid=29820 vsize=1179340 CPUtime=581.38 cores=1,3,5,7
/proc/29822/task/29824/stat : 29824 (techdemo) R 29820 29822 29691 0 -1 4202560 40054 0 0 0 58125 13 0 0 25 0 4 0 876658936 1207644160 150399 33554432000 4194304 4797429 140737470239728 18446744073709551615 4238940 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29822/tid=29825] ppid=29820 vsize=1179340 CPUtime=581.37 cores=1,3,5,7
/proc/29822/task/29825/stat : 29825 (techdemo) R 29820 29822 29691 0 -1 4202560 40026 0 0 0 58125 12 0 0 25 0 4 0 876658936 1207644160 150399 33554432000 4194304 4797429 140737470239728 18446744073709551615 4642201 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29822/tid=29826] ppid=29820 vsize=1179340 CPUtime=578.23 cores=1,3,5,7
/proc/29822/task/29826/stat : 29826 (techdemo) R 29820 29822 29691 0 -1 4202560 38949 0 0 0 57811 12 0 0 25 0 4 0 876658936 1207644160 150399 33554432000 4194304 4797429 140737470239728 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2323.22
Current children cumulated vsize (KiB) 1179340

[startup+642.301 s]
/proc/loadavg: 8.26 7.49 5.08 9/188 29843
/proc/meminfo: memFree=31400864/32951124 swapFree=67054536/67111528
[pid=29822] ppid=29820 vsize=1187692 CPUtime=2562.92 cores=1,3,5,7
/proc/29822/stat : 29822 (techdemo) R 29820 29822 29691 0 -1 4202496 277929 0 0 0 256203 89 0 0 25 0 4 0 876658845 1216196608 152420 33554432000 4194304 4797429 140737470239728 18446744073709551615 4424170 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29822/statm: 296923 152420 441 148 0 291852 0
[pid=29822/tid=29824] ppid=29820 vsize=1187692 CPUtime=641.38 cores=1,3,5,7
/proc/29822/task/29824/stat : 29824 (techdemo) R 29820 29822 29691 0 -1 4202560 40628 0 0 0 64125 13 0 0 25 0 4 0 876658936 1216196608 152420 33554432000 4194304 4797429 140737470239728 18446744073709551615 4492026 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29822/tid=29825] ppid=29820 vsize=1187692 CPUtime=641.38 cores=1,3,5,7
/proc/29822/task/29825/stat : 29825 (techdemo) R 29820 29822 29691 0 -1 4202560 40373 0 0 0 64126 12 0 0 25 0 4 0 876658936 1216196608 152420 33554432000 4194304 4797429 140737470239728 18446744073709551615 4346262 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29822/tid=29826] ppid=29820 vsize=1187692 CPUtime=637.91 cores=1,3,5,7
/proc/29822/task/29826/stat : 29826 (techdemo) R 29820 29822 29691 0 -1 4202560 39322 0 0 0 63778 13 0 0 25 0 4 0 876658936 1216196608 152420 33554432000 4194304 4797429 140737470239728 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2562.92
Current children cumulated vsize (KiB) 1187692

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

[startup+665.506 s]
/proc/loadavg: 8.32 7.56 5.16 9/188 29844
/proc/meminfo: memFree=31396988/32951124 swapFree=67054536/67111528
[pid=29822] ppid=29820 vsize=1187528 CPUtime=2655.59 cores=1,3,5,7
/proc/29822/stat : 29822 (techdemo) R 29820 29822 29691 0 -1 4202496 281699 0 0 0 265468 91 0 0 25 0 4 0 876658845 1216028672 151625 33554432000 4194304 4797429 140737470239728 18446744073709551615 4422982 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29822/statm: 296882 151625 441 148 0 291811 0
[pid=29822/tid=29824] ppid=29820 vsize=1187528 CPUtime=664.58 cores=1,3,5,7
/proc/29822/task/29824/stat : 29824 (techdemo) R 29820 29822 29691 0 -1 4202560 40731 0 0 0 66445 13 0 0 25 0 4 0 876658936 1216028672 151625 33554432000 4194304 4797429 140737470239728 18446744073709551615 4523861 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29822/tid=29825] ppid=29820 vsize=1187528 CPUtime=664.58 cores=1,3,5,7
/proc/29822/task/29825/stat : 29825 (techdemo) R 29820 29822 29691 0 -1 4202560 41120 0 0 0 66445 13 0 0 25 0 4 0 876658936 1216028672 151625 33554432000 4194304 4797429 140737470239728 18446744073709551615 4528213 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29822/tid=29826] ppid=29820 vsize=1187528 CPUtime=660.99 cores=1,3,5,7
/proc/29822/task/29826/stat : 29826 (techdemo) R 29820 29822 29691 0 -1 4202560 39446 0 0 0 66086 13 0 0 25 0 4 0 876658936 1216028672 151625 33554432000 4194304 4797429 140737470239728 18446744073709551615 4424170 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2655.59
Current children cumulated vsize (KiB) 1187528

[startup+678.301 s]
/proc/loadavg: 8.38 7.61 5.21 9/188 29844
/proc/meminfo: memFree=31400448/32951124 swapFree=67054536/67111528
[pid=29822] ppid=29820 vsize=1187664 CPUtime=2706.7 cores=1,3,5,7
/proc/29822/stat : 29822 (techdemo) R 29820 29822 29691 0 -1 4202496 284488 0 0 0 270578 92 0 0 25 0 4 0 876658845 1216167936 150602 33554432000 4194304 4797429 140737470239728 18446744073709551615 4331610 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29822/statm: 296916 150602 441 148 0 291845 0
[pid=29822/tid=29824] ppid=29820 vsize=1187664 CPUtime=677.37 cores=1,3,5,7
/proc/29822/task/29824/stat : 29824 (techdemo) R 29820 29822 29691 0 -1 4202560 41825 0 0 0 67724 13 0 0 25 0 4 0 876658936 1216167936 150602 33554432000 4194304 4797429 140737470239728 18446744073709551615 4509357 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29822/tid=29825] ppid=29820 vsize=1187664 CPUtime=677.37 cores=1,3,5,7
/proc/29822/task/29825/stat : 29825 (techdemo) R 29820 29822 29691 0 -1 4202560 41217 0 0 0 67724 13 0 0 25 0 4 0 876658936 1216167936 150602 33554432000 4194304 4797429 140737470239728 18446744073709551615 4428517 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29822/tid=29826] ppid=29820 vsize=1187664 CPUtime=673.71 cores=1,3,5,7
/proc/29822/task/29826/stat : 29826 (techdemo) R 29820 29822 29691 0 -1 4202560 40238 0 0 0 67358 13 0 0 25 0 4 0 876658936 1216167936 150602 33554432000 4194304 4797429 140737470239728 18446744073709551615 4427317 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2706.7
Current children cumulated vsize (KiB) 1187664

[startup+681.5 s]
/proc/loadavg: 8.38 7.61 5.21 9/188 29844
/proc/meminfo: memFree=31399316/32951124 swapFree=67054536/67111528
[pid=29822] ppid=29820 vsize=1187664 CPUtime=2719.48 cores=1,3,5,7
/proc/29822/stat : 29822 (techdemo) R 29820 29822 29691 0 -1 4202496 284740 0 0 0 271856 92 0 0 25 0 4 0 876658845 1216167936 150820 33554432000 4194304 4797429 140737470239728 18446744073709551615 4423723 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29822/statm: 296916 150820 441 148 0 291845 0
[pid=29822/tid=29824] ppid=29820 vsize=1187664 CPUtime=680.57 cores=1,3,5,7
/proc/29822/task/29824/stat : 29824 (techdemo) R 29820 29822 29691 0 -1 4202560 41869 0 0 0 68044 13 0 0 25 0 4 0 876658936 1216167936 150820 33554432000 4194304 4797429 140737470239728 18446744073709551615 4346418 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29822/tid=29825] ppid=29820 vsize=1187664 CPUtime=680.57 cores=1,3,5,7
/proc/29822/task/29825/stat : 29825 (techdemo) R 29820 29822 29691 0 -1 4202560 41280 0 0 0 68044 13 0 0 25 0 4 0 876658936 1216167936 150820 33554432000 4194304 4797429 140737470239728 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29822/tid=29826] ppid=29820 vsize=1187664 CPUtime=676.9 cores=1,3,5,7
/proc/29822/task/29826/stat : 29826 (techdemo) R 29820 29822 29691 0 -1 4202560 40243 0 0 0 67677 13 0 0 25 0 4 0 876658936 1216167936 150820 33554432000 4194304 4797429 140737470239728 18446744073709551615 4427384 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2719.48
Current children cumulated vsize (KiB) 1187664

[startup+684.701 s]
/proc/loadavg: 8.35 7.62 5.23 9/188 29845
/proc/meminfo: memFree=31400804/32951124 swapFree=67054536/67111528
[pid=29822] ppid=29820 vsize=1187416 CPUtime=2732.26 cores=1,3,5,7
/proc/29822/stat : 29822 (techdemo) R 29820 29822 29691 0 -1 4202496 286605 0 0 0 273134 92 0 0 25 0 4 0 876658845 1215913984 150372 33554432000 4194304 4797429 140737470239728 18446744073709551615 4424652 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29822/statm: 296854 150372 441 148 0 291783 0
[pid=29822/tid=29824] ppid=29820 vsize=1187416 CPUtime=683.77 cores=1,3,5,7
/proc/29822/task/29824/stat : 29824 (techdemo) R 29820 29822 29691 0 -1 4202560 41873 0 0 0 68364 13 0 0 25 0 4 0 876658936 1215913984 150372 33554432000 4194304 4797429 140737470239728 18446744073709551615 4519932 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29822/tid=29825] ppid=29820 vsize=1187416 CPUtime=683.77 cores=1,3,5,7
/proc/29822/task/29825/stat : 29825 (techdemo) R 29820 29822 29691 0 -1 4202560 41296 0 0 0 68364 13 0 0 25 0 4 0 876658936 1215913984 150372 33554432000 4194304 4797429 140737470239728 18446744073709551615 4428504 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29822/tid=29826] ppid=29820 vsize=1187416 CPUtime=680.08 cores=1,3,5,7
/proc/29822/task/29826/stat : 29826 (techdemo) R 29820 29822 29691 0 -1 4202560 40296 0 0 0 67995 13 0 0 25 0 4 0 876658936 1215913984 150372 33554432000 4194304 4797429 140737470239728 18446744073709551615 4238946 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2732.26
Current children cumulated vsize (KiB) 1187416

[startup+685.501 s]
/proc/loadavg: 8.35 7.62 5.23 9/188 29845
/proc/meminfo: memFree=31400304/32951124 swapFree=67054536/67111528
[pid=29822] ppid=29820 vsize=1187416 CPUtime=2735.45 cores=1,3,5,7
/proc/29822/stat : 29822 (techdemo) R 29820 29822 29691 0 -1 4202496 286728 0 0 0 273453 92 0 0 25 0 4 0 876658845 1215913984 150491 33554432000 4194304 4797429 140737470239728 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29822/statm: 296854 150491 441 148 0 291783 0
[pid=29822/tid=29824] ppid=29820 vsize=1187416 CPUtime=684.57 cores=1,3,5,7
/proc/29822/task/29824/stat : 29824 (techdemo) R 29820 29822 29691 0 -1 4202560 41923 0 0 0 68444 13 0 0 25 0 4 0 876658936 1215913984 150491 33554432000 4194304 4797429 140737470239728 18446744073709551615 4531977 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29822/tid=29825] ppid=29820 vsize=1187416 CPUtime=684.57 cores=1,3,5,7
/proc/29822/task/29825/stat : 29825 (techdemo) R 29820 29822 29691 0 -1 4202560 41296 0 0 0 68444 13 0 0 25 0 4 0 876658936 1215913984 150491 33554432000 4194304 4797429 140737470239728 18446744073709551615 4429003 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29822/tid=29826] ppid=29820 vsize=1187416 CPUtime=680.87 cores=1,3,5,7
/proc/29822/task/29826/stat : 29826 (techdemo) R 29820 29822 29691 0 -1 4202560 40296 0 0 0 68074 13 0 0 25 0 4 0 876658936 1215913984 150491 33554432000 4194304 4797429 140737470239728 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2735.45
Current children cumulated vsize (KiB) 1187416

[startup+686.3 s]
/proc/loadavg: 8.16 7.59 5.23 7/188 29845
/proc/meminfo: memFree=31399436/32951124 swapFree=67054536/67111528
[pid=29822] ppid=29820 vsize=1187416 CPUtime=2738.37 cores=1,3,5,7
/proc/29822/stat : 29822 (techdemo) S 29820 29822 29691 0 -1 4202496 286773 0 0 0 273745 92 0 0 24 0 4 0 876658845 1215913984 150534 33554432000 4194304 4797429 140737470239728 18446744073709551615 271562366577 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29822/statm: 296854 150534 442 148 0 291783 0
[pid=29822/tid=29824] ppid=29820 vsize=1187416 CPUtime=685.27 cores=1,3,5,7
/proc/29822/task/29824/stat : 29824 (techdemo) S 29820 29822 29691 0 -1 4202560 41946 0 0 0 68514 13 0 0 25 0 4 0 876658936 1215913984 150534 33554432000 4194304 4797429 140737470239728 18446744073709551615 47903621735988 0 0 4096 2 18446604471164950656 0 0 -1 1 0 0 0
[pid=29822/tid=29825] ppid=29820 vsize=1187416 CPUtime=685.38 cores=1,3,5,7
/proc/29822/task/29825/stat : 29825 (techdemo) R 29820 29822 29691 0 -1 4202560 41296 0 0 0 68525 13 0 0 25 0 4 0 876658936 1215913984 150534 33554432000 4194304 4797429 140737470239728 18446744073709551615 47903621735965 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29822/tid=29826] ppid=29820 vsize=1187416 CPUtime=681.67 cores=1,3,5,7
/proc/29822/task/29826/stat : 29826 (techdemo) R 29820 29822 29691 0 -1 4202560 40296 0 0 0 68154 13 0 0 25 0 4 0 876658936 1215913984 150534 33554432000 4194304 4797429 140737470239728 18446744073709551615 4430173 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2738.37
Current children cumulated vsize (KiB) 1187416

[startup+686.7 s]
/proc/loadavg: 8.16 7.59 5.23 7/188 29845
/proc/meminfo: memFree=31399436/32951124 swapFree=67054536/67111528
[pid=29822] ppid=29820 vsize=1070680 CPUtime=2738.94 cores=1,3,5,7
/proc/29822/stat : 29822 (techdemo) R 29820 29822 29691 0 -1 4202496 286778 0 0 0 273801 93 0 0 20 0 4 0 876658845 1096376320 147699 33554432000 4194304 4797429 140737470239728 18446744073709551615 271550186892 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29822/statm: 267670 147699 446 148 0 262599 0
[pid=29822/tid=29824] ppid=29820 vsize=1070680 CPUtime=685.31 cores=1,3,5,7
/proc/29822/task/29824/stat : 29824 (techdemo) R 29820 29822 29691 0 -1 4202560 41946 0 0 0 68518 13 0 0 21 0 4 0 876658936 1096376320 147699 33554432000 4194304 4797429 140737470239728 18446744073709551615 47903621736370 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29822/tid=29825] ppid=29820 vsize=1070680 CPUtime=685.48 cores=1,3,5,7
/proc/29822/task/29825/stat : 29825 (techdemo) R 29820 29822 29691 0 -1 4202560 41296 0 0 0 68535 13 0 0 23 0 4 0 876658936 1096376320 147699 33554432000 4194304 4797429 140737470239728 18446744073709551615 47903621736370 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29822/tid=29826] ppid=29820 vsize=1070680 CPUtime=682.07 cores=1,3,5,7
/proc/29822/task/29826/stat : 29826 (techdemo) R 29820 29822 29691 0 -1 4202560 40296 0 0 0 68194 13 0 0 25 0 4 0 876658936 1096376320 147699 33554432000 4194304 4797429 140737470239728 18446744073709551615 47903621736370 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2738.94
Current children cumulated vsize (KiB) 1070680

Child status: 20
Real time (s): 686.792
CPU time (s): 2739.24
CPU user time (s): 2738.28
CPU system time (s): 0.957854
CPU usage (%): 398.845
Max. virtual memory (cumulated for all children) (KiB): 1297980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2738.28
system time used= 0.957854
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 286779
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= 5220
involuntary context switches= 20002

runsolver used 1.12683 second user time and 2.6336 second system time

The end

Launcher Data 

Begin job on node133 at 2011-06-09 22:16:50
IDJOB=3291218
IDBENCH=84172
IDSOLVER=1584
FILE ID=node133/3291218-1307650609
RUNJOBID= node133-1307650608-29710
PBS_JOBID= 13549417
Free space on /tmp= 74152 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT03/industrial/simon/sat02/6pipe_6_ooo.shuffled-as.sat03-413.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3291218-1307650609/watcher-3291218-1307650609 -o /tmp/evaluation-result-3291218-1307650609/solver-3291218-1307650609 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3291218-1307650609.cnf

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

MD5SUM BENCH= 8bd122b0caab0988cbc54e4731b25623
RANDOM SEED=252160218

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      32088512 kB
Buffers:        190948 kB
Cached:         437096 kB
SwapCached:      10420 kB
Active:         372852 kB
Inactive:       288996 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32088512 kB
SwapTotal:    67111528 kB
SwapFree:     67054536 kB
Dirty:           25968 kB
Writeback:           0 kB
AnonPages:       31572 kB
Mapped:          13520 kB
Slab:           134340 kB
PageTables:       4632 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   675168 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74144 MiB
End job on node133 at 2011-06-09 22:28:16