Trace number 3282432

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.23 1202.78

General information on the benchmark

NameAPPLICATIONS/
bitverif/maxxor/maxxor128.cnf
MD5SUM065c126f0d55807310a398728b44423f
Bench CategoryAPPLICATION (applications 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 variables200440
Number of clauses599015
Sum of the clauses size1397699
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2399342
Number of clauses of size 3199671
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c Using 4 thread(s)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3282432-1304033027.cnf'
0.00/0.00	c -- header says num vars:         200440
0.00/0.00	c -- header says num clauses:      599015
1.19/1.20	c -- clauses added:            0 learnts,       599015 normals,            0 xors
1.19/1.20	c -- vars added     200440
1.19/1.20	c Parsing time:  1.07 s
1.19/1.20	c  N st     0         0    200440    199671    399342         0   1397697         0   no data   no data  --
3.58/1.84	c asymm  cl-useful: 0/568/199654 lits-rem:0 time: 2.53
53.13/14.21	c Flit:     4 Blit:     71 bXBeca:    0 bXProp:   70 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 49.27
60.68/16.12	c Calc non-exist non-lernt bins v-fix:    20 done:  16468 time:  7.34 s
60.68/16.14	c Cache  BProp: 60 Set: 3 BXProp: 0 T: 0.06
61.08/16.20	c Subs w/ non-existent bins:     22 time:  0.25 s
61.08/16.29	c Replacing       70 vars Replaced     2435 lits Time:     0.33 s 
61.48/16.39	c bin-w-bin subsume rem            0 bins  time:  0.17 s
61.89/16.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.34 s
62.68/16.61	c Removed useless bin:       0  fixed:     0  bprops:  10.01M  time:  0.51 s
66.58/17.66	c lits-rem:         0  cl-subs:     4458  v-elim:  66790  v-fix:    0  time:  3.69 s
66.58/17.66	c learnt bin added due to v-elim: 0
66.95/17.70	c Finding binary XORs  T:     0.15 s  found:      30
66.95/17.74	c Replacing       30 vars Replaced      468 lits Time:     0.19 s 
67.75/17.97	c Finding non-binary XORs:     0.70 s (found:    9773, avg size: 3.0)
67.75/17.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.17
68.15/18.02	c Calc default polars -  time:   0.11 s pos:    4515 undec:   81793 neg:  114132
68.15/18.02	c =========================================================================================
68.15/18.02	c types(t): F = full restart, N = normal restart
68.15/18.02	c types(t): S = simplification begin/end, E = solution found
68.15/18.02	c restart types(rt): st = static, dy = dynamic
68.15/18.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
68.15/18.02	c  B st     0         0    133511    205353    218936         0   1134642         0   no data   no data  --
73.34/19.36	c Decided on dynamic restart strategy
79.75/20.95	c  N dy    19      4020    133511    205353    219139      3630   1134642     81978     13.58     10.42  --
94.10/24.52	c  N dy    45      8190    133511    205353    219393      7453   1134642    198458     50.77     10.56  --
107.29/27.80	c  N dy    71     12259    133511    205353    220830     61756   1134644    477770     16.91     11.33  --
122.47/31.63	c  N dy    97     16366    133511    205353    221227     65409   1134644    646966     88.35     12.37  --
136.46/35.13	c  N dy   121     20465    133511    205353    221451     55321   1134644    177931     16.95     13.31  --
152.42/39.11	c  N dy   144     24520    133511    205353    221625     59080   1134644    413718     43.36     16.53  --
165.98/42.56	c  N dy   171     28600    133511    205353    221801     62827   1134644    528764     50.57     15.66  --
172.77/44.28	c  S st   181     30000    133511    205353    221947     64054   1134644    568533     30.99     15.45  --
176.40/45.12	c  S st   181     30501    133511    205353    222095     64400   1134644    573143     30.99     15.45  --
176.40/45.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.17
201.14/51.34	c Flit:     0 Blit:     40 bXBeca:    0 bXProp:  127 Bin:   1203 BRemL:      1 BRemN:      3 CBin:       0 P: 60.0M T: 24.65
206.33/52.68	c Calc non-exist non-lernt bins v-fix:     1 done:  20829 time:  5.26 s
206.75/52.71	c Cache  BProp: 60 Set: 0 BXProp: 0 T: 0.11
207.15/52.82	c Subs w/ non-existent bins:      5 time:  0.43 s
207.52/52.90	c Replacing      127 vars Replaced     3479 lits Time:     0.33 s 
207.92/53.04	c bin-w-bin subsume rem          112 bins  time:  0.17 s
208.33/53.19	c subs with bin:     4764  lits-rem:      3543  v-fix:    0  time:  0.57 s
209.53/53.44	c Removed useless bin:       2  fixed:     0  bprops:  10.02M  time:  0.99 s
218.30/55.61	c lits-rem:       322  cl-subs:    54702  v-elim:  68115  v-fix:    0  time:  8.64 s
218.30/55.61	c learnt bin added due to v-elim: 0
219.11/55.86	c asymm  cl-useful: 303/8046/218531 lits-rem:304 time: 0.97
219.11/55.88	c  N dy   181     30501     68665    218531     77769      9792    972868     57994     30.99     15.45  --
219.11/55.88	c  F st   181     30501     68665    218531     77769      9792    972868     57994     30.99     15.45  --
223.50/56.92	c Decided on dynamic restart strategy
227.89/58.03	c  N dy   199     34565     68665    218531     78113     13337    972868    147225     32.62     14.60  --
229.89/58.50	c Finding binary XORs  T:     0.10 s  found:     210
239.07/60.89	c  N dy   223     38677     68665    218531    102399     22218    974560    349556     47.66     14.79  --
247.87/63.09	c  N dy   246     42830     68665    218531    102674     25913    974560    509493     32.32     15.12  --
255.47/64.92	c  S st   266     45751     68665    218531    102835     28544    974560    586858     13.61     14.92  --
257.85/65.52	c  S st   266     46252     68665    218531    102947     28930    974560    603484     13.61     14.92  --
257.85/65.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
257.85/65.57	c Cache  BProp: 60 Set: 0 BXProp: 0 T: 0.07
279.82/71.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   57 Bin:   1188 BRemL:    808 BRemN:      8 CBin:       0 P: 60.1M T: 21.84
281.02/71.40	c Calc non-exist non-lernt bins v-fix:     0 done:  30365 time:  1.21 s
281.43/71.45	c Cache  BProp: 60 Set: 0 BXProp: 25 T: 0.19
283.41/71.92	c Subs w/ non-existent bins:    687 time:  1.86 s
283.41/71.98	c Replacing      296 vars Replaced     7514 lits Time:     0.20 s 
284.21/72.10	c bin-w-bin subsume rem          207 bins  time:  0.12 s
285.82/72.52	c subs with bin:     6243  lits-rem:     26147  v-fix:    0  time:  1.66 s
286.60/72.73	c Removed useless bin:     142  fixed:     0  bprops:   6.47M  time:  0.86 s
292.20/74.11	c lits-rem:       740  cl-subs:     5327  v-elim:   4653  v-fix:    0  time:  5.49 s
292.20/74.11	c learnt bin added due to v-elim: 0
293.80/74.59	c vivif2 --  cl tried   214798 cl shrink     1702 lits rem       1702 time: 1.92
294.61/74.72	c vivif2 --  cl tried    21834 cl shrink     3481 lits rem      15156 time: 0.49
295.40/74.92	c asymm  cl-useful: 114/10714/214068 lits-rem:114 time: 0.82
295.80/75.05	c calculated reachability. Time: 0.44
295.80/75.05	c  N dy   266     46252     67439    214068    101450     21737    970999    381384     13.61     14.92  --
307.38/77.91	c  N dy   278     50378     67439    214068    101471     25746    970999    720816     90.11     14.72  --
314.57/79.71	c Finding binary XORs  T:     1.37 s  found:     192
321.76/81.54	c  N dy   292     54473     67439    214068    101518     29724    970999   1043145     91.85     14.68  --
334.16/84.69	c  N dy   309     58712     67439    214068    101566     33841    970999   1381527     51.77     14.44  --
349.72/88.52	c  N dy   326     62864     67439    214068    101596     37880    970999   1700734     74.86     14.20  --
363.31/91.91	c  N dy   339     66882     67439    214068    101627     41792    970999   1995558     95.54     14.11  --
375.69/95.00	c  S st   350     69379     67439    214068    101663     44206    970999   2184528     71.52     14.03  --
378.10/95.67	c  S st   350     69880     67439    214068    101736     44631    970999   2201011     71.52     14.03  --
378.51/95.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.16
378.51/95.75	c Cache  BProp: 60 Set: 0 BXProp: 1 T: 0.14
401.25/101.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   46 Bin:   4311 BRemL:     64 BRemN:      1 CBin:       0 P: 60.3M T: 22.82
402.45/101.73	c Calc non-exist non-lernt bins v-fix:     0 done:  30383 time:  1.05 s
402.45/101.78	c Cache  BProp: 60 Set: 0 BXProp: 0 T: 0.19
405.24/102.45	c Subs w/ non-existent bins:    214 time:  2.66 s
405.64/102.51	c Replacing      239 vars Replaced     8382 lits Time:     0.24 s 
406.04/102.69	c bin-w-bin subsume rem          246 bins  time:  0.12 s
412.04/104.13	c subs with bin:      123  lits-rem:      2884  v-fix:    0  time:  5.76 s
412.44/104.28	c Removed useless bin:      35  fixed:     0  bprops:   6.00M  time:  0.60 s
443.20/111.98	c ORs :  15243 avg-s:  2.0 cl-sh:  8784 l-rem:   8784 b-add:   6533 v-rep:   0 cl-rem: 153 avg s: 3.1 T:   19.91
449.58/113.59	c Added 101 vars  tried: 80000 time: 6.40
451.58/114.07	c ORs :    101 avg-s:  0.0 cl-sh: 54173 l-rem:  54173 b-add:    202 v-rep:   0 cl-rem: 2 avg s: 3.5 T:    8.33
451.99/114.17	c lits-rem:       342  cl-subs:     4069  v-elim:   2374  v-fix:    0  time: 39.49 s
451.99/114.17	c learnt bin added due to v-elim: 0
453.98/114.67	c vivif2 --  cl tried   209957 cl shrink      609 lits rem        609 time: 1.97
455.97/115.13	c vivif2 --  cl tried    37671 cl shrink     4753 lits rem      17120 time: 1.83
457.19/115.43	c asymm  cl-useful: 17/3201/209631 lits-rem:17 time: 1.21
457.60/115.57	c calculated reachability. Time: 0.45
457.60/115.57	c  N dy   350     69880     67301    209631    112336     37623    964671   1816571     71.52     14.03  --
457.60/115.57	c  F st   350     69880     67301    209631    112336     37623    964671   1816571     71.52     14.03  --
465.98/117.62	c Decided on dynamic restart strategy
476.35/120.20	c  N dy   369     74362     67301    209631    155443     42674    964787   2243773     75.93     13.72  --
493.13/124.49	c  N dy   402     79179     67301    209631    155745     47089    964787   2473176     16.85     13.42  --
511.10/128.97	c  N dy   432     84348     67301    209631    155955     51949    964787   2698730     73.37     13.42  --
517.89/130.60	c Finding binary XORs  T:     1.72 s  found:     332
534.67/134.85	c  N dy   469     89762     67299    209621    188001     59021    965033   2969057     63.41     13.18  --
557.43/140.58	c  N dy   503     95524     67299    209621    188144     64569    965033   3290482     61.03     13.73  --
581.00/146.40	c  N dy   539    101683     67299    209621    188336     70428    965033   3599720     10.78     13.73  --
591.79/149.14	c  S st   558    104820     67299    209621    188484     73378    965033   3665385     19.92     13.58  --
595.38/150.07	c  S st   558    105321     67299    209621    188560     73795    965033   3682232     19.92     13.58  --
595.78/150.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.20
595.78/150.17	c Cache  BProp: 60 Set: 0 BXProp: 0 T: 0.20
624.94/157.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   68 Bin:   2003 BRemL:     86 BRemN:      0 CBin:       0 P: 60.0M T: 29.16
626.14/157.73	c Calc non-exist non-lernt bins v-fix:     0 done:  30896 time:  0.96 s
626.14/157.80	c Cache  BProp: 60 Set: 0 BXProp: 0 T: 0.25
630.93/158.92	c Subs w/ non-existent bins:    368 time:  4.47 s
631.33/159.06	c Replacing      402 vars Replaced    17951 lits Time:     0.57 s 
632.54/159.32	c bin-w-bin subsume rem         2566 bins  time:  0.16 s
639.32/161.00	c subs with bin:     1981  lits-rem:      5823  v-fix:    0  time:  6.68 s
639.72/161.17	c Removed useless bin:      62  fixed:     0  bprops:   4.85M  time:  0.68 s
694.05/174.72	c ORs :  18552 avg-s:  2.0 cl-sh:  1609 l-rem:   1609 b-add:   1336 v-rep:   0 cl-rem: 100 avg s: 3.2 T:   25.02
694.46/174.85	c lits-rem:       214  cl-subs:     5195  v-elim:   2368  v-fix:    0  time: 54.63 s
694.46/174.85	c learnt bin added due to v-elim: 0
697.24/175.58	c vivif2 --  cl tried   206575 cl shrink      242 lits rem        242 time: 2.92
702.44/176.84	c vivif2 --  cl tried    66537 cl shrink     8056 lits rem      29578 time: 4.94
704.03/177.26	c asymm  cl-useful: 1/1924/206459 lits-rem:1 time: 1.68
704.83/177.45	c calculated reachability. Time: 0.65
704.83/177.45	c  N dy   558    105321     66886    206459    188492     66417    957668   3316443     19.92     13.58  --
732.80/184.40	c  N dy   594    112503     66884    206459    188825     73146    957667   3646170     48.55     13.66  --
759.57/191.11	c  N dy   636    119745     66884    206459    193978     41935    957786    734747     51.14     13.59  --
778.35/195.85	c  N dy   668    127527     66884    206459    194187     49407    957785   1056541     80.59     13.51  --
803.50/202.19	c  N dy   707    135722     66884    206459    194443     57191    957784   1485734     41.80     13.82  --
822.66/206.98	c  N dy   741    144456     66882    206459    194584     35605    957783    548149     25.93     13.90  --
845.44/212.61	c  N dy   782    154173     66882    206459    194914     44772    957780    795298     27.28     13.82  --
857.45/215.65	c  S st   800    157981     66882    206459    195029     48392    957778    977804     92.09     13.88  --
859.82/216.29	c  S st   800    158482     66882    206459    195134     48783    957776    984145     92.09     13.88  --
860.22/216.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.17
860.22/216.39	c Cache  BProp: 60 Set: 0 BXProp: 12 T: 0.26
892.59/224.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  407 Bin:   1281 BRemL:     83 BRemN:      0 CBin:       0 P: 60.0M T: 32.09
893.77/224.76	c Calc non-exist non-lernt bins v-fix:     0 done:  30599 time:  1.27 s
894.18/224.84	c Cache  BProp: 60 Set: 0 BXProp: 33 T: 0.34
897.00/225.58	c Subs w/ non-existent bins:   1031 time:  2.94 s
897.37/225.67	c Replacing      453 vars Replaced    17107 lits Time:     0.35 s 
898.17/225.82	c bin-w-bin subsume rem         1511 bins  time:  0.16 s
900.56/226.46	c subs with bin:     5753  lits-rem:       557  v-fix:    0  time:  2.59 s
901.38/226.68	c Removed useless bin:      24  fixed:     0  bprops:   4.88M  time:  0.87 s
935.72/235.30	c ORs :  20888 avg-s:  2.0 cl-sh:   985 l-rem:    985 b-add:    934 v-rep:   0 cl-rem: 128 avg s: 3.4 T:   27.61
936.13/235.39	c lits-rem:       888  cl-subs:     3618  v-elim:   2355  v-fix:    0  time: 34.73 s
936.13/235.39	c learnt bin added due to v-elim: 0
939.71/236.20	c vivif2 --  cl tried   201173 cl shrink       56 lits rem         56 time: 3.24
940.93/236.58	c vivif2 --  cl tried    41721 cl shrink     1728 lits rem       5194 time: 1.51
942.91/237.02	c asymm  cl-useful: 0/1834/201153 lits-rem:0 time: 1.78
943.70/237.24	c calculated reachability. Time: 0.78
943.70/237.24	c  N dy   800    158482     66423    201153    194835     41687    946615    830624     92.09     13.88  --
964.48/242.41	c Finding binary XORs  T:     2.71 s  found:     479
974.87/245.07	c  N dy   849    168635     66423    201153    204347     27246    946714    362925     65.74     13.52  --
1002.05/251.86	c  N dy   896    179527     66423    201153    204440     37677    946712    848248     62.21     13.35  --
1053.56/264.70	c  N dy   958    191216     66423    201153    204544     48965    946711   1965401     70.77     13.15  --
1087.51/273.27	c  N dy  1017    203543     66422    201153    204662     38252    946711    896829     34.59     12.88  --
1136.65/285.55	c  N dy  1078    216696     66422    201153    204851     50932    946709   1814118     85.28     12.77  --
1180.98/296.61	c  N dy  1145    230661     66422    201153    204985     41418    946708   1230872     77.63     12.59  --
1203.36/302.26	c  S st  1179    237723     66421    201153    205108     48122    946705   1527740     16.90     12.60  --
1206.15/302.92	c  S st  1179    238224     66421    201153    205151     48576    946703   1540447     16.90     12.60  --
1206.15/302.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.19
1206.55/303.06	c Cache  BProp: 60 Set: 0 BXProp: 2 T: 0.35
1238.91/311.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   31 Bin:    958 BRemL:     84 BRemN:      0 CBin:       0 P: 60.1M T: 32.23
1240.51/311.58	c Calc non-exist non-lernt bins v-fix:     0 done:  29882 time:  1.70 s
1240.91/311.68	c Cache  BProp: 60 Set: 0 BXProp: 0 T: 0.40
1244.12/312.43	c Subs w/ non-existent bins:    426 time:  3.00 s
1244.50/312.53	c Replacing      513 vars Replaced    11703 lits Time:     0.37 s 
1244.90/312.68	c bin-w-bin subsume rem         1315 bins  time:  0.16 s
1247.30/313.25	c subs with bin:     2779  lits-rem:       456  v-fix:    0  time:  2.26 s
1248.11/313.41	c Removed useless bin:       5  fixed:     0  bprops:   4.67M  time:  0.64 s
1284.05/322.42	c ORs :  22992 avg-s:  2.0 cl-sh:  1285 l-rem:   1285 b-add:    956 v-rep:   0 cl-rem: 85 avg s: 3.0 T:   30.38
1284.44/322.51	c lits-rem:       794  cl-subs:     4325  v-elim:   2379  v-fix:    0  time: 36.37 s
1284.44/322.51	c learnt bin added due to v-elim: 0
1287.66/323.39	c vivif2 --  cl tried   198530 cl shrink       45 lits rem         45 time: 3.49
1289.25/323.77	c vivif2 --  cl tried    42279 cl shrink     3128 lits rem      18209 time: 1.53
1291.25/324.29	c asymm  cl-useful: 0/1617/198527 lits-rem:0 time: 2.06
1292.46/324.55	c calculated reachability. Time: 0.95
1292.46/324.55	c  N dy  1179    238224     65903    198527    204600     42250    940064   1274056     16.90     12.60  --
1337.58/335.87	c Finding binary XORs  T:     3.38 s  found:     364
1344.37/337.52	c  N dy  1242    253515     65935    198519    213368     36194    940838    577591     37.35     12.50  --
1392.31/349.55	c  N dy  1319    269811     65935    198519    213563     51907    940838   1320785     59.85     12.41  --
1434.65/360.12	c  N dy  1390    287660     62575    198519    213748     44134    940832    765879     26.02     12.29  --
1447.82/363.42	c Replacing     3800 vars Replaced    81458 lits Time:     0.32 s 
1477.79/370.99	c  N dy  1488    306107     57317    186290    185434     50960    879849   1302747     42.51     12.09  --
1507.78/378.46	c Finding binary XORs  T:     3.46 s  found:    5555
1508.15/378.53	c Replacing     5561 vars Replaced   140797 lits Time:     0.29 s 
1523.33/382.31	c  N dy  1605    325956     51727    170527    171104     38475    819390    600907     27.34     11.83  --
1568.47/393.63	c  N dy  1717    345988     51603    170527    171744     28850    819367    311643     15.65     11.70  --
1590.44/399.13	c  S st  1782    357336     51592    170527    172251     39395    819348    525000     38.53     11.62  --
1592.84/399.75	c  S st  1782    357836     51590    170527    172291     39841    819345    533926     38.53     11.62  --
1592.84/399.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.15
1593.24/399.86	c Cache  BProp: 56139 Set: 130 BXProp: 38 T: 0.28
1621.61/406.90	c Flit:    17 Blit:   1182 bXBeca:    0 bXProp: 2571 Bin:   1816 BRemL:   1153 BRemN:     11 CBin:       0 P: 60.1M T: 28.08
1621.61/406.93	c Cleaning up after failed var search:     0.12 s 
1622.79/407.24	c Calc non-exist non-lernt bins v-fix:     0 done:  30562 time:  1.21 s
1623.19/407.31	c Cache  BProp: 57308 Set: 0 BXProp: 203 T: 0.27
1625.20/407.86	c Subs w/ non-existent bins:   6010 time:  2.20 s
1625.60/407.92	c Replacing     3109 vars Replaced    76845 lits Time:     0.24 s 
1626.01/408.02	c bin-w-bin subsume rem         9593 bins  time:  0.12 s
1626.41/408.16	c subs with bin:     4836  lits-rem:      1414  v-fix:    0  time:  0.55 s
1626.79/408.25	c Removed useless bin:      31  fixed:     0  bprops:   2.59M  time:  0.37 s
1652.78/414.74	c ORs :  17134 avg-s:  2.0 cl-sh: 10208 l-rem:  10208 b-add:   6485 v-rep: 1667 cl-rem: 10581 avg s: 4.3 T:   22.95
1653.15/414.80	c lits-rem:       864  cl-subs:     4859  v-elim:   2649  v-fix:    0  time: 26.16 s
1653.15/414.80	c learnt bin added due to v-elim: 0
1655.55/415.41	c vivif2 --  cl tried   143060 cl shrink       36 lits rem         37 time: 2.40
1656.35/415.61	c vivif2 --  cl tried    29273 cl shrink     1028 lits rem       1909 time: 0.83
1657.54/415.97	c asymm  cl-useful: 1/4958/143054 lits-rem:4 time: 1.43
1658.35/416.14	c calculated reachability. Time: 0.61
1658.35/416.15	c  N dy  1782    357836     46719    143053    152338     29240    719610    386963     38.53     11.62  --
1682.31/422.14	c Replacing     1672 vars Replaced    47290 lits Time:     0.35 s 
1702.28/427.12	c  N dy  1888    377883     44751    142940    151258     49369    712739   1018200     38.44     11.60  --
1740.25/436.61	c Finding binary XORs  T:     2.39 s  found:    3576
1740.25/436.67	c Replacing     3902 vars Replaced    84112 lits Time:     0.25 s 
1741.03/436.82	c  N dy  1985    397998     39388    131990    122861     36456    665723    478148     11.42     11.50  --
1783.77/447.54	c  N dy  2116    418048     39254    131990    124533     55999    665891    984473     36.31     11.48  --
1822.92/457.33	c  N dy  2235    438051     38608    131990    125407     45748    665887    547605     17.17     11.37  --
1848.48/463.70	c Replacing     1673 vars Replaced    33045 lits Time:     0.18 s 
1862.06/467.11	c  N dy  2349    458055     35320    126851    112146     31320    639653    232059     12.13     11.43  --
1896.42/475.74	c  N dy  2455    478146     35151    126851    112842     50360    639648    574281     19.57     11.31  --
1908.79/478.85	c Finding binary XORs  T:     2.70 s  found:    5172
1909.19/478.94	c Replacing     5570 vars Replaced   176691 lits Time:     0.38 s 
1933.58/485.05	c  N dy  2573    498278     29195    111744    100284     38603    581908    296048     16.98     11.24  --
1964.74/492.88	c  N dy  2700    518298     29060    111744    100844     57699    581900    727219     27.47     11.18  --
1971.51/494.56	c Replacing      369 vars Replaced     7876 lits Time:     0.15 s 
1997.48/501.08	c  S st  2827    536754     28340    110521     98986     41379    575770    306870     14.55     11.10  --
1999.49/501.57	c  S st  2827    537255     28335    110521     99101     41752    575770    310145     14.55     11.10  --
1999.49/501.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
1999.89/501.63	c Cache  BProp: 54948 Set: 11 BXProp: 63 T: 0.12
2023.84/507.64	c Flit:     0 Blit:    100 bXBeca:    0 bXProp: 3167 Bin:   7015 BRemL:   4983 BRemN:   1021 CBin:       0 P: 60.0M T: 24.01
2025.04/507.90	c Calc non-exist non-lernt bins v-fix:     0 done:  28028 time:  0.94 s
2025.04/507.94	c Cache  BProp: 54928 Set: 0 BXProp: 1 T: 0.14
2026.63/508.34	c Subs w/ non-existent bins:   6487 time:  1.62 s
2027.03/508.41	c Replacing     3406 vars Replaced   124351 lits Time:     0.26 s 
2027.03/508.49	c bin-w-bin subsume rem        17584 bins  time:  0.10 s
2027.83/508.60	c subs with bin:     2455  lits-rem:      1775  v-fix:    0  time:  0.42 s
2027.83/508.63	c Removed useless bin:      22  fixed:     0  bprops:   0.87M  time:  0.16 s
2044.21/512.73	c ORs :   9171 avg-s:  2.2 cl-sh: 16376 l-rem:  16399 b-add:   8496 v-rep: 1636 cl-rem: 19614 avg s: 4.7 T:   12.96
2044.21/512.77	c lits-rem:       601  cl-subs:    17636  v-elim:   5128  v-fix:    0  time: 16.51 s
2044.21/512.77	c learnt bin added due to v-elim: 0
2045.41/513.09	c vivif2 --  cl tried    76782 cl shrink      963 lits rem       1001 time: 1.28
2046.21/513.27	c vivif2 --  cl tried    24183 cl shrink     1007 lits rem       1525 time: 0.73
2047.01/513.46	c asymm  cl-useful: 12/6462/76639 lits-rem:34 time: 0.77
2047.41/513.55	c calculated reachability. Time: 0.30
2047.41/513.55	c  N dy  2827    537255     22911     76629     80936     24051    447879    183395     14.55     11.10  --
2047.41/513.55	c  F st  2827    537255     22911     76629     80936     24051    447879    183395     14.55     11.10  --
2047.41/513.59	c Replacing     1636 vars Replaced    44684 lits Time:     0.15 s 
2050.60/514.36	c Decided on dynamic restart strategy
2074.59/520.36	c  N dy  2924    557290     21275     76629     80567     45335    441499    590398     26.40     11.02  --
2086.95/523.46	c Finding binary XORs  T:     1.78 s  found:     160
2104.93/527.96	c  N dy  3013    577364     21274     76629     83784     66957    441770   1165005     31.54     11.02  --
2130.48/534.34	c  N dy  3121    597465     21274     76629     83981     52480    441765    646934     23.61     10.96  --
2159.24/541.55	c  N dy  3224    617527     21270     76629     84140     37514    441764    266592     29.05     10.94  --
2185.61/548.13	c  N dy  3310    637550     21270     76629     86979     60743    442130    896911     18.37     10.95  --
2215.96/555.70	c  N dy  3419    657639     21270     76629     87093     43248    442126    369243     15.66     10.95  --
2242.32/562.38	c  N dy  3513    677982     21270     76629     87217     63159    442125    926065     22.98     10.93  --
2271.49/569.63	c  N dy  3619    698100     21270     76629     87369     45651    442124    384413     18.10     10.90  --
2300.24/576.86	c  N dy  3728    718137     21270     76629     87469     65295    442124    961147     23.39     10.89  --
2326.20/583.31	c  N dy  3826    738345     21270     76629     91957     50826    442755    455016     27.95     10.86  --
2356.97/591.03	c  N dy  3933    758559     21268     76629     92094     70546    442754    963730     24.39     10.83  --
2379.34/596.63	c Finding binary XORs  T:     1.70 s  found:    1023
2379.34/596.68	c Replacing     1193 vars Replaced    47961 lits Time:     0.17 s 
2389.32/599.11	c  N dy  4026    778635     20036     74523     91637     50744    432936    431342     18.87     10.80  --
2419.27/606.60	c  N dy  4146    798695     20080     74523     94978     71168    433330    953957     28.08     10.78  --
2430.09/609.37	c  S st  4188    805884     20078     74523     95002     78194    433330   1171218     36.38     10.79  --
2431.26/609.67	c  S st  4188    806387     20078     74523     95006     78688    433330   1178816     36.38     10.79  --
2431.26/609.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
2431.66/609.73	c Cache  BProp: 54820 Set: 0 BXProp: 14 T: 0.13
2462.42/617.42	c Flit:     4 Blit:      1 bXBeca:    0 bXProp:  159 Bin:  15889 BRemL:   5650 BRemN:    113 CBin:       0 P: 60.0M T: 30.72
2462.82/617.58	c Calc non-exist non-lernt bins v-fix:     0 done:  20058 time:  0.62 s
2463.22/617.61	c Cache  BProp: 54821 Set: 0 BXProp: 0 T: 0.14
2466.81/618.50	c Subs w/ non-existent bins:   2109 time:  3.57 s
2466.81/618.57	c Replacing      209 vars Replaced    12544 lits Time:     0.24 s 
2467.21/618.67	c bin-w-bin subsume rem        11119 bins  time:  0.10 s
2472.81/620.06	c subs with bin:     1066  lits-rem:      8659  v-fix:    0  time:  5.55 s
2472.81/620.09	c Removed useless bin:      90  fixed:     0  bprops:   0.50M  time:  0.11 s
2491.60/624.71	c ORs :   7441 avg-s:  2.2 cl-sh:  1606 l-rem:   1609 b-add:   1339 v-rep:   2 cl-rem: 331 avg s: 5.2 T:   10.46
2491.60/624.75	c lits-rem:      3713  cl-subs:    33746  v-elim:   6068  v-fix:    0  time: 18.61 s
2491.60/624.75	c learnt bin added due to v-elim: 0
2492.78/625.08	c vivif2 --  cl tried    71574 cl shrink     1636 lits rem       1827 time: 1.32
2495.18/625.69	c vivif2 --  cl tried    45172 cl shrink     2237 lits rem       9391 time: 2.44
2496.39/625.91	c asymm  cl-useful: 25/1622/71440 lits-rem:75 time: 0.89
2496.39/625.99	c calculated reachability. Time: 0.27
2496.39/625.99	c  N dy  4188    806387     16959     71415     88408     45078    459168    611039     36.38     10.79  --
2525.14/633.16	c Finding binary XORs  T:     1.62 s  found:      92
2525.54/633.29	c  N dy  4296    826473     16959     71415     88559     64669    459167   1240683     43.51     10.81  --
2561.48/642.26	c  N dy  4420    846726     16959     71415     89353     43698    459262    381064     26.83     10.88  --
2593.44/650.21	c  N dy  4528    866810     16959     71415     89451     63369    459261   1352530     43.25     10.92  --
2632.20/659.99	c  N dy  4642    887107     16959     71415     94981     42178    459331    340222     74.25     11.01  --
2660.15/666.94	c  N dy  4738    907174     16959     71415     98496     63190    459514   1372136     59.13     11.11  --
2691.30/674.79	c  N dy  4830    927356     16959     71415     98545     82981    459514   2397442     27.82     11.21  --
2716.47/681.04	c  N dy  4955    947435     16959     71415     98632     59839    459514    670920     40.60     11.16  --
2743.23/687.79	c  N dy  5070    967781     16959     71415     98732     79642    459513   1339840     30.13     11.18  --
2773.22/695.21	c  N dy  5186    987827     16959     71415    100873     57632    459599    753421     24.20     11.18  --
2804.74/703.10	c  N dy  5299   1007959     16959     71415    100929     77292    459598   1594504     62.79     11.20  --
2823.92/707.94	c Finding binary XORs  T:     1.74 s  found:     359
2824.32/708.00	c Replacing      453 vars Replaced    27784 lits Time:     0.22 s 
2838.72/711.64	c  N dy  5400   1027960     16499     70754    101243     52708    456439    552482     37.25     11.26  --
2864.67/718.10	c  N dy  5482   1047995     16497     70754    101270     72406    456439   1545599     53.77     11.34  --
2897.82/726.45	c  N dy  5582   1068023     16497     70754    101729     47095    456444    367202     20.73     11.40  --
2925.38/733.34	c  N dy  5688   1088133     16496     70754    101776     66838    456444   1103554     32.18     11.41  --
2958.93/741.74	c  N dy  5797   1108142     16491     70754    101816     86448    456444   2185932     19.61     11.49  --
2988.90/749.27	c  N dy  5912   1128389     16491     70754    101867     60532    456443    785934     38.16     11.54  --
3018.87/756.76	c  N dy  6000   1148502     16489     70754    102224     80689    456483   1944138     52.52     11.64  --
3053.21/765.31	c  N dy  6101   1168514     16488     70754    103032     54168    456557    577058     68.47     11.72  --
3082.37/772.60	c  N dy  6201   1188629     16469     70754    103065     73874    456557   1394768     45.43     11.76  --
3114.73/780.71	c  N dy  6318   1208757     16469     70754    103117     93527    456557   2263465     95.25     11.78  --
3117.92/781.52	c  S st  6324   1209581     16469     70754    103117     94336    456557   2345096    102.34     11.78  --
3119.12/781.81	c  S st  6324   1210081     16469     70754    103126     94824    456557   2354116    102.34     11.78  --
3119.12/781.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
3119.12/781.87	c Cache  BProp: 54816 Set: 0 BXProp: 5 T: 0.13
3151.47/789.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  148 Bin:  19981 BRemL:   8077 BRemN:    168 CBin:       0 P: 60.0M T: 32.06
3151.87/790.05	c Calc non-exist non-lernt bins v-fix:     0 done:  16464 time:  0.59 s
3151.87/790.08	c Cache  BProp: 54816 Set: 0 BXProp: 0 T: 0.12
3159.48/791.98	c Subs w/ non-existent bins:   1089 time:  7.60 s
3159.88/792.09	c Replacing      157 vars Replaced    27774 lits Time:     0.42 s 
3160.66/792.26	c bin-w-bin subsume rem         5727 bins  time:  0.10 s
3167.05/793.83	c subs with bin:     1043  lits-rem:     16065  v-fix:    0  time:  6.25 s
3167.05/793.85	c Removed useless bin:     103  fixed:     0  bprops:   0.41M  time:  0.09 s
3191.41/799.90	c ORs :   7381 avg-s:  2.2 cl-sh:   581 l-rem:    581 b-add:    332 v-rep:   0 cl-rem: 101 avg s: 4.9 T:   10.29
3206.59/803.74	c Added 1 vars  tried: 80000 time: 15.32
3206.59/803.74	c ORs :      1 avg-s:  0.0 cl-sh:     0 l-rem:      0 b-add:      2 v-rep:   0 cl-rem: 7 avg s: 6.0 T:   15.33
3206.99/803.81	c lits-rem:      1332  cl-subs:    20949  v-elim:   2538  v-fix:    0  time: 39.76 s
3206.99/803.81	c learnt bin added due to v-elim: 0
3208.21/804.15	c vivif2 --  cl tried    69470 cl shrink      186 lits rem        221 time: 1.36
3215.78/806.09	c vivif2 --  cl tried    71814 cl shrink     4689 lits rem      13216 time: 7.75
3217.37/806.40	c asymm  cl-useful: 1/1332/69440 lits-rem:3 time: 1.24
3217.37/806.47	c calculated reachability. Time: 0.25
3217.37/806.48	c  N dy  6324   1210081     16208     69439    106607     71661    449798   1493500    102.34     11.78  --
3257.32/816.45	c  N dy  6416   1231914     16208     69439    109873     93640    449823   3179637     72.87     11.99  --
3263.32/817.96	c Finding binary XORs  T:     1.66 s  found:      11
3290.48/824.71	c  N dy  6525   1251945     16208     69439    110780     66316    449831   1402041     60.99     12.09  --
3334.02/835.60	c  N dy  6631   1277812     16208     69439    110827     91703    449831   3397292    185.96     12.34  --
3365.58/843.50	c  N dy  6744   1297875     16208     69439    110875     63140    449831    941678     55.67     12.41  --
3393.54/850.59	c  N dy  6827   1318842     16208     69439    110895     83781    449831   2245074     89.95     12.56  --
3427.91/859.16	c  N dy  6919   1338900     16207     69439    111774     54396    449850    589872     64.64     12.65  --
3457.45/866.55	c  N dy  6980   1358923     16206     69439    111790     74106    449848   2275508     73.23     12.85  --
3498.99/876.95	c  N dy  7094   1379045     16206     69439    111821     93842    449847   3724850    107.06     12.99  --
3525.76/883.66	c  N dy  7173   1399213     16206     69439    113781     63580    449867   1101626     79.40     13.10  --
3559.73/892.19	c  N dy  7228   1419261     16206     69439    113799     83318    449867   3241419     76.32     13.33  --
3604.85/903.46	c  N dy  7331   1439263     16210     69439    115224     51965    449935    396329     48.44     13.47  --
3632.82/910.42	c  N dy  7404   1459379     16208     69439    115242     71776    449935   1828120     92.18     13.59  --
3663.18/918.06	c  N dy  7483   1479467     16207     69439    115259     91511    449935   3086023    119.28     13.70  --
3698.73/926.90	c  N dy  7561   1499965     16204     69439    116651     59672    449991    757940     87.73     13.84  --
3730.29/934.85	c  N dy  7639   1521990     16204     69439    116678     81235    449991   2483285    130.90     13.95  --
3779.44/947.11	c  N dy  7704   1547051     16204     69439    118082    106410    450201   5175036    213.62     14.14  --
3828.94/959.51	c  N dy  7783   1578837     16203     69439    118111     84239    450201   3262885    152.32     14.34  --
3843.33/963.12	c Finding binary XORs  T:     1.84 s  found:      44
3870.49/969.93	c  N dy  7865   1598840     16202     69191    119387    102297    448205   5053822     69.71     14.49  --
3909.63/979.70	c  N dy  7953   1618973     16202     69191    119400     67647    448204   1222786     94.78     14.62  --
3945.59/988.79	c  N dy  8049   1638995     16200     69191    119430     87317    448204   2617070    134.03     14.72  --
3991.12/1000.16	c  N dy  8122   1659129     16200     69191    131672    107458    448302   4862894    141.94     14.95  --
4024.68/1008.53	c  N dy  8171   1679137     16200     69191    131686     71710    448302   1906831     80.74     15.05  --
4064.64/1018.53	c  N dy  8230   1699792     16200     69191    131697     92068    448302   4077183    155.01     15.21  --
4091.01/1025.12	c  S st  8276   1710081     16200     69191    135474    102477    448316   5040262    100.99     15.26  --
4092.18/1025.49	c  S st  8276   1710581     16200     69191    135483    102961    448316   5050057    100.99     15.26  --
4092.58/1025.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
4092.58/1025.55	c Cache  BProp: 54746 Set: 0 BXProp: 0 T: 0.12
4130.54/1035.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   11 Bin:  31319 BRemL:  19297 BRemN:    207 CBin:       0 P: 60.0M T: 38.07
4131.33/1035.23	c Calc non-exist non-lernt bins v-fix:     0 done:  16200 time:  0.59 s
4131.33/1035.26	c Cache  BProp: 54745 Set: 0 BXProp: 1 T: 0.13
4141.71/1037.87	c Subs w/ non-existent bins:    548 time: 10.40 s
4142.91/1038.13	c Replacing       67 vars Replaced    37402 lits Time:     1.05 s 
4144.14/1038.44	c bin-w-bin subsume rem          984 bins  time:  0.12 s
4150.50/1040.00	c subs with bin:      463  lits-rem:     11983  v-fix:    0  time:  6.22 s
4150.50/1040.02	c Removed useless bin:      24  fixed:     0  bprops:   0.40M  time:  0.09 s
4249.19/1064.78	c ORs :   7275 avg-s:  2.2 cl-sh:   309 l-rem:    310 b-add:    174 v-rep:   0 cl-rem: 61 avg s: 4.1 T:   10.94
4249.59/1064.86	c lits-rem:      1190  cl-subs:    25412  v-elim:   2738  v-fix:    0  time: 99.20 s
4249.59/1064.86	c learnt bin added due to v-elim: 0
4251.17/1065.20	c vivif2 --  cl tried    68473 cl shrink      440 lits rem        497 time: 1.38
4258.76/1067.12	c vivif2 --  cl tried    75351 cl shrink     8942 lits rem      74665 time: 7.67
4259.56/1067.39	c asymm  cl-useful: 1/1163/68285 lits-rem:3 time: 1.07
4259.96/1067.47	c calculated reachability. Time: 0.26
4259.96/1067.47	c  N dy  8276   1710581     16010     68284    143921     74928    443295   2412574    100.99     15.26  --
4314.69/1081.15	c  N dy  8321   1730659     16032     68284    149253     95066    443490   5451814    132.79     15.54  --
4376.62/1096.61	c  N dy  8411   1751005     16032     68284    151399     59208    443572    822398     78.18     15.77  --
4420.14/1107.51	c  N dy  8476   1771082     16032     68284    151405     79073    443572   3298360    117.02     15.96  --
4433.32/1110.86	c Finding binary XORs  T:     1.74 s  found:       8
4482.07/1123.07	c  N dy  8576   1791233     16031     68282    153289     99052    443659   5733177    145.85     16.17  --
4551.56/1140.47	c  N dy  8688   1811377     16031     68282    153293     61659    443659    752987     77.87     16.28  --
4587.12/1149.34	c  N dy  8789   1831840     16031     68282    153309     81805    443659   2357287    143.46     16.39  --
4638.64/1162.29	c  N dy  8851   1851925     16036     68282    157831    101747    443697   4925684    129.79     16.53  --
4694.97/1176.39	c  N dy  8952   1871947     16036     68282    157853     63242    443697   1018571     35.73     16.65  --
4733.31/1185.98	c  N dy  9043   1891986     16036     68282    159274     83092    443697   2812097    125.13     16.72  --
4788.04/1199.60	c  N dy  9141   1912087     16036     68282    159279    102894    443697   5047614     96.69     16.86  --

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-3282432-1304033027/watcher-3282432-1304033027 -o /tmp/evaluation-result-3282432-1304033027/solver-3282432-1304033027 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3282432-1304033027.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: 3.90 5.47 6.88 5/184 16504
/proc/meminfo: memFree=25422776/32951124 swapFree=67111524/67111528
[pid=16504] ppid=16502 vsize=52120 CPUtime=0 cores=1,3,5,7
/proc/16504/stat : 16504 (techdemo) R 16502 16504 16058 0 -1 4202496 1220 0 0 0 0 0 0 0 21 0 1 0 514900893 53370880 1155 33554432000 4194304 4797429 140735166992304 18446744073709551615 4621863 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16504/statm: 13030 1156 348 148 0 7959 0

[startup+0.043157 s]
/proc/loadavg: 3.90 5.47 6.88 5/184 16504
/proc/meminfo: memFree=25422776/32951124 swapFree=67111524/67111528
[pid=16504] ppid=16502 vsize=63084 CPUtime=0.03 cores=1,3,5,7
/proc/16504/stat : 16504 (techdemo) R 16502 16504 16058 0 -1 4202496 4598 0 0 0 3 0 0 0 21 0 1 0 514900893 64598016 4027 33554432000 4194304 4797429 140735166992304 18446744073709551615 232335553221 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16504/statm: 15771 4028 349 148 0 10700 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 63084

[startup+0.101147 s]
/proc/loadavg: 3.90 5.47 6.88 5/184 16504
/proc/meminfo: memFree=25422776/32951124 swapFree=67111524/67111528
[pid=16504] ppid=16502 vsize=90044 CPUtime=0.09 cores=1,3,5,7
/proc/16504/stat : 16504 (techdemo) R 16502 16504 16058 0 -1 4202496 11845 0 0 0 8 1 0 0 21 0 1 0 514900893 92205056 8518 33554432000 4194304 4797429 140735166992304 18446744073709551615 4366925 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16504/statm: 22511 8528 349 148 0 17440 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 90044

[startup+0.301107 s]
/proc/loadavg: 3.90 5.47 6.88 5/184 16504
/proc/meminfo: memFree=25422776/32951124 swapFree=67111524/67111528
[pid=16504] ppid=16502 vsize=151764 CPUtime=0.29 cores=1,3,5,7
/proc/16504/stat : 16504 (techdemo) R 16502 16504 16058 0 -1 4202496 30671 0 0 0 26 3 0 0 22 0 1 0 514900893 155406336 23551 33554432000 4194304 4797429 140735166992304 18446744073709551615 4688061 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16504/statm: 37941 23553 349 148 0 32870 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 151764

[startup+0.701037 s]
/proc/loadavg: 3.90 5.47 6.88 5/184 16504
/proc/meminfo: memFree=25422776/32951124 swapFree=67111524/67111528
[pid=16504] ppid=16502 vsize=269752 CPUtime=0.69 cores=1,3,5,7
/proc/16504/stat : 16504 (techdemo) R 16502 16504 16058 0 -1 4202496 67826 0 0 0 62 7 0 0 23 0 1 0 514900893 276226048 53136 33554432000 4194304 4797429 140735166992304 18446744073709551615 232335553221 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16504/statm: 67438 53141 349 148 0 62367 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 269752

[startup+1.50085 s]
/proc/loadavg: 3.90 5.47 6.88 6/185 16505
/proc/meminfo: memFree=25110536/32951124 swapFree=67111524/67111528
[pid=16504] ppid=16502 vsize=528336 CPUtime=2.38 cores=1,3,5,7
/proc/16504/stat : 16504 (techdemo) R 16502 16504 16058 0 -1 4202496 117941 0 0 0 225 13 0 0 25 0 4 0 514900893 541016064 88544 33554432000 4194304 4797429 140735166992304 18446744073709551615 4413082 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16504/statm: 132084 88544 375 148 0 127013 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 528336

[startup+3.10057 s]
/proc/loadavg: 3.90 5.47 6.88 10/188 16508
/proc/meminfo: memFree=25031404/32951124 swapFree=67111524/67111528
[pid=16504] ppid=16502 vsize=968176 CPUtime=8.77 cores=1,3,5,7
/proc/16504/stat : 16504 (techdemo) R 16502 16504 16058 0 -1 4202496 127802 0 0 0 862 15 0 0 25 0 4 0 514900893 991412224 94501 33554432000 4194304 4797429 140735166992304 18446744073709551615 4427384 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16504/statm: 242044 94501 384 148 0 236973 0
[pid=16504/tid=16506] ppid=16502 vsize=968176 CPUtime=1.88 cores=1,3,5,7
/proc/16504/task/16506/stat : 16506 (techdemo) R 16502 16504 16058 0 -1 4202560 2597 0 0 0 188 0 0 0 25 0 4 0 514901013 991412224 94501 33554432000 4194304 4797429 140735166992304 18446744073709551615 4427326 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16504/tid=16507] ppid=16502 vsize=968176 CPUtime=1.88 cores=1,3,5,7
/proc/16504/task/16507/stat : 16507 (techdemo) R 16502 16504 16058 0 -1 4202560 2479 0 0 0 188 0 0 0 20 0 4 0 514901013 991412224 94501 33554432000 4194304 4797429 140735166992304 18446744073709551615 4427384 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16504/tid=16508] ppid=16502 vsize=968176 CPUtime=1.88 cores=1,3,5,7
/proc/16504/task/16508/stat : 16508 (techdemo) R 16502 16504 16058 0 -1 4202560 2327 0 0 0 188 0 0 0 20 0 4 0 514901013 991412224 94501 33554432000 4194304 4797429 140735166992304 18446744073709551615 4427384 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 8.77
Current children cumulated vsize (KiB) 968176

[startup+6.301 s]
/proc/loadavg: 4.22 5.51 6.89 9/188 16508
/proc/meminfo: memFree=25026836/32951124 swapFree=67111524/67111528
[pid=16504] ppid=16502 vsize=968176 CPUtime=21.55 cores=1,3,5,7
/proc/16504/stat : 16504 (techdemo) R 16502 16504 16058 0 -1 4202496 127802 0 0 0 2140 15 0 0 25 0 4 0 514900893 991412224 94501 33554432000 4194304 4797429 140735166992304 18446744073709551615 4427317 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16504/statm: 242044 94501 384 148 0 236973 0
[pid=16504/tid=16506] ppid=16502 vsize=968176 CPUtime=5.08 cores=1,3,5,7
/proc/16504/task/16506/stat : 16506 (techdemo) R 16502 16504 16058 0 -1 4202560 2597 0 0 0 508 0 0 0 25 0 4 0 514901013 991412224 94501 33554432000 4194304 4797429 140735166992304 18446744073709551615 4427317 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16504/tid=16507] ppid=16502 vsize=968176 CPUtime=5.09 cores=1,3,5,7
/proc/16504/task/16507/stat : 16507 (techdemo) R 16502 16504 16058 0 -1 4202560 2479 0 0 0 509 0 0 0 25 0 4 0 514901013 991412224 94501 33554432000 4194304 4797429 140735166992304 18446744073709551615 4427317 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16504/tid=16508] ppid=16502 vsize=968176 CPUtime=5.06 cores=1,3,5,7
/proc/16504/task/16508/stat : 16508 (techdemo) R 16502 16504 16058 0 -1 4202560 2327 0 0 0 506 0 0 0 25 0 4 0 514901013 991412224 94501 33554432000 4194304 4797429 140735166992304 18446744073709551615 4427317 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 21.55
Current children cumulated vsize (KiB) 968176

[startup+12.7009 s]
/proc/loadavg: 4.53 5.56 6.89 9/188 16509
/proc/meminfo: memFree=25015216/32951124 swapFree=67111524/67111528
[pid=16504] ppid=16502 vsize=969200 CPUtime=47.11 cores=1,3,5,7
/proc/16504/stat : 16504 (techdemo) R 16502 16504 16058 0 -1 4202496 128327 0 0 0 4696 15 0 0 25 0 4 0 514900893 992460800 95026 33554432000 4194304 4797429 140735166992304 18446744073709551615 4428396 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16504/statm: 242300 95026 384 148 0 237229 0
[pid=16504/tid=16506] ppid=16502 vsize=969200 CPUtime=11.48 cores=1,3,5,7
/proc/16504/task/16506/stat : 16506 (techdemo) R 16502 16504 16058 0 -1 4202560 2829 0 0 0 1148 0 0 0 25 0 4 0 514901013 992460800 95026 33554432000 4194304 4797429 140735166992304 18446744073709551615 4428396 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16504/tid=16507] ppid=16502 vsize=969200 CPUtime=11.49 cores=1,3,5,7
/proc/16504/task/16507/stat : 16507 (techdemo) R 16502 16504 16058 0 -1 4202560 2568 0 0 0 1149 0 0 0 25 0 4 0 514901013 992460800 95026 33554432000 4194304 4797429 140735166992304 18446744073709551615 4427238 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16504/tid=16508] ppid=16502 vsize=969200 CPUtime=11.43 cores=1,3,5,7
/proc/16504/task/16508/stat : 16508 (techdemo) R 16502 16504 16058 0 -1 4202560 2434 0 0 0 1143 0 0 0 25 0 4 0 514901013 992460800 95026 33554432000 4194304 4797429 140735166992304 18446744073709551615 4428570 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 47.11
Current children cumulated vsize (KiB) 969200

[startup+25.5006 s]
/proc/loadavg: 5.30 5.67 6.91 9/188 16509
/proc/meminfo: memFree=24098984/32951124 swapFree=67111524/67111528
[pid=16504] ppid=16502 vsize=1937124 CPUtime=98.11 cores=1,3,5,7
/proc/16504/stat : 16504 (techdemo) R 16502 16504 16058 0 -1 4202496 360905 0 0 0 9726 85 0 0 25 0 4 0 514900893 1983614976 322766 33554432000 4194304 4797429 140735166992304 18446744073709551615 4424536 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16504/statm: 484281 322766 425 148 0 479210 0
[pid=16504/tid=16506] ppid=16502 vsize=1937124 CPUtime=24.23 cores=1,3,5,7
/proc/16504/task/16506/stat : 16506 (techdemo) R 16502 16504 16058 0 -1 4202560 63604 0 0 0 2402 21 0 0 25 0 4 0 514901013 1983614976 322766 33554432000 4194304 4797429 140735166992304 18446744073709551615 4422865 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16504/tid=16507] ppid=16502 vsize=1937124 CPUtime=24.27 cores=1,3,5,7
/proc/16504/task/16507/stat : 16507 (techdemo) R 16502 16504 16058 0 -1 4202560 55766 0 0 0 2416 11 0 0 25 0 4 0 514901013 1983614976 322766 33554432000 4194304 4797429 140735166992304 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16504/tid=16508] ppid=16502 vsize=1937124 CPUtime=24.11 cores=1,3,5,7
/proc/16504/task/16508/stat : 16508 (techdemo) R 16502 16504 16058 0 -1 4202560 60409 0 0 0 2393 18 0 0 19 0 4 0 514901013 1983614976 322766 33554432000 4194304 4797429 140735166992304 18446744073709551615 4424170 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 98.11
Current children cumulated vsize (KiB) 1937124

[startup+51.101 s]
/proc/loadavg: 6.27 5.88 6.94 9/188 16510
/proc/meminfo: memFree=23566720/32951124 swapFree=67111524/67111528
[pid=16504] ppid=16502 vsize=2551228 CPUtime=200.34 cores=1,3,5,7
/proc/16504/stat : 16504 (techdemo) R 16502 16504 16058 0 -1 4202496 745297 0 0 0 19893 141 0 0 25 0 4 0 514900893 2612457472 452733 33554432000 4194304 4797429 140735166992304 18446744073709551615 4427256 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16504/statm: 637807 452733 420 148 0 632736 0
[pid=16504/tid=16506] ppid=16502 vsize=2551228 CPUtime=49.82 cores=1,3,5,7
/proc/16504/task/16506/stat : 16506 (techdemo) R 16502 16504 16058 0 -1 4202560 117982 0 0 0 4950 32 0 0 25 0 4 0 514901013 2612457472 452733 33554432000 4194304 4797429 140735166992304 18446744073709551615 4373003 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16504/tid=16507] ppid=16502 vsize=2551228 CPUtime=49.88 cores=1,3,5,7
/proc/16504/task/16507/stat : 16507 (techdemo) R 16502 16504 16058 0 -1 4202560 232445 0 0 0 4952 36 0 0 25 0 4 0 514901013 2612457472 452733 33554432000 4194304 4797429 140735166992304 18446744073709551615 4427256 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16504/tid=16508] ppid=16502 vsize=2551228 CPUtime=49.57 cores=1,3,5,7
/proc/16504/task/16508/stat : 16508 (techdemo) R 16502 16504 16058 0 -1 4202560 207079 0 0 0 4919 38 0 0 25 0 4 0 514901013 2612457472 452733 33554432000 4194304 4797429 140735166992304 18446744073709551615 4428553 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 200.34
Current children cumulated vsize (KiB) 2551228

[startup+102.307 s]
/proc/loadavg: 7.42 6.25 7.01 9/188 16511
/proc/meminfo: memFree=22923096/32951124 swapFree=67111524/67111528
[pid=16504] ppid=16502 vsize=3349804 CPUtime=404.86 cores=1,3,5,7
/proc/16504/stat : 16504 (techdemo) R 16502 16504 16058 0 -1 4202496 1254378 0 0 0 40280 206 0 0 25 0 4 0 514900893 3430199296 610056 33554432000 4194304 4797429 140735166992304 18446744073709551615 4642210 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16504/statm: 837451 610056 422 148 0 832380 0
[pid=16504/tid=16506] ppid=16502 vsize=3349804 CPUtime=101.02 cores=1,3,5,7
/proc/16504/task/16506/stat : 16506 (techdemo) R 16502 16504 16058 0 -1 4202560 232812 0 0 0 10055 47 0 0 25 0 4 0 514901013 3430199296 610056 33554432000 4194304 4797429 140735166992304 18446744073709551615 4523971 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16504/tid=16507] ppid=16502 vsize=3349804 CPUtime=101.07 cores=1,3,5,7
/proc/16504/task/16507/stat : 16507 (techdemo) R 16502 16504 16058 0 -1 4202560 390229 0 0 0 10054 53 0 0 25 0 4 0 514901013 3430199296 610056 33554432000 4194304 4797429 140735166992304 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16504/tid=16508] ppid=16502 vsize=3349804 CPUtime=100.48 cores=1,3,5,7
/proc/16504/task/16508/stat : 16508 (techdemo) R 16502 16504 16058 0 -1 4202560 316517 0 0 0 9996 52 0 0 25 0 4 0 514901013 3430199296 610056 33554432000 4194304 4797429 140735166992304 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 404.86
Current children cumulated vsize (KiB) 3349804

[startup+162.3 s]
/proc/loadavg: 8.03 6.63 7.09 9/188 16513
/proc/meminfo: memFree=22451880/32951124 swapFree=67111524/67111528
[pid=16504] ppid=16502 vsize=3872992 CPUtime=644.51 cores=1,3,5,7
/proc/16504/stat : 16504 (techdemo) R 16502 16504 16058 0 -1 4202496 1441097 0 0 0 64217 234 0 0 25 0 4 0 514900893 3965943808 725418 33554432000 4194304 4797429 140735166992304 18446744073709551615 4506608 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16504/statm: 968248 725418 423 148 0 963177 0
[pid=16504/tid=16506] ppid=16502 vsize=3872992 CPUtime=161.02 cores=1,3,5,7
/proc/16504/task/16506/stat : 16506 (techdemo) R 16502 16504 16058 0 -1 4202560 260784 0 0 0 16051 51 0 0 25 0 4 0 514901013 3965943808 725418 33554432000 4194304 4797429 140735166992304 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16504/tid=16507] ppid=16502 vsize=3872992 CPUtime=161.06 cores=1,3,5,7
/proc/16504/task/16507/stat : 16507 (techdemo) R 16502 16504 16058 0 -1 4202560 438937 0 0 0 16044 62 0 0 25 0 4 0 514901013 3965943808 725418 33554432000 4194304 4797429 140735166992304 18446744073709551615 4643067 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16504/tid=16508] ppid=16502 vsize=3872992 CPUtime=160.16 cores=1,3,5,7
/proc/16504/task/16508/stat : 16508 (techdemo) R 16502 16504 16058 0 -1 4202560 363011 0 0 0 15956 60 0 0 25 0 4 0 514901013 3965943808 725418 33554432000 4194304 4797429 140735166992304 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 644.51
Current children cumulated vsize (KiB) 3872992

[startup+222.301 s]
/proc/loadavg: 8.17 6.92 7.16 9/188 16514
/proc/meminfo: memFree=22190824/32951124 swapFree=67111524/67111528
[pid=16504] ppid=16502 vsize=4116140 CPUtime=884.19 cores=1,3,5,7
/proc/16504/stat : 16504 (techdemo) R 16502 16504 16058 0 -1 4202496 1670835 0 0 0 88154 265 0 0 25 0 4 0 514900893 4214927360 787013 33554432000 4194304 4797429 140735166992304 18446744073709551615 4428396 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16504/statm: 1029035 787013 423 148 0 1023964 0
[pid=16504/tid=16506] ppid=16502 vsize=4116140 CPUtime=221.01 cores=1,3,5,7
/proc/16504/task/16506/stat : 16506 (techdemo) R 16502 16504 16058 0 -1 4202560 286832 0 0 0 22047 54 0 0 25 0 4 0 514901013 4214927360 787013 33554432000 4194304 4797429 140735166992304 18446744073709551615 4430179 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16504/tid=16507] ppid=16502 vsize=4116140 CPUtime=221.07 cores=1,3,5,7
/proc/16504/task/16507/stat : 16507 (techdemo) R 16502 16504 16058 0 -1 4202560 605887 0 0 0 22024 83 0 0 25 0 4 0 514901013 4214927360 787013 33554432000 4194304 4797429 140735166992304 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16504/tid=16508] ppid=16502 vsize=4116140 CPUtime=219.83 cores=1,3,5,7
/proc/16504/task/16508/stat : 16508 (techdemo) R 16502 16504 16058 0 -1 4202560 380776 0 0 0 21920 63 0 0 25 0 4 0 514901013 4214927360 787013 33554432000 4194304 4797429 140735166992304 18446744073709551615 232335559682 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 884.19
Current children cumulated vsize (KiB) 4116140

[startup+282.301 s]
/proc/loadavg: 8.22 7.16 7.23 9/188 16516
/proc/meminfo: memFree=21931524/32951124 swapFree=67111524/67111528
[pid=16504] ppid=16502 vsize=4468740 CPUtime=1123.86 cores=1,3,5,7
/proc/16504/stat : 16504 (techdemo) R 16502 16504 16058 0 -1 4202496 1868548 0 0 0 112095 291 0 0 25 0 4 0 514900893 4575989760 849104 33554432000 4194304 4797429 140735166992304 18446744073709551615 4422893 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16504/statm: 1117185 849104 423 148 0 1112114 0
[pid=16504/tid=16506] ppid=16502 vsize=4468740 CPUtime=281.01 cores=1,3,5,7

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

Current children cumulated CPU time (s) 2561.9
Current children cumulated vsize (KiB) 4969696

[startup+702.3 s]
/proc/loadavg: 8.13 7.89 7.54 9/188 16527
/proc/meminfo: memFree=21375568/32951124 swapFree=67111524/67111528
[pid=16504] ppid=16502 vsize=4978816 CPUtime=2801.55 cores=1,3,5,7
/proc/16504/stat : 16504 (techdemo) R 16502 16504 16058 0 -1 4202496 2364823 0 0 0 279776 379 0 0 25 0 4 0 514900893 5098307584 977569 33554432000 4194304 4797429 140735166992304 18446744073709551615 4488472 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16504/statm: 1244704 977569 423 148 0 1239633 0
[pid=16504/tid=16506] ppid=16502 vsize=4978816 CPUtime=700.99 cores=1,3,5,7
/proc/16504/task/16506/stat : 16506 (techdemo) R 16502 16504 16058 0 -1 4202560 488419 0 0 0 70017 82 0 0 25 0 4 0 514901013 5098307584 977569 33554432000 4194304 4797429 140735166992304 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16504/tid=16507] ppid=16502 vsize=4978816 CPUtime=701.07 cores=1,3,5,7
/proc/16504/task/16507/stat : 16507 (techdemo) R 16502 16504 16058 0 -1 4202560 765226 0 0 0 70002 105 0 0 25 0 4 0 514901013 5098307584 977569 33554432000 4194304 4797429 140735166992304 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16504/tid=16508] ppid=16502 vsize=4978816 CPUtime=698.59 cores=1,3,5,7
/proc/16504/task/16508/stat : 16508 (techdemo) R 16502 16504 16058 0 -1 4202560 617700 0 0 0 69765 94 0 0 25 0 4 0 514901013 5098307584 977569 33554432000 4194304 4797429 140735166992304 18446744073709551615 4430103 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2801.55
Current children cumulated vsize (KiB) 4978816

[startup+762.307 s]
/proc/loadavg: 8.29 7.97 7.59 9/188 16529
/proc/meminfo: memFree=21360436/32951124 swapFree=67111524/67111528
[pid=16504] ppid=16502 vsize=4978788 CPUtime=3041.25 cores=1,3,5,7
/proc/16504/stat : 16504 (techdemo) R 16502 16504 16058 0 -1 4202496 2380100 0 0 0 303738 387 0 0 25 0 4 0 514900893 5098278912 979973 33554432000 4194304 4797429 140735166992304 18446744073709551615 4424868 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16504/statm: 1244697 979973 423 148 0 1239626 0
[pid=16504/tid=16506] ppid=16502 vsize=4978788 CPUtime=761.01 cores=1,3,5,7
/proc/16504/task/16506/stat : 16506 (techdemo) R 16502 16504 16058 0 -1 4202560 489550 0 0 0 76018 83 0 0 25 0 4 0 514901013 5098278912 979973 33554432000 4194304 4797429 140735166992304 18446744073709551615 4428576 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16504/tid=16507] ppid=16502 vsize=4978788 CPUtime=761.07 cores=1,3,5,7
/proc/16504/task/16507/stat : 16507 (techdemo) R 16502 16504 16058 0 -1 4202560 765488 0 0 0 76002 105 0 0 25 0 4 0 514901013 5098278912 979973 33554432000 4194304 4797429 140735166992304 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16504/tid=16508] ppid=16502 vsize=4978788 CPUtime=758.59 cores=1,3,5,7
/proc/16504/task/16508/stat : 16508 (techdemo) R 16502 16504 16058 0 -1 4202560 621061 0 0 0 75765 94 0 0 25 0 4 0 514901013 5098278912 979973 33554432000 4194304 4797429 140735166992304 18446744073709551615 4428443 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3041.25
Current children cumulated vsize (KiB) 4978788

[startup+822.301 s]
/proc/loadavg: 8.23 8.00 7.62 9/188 16530
/proc/meminfo: memFree=21363020/32951124 swapFree=67111524/67111528
[pid=16504] ppid=16502 vsize=4979048 CPUtime=3280.89 cores=1,3,5,7
/proc/16504/stat : 16504 (techdemo) R 16502 16504 16058 0 -1 4202496 2390269 0 0 0 327699 390 0 0 25 0 4 0 514900893 5098545152 979425 33554432000 4194304 4797429 140735166992304 18446744073709551615 4425625 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16504/statm: 1244762 979425 423 148 0 1239691 0
[pid=16504/tid=16506] ppid=16502 vsize=4979048 CPUtime=820.82 cores=1,3,5,7
/proc/16504/task/16506/stat : 16506 (techdemo) R 16502 16504 16058 0 -1 4202560 489851 0 0 0 81999 83 0 0 25 0 4 0 514901013 5098545152 979425 33554432000 4194304 4797429 140735166992304 18446744073709551615 4428396 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16504/tid=16507] ppid=16502 vsize=4979048 CPUtime=821.07 cores=1,3,5,7
/proc/16504/task/16507/stat : 16507 (techdemo) R 16502 16504 16058 0 -1 4202560 766602 0 0 0 82001 106 0 0 25 0 4 0 514901013 5098545152 979425 33554432000 4194304 4797429 140735166992304 18446744073709551615 4487873 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16504/tid=16508] ppid=16502 vsize=4979048 CPUtime=818.58 cores=1,3,5,7
/proc/16504/task/16508/stat : 16508 (techdemo) R 16502 16504 16058 0 -1 4202560 622162 0 0 0 81764 94 0 0 25 0 4 0 514901013 5098545152 979425 33554432000 4194304 4797429 140735166992304 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3280.89
Current children cumulated vsize (KiB) 4979048

[startup+882.3 s]
/proc/loadavg: 8.25 8.05 7.66 9/188 16532
/proc/meminfo: memFree=21346264/32951124 swapFree=67111524/67111528
[pid=16504] ppid=16502 vsize=4979000 CPUtime=3520.56 cores=1,3,5,7
/proc/16504/stat : 16504 (techdemo) R 16502 16504 16058 0 -1 4202496 2406555 0 0 0 351658 398 0 0 25 0 4 0 514900893 5098496000 980705 33554432000 4194304 4797429 140735166992304 18446744073709551615 4351529 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16504/statm: 1244750 980705 423 148 0 1239679 0
[pid=16504/tid=16506] ppid=16502 vsize=4979000 CPUtime=880.49 cores=1,3,5,7
/proc/16504/task/16506/stat : 16506 (techdemo) R 16502 16504 16058 0 -1 4202560 490227 0 0 0 87966 83 0 0 25 0 4 0 514901013 5098496000 980705 33554432000 4194304 4797429 140735166992304 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16504/tid=16507] ppid=16502 vsize=4979000 CPUtime=881.07 cores=1,3,5,7
/proc/16504/task/16507/stat : 16507 (techdemo) R 16502 16504 16058 0 -1 4202560 768057 0 0 0 88001 106 0 0 25 0 4 0 514901013 5098496000 980705 33554432000 4194304 4797429 140735166992304 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16504/tid=16508] ppid=16502 vsize=4979000 CPUtime=878.59 cores=1,3,5,7
/proc/16504/task/16508/stat : 16508 (techdemo) R 16502 16504 16058 0 -1 4202560 624087 0 0 0 87764 95 0 0 25 0 4 0 514901013 5098496000 980705 33554432000 4194304 4797429 140735166992304 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3520.56
Current children cumulated vsize (KiB) 4979000

[startup+942.301 s]
/proc/loadavg: 8.15 8.05 7.68 9/188 16533
/proc/meminfo: memFree=21322704/32951124 swapFree=67111524/67111528
[pid=16504] ppid=16502 vsize=4979124 CPUtime=3760.24 cores=1,3,5,7
/proc/16504/stat : 16504 (techdemo) R 16502 16504 16058 0 -1 4202496 2424732 0 0 0 375616 408 0 0 25 0 4 0 514900893 5098622976 986079 33554432000 4194304 4797429 140735166992304 18446744073709551615 4341181 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16504/statm: 1244781 986079 423 148 0 1239710 0
[pid=16504/tid=16506] ppid=16502 vsize=4979124 CPUtime=940.16 cores=1,3,5,7
/proc/16504/task/16506/stat : 16506 (techdemo) R 16502 16504 16058 0 -1 4202560 491558 0 0 0 93933 83 0 0 25 0 4 0 514901013 5098622976 986079 33554432000 4194304 4797429 140735166992304 18446744073709551615 4427861 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16504/tid=16507] ppid=16502 vsize=4979124 CPUtime=941.07 cores=1,3,5,7
/proc/16504/task/16507/stat : 16507 (techdemo) R 16502 16504 16058 0 -1 4202560 768648 0 0 0 94000 107 0 0 25 0 4 0 514901013 5098622976 986079 33554432000 4194304 4797429 140735166992304 18446744073709551615 4428576 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16504/tid=16508] ppid=16502 vsize=4979124 CPUtime=938.59 cores=1,3,5,7
/proc/16504/task/16508/stat : 16508 (techdemo) R 16502 16504 16058 0 -1 4202560 626880 0 0 0 93763 96 0 0 25 0 4 0 514901013 5098622976 986079 33554432000 4194304 4797429 140735166992304 18446744073709551615 4428540 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3760.24
Current children cumulated vsize (KiB) 4979124

[startup+1002.3 s]
/proc/loadavg: 8.05 8.04 7.70 9/188 16535
/proc/meminfo: memFree=21324052/32951124 swapFree=67111524/67111528
[pid=16504] ppid=16502 vsize=4979248 CPUtime=3999.9 cores=1,3,5,7
/proc/16504/stat : 16504 (techdemo) R 16502 16504 16058 0 -1 4202496 2442115 0 0 0 399573 417 0 0 25 0 4 0 514900893 5098749952 983753 33554432000 4194304 4797429 140735166992304 18446744073709551615 4351547 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16504/statm: 1244812 983753 423 148 0 1239741 0
[pid=16504/tid=16506] ppid=16502 vsize=4979248 CPUtime=999.98 cores=1,3,5,7
/proc/16504/task/16506/stat : 16506 (techdemo) R 16502 16504 16058 0 -1 4202560 491774 0 0 0 99914 84 0 0 25 0 4 0 514901013 5098749952 983753 33554432000 4194304 4797429 140735166992304 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16504/tid=16507] ppid=16502 vsize=4979248 CPUtime=1001.07 cores=1,3,5,7
/proc/16504/task/16507/stat : 16507 (techdemo) R 16502 16504 16058 0 -1 4202560 769615 0 0 0 100000 107 0 0 25 0 4 0 514901013 5098749952 983753 33554432000 4194304 4797429 140735166992304 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16504/tid=16508] ppid=16502 vsize=4979248 CPUtime=998.58 cores=1,3,5,7
/proc/16504/task/16508/stat : 16508 (techdemo) R 16502 16504 16058 0 -1 4202560 628427 0 0 0 99762 96 0 0 25 0 4 0 514901013 5098749952 983753 33554432000 4194304 4797429 140735166992304 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3999.9
Current children cumulated vsize (KiB) 4979248

[startup+1062.3 s]
/proc/loadavg: 8.07 8.04 7.72 9/188 16537
/proc/meminfo: memFree=21294276/32951124 swapFree=67111524/67111528
[pid=16504] ppid=16502 vsize=4988656 CPUtime=4239.58 cores=1,3,5,7
/proc/16504/stat : 16504 (techdemo) R 16502 16504 16058 0 -1 4202496 2453601 0 0 0 423536 422 0 0 25 0 4 0 514900893 5108383744 992215 33554432000 4194304 4797429 140735166992304 18446744073709551615 4510043 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16504/statm: 1247164 992215 423 148 0 1242093 0
[pid=16504/tid=16506] ppid=16502 vsize=4988656 CPUtime=1059.99 cores=1,3,5,7
/proc/16504/task/16506/stat : 16506 (techdemo) R 16502 16504 16058 0 -1 4202560 492811 0 0 0 105914 85 0 0 25 0 4 0 514901013 5108383744 992215 33554432000 4194304 4797429 140735166992304 18446744073709551615 4430179 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16504/tid=16507] ppid=16502 vsize=4988656 CPUtime=1061.07 cores=1,3,5,7
/proc/16504/task/16507/stat : 16507 (techdemo) R 16502 16504 16058 0 -1 4202560 770896 0 0 0 106000 107 0 0 25 0 4 0 514901013 5108383744 992215 33554432000 4194304 4797429 140735166992304 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16504/tid=16508] ppid=16502 vsize=4988656 CPUtime=1058.58 cores=1,3,5,7
/proc/16504/task/16508/stat : 16508 (techdemo) R 16502 16504 16058 0 -1 4202560 630274 0 0 0 105762 96 0 0 25 0 4 0 514901013 5108383744 992215 33554432000 4194304 4797429 140735166992304 18446744073709551615 4424170 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4239.58
Current children cumulated vsize (KiB) 4988656

[startup+1122.3 s]
/proc/loadavg: 8.13 8.06 7.75 9/188 16538
/proc/meminfo: memFree=21280120/32951124 swapFree=67111524/67111528
[pid=16504] ppid=16502 vsize=4988880 CPUtime=4479.25 cores=1,3,5,7
/proc/16504/stat : 16504 (techdemo) R 16502 16504 16058 0 -1 4202496 2467558 0 0 0 447496 429 0 0 25 0 4 0 514900893 5108613120 993705 33554432000 4194304 4797429 140735166992304 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16504/statm: 1247220 993705 423 148 0 1242149 0
[pid=16504/tid=16506] ppid=16502 vsize=4988880 CPUtime=1119.98 cores=1,3,5,7
/proc/16504/task/16506/stat : 16506 (techdemo) R 16502 16504 16058 0 -1 4202560 493099 0 0 0 111913 85 0 0 25 0 4 0 514901013 5108613120 993705 33554432000 4194304 4797429 140735166992304 18446744073709551615 4531992 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16504/tid=16507] ppid=16502 vsize=4988880 CPUtime=1121.07 cores=1,3,5,7
/proc/16504/task/16507/stat : 16507 (techdemo) R 16502 16504 16058 0 -1 4202560 771318 0 0 0 111999 108 0 0 25 0 4 0 514901013 5108613120 993705 33554432000 4194304 4797429 140735166992304 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16504/tid=16508] ppid=16502 vsize=4988880 CPUtime=1118.59 cores=1,3,5,7
/proc/16504/task/16508/stat : 16508 (techdemo) R 16502 16504 16058 0 -1 4202560 631022 0 0 0 111762 97 0 0 25 0 4 0 514901013 5108613120 993705 33554432000 4194304 4797429 140735166992304 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4479.25
Current children cumulated vsize (KiB) 4988880

[startup+1182.3 s]
/proc/loadavg: 8.29 8.11 7.78 9/188 16540
/proc/meminfo: memFree=21288904/32951124 swapFree=67111524/67111528
[pid=16504] ppid=16502 vsize=4988864 CPUtime=4718.94 cores=1,3,5,7
/proc/16504/stat : 16504 (techdemo) R 16502 16504 16058 0 -1 4202496 2482193 0 0 0 471457 437 0 0 25 0 4 0 514900893 5108596736 992563 33554432000 4194304 4797429 140735166992304 18446744073709551615 4351547 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16504/statm: 1247216 992563 423 148 0 1242145 0
[pid=16504/tid=16506] ppid=16502 vsize=4988864 CPUtime=1179.98 cores=1,3,5,7
/proc/16504/task/16506/stat : 16506 (techdemo) R 16502 16504 16058 0 -1 4202560 494167 0 0 0 117913 85 0 0 25 0 4 0 514901013 5108596736 992563 33554432000 4194304 4797429 140735166992304 18446744073709551615 4427262 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16504/tid=16507] ppid=16502 vsize=4988864 CPUtime=1181.07 cores=1,3,5,7
/proc/16504/task/16507/stat : 16507 (techdemo) R 16502 16504 16058 0 -1 4202560 772030 0 0 0 117999 108 0 0 25 0 4 0 514901013 5108596736 992563 33554432000 4194304 4797429 140735166992304 18446744073709551615 4428001 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16504/tid=16508] ppid=16502 vsize=4988864 CPUtime=1178.59 cores=1,3,5,7
/proc/16504/task/16508/stat : 16508 (techdemo) R 16502 16504 16058 0 -1 4202560 631954 0 0 0 117762 97 0 0 25 0 4 0 514901013 5108596736 992563 33554432000 4194304 4797429 140735166992304 18446744073709551615 4429754 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4718.94
Current children cumulated vsize (KiB) 4988864



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.6 s]
/proc/loadavg: 8.28 8.12 7.79 5/183 16541
/proc/meminfo: memFree=21459676/32951124 swapFree=67111524/67111528
[pid=16504] ppid=16502 vsize=4988864 CPUtime=4800.03 cores=1,3,5,7
/proc/16504/stat : 16504 (techdemo) R 16502 16504 16058 0 -1 4202496 2486134 0 0 0 479564 439 0 0 25 0 4 0 514900893 5108596736 996463 33554432000 4194304 4797429 140735166992304 18446744073709551615 4424642 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16504/statm: 1247216 996463 423 148 0 1242145 0
[pid=16504/tid=16506] ppid=16502 vsize=4988864 CPUtime=1200.28 cores=1,3,5,7
/proc/16504/task/16506/stat : 16506 (techdemo) R 16502 16504 16058 0 -1 4202560 494602 0 0 0 119943 85 0 0 25 0 4 0 514901013 5108596736 996463 33554432000 4194304 4797429 140735166992304 18446744073709551615 4241132 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16504/tid=16507] ppid=16502 vsize=4988864 CPUtime=1201.37 cores=1,3,5,7
/proc/16504/task/16507/stat : 16507 (techdemo) R 16502 16504 16058 0 -1 4202560 772125 0 0 0 120029 108 0 0 25 0 4 0 514901013 5108596736 996463 33554432000 4194304 4797429 140735166992304 18446744073709551615 4237276 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16504/tid=16508] ppid=16502 vsize=4988864 CPUtime=1198.89 cores=1,3,5,7
/proc/16504/task/16508/stat : 16508 (techdemo) R 16502 16504 16058 0 -1 4202560 632021 0 0 0 119792 97 0 0 25 0 4 0 514901013 5108596736 996463 33554432000 4194304 4797429 140735166992304 18446744073709551615 4427384 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.03
Current children cumulated vsize (KiB) 4988864

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

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

[startup+1202.71 s]
/proc/loadavg: 8.28 8.12 7.79 5/183 16541
/proc/meminfo: memFree=21459676/32951124 swapFree=67111524/67111528
[pid=16504] ppid=16502 vsize=0 CPUtime=4800.15 cores=1,3,5,7
/proc/16504/stat : 16504 (techdemo) R 16502 16504 16058 0 -1 4203524 2486134 0 0 0 479566 449 0 0 25 0 1 0 514900893 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16504/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.78
CPU time (s): 4800.23
CPU user time (s): 4795.67
CPU system time (s): 4.56331
CPU usage (%): 399.096
Max. virtual memory (cumulated for all children) (KiB): 5088760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.67
system time used= 4.56331
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2486134
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= 33467
involuntary context switches= 34935

runsolver used 2.01269 second user time and 4.5743 second system time

The end

Launcher Data 

Begin job on node132 at 2011-04-29 01:23:47
IDJOB=3282432
IDBENCH=70815
IDSOLVER=1584
FILE ID=node132/3282432-1304033027
RUNJOBID= node132-1304033027-16482
PBS_JOBID= 13170320
Free space on /tmp= 71856 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxor/maxxor128.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3282432-1304033027/watcher-3282432-1304033027 -o /tmp/evaluation-result-3282432-1304033027/solver-3282432-1304033027 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3282432-1304033027.cnf

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

MD5SUM BENCH= 065c126f0d55807310a398728b44423f
RANDOM SEED=1203023979

node132.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.833
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.833
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.74
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.833
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.76
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.833
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.75
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.833
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.77
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.833
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.67
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.833
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.82
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.833
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:      25422932 kB
Buffers:        737116 kB
Cached:        6205220 kB
SwapCached:          4 kB
Active:        1608332 kB
Inactive:      5430032 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25422932 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           26612 kB
Writeback:           0 kB
AnonPages:       95396 kB
Mapped:          15136 kB
Slab:           425984 kB
PageTables:       4808 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   695856 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= 71848 MiB
End job on node132 at 2011-04-29 01:43:52